| 2006 | Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers Tiziana Margaria, Bernhard Steffen |
| 2004 | A Case Study in Domain-Customized Model Checking for Real-Time Component Software. Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff |
| 2004 | A Rule Markup Language and Its Application to UML. Joost Jacob |
| 2004 | Accurate Theorem Proving for Program Verification. Byron Cook, Daniel Kroening, Natasha Sharygina |
| 2004 | Classification and Utilization of Abstractions for Optimization. Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen |
| 2004 | Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings. Anders Wall, Johan Andersson, Christer Norström |
| 2004 | Designing Safe, Reliable Systems Using Scade. Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund |
| 2004 | Interaction and Coordination of Tools for Structured Data. Farhad Arbab, Joost N. Kok |
| 2004 | Modelling Coordination in Biological Systems. Dave Clarke, David Costa, Farhad Arbab |
| 2004 | Models for Contract Conformance. Sriram K. Rajamani, Jakob Rehof |
| 2004 | On the Correctness of Transformations in Compiler Back-Ends. Wolf Zimmermann |
| 2004 | Static Timing Analysis of Real-Time Operating System Code. Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
| 2004 | Using XML Transformations for Enterprise Architectures. Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre |