| 2003 | Modelling Recursive Calls with UML State Diagrams. | Jennifer Tenzer, Perdita Stevens |
| 2003 | A Description Language For Composable Components. | Ioana Sora, Pierre Verbaeten, Yolande Berbers |
| 2003 | Model Checking Software via Abstraction of Loop Transitions. | Natasha Sharygina, James C. Browne |
| 2003 | Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. | David J. Scott, Alastair R. Beresford, Alan Mycroft |
| 2003 | Monad-Independent Hoare Logic in HASCASL. | Lutz Schrder, Till Mossakowski |
| 2003 | An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems. | Clemens Reichmann, Markus Khl, Klaus D. Mller-Glaser |
| 2003 | Xere: Towards a Natural Interoperability between XML and ER Diagrams. | Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio |
| 2003 | An Ontology for Software Component Matching. | Claus Pahl |
| 2003 | Detecting Implied Scenarios Analyzing Non-local Branching Choices. | Henry Muccini |
| 2003 | Foundations of a Weak Measurement-Theoretic Approach to Software Measurement. | Sandro Morasca |
| 2003 | A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. | Stephan Merz, Martin Wirsing, Jlia Zappe |
| 2003 | A Temporal Approach to Specification and Verification of Pointer Data-Structures. | Marcin Kubica |
| 2003 | Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. | Ingolf Krger |
| 2003 | Visual Specifications of Policies and Their Verification. | Manuel Koch, Francesco Parisi-Presicce |
| 2003 | An Information-Based View of Representational Coupling in Object-Oriented Systems. | Pierre Kelsen |
| 2003 | Modular Analysis of Dataflow Process Networks. | Yan Jin, Robert Esser, Charles Lakos, Jrn W. Janneck |
| 2003 | Model-Based Development of Web Applications Using Graphical Reaction Rules. | Reiko Heckel, Marc Lohmann |
| 2003 | Probe Mechanism for Object-Oriented Software Testing. | Anita Goel, Suresh Chand Gupta, Siri Krishan Wasan |
| 2003 | Automatic Model Driven Animation of SCR Specifications. | Angelo Gargantini, Elvinia Riccobene |
| 2003 | Composing Specifications of Event Based Applications. | Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri |
| 2003 | Towards UML-Based Formal Specifications of Component-Based Real-Time Software. | Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso |
| 2003 | A Program Logic for Handling JAVA CARD's Transaction Mechanism. | Bernhard Beckert, Wojciech Mostowski |
| 2003 | Integration of Formal Datatypes within State Diagrams. | J. Christian Attiogb, Pascal Poizat, Gwen Salan |
| 2003 | A Logical Basis for the Specification of Reconfigurable Component-Based Systems. | Nazareno Aguirre, T. S. E. Maibaum |
| 2002 | ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. | Fei Xie, Vladimir Levin, James C. Browne |