ISoLA 2004:
Paphos, Cyprus
Tiziana Margaria, Bernhard Steffen (Eds.):
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 4313 Springer 2006, ISBN 3-540-48928-2 
- Farhad Arbab, Joost N. Kok:
Interaction and Coordination of Tools for Structured Data.
1-8
- Dave Clarke, David Costa, Farhad Arbab:
Modelling Coordination in Biological Systems.
9-25
- Joost Jacob:
A Rule Markup Language and Its Application to UML.
26-41
- 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
- Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen:
Classification and Utilization of Abstractions for Optimization.
57-73
- Wolf Zimmermann:
On the Correctness of Transformations in Compiler Back-Ends.
74-95
- Byron Cook, Daniel Kroening, Natasha Sharygina:
Accurate Theorem Proving for Program Verification.
96-114
- Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund:
Designing Safe, Reliable Systems Using Scade.
115-129
- Anders Wall, Johan Andersson, Christer Norström:
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.
130-145
- Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper:
Static Timing Analysis of Real-Time Operating System Code.
146-160
- Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff:
A Case Study in Domain-Customized Model Checking for Real-Time Component Software.
161-180
- Sriram K. Rajamani, Jakob Rehof:
Models for Contract Conformance.
181-196
Last update Sat May 18 19:08:43 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
