| 2004 | A Correlation Framework for the CORBA Component Model. Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath |
| 2004 | A Formal Treatment of Context-Awareness. Gruia-Catalin Roman, Christine Julien, Jamie Payton |
| 2004 | A Systematic Methodology for Developing Component Frameworks. Si Won Choi, Soo Ho Chang, Soo Dong Kim |
| 2004 | A Tool-Assisted Framework for Certified Bytecode Verification. Gilles Barthe, Guillaume Dufay |
| 2004 | Actor-Centric Modeling of User Rights. Ruth Breu, Gerhard Popp |
| 2004 | An Operational Semantics for Stateflow. Grégoire Hamon, John M. Rushby |
| 2004 | Automated Debugging Using Path-Based Weakest Preconditions. Haifeng He, Neelam Gupta |
| 2004 | Automating Decisions in Component Composition Based on Propagation of Requirements. Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers |
| 2004 | Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh |
| 2004 | Checking Absence of Illicit Applet Interactions: A Case Study. Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov |
| 2004 | Compositional Nested Long Running Transactions. Laura Bocchi |
| 2004 | Consistent Adaptation and Evolution of Class Diagrams during Refinement. Alexander Egyed |
| 2004 | DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. Daniel Moldt, Jan Ortmann |
| 2004 | Distributed Information Management with XML and Web Services. Serge Abiteboul |
| 2004 | Enhancing Remote Method Invocation through Type-Based Static Analysis. Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco |
| 2004 | Filtering TOBIAS Combinatorial Test Suites. Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron |
| 2004 | Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings Michel Wermelinger, Tiziana Margaria |
| 2004 | Improving Use Case Based Requirements Using Formally Grounded Specifications. Christine Choppy, Gianna Reggio |
| 2004 | Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer |
| 2004 | Measuring Aspect Cohesion. Jianjun Zhao, Baowen Xu |
| 2004 | Modeling Role-Based Access Control Using Parameterized UML Models. Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li |
| 2004 | Optimising Communication Structure for Model Checking. Peter Saffrey, Muffy Calder |
| 2004 | Predictable Dynamic Plugin Systems. Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
| 2004 | Reasoning about Card Tears and Transactions in Java Card. Engelbert Hubbers, Erik Poll |
| 2004 | Refactoring Object-Z Specifications. Tim McComb |
| 2004 | Specification and Analysis of Real-Time Systems Using Real-Time Maude. Peter Csaba Ölveczky, José Meseguer |
| 2004 | Systematic Testing of Software Architectures in the C2 Style. Henry Muccini, Marcio S. Dias, Debra J. Richardson |
| 2004 | The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. Islam A. M. El-Maddah, T. S. E. Maibaum |
| 2004 | Translating Software Designs for Model Checking. Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne |