Programme of QAPL at ETAPS 2010

(Quantitative Aspects of Programming Languages)

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