QFM'09 |
||
|
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) 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)
Session 4 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.
|
|