ISoLA 2004: Paphos, Cyprus - Preliminary proceedings

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