Quantitative Formal Methods





Workshop on

Quantitative Formal Methods:

Theory and Applications

- workshop of FM 2009 -

Eindhoven, The Netherlands

November 3rd, 2009


Program and Schedule

8:45 - 9:00 Opening

Session 1

9:00 - 9:50 Holger Hermanns : The Challenge is Renewable: Stochastic Electricity Balancing (invited speaker)

9:50 - 10:40 Michael Butler : Towards enrichment of a refinement-based tool chain with quantitative reasoning (invited speaker)

 10:40 - 11:00 Coffee

Session 2

11:00 - 11:25 Nicola Trcka :  Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix (regular paper)

11:25 - 11:50 Ukachukwu Ndukwu: Combining Proof-Based Verification with Model Checking for Probabilistic Systems (regular paper)

11:50 - 12:15 Marco Bernardo : Markovian Testing Equivalence and Exponentially Timed Internal Actions (regular paper)

12:15 - 12:35 Zoe Andrews : Towards a Stochastic Event-B for Designing Dependable Systems (young researcher)

12:35 - 14:00 Lunch

Session 3

14:00 - 14:50 Marco Bernardo : A Process Algebraic Approach to Software Architecture Design: Quantitative Aspects (invited speaker)

14:50 - 15:15 Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu and Frits Vaandrager: Adaptive Scheduling of Data Paths using Uppaal Tiga (regular paper)

15:15 - 15:35 Coffee

15:35 - 16:00 Hao Wang and Wendy MacCaull : Verifying Real-Time Systems using Explicit-time Description Methods (regular paper)

16:00 - 16:25 Mathijs Schuts, Feng Zhu, Faranak Heidarian and Frits Vaandrager : Modelling Clock Synchronization in the Chess gMAC WSN Protocol. (regular paper)

16:25 - 16:35 Short break

 Session 4

16:35 - 16:55 Laura Panizo, Maria del Mar Gallardo, Pedro Merino and Antonia Linares : Integration of Quantitative Aspects into SPIN to Develop a Decision Support Tool for Dams (young researcher)

16:55 - 17:15 Federico Buti, Massimo Callisto De Donnato, Flavio Corradini, Maria Rita Di Berardini and Walter Vogler : Evaluating the Efficiency of Asynchronous Systems with FASE (young researcher)

17:15 - 17:35 Savas Konur : Real-time System Specification with a Decidable Temporal Logic (young researcher)

17:35 – 17:45 Closing

19:00 –   Dinner at Restaurant Indonesia Eindhoven (included in the workshop fee)

The workshop pre-proceedings will be available during the workshop as a FM2009 workshop proceedings. The proceedings of QFM'09 will be published as a volume of the EPTCS electronic journal. Authors of selected papers will be invited after the workshop to submit an extended version for publication in a special issue of the Journal of Logic and Algebraic Programming - Elsevier.