ISoLA 2004:
Paphos, Cyprus - Preliminary proceedingsTiziana Margaria , Bernhard Steffen , Anna Philippou , Manfred Reitenspieß (Eds.):
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings.
Technical Report TR-2004-6 Department of Computer Science, University of Cyprus 2004 Thematic session:
Program Analysis and Transformation
export record as
dblp key:
export record as
dblp key:
Wolf Zimmermann :
On the Correctness of Transformations in Compiler Back-Ends.
10-17
export record as
dblp key:
Byron Cook :
Finding API usage rule violations in Windows device drivers using Static Driver Verifier.
18-18
Thematic session:
From Processes via Workflows to Services
export record as
dblp key:
Jörg Becker :
Project Management for Process Management - a Procedural Model for Process-Oriented Reorganisation Projects.
19-27
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Thematic session:
Structured Data Tools
export record as
dblp key:
export record as
dblp key:
Joost Jacob :
A Rule Markup Language and its application to UML.
51-57
export record as
dblp key:
export record as
dblp key:
Regular papers:
Model Checking and Validation
export record as
dblp key:
Yamine Aït Ameur ,
Mickaël Baron :
Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique.
74-80
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Regular papers:
Formal Methods in Industry
export record as
dblp key:
export record as
dblp key:
conf/isola/AndersenEHSS04
Thematic session:
Error Analysis and Model-based Testing Tools
export record as
dblp key:
conf/isola/AbdullaDSAA04a export record as
dblp key:
export record as
dblp key:
Panel:
Formal Approaches to Complex Software Systems
Regular papers:
Software Technology
export record as
dblp key:
Doral Lucanu :
A Logical Foundation of the OWL Languages.
135-142
export record as
dblp key:
export record as
dblp key:
eva Kühn ,
Fabian Schmied :
Distributed Peer-to-Peer Application development with Declarative and Aspect-Oriented techniques.
150-156
Regular papers:
Model Checking and Validation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/isola/FreibotheSSB04
Thematic session:
Industrial use of tools for formal analysis
export record as
dblp key:
Mirko Conrad :
Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way.
188-188
export record as
dblp key:
Limor Fix :
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".
189-189
export record as
dblp key:
Yaron Wolfsthal :
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".
190-190
export record as
dblp key:
Jianli Xu :
Application of formal methods in Nokia mobile terminal and network software system development.
190-190
Thematic session:
Dependable component-based and networked applications
export record as
dblp key:
conf/isola/EichenhardtFRW04 export record as
dblp key:
Ramesh Rharadwaj :
Development of Dependable Component-Based Distributed Applications.
194-200
Thematic session:
Scheduling and Performance of Real-time Embedded Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Thematic session:
Parametrised model-checking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Thematic session:
Analysis and Verification of Component-Based Systems
export record as
dblp key:
conf/isola/SrinivasanRKSS04 export record as
dblp key:
export record as
dblp key:
Thematic session:
Formal Methods for Quantitative Analysis of Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/isola/BohnenkampHJKU04
Regular papers:
Case Studies
export record as
dblp key:
export record as
dblp key:
conf/isola/ChristensenJTX04
Thematic session:
Model Based Testing og Large-scale and Real-Time Systems
export record as
dblp key:
Victor V. Kuliamin :
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System.
311-316
export record as
dblp key:
Thematic session:
Formal Methods for Quantitative Analysis of Systems
export record as
dblp key:
export record as
dblp key:
Thematic session:
Adaption of Formal Methods for Industry
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
