| 2003 | A Description Language For Composable Components. Ioana Sora, Pierre Verbaeten, Yolande Berbers |
| 2003 | A Logical Basis for the Specification of Reconfigurable Component-Based Systems. Nazareno Aguirre, T. S. E. Maibaum |
| 2003 | A Program Logic for Handling JAVA CARD's Transaction Mechanism. Bernhard Beckert, Wojciech Mostowski |
| 2003 | A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. Stephan Merz, Martin Wirsing, Júlia Zappe |
| 2003 | A Temporal Approach to Specification and Verification of Pointer Data-Structures. Marcin Kubica |
| 2003 | An Information-Based View of Representational Coupling in Object-Oriented Systems. Pierre Kelsen |
| 2003 | An Ontology for Software Component Matching. Claus Pahl |
| 2003 | An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems. Clemens Reichmann, Markus Kühl, Klaus D. Müller-Glaser |
| 2003 | Automatic Model Driven Animation of SCR Specifications. Angelo Gargantini, Elvinia Riccobene |
| 2003 | Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. Ingolf Krüger |
| 2003 | Composing Specifications of Event Based Applications. Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri |
| 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 | Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Mauro Pezzè |
| 2003 | Integration of Formal Datatypes within State Diagrams. J. Christian Attiogbé, Pascal Poizat, Gwen Salaün |
| 2003 | Model Checking Software via Abstraction of Loop Transitions. Natasha Sharygina, James C. Browne |
| 2003 | Model-Based Development of Web Applications Using Graphical Reaction Rules. Reiko Heckel, Marc Lohmann |
| 2003 | Modelling Recursive Calls with UML State Diagrams. Jennifer Tenzer, Perdita Stevens |
| 2003 | Modular Analysis of Dataflow Process Networks. Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck |
| 2003 | Monad-Independent Hoare Logic in HASCASL. Lutz Schröder, Till Mossakowski |
| 2003 | PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features. Wim Vanderperren, Davy Suvée, Bart Wydaeghe, Viviane Jonckers |
| 2003 | Pipa: A Behavioral Interface Specification Language for AspectJ. Jianjun Zhao, Martin C. Rinard |
| 2003 | Probe Mechanism for Object-Oriented Software Testing. Anita Goel, Suresh Chand Gupta, Siri Krishan Wasan |
| 2003 | Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. David J. Scott, Alastair R. Beresford, Alan Mycroft |
| 2003 | Symbiosis of Static Analysis and Program Testing. Michal Young |
| 2003 | Towards UML-Based Formal Specifications of Component-Based Real-Time Software. Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso |
| 2003 | Visual Specifications of Policies and Their Verification. Manuel Koch, Francesco Parisi-Presicce |
| 2003 | Xere: Towards a Natural Interoperability between XML and ER Diagrams. Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio |