Workshop Program
Saturday, March 23 |
||
| 09.00 - 09.30 |
Registration and opening Session | |
| 09.30 - 10.30 |
Invited Talk: Alessandra Di Pierro Probabilistic static analysis and security trade-offs |
|
Session 1: Security |
||
| 10.30 - 11.00 | Ivan Gazeau, Dale Miller and Catuscia Palamidessi. Preserving differential privacy under finite-precision semantics |
|
|
|
||
| 11.00 - 11.30 | Coffee Break | |
|
|
||
Session 2: Program analysis |
||
| 11.30 - 12.00 | Paolo Tranquilli. Indexed Labels for Loop Iteration Dependent Costs |
|
| 12.00 - 12.30 | Tri Minh Ngo and Marieke Huisman. Quantitative Security Analysis for Multi-threaded Programs |
|
|
|
||
| 12.30 - 14.00 | Lunch | |
|
|
||
Session 3: Short papers |
||
| 14.00 - 14.30 | Mark Timmer, Jaco Van De Pol and Marielle I A Stoelinga (short paper). Confluence Reduction for Markov Automata Download extended abstract |
|
| 14.30 - 15.00 | Christian Krause, Erik de Vink and Pim de Vink (short paper). Towards Dynamic Adaptation of the Majority Rule Scheme Download extended abstract |
|
| 15.00 - 15.30 | Arnd Hartmanns and Mark Timmer (short paper). On-the-fly Confluence Detection for Statistical Model Checking Download extended abstract |
|
|
|
||
| 15.30 - 16.00 | Coffee Break | |
|
|
||
Session 4: Model Checking |
||
| 16.00 - 16.30 | Viktor Schuppan. Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance |
|
| 16.30 - 17.00 | Tingting Han, Christian Krause, Marta Kwiatkowska and Holger Giese. Modal Specifications for Probabilistic Timed Systems |
|
|
|
||
| 17.00 - 17.30 | Claudio Sacerdoti Coen and Tullio Vardanega. (presentation only) Innovative techniques in timing analysis: cost prediction on high level languages and probabilistic time analysis |
|
|
|
||
|
|
||
Sunday, March 24 |
||
Joint QAPL-MLQA session |
||
| 09.00 - 10.00 |
MLQA Invited Talk: Martin Fränzle A tight integration of symbolic, numeric, and statistical methods for the analysis of cyber-physical systems |
|
| 10.00 - 11.00 |
QAPL Invited Talk: Paolo Zuliani Statistical Model Checking for Cyber-Physical Systems |
|
|
|
||
| 11.00 - 11.30 | Coffee Break | |
|
|
||
Joint QAPL-MLQA session |
||
| 11.30 - 12.30 | MLQA Invited Talk: Flemming Nielson. Guarding against Denial of Service Attacks |
|
|
|
||
| 12.30 - 14.00 | Lunch | |
|
|
||
| 14.00 - 14.30 | QAPL Steering Committee.. | |
|
|
||
Session 5: Process Algebras |
||
| 14.30 - 15.00 | Marco Bernardo, Rocco De Nicola and Michele Loreti. The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes |
|
| 15.00 - 15.30 | Tahiry Rabehaja, Annabelle McIver and Georg Struth. Probabilistic Concurrent Kleene Algebra |
|
|
|
||
| 15.30 - 16.00 | Coffee Break | |
|
|
||
Session 6: Games |
||
| 16.00 - 16.30 | Nathalie Bertrand and Philippe Schnoebelen. Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor |
|
| 16.30 - 17.00 | Arjun Arul and Julien Reichert. The Complexity of Robot Games on the Integer Line |
|
|
|
||
Closing |
||