Programme of ROCKS at ETAPS 2011

Saturday, March 26

Room E1.3/001

 

9:00 - 10:30 SESSION 1 QUASIMODO

9.30: Time for Real Statistical Model Checking

Kim Larsen (Aalborg University)

10.00: Multi-core Update on LTSmins

Jaco van de Pol (University of Twente)

 

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

11.00: Numerical approximation of rare event probabilities in Markov chains

Linar Mikeev (Saarland University)

11.30: Symbolic multilevel algorithm - from sequential to parallel

Johann Schuster (University of the Armed Forces Munich)

12.00: Efficient Simulation Through Hybrid Models Using Phase-type Distributions

Philipp Reinecke and Katinka Wolter (Free University of Berlin)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

14:00: Ten Years of Performance Evaluation for Concurrent Systems using CADP

Nicolas Coste (STMicroelectronics), Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe (INRIA), Holger Hermanns (Saarland University)

14:30: A stochastic extension of mCRL2 (work in progress)

Jan Friso Groote (Eindhoven University of Technology), Jan Lanik (Masaryk University)

15:00: Composing Systems while Preserving Probabilities

Sonja Georgievska and Suzana Andova (Eindhoven University of Technology)

15:30: Challenges in the Modelling and Quantitative Analysis of Safety-Critical Automotive Systems

Matthias Kuntz  and Bernd Reh (TRW), Florian Leitner-Fischer and Stefan Leue (University of Konstanz)

16:00 - 16:30 Coffee

16:30 - 17:30 SESSION 4

16.30: On software verification for embedded sensor nodes

Doina Bucur  (INCAS³)

17.00: Verification of Confidentiality of Multi-threaded Programs

Ngo Minh Tri (University of Twente)

Sunday, March 27

09:30 - 10:30 SESSION 5

09.30: Pairwise interaction model for gossip protocols

Rena Bakhshi, Daniela Gavidia, Wan Fokkink and Maarten Van Steen (Free University Amsterdam)

10.00: Mean-field analysis of  Botnet clustering behavior: A Stuxnet case study

Anja Kolesnichenko (University of Twente)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 6

11.00: Modelling non-linear crowd dynamics in Bio-PEPA -- Abstract

Mieke Massink and Diego Latella (ISTI, Pisa), Andrea Bracciali (University of Pisa), Jane Hillston (University of Edinburgh)

11.30: Modeling biological signaling pathways with timed automata

Stefano Schivo (University of Twente)

12.00: Bounding the equilibrium distribution of Markov population models

David Spieler (Saarland University)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 7

14:00: SMT-based Counterexample Generation for Discrete-Time Markov Chains

Bettina Braitling, Ralf Wimmer and Bernd Becker (University Freiburg), Nils Jansen and Erika Abraham  (RWTH Aachen University)

14:30: Hierarchical Counter-examples for DTMCs

Nils Jansen, Erika Abraham, Jens Katelaan and Joost-Pieter Katoen (RWTH Aachen University), Ralf Wimmer and Bernd Becker (University Freiburg)

15:00: Parameter Identification for Markov Models of Biochemical Reactions

Aleksandr Andreychenko (Technical University Dresden)

15:30: Markovian Testing Equivalence Revisited

Arpit Sharma and  Joost-Pieter Katoen (RWTH Aachen University)

16:00 - 16:30 Coffee

 

 

HOME PAGE:  http://www.rocks-project.eu/ETAPS2011