| 2003 | New Developments in Closed-Form Computation for GSPN Aggregation. | Jrn Freiheit, Jonathan Billington |
| 2003 | Controller Synthesis for Object Petri Nets. | Berndt Farwer, Saraswati Kalvala, Kundan Misra |
| 2003 | Towards a Workflow Model of Real-Time Cooperative Systems. | Yuyue Du, Changjun Jiang |
| 2003 | Using State Diagrams to Describe Concurrent Behaviour. | Jim Davies, Charles Crichton |
| 2003 | A Mathematical Framework for Safecharts. | Hamdan Dammag, Nimal Nissanke |
| 2003 | Using Formal Methods to Serialize Synchronization Events. | Jessica Chen |
| 2003 | From Specification to Hardware Device: A Synthesis Algorithm. | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni |
| 2003 | A Formal Model for the Block Device Subsystem of the Linux Kernel. | Peter T. Breuer |
| 2003 | Verification of Timeliness QoS Properties in Multimedia Systems. | Behzad Bordbar, Kozo Okano |
| 2003 | On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. | Johan Bengtsson, Wang Yi |
| 2003 | Modeling System C Fixed-Point Arithmetic in HOL. | Behzad Akbarpour, Sofine Tahar |
| 2002 | Formal Verification of a SONET Telecom System Block. | M. Hasan Zobair, Sofine Tahar |
| 2002 | Formal Specification of Evolutionary Software Agents. | Hong Zhu |
| 2002 | The Description of CORBA Objects Based on Petri Nets. | Hong Zheng, Shixian Li |
| 2002 | Formal Analysis of Real-Time Systems with SAM. | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
| 2002 | Unifying Theories of Parallel Programming. | Jim Woodcock, Arthur P. Hughes |
| 2002 | Specification-Based Test Generation for Security-Critical Systems Using Mutations. | Guido Wimmel, Jan Jrjens |
| 2002 | Slicing Hierarchical Automata for Model Checking UML Statecharts. | Ji Wang, Wei Dong, Zhichang Qi |
| 2002 | An Overview of Mobile Object-Z. | Kenji Taguchi, Jin Song Dong |
| 2002 | Abstract Specification in Object-Z and CSP. | Graeme Smith, John Derrick |
| 2002 | Introducing Reference Semantics via Refinement. | Graeme Smith |
| 2002 | M2Z: A Tool for Translating a Natural Language Software Specification into Z. | Zarina Shukur, Abdullah Mohd Zin, Ainita Ban |
| 2002 | Towards a Time Model for Circus. | Adnan Sherif, Jifeng He |
| 2002 | A Semantic Model of Real-Time UML. | Subash Shankar |
| 2002 | Formal Reasoning about Hardware and Software Memory Models. | Abhik Roychoudhury |