Programme of QAPL at ETAPS 2010
Saturday, March 27
09:15 - 09:30 OPENING
09:30 - 10:30 SESSION 1: Invited Talk
- Jeremy Sproston
“Is it on time?” “Probably.” Model checking for probabilistic timed automata.
-
-
10:30 - 11:00 Coffee Break
11:00 - 12:30 SESSION 2: Abstraction
- 11:00 Injecting Abstract Interpretations into Linear Cost Models
- David Cachera and Arnaud Jobin
- 11:30 An expectation transformer approach to predicate
abstraction and data independence for probabilistic programs
- Ukachukwu Ndukwu and Annabelle McIver
- 12:00
Linear-invariant generation for probabilistic programs (abstract)
- Annabelle McIver, Joost-Pieter Katoen, Carroll Morgan and Larissa Meinicke
-
-
12:30 - 14:00 Lunch
14:00 - 15:00 SESSION 3: Games
- 14:00 Quantitative Fairness Games
- Alessandro Bianco, Marco Faella, Fabio Mogavero and
Aniello Murano
- 14:30 Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
- Markus Rabe and Sven ScheweTBA
15:00 - 15:30 SESSION 4: Process Algebra
- 15:00 Testing Reactive Probabilistic Processes
- Sonja Georgievska and Suzana Andova
- 15:30 Approximate Testing Equivalence Based on Time,
Probability, and Observed Behavior
- Alessandro Aldini
-
-
16:00 - 16:30 Coffee Break
16:30 - 17:30 SESSION 5: Process Algebra
- 16:30 Stochastic Calculus of Wrapped Compartments
- Mario Coppo, Ferruccio Damiani, Elena Grassi and Angelo Troina
- 17:00 A linear process algebraic format for probabilistic systems with data
(abstract)
- Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga
and Mark Timmer
-
-
-
-
-
ETAPS 2010 |
Top |
Last Update: 2010-02-04