Programme

Building 101A, Meeting Room 1
Technical University of Denmark (DTU)
Anker Engelundsvej 1, 2800 Kgs. Lyngby

Building 101 is the main building at DTU, and Meeting Room 1 is upstairs, next to Faculty Club. See monitors at entrance 101A.

Wednesday, October 14, 2009

Probabilistic Systems
Session Chair - Michael R. Hansen

9:00 - 9:25	Lei Song and J. C. Godskesen
	A probabilistic calculus for mobile and ad hoc networks
9:25 - 9:50	N. Skrypnyuk, F. Nielson and H. Pilegaard
	Pathway Analysis for IMC
9:50 - 10:15	B. Delahaye, B. Caillaud and A. Legay
	Compositional Reasoning for Assume/Guarantee Contracts Combining Stochastic and Nondeterministic Aspects
10:15 - 10:40	E. Yüksel, H. R. Nielson and F. Nielson
	Quantitative Security Analysis of ZigBee Key Updates

Coffee Break

Invited Talk
Chair - Michael R. Hansen

11:00 - 12:00	Joost-Pieter Katoen
	Verifying Large -and Infinite- Markov Chains

Lunch in the main canteen, on the ground floor in building 101

Model Checking
Session Chair - Einar Broch Johnsen

13:00 - 13:25	N. Timm
	A Bounded Model Checker for Partially Known Systems
13:25 - 13:50	G. Sauter, H. Dierks, M. Fränzle and M. R. Hansen
	Light-weight hybrid model checking facilitating online prediction of temporal properties
13:50 - 14:15	H. A. Hansen and G. Schneider
	On the reachability analysis of planar, non-linear autonomous systems using hybrid systems
14:15 - 14:40	W. P. Heise, M. Fränzle, M. R. Hansen
	A prototype model checker for Duration Calculus

Coffee Break

Wireless Sensor Networks
Session Chair - Uwe Wolter

15:00 - 15:25	W. Leister and J. Bjørk
	Modelling Routing Algorithms for Wireless Sensor Networks in Creol
15:25 - 15:50	M. K. Jakobsen, M. R. Hansen and J. Madsen
	Formal verification of energy aware routing algorithm
15:50 - 16:15	M. S. Vighio and A. P. Ravn
	Analysis of collision in wireless sensor networks

Get-together

16:15 - 17:30

Informal gathering w/ refreshments