Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar5. ICFEM 2003: Singapore
Jin Song Dong, Jim Woodcock:
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Lecture Notes in Computer Science 2885, Springer 2003, ISBN 3-540-20461-X
Invited Talks
Ian J. Hayes:
Programs as Paths: An Approach to Timing Constraint Analysis. 1-15Colin O'Halloran:
Model Based Code Verification. 16-25Mathai Joseph:
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?. 26-33
Testing and Validation
Jessica Chen:
Using Formal Methods to Serialize Synchronization Events. 34-47Kong Woei Susanto, Thomas F. Melham:
An AMBA-ARM7 Formal Verification Platform. 48-67Wuwei Shen, Shaoying Liu:
Formalization, Testing and Execution of a Use Case Diagram. 68-85Bernhard Schätz, Christian Salzmann:
Service-Based Systems Engineering: Consistent Combination of Services. 86-104
State Diagrams
Jim Davies, Charles Crichton:
Using State Diagrams to Describe Concurrent Behaviour. 105-124Quan Long, Zongyan Qiu, Shengchao Qin:
The Equivalence of Statecharts. 125-143David von Oheimb, Volkmar Lotz:
Generic Interacting State Machines and Their Instantiation with Dynamic Features. 144-166
PVS/HOL
Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl:
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. 167-186Gwen Salaün, J. Christian Attiogbé:
Formalising an Integrated Language in PVS. 187-205
Refinement
Behzad Akbarpour, Sofiène Tahar:
Modeling System C Fixed-Point Arithmetic in HOL. 206-225Mila E. Majster-Cederbaum, Jinzhao Wu:
Adding Action Refinement to Stochastic True Concurrency Models. 226-245Neil J. Robinson:
Incremental Derivation of Abstraction Relations for Data Refinement. 246-265Steve Reeves, David Streader:
Comparison of Data and Process Refinement. 266-285Geoffrey Watson:
Compilation by Refinement for a Practical Assembly Language. 286-305
Hybrid Systems
Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad:
Java Card Code Generation from B Specifications. 306-318Lars Michael Kristensen, Thomas Mailund:
Efficient Path Finding with the Sweep-Line Method Using External Storage. 319-337Yuechen Qian:
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. 338-358Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin:
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. 359-374
Z/Object-Z
Benjamin W. Long, Colin J. Fidge, Antonio Cerone:
A Z Based Approach to Verifying Security Protocols. 375-395Angela Freitas, Carla Nascimento, Ana Cavalcanti:
A Refinement Tool for Z. 396-415Hong Li Yang, Jun Gang Han, Ke Gang Hao:
The Common Semantic Constructs of XML Family. 416-431
Petri Nets
Berndt Farwer, Saraswati Kalvala, Kundan Misra:
Controller Synthesis for Object Petri Nets. 432-451Yuyue Du, Changjun Jiang:
Towards a Workflow Model of Real-Time Cooperative Systems. 452-470Jörn Freiheit, Jonathan Billington:
New Developments in Closed-Form Computation for GSPN Aggregation. 471-490
Timed Automata
Johan Bengtsson, Wang Yi:
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. 491-503Jun Pang, Bart Karstens, Wan Fokkink:
Analyzing the Redesign of a Distributed Lift System in UPPAAL. 504-522Behzad Bordbar, Kozo Okano:
Verification of Timeliness QoS Properties in Multimedia Systems. 523-540
System Modeling and Checking
Georg Struth:
A Calculus for Set-Based Program Development. 541-559Hong Peng, Sofiène Tahar, Yassine Mokhtari:
Compositional Verification of a Switch Fabric from Nortel Networks. 560-578Beata Sarna-Starosta, C. R. Ramakrishnan:
Constraint-Based Model Checking of Data-Independent Systems. 579-598Peter T. Breuer:
A Formal Model for the Block Device Subsystem of the Linux Kernel. 599-619
Semantics and Synthesis
Hamdan Dammag, Nimal Nissanke:
A Mathematical Framework for Safecharts. 620-640Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. 641-664Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
From Specification to Hardware Device: A Synthesis Algorithm. 665-681
last updated on 2019-07-22 23:25 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
