| 2002 | An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. | Graeme Smith |
| 2002 | Translating Statecharts to B. | Emil Sekerinski, Rafik Zurob |
| 2002 | Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. | Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura |
| 2002 | Stochastic Process Algebras Meet Eden. | Natalia Lpez, Manuel Nez, Fernando Rubio |
| 2002 | Contributions for Modelling UML State-Charts in B. | Hung Ledang, Jeanine Souquires |
| 2002 | From Implicit Specifications to Explicit Designs in Reactive System Development. | Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2002 | An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. | Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jrg Kreowski |
| 2002 | Translations between Textual Transition Systems and Petri Nets. | Katerina Korenblat, Orna Grumberg, Shmuel Katz |
| 2002 | Model Driven Engineering. | Stuart Kent |
| 2002 | A Framework for Translating Models and Specifications. | Shmuel Katz, Orna Grumberg |
| 2002 | Combining Graphical and Formal Development of Open Distributed Systems. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
| 2002 | Minimally and Maximally Abstract Retrenchments. | Czeslaw Jeske, Richard Banach |
| 2002 | Combining Specification Techniques for Processes, Data and Time. | Jochen Hoenicke, Ernst-Rdiger Olderog |
| 2002 | Rhapsody: A Complete Life-Cycle Model-Based Development System. | Eran Gery, David Harel, Eldad Palachi |
| 2002 | The Design of a Tool-Supported Graphical Notation for Timed CSP. | Phillip J. Brooke, Richard F. Paige |
| 2002 | Refinement in Object-Z and CSP. | Christie Bolton, Jim Davies |
| 2002 | Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. | Hctor Ruz Barradas, Didier Bert |
| 2002 | Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. | Behzad Akbarpour, Abdelkader Dekdouk, Sofine Tahar |
| 2000 | Structuring Real-Time Object-Z Specifications. | Graeme Smith, Ian J. Hayes |
| 2000 | Why Doesn't Anyone Use Formal Methods? | Wolfram Schulte |
| 2000 | An Approach to Symbolic Test Generation. | Vlad Rusu, Lydie du Bousquet, Thierry Jron |
| 2000 | mu-Charts and Z: Hows, Whys, and Wherefores. | Greg Reeve, Steve Reeves |
| 2000 | Developing Control Systems Components. | Luigia Petre, Kaisa Sere |
| 2000 | Behavioral Conformance Verification in an Integrated Approach Using UML and B. | Eric Meyer, Thomas Santen |
| 2000 | Modular Verification for a Class of PLTL Properties. | Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand |