Accepted Papers

Entries are sorted by surname of first author.

Ananda Basu, Saddek Bensalem, Marius Bozga, Beno”t Caillaud, Benoit Delahaye and Axel Legay

Statistical Abstraction and Model-Checking of Large Heterogeneous Component-Based Systems

Laura Bocchi and Emilio Tuosto

[Short Paper] Testing Attribute-Based Transactions in SOC

Peter Bokor, Marco Serafini and Neeraj Suri

[Short Paper] On Efficient Models for Model Checking Message-Passing Distributed Protocols

Artur Boronat, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari and Generoso Paolillo

Exploiting the hierarchical structure of rule-based specifications for decision planning

Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover and Stefano Tonetta

Model Checking of Hybrid Systems using Shallow Synchronization

Alberto de la Encina, Francisco Javier Crespo and Luis Llana

Fuzzy-timed automata

Ignacio Fabregas, David de Frutos-Escrig and Miguel Palomino

[Short Paper] Logics for Contravariant Simulations

Pietro Ferrara

Static Type Analysis of Pattern Matching by Abstract Interpretation

Rob Hierons and Manuel Nunez

Testing probabilistic distributed systems

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe and Ilangko Balasingham

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

Frank Alexander Kraemer and Peter Herrmann

Reactive Semantics for Distributed UML Activities

Peter Olveczky, Artur Boronat and Jose Meseguer

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

Juan J. Pardo, Manuel Nunez and M. Carmen Ruiz

[Short Paper] Specification and testing of e-commerge agents described by using UIOLTSs

Yongyuth Permpoontanalarp

On-the-fly Trace Generation and Textual Trace Analysis and their applications to the analysis of Cryptographic Protocols

Ernesto Posse and Juergen Dingel

Theory and implementation of a real-time extension to the pi-calculus

Jan Smans, Bart Jacobs and Frank Piessens

Heap-dependent Expressions in Separation Logic

Anton Wijs

Forgetting the Time in Timed Process Algebra - Timeless Behaviour in a Timestamped World