| 2004 | Object-Oriented Modelling with High-Level Modular Petri Nets. | Ccile Bui Thanh, Hanna Klaudel |
| 2004 | Constituent Elements of a Correctness-Preserving UML Design Approach. | Tiberiu Seceleanu, Juha Plosila |
| 2004 | Verifying Controlled Components. | Steve A. Schneider, Helen Treharne |
| 2004 | An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. | Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi |
| 2004 | Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. | Simon Pickin, Jean-Marc Jzquel |
| 2004 | A Method for Compiling and Executing Expressive Assertions. | Francisco Jos Galn Morillo, Jos Miguel Caete Valden |
| 2004 | Linking CSP-OZ with UML and Java: A Case Study. | Michael Mller, Ernst-Rdiger Olderog, Holger Rasch, Heike Wehrheim |
| 2004 | Integrating Model Checking and Theorem Proving in a Reflective Functional Language. | Thomas F. Melham |
| 2004 | UML to B: Formal Verification of Object-Oriented Models. | Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2004 | Efficient CSP | Adalberto Farias, Alexandre Mota, Augusto Sampaio |
| 2004 | An Integration of Program Analysis and Automated Theorem Proving. | Bill J. Ellis, Andrew Ireland |
| 2004 | Understanding Object-Z Operations as Generalised Substitutions. | Steve Dunne |
| 2004 | Generating MSCs from an Integrated Formal Specification Language. | Jin Song Dong, Shengchao Qin, Jun Sun |
| 2004 | Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. | Paul Curzon, Ann Blandford |
| 2004 | Specification and Verification of Synchronizing Concurrent Objects. | Gabriel Ciobanu, Dorel Lucanu |
| 2004 | Integrating Temporal Logics. | Yifeng Chen, Zhiming Liu |
| 2004 | State/Event-Based Software Model Checking. | Sagar Chaki, Edmund M. Clarke, Jol Ouaknine, Natasha Sharygina, Nishant Sinha |
| 2004 | Integration of Specification Languages Using Viewpoints. | Marius C. Bujorianu |
| 2004 | Integrating Formal Methods by Unifying Abstractions. | Raymond T. Boute |
| 2004 | Design Verification for Control Engineering. | Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin |
| 2004 | Software Verification with Integrated Data Type Refinement for Integer Arithmetic. | Bernhard Beckert, Steffen Schlager |
| 2004 | SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. | Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani |
| 2002 | Assume-Guarantee Algorithms for Automatic Detection of Software Failures. | Mohammad Zulkernine, Rudolph E. Seviora |
| 2002 | Formally Linking MDG and HOL Based on a Verified MDG System. | Haiyan Xiong, Paul Curzon, Sofine Tahar, Ann Blandford |
| 2002 | Model Checking Object-Z Using ASM. | Kirsten Winter, Roger Duke |