The SCEAS System
Navigation Menu

Conferences in DBLP

2004 (conf/isola/2004)

  1. Farhad Arbab, Joost N. Kok
    Interaction and Coordination of Tools for Structured Data. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:1-8 [Conf]
  2. Dave Clarke, David Costa, Farhad Arbab
    Modelling Coordination in Biological Systems. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:9-25 [Conf]
  3. Joost Jacob
    A Rule Markup Language and Its Application to UML. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:26-41 [Conf]
  4. Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre
    Using XML Transformations for Enterprise Architectures. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:42-56 [Conf]
  5. Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen
    Classification and Utilization of Abstractions for Optimization. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:57-73 [Conf]
  6. Wolf Zimmermann
    On the Correctness of Transformations in Compiler Back-Ends. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:74-95 [Conf]
  7. Byron Cook, Daniel Kroening, Natasha Sharygina
    Accurate Theorem Proving for Program Verification. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:96-114 [Conf]
  8. Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
    Designing Safe, Reliable Systems Using Scade. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:115-129 [Conf]
  9. Anders Wall, Johan Andersson, Christer Norström
    Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:130-145 [Conf]
  10. Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
    Static Timing Analysis of Real-Time Operating System Code. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:146-160 [Conf]
  11. Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff
    A Case Study in Domain-Customized Model Checking for Real-Time Component Software. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:161-180 [Conf]
  12. Sriram K. Rajamani, Jakob Rehof
    Models for Contract Conformance. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:181-196 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002