| 2001 | A CSP View on UML-RT Structure Diagrams. Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim |
| 2001 | A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. Natasha Sharygina, James C. Browne, Robert P. Kurshan |
| 2001 | A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. Bernhard Reus, Martin Wirsing, Rolf Hennicker |
| 2001 | A Logic for the Java Modeling Language JML. Bart Jacobs, Erik Poll |
| 2001 | A Real-Time Execution Semantics for UML Activity Diagrams. Rik Eshuis, Roel J. Wieringa |
| 2001 | Combining Independent Specifications. Joy N. Reed, Jane E. Sinclair |
| 2001 | Compositional Checking of Communication among Observers. Ralf Pinger, Hans-Dieter Ehrich |
| 2001 | Debugging via Run-Time Type Checking. Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps |
| 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 | Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings Heinrich Hußmann |
| 2001 | Grammar Testing. Ralf Lämmel |
| 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 | Metamodelling and Conformance Checking with PVS. Richard F. Paige, Jonathan S. Ostroff |
| 2001 | On Use Cases and Their Relationships in the Unified Modelling Language. Perdita Stevens |
| 2001 | On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design. Francis Bordeleau, Jean-Pierre Corriveau |
| 2001 | Physical Programming: Beyond Mere Logic. Bran Selic |
| 2001 | Proving Deadlock Freedom in Component-Based Programming. Paola Inverardi, Sebastián Uchitel |
| 2001 | Semantics of Architectural Specifications in CASL. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
| 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 | Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 2001 | Strengthening UML Collaboration Diagrams by State Transformations. Reiko Heckel, Stefan Sauer |
| 2001 | The Metamodelling Language Calculus: Foundation Semantics for UML. Tony Clark, Andy Evans, Stuart Kent |
| 2001 | Towards Development of Secure Systems Using UMLsec. Jan Jürjens |
| 2001 | Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. Gianna Reggio, Maura Cerioli, Egidio Astesiano |