|
Conferences in DBLP
(isola) 2004 (conf/isola/2004)
- Farhad Arbab, Joost N. Kok
Interaction and Coordination of Tools for Structured Data. [Citation Graph (0, 0)][DBLP] ISoLA, 2004, pp:1-8 [Conf]
- Dave Clarke, David Costa, Farhad Arbab
Modelling Coordination in Biological Systems. [Citation Graph (0, 0)][DBLP] ISoLA, 2004, pp:9-25 [Conf]
- Joost Jacob
A Rule Markup Language and Its Application to UML. [Citation Graph (0, 0)][DBLP] ISoLA, 2004, pp:26-41 [Conf]
- 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]
- 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]
- Wolf Zimmermann
On the Correctness of Transformations in Compiler Back-Ends. [Citation Graph (0, 0)][DBLP] ISoLA, 2004, pp:74-95 [Conf]
- Byron Cook, Daniel Kroening, Natasha Sharygina
Accurate Theorem Proving for Program Verification. [Citation Graph (0, 0)][DBLP] ISoLA, 2004, pp:96-114 [Conf]
- 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]
- 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]
- 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]
- 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]
- Sriram K. Rajamani, Jakob Rehof
Models for Contract Conformance. [Citation Graph (0, 0)][DBLP] ISoLA, 2004, pp:181-196 [Conf]
|