| 2001 | A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. | Natasha Sharygina, James C. Browne, Robert P. Kurshan |
| 2001 | Physical Programming: Beyond Mere Logic. | Bran Selic |
| 2001 | Semantics of Architectural Specifications in CASL. | Lutz Schrder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
| 2001 | A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. | Bernhard Reus, Martin Wirsing, Rolf Hennicker |
| 2001 | Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. | Gianna Reggio, Maura Cerioli, Egidio Astesiano |
| 2001 | Combining Independent Specifications. | Joy N. Reed, Jane E. Sinclair |
| 2001 | Compositional Checking of Communication among Observers. | Ralf Pinger, Hans-Dieter Ehrich |
| 2001 | Metamodelling and Conformance Checking with PVS. | Richard F. Paige, Jonathan S. Ostroff |
| 2001 | Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. | Peter Csaba lveczky, Mark Keaton, Jos Meseguer, Carolyn L. Talcott, Steve Zabele |
| 2001 | Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. | Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide |
| 2001 | Demonstration of an Automated Integrated Testing Environment for CTI Systems. | Oliver Niese, Markus Nagelmann, Andreas Hagerer, Klaus Kolodziejczyk-Strunck, Werner Goerigk, Andrei Erochok, Bernhard Hammelmann |
| 2001 | Extending Development Graphs with Hiding. | Till Mossakowski, Serge Autexier, Dieter Hutter |
| 2001 | Debugging via Run-Time Type Checking. | Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps |
| 2001 | Grammar Testing. | Ralf Lmmel |
| 2001 | Towards Development of Secure Systems Using UMLsec. | Jan Jrjens |
| 2001 | A Logic for the Java Modeling Language JML. | Bart Jacobs, Erik Poll |
| 2001 | Proving Deadlock Freedom in Component-Based Programming. | Paola Inverardi, Sebastin Uchitel |
| 2001 | Strengthening UML Collaboration Diagrams by State Transformations. | Reiko Heckel, Stefan Sauer |
| 2001 | A CSP View on UML-RT Structure Diagrams. | Clemens Fischer, Ernst-Rdiger Olderog, Heike Wehrheim |
| 2001 | A Real-Time Execution Semantics for UML Activity Diagrams. | Rik Eshuis, Roel J. Wieringa |
| 2001 | The Metamodelling Language Calculus: Foundation Semantics for UML. | Tony Clark, Andy Evans, Stuart Kent |
| 2001 | Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 2001 | On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design. | Francis Bordeleau, Jean-Pierre Corriveau |
| 2000 | Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. | Heike Wehrheim |
| 2000 | Essay on Software Engineering at the Turn of Century. | Wladyslaw M. Turski |