| 2006 | Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. | Markus Bajohr, Tiziana Margaria, Bernhard Steffen |
| 2006 | Formally Proved Anti-tearing Properties of Embedded C Code. | June Andronick |
| 2006 | Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. | Yamine At Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels |
| 2006 | An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. | Jos M. Alvarez, Pedro de la Cmara, Jess Martnez, Pedro Merino, Francisco C. Perez, Victoria Morillo |
| 2006 | Real-Coded Quantum Inspired Evolution Algorithm Applied to Engineering Optimization Problems. | F. S. Alfares, Ibrahim I. Esat |
| 2006 | Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. | Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir |
| 2004 | On the Correctness of Transformations in Compiler Back-Ends. | Wolf Zimmermann |
| 2004 | On the Correctness of Transformations in Compiler Back-Ends. | Wolf Zimmermann |
| 2004 | Application of formal methods in Nokia mobile terminal and network software system development. | Jianli Xu |
| 2004 | Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". | Yaron Wolfsthal |
| 2004 | Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings. | Anders Wall, Johan Andersson, Christer Norstrm |
| 2004 | System Architecture Evaluation Using Modular Performance Analysis - A Case Study. | Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, Paul Lieverse |
| 2004 | The Narrator System: processing, storing and retrieving medical, narrative data. | Pieter J. Toussaint, Leo Wolf |
| 2004 | Using XML Transformations for Enterprise Architectures. | Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre |
| 2004 | Static validation of resource management in large Java applications. | Harini Srinivasan, Darrell Reimer, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas |
| 2004 | Static Timing Analysis of Real-Time Operating System Code. | Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Bjrn Lisper |
| 2004 | Formal Methods for Autonomic and Swarm-based Systems. | Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey |
| 2004 | Development of Dependable Component-Based Distributed Applications. | Ramesh Rharadwaj |
| 2004 | Models for Contract Conformance. | Jakob Rehof, Sriram K. Rajamani |
| 2004 | Models for Contract Conformance. | Sriram K. Rajamani, Jakob Rehof |
| 2004 | Classification and Utilization of Abstractions for Optimization. | Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sbjrnsen |
| 2004 | Classification and Utilization of Abstractions for Optimization. | Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sbjrnsen |
| 2004 | Automated Model Generation from Design Databases at the Example of Building Automation Networks. | Joern Ploennigs, Mario Neugebauer, Klaus Kabitzsch |
| 2004 | The Identification of registers in RTL Structures for the Test Application. | Daniel Mika, Josef Strnadel, Zdenek Kotsek |
| 2004 | A Logical Foundation of the OWL Languages. | Doral Lucanu |