| 2004 | Workflow Services: A Petri Net-Based Approach to Web Services. | Kirsten Lenz, Andreas Oberweis |
| 2004 | Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. | Victor V. Kuliamin |
| 2004 | Distributed Peer-to-Peer Application development with Declarative and Aspect-Oriented techniques. | Eva Khn, Fabian Schmied |
| 2004 | Round-trip engineering of reactive systems. | Dmitrij V. Koznov, Maxim Katrashov, Goman Gagarsky, Vera A. Zvereva, Alexey Barsov |
| 2004 | Experimental Program Verification in the Theorema System. | Tudor Jebelean, Laura Kovcs, Nikolaj Popov |
| 2004 | Case Studies with Lurette V2. | Erwan Jahier, Pascal Raymond, Philippe Baufreton |
| 2004 | Using XML Transformations for Enterprise Architectures. | Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre |
| 2004 | A Rule Markup Language and its application to UML. | Joost Jacob |
| 2004 | A Rule Markup Language and Its Application to UML. | Joost Jacob |
| 2004 | On model checking multiple hybrid views. | Michael Huth, Altaf Hussain |
| 2004 | Modeling Quality of Services in Service Oriented Environments. | Jens Hndling, Mathias Weske |
| 2004 | A Case Study in Domain-customized Model Checking for Real-time Component Software. | Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer |
| 2004 | A Case Study in Domain-Customized Model Checking for Real-Time Component Software. | Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff |
| 2004 | Model Checker Aided Design of a Controller for a Wafer Scanner. | Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager |
| 2004 | Quantitative Model checking. | Radu Grosu, Scott A. Smolka |
| 2004 | Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. | Martin Freibothe, Jens Schnherr, Bernd Straube, Jrg Bormann |
| 2004 | A Unified Model for Analysis of Real-Time Properties. | Oana Florescu, Jeroen Voeten, Henk Corporaal |
| 2004 | Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". | Limor Fix |
| 2004 | Static Timing Analysis of Real-Time Operating Systems Code. | Andreas Ermedahl, Jan Gustafsson, Bjrn Lisper, Daniel Sandell |
| 2004 | Adapting Component Models to Support Responsibility. | Henrik Eichenhardt, Elke Franz, Simone Rttger, Ute Wappler |
| 2004 | A Formal Analysis of Bluetooth Device Discovery. | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2004 | Probabilistic Alternative Regression Suites. | Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv |
| 2004 | Accurate Theorem Proving for Program Verification. | Byron Cook, Daniel Kroening, Natasha Sharygina |
| 2004 | Finding API usage rule violations in Windows device drivers using Static Driver Verifier. | Byron Cook |
| 2004 | Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way. | Mirko Conrad |