Programme of QAPL at ETAPS 2010
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