ISoLA 2004: Paphos, Cyprus

• Farhad Arbab, Joost N. Kok:
  Interaction and Coordination of Tools for Structured Data. 1-8
  Electronic Edition (link) BibTeX
• Dave Clarke, David Costa, Farhad Arbab:
  Modelling Coordination in Biological Systems. 9-25
  Electronic Edition (link) BibTeX
• Joost Jacob:
  A Rule Markup Language and Its Application to UML. 26-41
  Electronic Edition (link) BibTeX
• Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre:
  Using XML Transformations for Enterprise Architectures. 42-56
  Electronic Edition (link) BibTeX
• Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen:
  Classification and Utilization of Abstractions for Optimization. 57-73
  Electronic Edition (link) BibTeX
• Wolf Zimmermann:
  On the Correctness of Transformations in Compiler Back-Ends. 74-95
  Electronic Edition (link) BibTeX
• Byron Cook, Daniel Kroening, Natasha Sharygina:
  Accurate Theorem Proving for Program Verification. 96-114
  Electronic Edition (link) BibTeX
• Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund:
  Designing Safe, Reliable Systems Using Scade. 115-129
  Electronic Edition (link) BibTeX
• Anders Wall, Johan Andersson, Christer Norström:
  Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings. 130-145
  Electronic Edition (link) BibTeX
• Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper:
  Static Timing Analysis of Real-Time Operating System Code. 146-160
  Electronic Edition (link) BibTeX
• Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff:
  A Case Study in Domain-Customized Model Checking for Real-Time Component Software. 161-180
  Electronic Edition (link) BibTeX
• Sriram K. Rajamani, Jakob Rehof:
  Models for Contract Conformance. 181-196
  Electronic Edition (link) BibTeX