| 2003 | A Calculus for Set-Based Program Development. Georg Struth |
| 2003 | A Formal Model for the Block Device Subsystem of the Linux Kernel. Peter T. Breuer |
| 2003 | A Mathematical Framework for Safecharts. Hamdan Dammag, Nimal Nissanke |
| 2003 | A Refinement Tool for Z. Angela F. Freitas, Carla Nascimento, Ana Cavalcanti |
| 2003 | A Relational Model for Formal Object-Oriented Requirement Analysis in UML. Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen |
| 2003 | A Z Based Approach to Verifying Security Protocols. Benjamin W. Long, Colin J. Fidge, Antonio Cerone |
| 2003 | Adding Action Refinement to Stochastic True Concurrency Models. Mila E. Majster-Cederbaum, Jinzhao Wu |
| 2003 | Adding Formalism to Methods or Mathai Joseph |
| 2003 | An AMBA-ARM7 Formal Verification Platform. Kong Woei Susanto, Thomas F. Melham |
| 2003 | Analyzing the Redesign of a Distributed Lift System in UPPAAL. Jun Pang, Bart Karstens, Wan J. Fokkink |
| 2003 | Comparison of Data and Process Refinement. Steve Reeves, David Streader |
| 2003 | Compilation by Refinement for a Practical Assembly Language. Geoffrey Watson |
| 2003 | Compositional Verification of a Switch Fabric from Nortel Networks. Hong Peng, Sofiène Tahar, Yassine Mokhtari |
| 2003 | Constraint-Based Model Checking of Data-Independent Systems. Beata Sarna-Starosta, C. R. Ramakrishnan |
| 2003 | Controller Synthesis for Object Petri Nets. Berndt Farwer, Saraswati Kalvala, Kundan Misra |
| 2003 | Efficient Path Finding with the Sweep-Line Method Using External Storage. Lars Michael Kristensen, Thomas Mailund |
| 2003 | Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. Yuechen Qian |
| 2003 | Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings Jin Song Dong, Jim Woodcock |
| 2003 | Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin |
| 2003 | Formalising an Integrated Language in PVS. Gwen Salaün, J. Christian Attiogbé |
| 2003 | Formalization, Testing and Execution of a Use Case Diagram. Wuwei Shen, Shaoying Liu |
| 2003 | From Specification to Hardware Device: A Synthesis Algorithm. Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni |
| 2003 | Generic Interacting State Machines and Their Instantiation with Dynamic Features. David von Oheimb, Volkmar Lotz |
| 2003 | Incremental Derivation of Abstraction Relations for Data Refinement. Neil J. Robinson |
| 2003 | Java Card Code Generation from B Specifications. Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad |
| 2003 | Model Based Code Verification. Colin O'Halloran |
| 2003 | Modeling System C Fixed-Point Arithmetic in HOL. Behzad Akbarpour, Sofiène Tahar |
| 2003 | New Developments in Closed-Form Computation for GSPN Aggregation. Jörn Freiheit, Jonathan Billington |
| 2003 | On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. Johan Bengtsson, Wang Yi |
| 2003 | Programs as Paths: An Approach to Timing Constraint Analysis. Ian J. Hayes |
| 2003 | Service-Based Systems Engineering: Consistent Combination of Services. Bernhard Schätz, Christian Salzmann |
| 2003 | The Common Semantic Constructs of XML Family. Hong Li Yang, Jun Gang Han, Ke Gang Hao |
| 2003 | The Equivalence of Statecharts. Quan Long, Zongyan Qiu, Shengchao Qin |
| 2003 | Towards a Workflow Model of Real-Time Cooperative Systems. Yuyue Du, Changjun Jiang |
| 2003 | Using Formal Methods to Serialize Synchronization Events. Jessica Chen |
| 2003 | Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl |
| 2003 | Using State Diagrams to Describe Concurrent Behaviour. Jim Davies, Charles Crichton |
| 2003 | Verification of Timeliness QoS Properties in Multimedia Systems. Behzad Bordbar, Kozo Okano |