Programme of QAPL at ETAPS 2010

(Quantitative Aspects of Programming Languages)

Sunday, March 28

09:30 - 10:30 SESSION 5: Invited Talk

09:30 Information, Lattices and Measures of Interference
Pasquale Malacaria

10:30 - 11:00 Coffee Break

11:00 - 12:00 SESSION 6: Verification

11:00 Automatic Probabilistic Program Verification through
Random Variable Abstraction
Damian Barsotti and Nicolas Wolovick
11:30 Probabilistic Model-Based Safety Analysis
Matthias Gudemann and Frank Ortmeier
 

12:30 - 14:00 Lunch

14:00 - 15:00 SESSION 7: Tools

14:00
A new tool for the performance analysis of massively
parallel computer systems
Anton Stefanek, Richard Hayden and Jeremy Bradley
14:30 Performance Evaluation of Components Using a
Granularity-based Interface Between Real-Time
Calculus and Timed Automata
Karine Altisen, Matthieu Moy and Yanhong Liu
 

16:00 - 16:30 Coffee Break

 
 
ETAPS 2010 | Top | Last Update: 2010-02-04