[Front cover] (PDF)

Title Page i (PDF)

Title Page iii (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Message from the Conference Chairs (PDF)

Conference organizers (PDF)

Program Committee (PDF)

Additional Reviewers (PDF)

On Generating *-Sound Nets with Substitution (Abstract)

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets (Abstract)

Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers (Abstract)

Bounds: From Parameterised to Finite-State Verification (Abstract)

Compositional Analysis for Weak Stubborn Sets (Abstract)

Building Tight Occurrence Nets from Reveals Relations (Abstract)

Cost-Based Fitness in Conformance Checking (Abstract)

Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting Systems (Abstract)

Runtime Programming through Model-Preserving, Scalable Runtime Patches (Abstract)

Bounded Fairness for Probabilistic Distributed Algorithms (Abstract)

A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks (Abstract)

Towards Supervisory Control of Interactive Markov Chains: Controllability (Abstract)

New Results on Abstract Probabilistic Automata (Abstract)

Improved Parallel Composition of Labelled Petri Nets (Abstract)

STG Decomposition: Partitioning Heuristics (Abstract)

Semantic Adaptation for Models of Computation (Abstract)

Data-Flow Analysis of Extended Finite State Machines (Abstract)

A GALS Language for Dynamic Distributed and Reactive Programs (Abstract)

Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks (Abstract)

Timed Games for Computing WCET for Pipelined Processors with Caches (Abstract)

Author Index (PDF)

[Publishers information] (PDF)