default search action

combined dblp search
author search
venue search
publication search

ask others

ISoLA 2004: Paphos, Cyprus

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > ISoLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/isola/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/2004
Tiziana Margaria, Bernhard Steffen:
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
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ArbabK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ArbabK04
Farhad Arbab, Joost N. Kok:
Interaction and Coordination of Tools for Structured Data. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ClarkeCA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ClarkeCA04
Dave Clarke, David Costa, Farhad Arbab:
Modelling Coordination in Biological Systems. 9-25
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Jacob04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Jacob04
Joost Jacob:
A Rule Markup Language and Its Application to UML. 26-41
- view
  authority control:
- export record
  dblp key:
  - conf/isola/StamJBBT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/StamJBBT04
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
- view
  authority control:
- export record
  dblp key:
  - conf/isola/QuinlanSYS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/QuinlanSYS04
Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen:
Classification and Utilization of Abstractions for Optimization. 57-73
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Zimmermann04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Zimmermann04
Wolf Zimmermann:
On the Correctness of Transformations in Compiler Back-Ends. 74-95
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CookKS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CookKS04
Byron Cook, Daniel Kroening, Natasha Sharygina:
Accurate Theorem Proving for Program Verification. 96-114
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AbdullaDSAA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AbdullaDSAA04
Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund:
Designing Safe, Reliable Systems Using Scade. 115-129
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WallAN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WallAN04
Anders Wall, Johan Andersson, Christer Norström:
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings. 130-145
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SandellEGL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SandellEGL04
Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper:
Static Timing Analysis of Real-Time Operating System Code. 146-160
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HoosierDRH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HoosierDRH04
Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff:
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. 161-180
- view
  authority control:
- export record
  dblp key:
  - conf/isola/RajamaniR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/RajamaniR04
Sriram K. Rajamani, Jakob Rehof:
Models for Contract Conformance. 181-196

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.