5. 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
- Mathai Joseph:
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?. 26-33
Testing and Validation
- Bernhard Schätz, Christian Salzmann:
Service-Based Systems Engineering: Consistent Combination of Services. 86-104
State Diagrams
- David 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-186
Refinement
- Mila E. Majster-Cederbaum, Jinzhao Wu:
Adding Action Refinement to Stochastic True Concurrency Models. 226-245
Hybrid Systems
- Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad:
Java Card Code Generation from B Specifications. 306-318 - Lars Michael Kristensen, Thomas Mailund:
Efficient Path Finding with the Sweep-Line Method Using External Storage. 319-337 - Yuechen Qian:
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. 338-358 - Mickaë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-395
Petri Nets
- Jö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-503 - Jun Pang, Bart Karstens, Wan Fokkink:
Analyzing the Redesign of a Distributed Lift System in UPPAAL. 504-522 - Behzad Bordbar, Kozo Okano:
Verification of Timeliness QoS Properties in Multimedia Systems. 523-540
System Modeling and Checking
- Hong Peng, Sofiène Tahar, Yassine Mokhtari:
Compositional Verification of a Switch Fabric from Nortel Networks. 560-578 - Beata Sarna-Starosta, C. R. Ramakrishnan:
Constraint-Based Model Checking of Data-Independent Systems. 579-598
Semantics and Synthesis
- Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. 641-664 - Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
From Specification to Hardware Device: A Synthesis Algorithm. 665-681