| 2002 | A Framework for Translating Models and Specifications. Shmuel Katz, Orna Grumberg |
| 2002 | An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski |
| 2002 | An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. Graeme Smith |
| 2002 | Assume-Guarantee Algorithms for Automatic Detection of Software Failures. Mohammad Zulkernine, Rudolph E. Seviora |
| 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 | Combining Graphical and Formal Development of Open Distributed Systems. Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
| 2002 | Combining Specification Techniques for Processes, Data and Time. Jochen Hoenicke, Ernst-Rüdiger Olderog |
| 2002 | Contributions for Modelling UML State-Charts in B. Hung Ledang, Jeanine Souquières |
| 2002 | Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar |
| 2002 | Formally Linking MDG and HOL Based on a Verified MDG System. Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford |
| 2002 | From Implicit Specifications to Explicit Designs in Reactive System Development. Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2002 | Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings Michael J. Butler, Luigia Petre, Kaisa Sere |
| 2002 | Minimally and Maximally Abstract Retrenchments. Czeslaw Jeske, Richard Banach |
| 2002 | Model Checking Object-Z Using ASM. Kirsten Winter, Roger Duke |
| 2002 | Model Driven Engineering. Stuart Kent |
| 2002 | Refinement in Object-Z and CSP. Christie Bolton, Jim Davies |
| 2002 | Rhapsody: A Complete Life-Cycle Model-Based Development System. Eran Gery, David Harel, Eldad Palachi |
| 2002 | Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. Héctor Ruíz Barradas, Didier Bert |
| 2002 | Stochastic Process Algebras Meet Eden. Natalia López, Manuel Núñez, Fernando Rubio |
| 2002 | The Design of a Tool-Supported Graphical Notation for Timed CSP. Phillip J. Brooke, Richard F. Paige |
| 2002 | Translating Statecharts to B. Emil Sekerinski, Rafik Zurob |
| 2002 | Translations between Textual Transition Systems and Petri Nets. Katerina Korenblat, Orna Grumberg, Shmuel Katz |