| 2004 | Systematic Testing of Software Architectures in the C2 Style. | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
| 2004 | DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. | Daniel Moldt, Jan Ortmann |
| 2004 | Refactoring Object-Z Specifications. | Tim McComb |
| 2004 | Filtering TOBIAS Combinatorial Test Suites. | Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron |
| 2004 | Modeling Role-Based Access Control Using Parameterized UML Models. | Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li |
| 2004 | A Correlation Framework for the CORBA Component Model. | Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath |
| 2004 | Checking Absence of Illicit Applet Interactions: A Case Study. | Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov |
| 2004 | Reasoning about Card Tears and Transactions in Java Card. | Engelbert Hubbers, Erik Poll |
| 2004 | Automated Debugging Using Path-Based Weakest Preconditions. | Haifeng He, Neelam Gupta |
| 2004 | An Operational Semantics for Stateflow. | Grgoire Hamon, John M. Rushby |
| 2004 | Enhancing Remote Method Invocation through Type-Based Static Analysis. | Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco |
| 2004 | The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. | Islam A. M. El-Maddah, T. S. E. Maibaum |
| 2004 | Consistent Adaptation and Evolution of Class Diagrams during Refinement. | Alexander Egyed |
| 2004 | Improving Use Case Based Requirements Using Formally Grounded Specifications. | Christine Choppy, Gianna Reggio |
| 2004 | A Systematic Methodology for Developing Component Frameworks. | Si Won Choi, Soo Ho Chang, Soo Dong Kim |
| 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 | Predictable Dynamic Plugin Systems. | Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastin Uchitel |
| 2004 | Actor-Centric Modeling of User Rights. | Ruth Breu, Gerhard Popp |
| 2004 | Compositional Nested Long Running Transactions. | Laura Bocchi |
| 2004 | A Tool-Assisted Framework for Certified Bytecode Verification. | Gilles Barthe, Guillaume Dufay |
| 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 | Distributed Information Management with XML and Web Services. | Serge Abiteboul |
| 2003 | Pipa: A Behavioral Interface Specification Language for AspectJ. | Jianjun Zhao, Martin C. Rinard |
| 2003 | Symbiosis of Static Analysis and Program Testing. | Michal Young |
| 2003 | PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features. | Wim Vanderperren, Davy Suve, Bart Wydaeghe, Viviane Jonckers |