21st Nordic Workshop on Programming Theory, NWPT '09
Lyngby, Denmark, 14-16 October 2009
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

http://www.imm.dtu.dk/nwpt09 | email: nwpt09(at)imm.dtu.dk | © DTU Informatics, 2009