| 2002 | Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. | Fei Xie, James C. Browne |
| 2002 | Mapping an ADL to a Component-Based Application Development Environment. | Virginia C. Carneiro de Paula, Thas Vasconcelos Batista |
| 2002 | Formal Requirements Engineering Using Observer Models. | Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2002 | Formal-Driven Conceptualization and Prototyping of Hypermedia Applications. | Antonio Navarro, Baltasar Fernndez-Manjn, Alfredo Fernndez-Valmayor, Jos Luis Sierra |
| 2002 | Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach. | Oscar Lpez, Miguel A. Laguna, Francisco Jos Garca-Pealvo |
| 2002 | AToM | Juan de Lara, Hans Vangheluwe |
| 2002 | Better Slicing of Programs with Jumps and Switches. | Sumit Kumar, Susan Horwitz |
| 2002 | An Authoring Tool for Informal and Formal Requirements Specifications. | Reiner Hhnle, Kristofer Johannisson, Aarne Ranta |
| 2002 | Model Generation by Moderated Regular Extrapolation. | Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen |
| 2002 | Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. | Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide |
| 2002 | The Coordination Development Environment. | Joo Gouveia, Georgios Koutsoukos, Michel Wermelinger, Lus Andrade, Jos Luiz Fiadeiro |
| 2002 | A Generic Component Framework for System Modeling. | Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen |
| 2002 | Formal Verification of UML Statecharts with Real-Time Extensions. | Alexandre David, M. Oliver Mller, Wang Yi |
| 2002 | Engineering Modelling Languages: A Precise Meta-Modelling Approach. | Tony Clark, Andy Evans, Stuart Kent |
| 2002 | An Approach to Composition Motivated by wp. | Michel Charpentier |
| 2002 | Implementing Condition/Event Nets in the Circal Process Algebra. | Antonio Cerone |
| 2002 | Introducing Context-Based Constraints. | Felix Bbl |
| 2002 | Enriching OCL Using Observational Mu-Calculus. | Julian C. Bradfield, Juliana Kster Filipe, Perdita Stevens |
| 2002 | Architectural Types Revisited: Extensible And/Or Connections. | Marco Bernardo, Francesco Franz |
| 2002 | From EDOC Components to CCM Components: A Precise Mapping Specification. | Mariano Belaunde, Mikael Peltier |
| 2002 | Compositional Verification of Secure Applet Interactions. | Gilles Barthe, Dilian Gurov, Marieke Huisman |
| 2002 | A Toolbox for Automating Visual Software Engineering. | Luciano Baresi, Mauro Pezz |
| 2002 | Meta-modeling Techniques Meet Web Application Design Tools. | Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini |
| 2002 | The KeY System: Integrating Object-Oriented Design and Formal Methods. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt |
| 2001 | On Use Cases and Their Relationships in the Unified Modelling Language. | Perdita Stevens |