NWPT '09 Home
Call for papers
Organisation
Important Dates
Programme
- Wednesday
- Thursday
- Friday
Background
Scope
Invited Talks
Submission
Publication
Venue
Registration
Accommodation
Travel info
|
Programme
All sessions take place in:
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
8:30 - 9:00
|
Registration and welcome
|
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
|
|