dblp.uni-trier.de www.uni-trier.de

ISoLA 2004: Paphos, Cyprus - Preliminary proceedings

Tiziana 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Thematic session: Program Analysis and Transformation

Thematic session: From Processes via Workflows to Services

Thematic session: Structured Data Tools

Regular papers: Model Checking and Validation

Regular papers: Formal Methods in Industry

Thematic session: Error Analysis and Model-based Testing Tools

Panel: Formal Approaches to Complex Software Systems

Regular papers: Software Technology

Regular papers: Model Checking and Validation

Thematic session: Industrial use of tools for formal analysis

Thematic session: Dependable component-based and networked applications

Thematic session: Scheduling and Performance of Real-time Embedded Systems

Thematic session: Parametrised model-checking

Thematic session: Analysis and Verification of Component-Based Systems

Thematic session: Formal Methods for Quantitative Analysis of Systems

Regular papers: Case Studies

Thematic session: Model Based Testing og Large-scale and Real-Time Systems

Thematic session: Formal Methods for Quantitative Analysis of Systems

Thematic session: Adaption of Formal Methods for Industry

Copyright © Fri Mar 12 17:17:18 2010 by Michael Ley (ley@uni-trier.de)