| Saturday, April 12th |
| 09h15 - 10h30 |
- Opening
- Invited talk Oded Maler. Timed Systems: The Unmet Challenge
|
| 11h00 - 12h30 |
- Diego Latella, Michele Loreti, Mieke Massink, and Valerio
Senni. Stochastically timed predicate-based communication
primitives for autonomic computing (regular paper)
- Marino Miculan and Marco Peressotti. GSOS for non-deterministic processes with quantitative aspects (regular paper)
- Max Tschaikowski and Mirco Tribastone. Extended Differential Aggregations in Process Algebra for Performance and Biology (regular paper)
|
| 14h00 - 16h00 |
- Invited talk Stephen Gilmore. Quantitative Aspects of Public Transport
- Michele Pagani. A Bird's Eye View on the Quantitative
Semantics of Linear Logic (presentation only) download extended abstract
- Herbert Wiklicky. Quantitative Aspects in Program
Synthesis (presentation only) download extended abstract
- Lili Xu, Konstantinos Chatzikokolakis, and Catuscia
Palamidessi. A Multiplicative Variant of the Kantorovich distance
for Differential Privacy (presentation only) download extended abstract
|
| 16h30 - 18h00 |
- Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, and Holger Hermanns. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (regular paper)
- Dennis Guck, Mark Timmer, and Stefan Blom. Extending Markov
Automata with State and Action Rewards (presentation only) download extended abstract
- Giulio Iacobelli, Mirco Tribastone, and Andrea
Vandin. Differential Ordinary Lumpability in Markovian Process
Algebra (presentation only) download extended abstract
- Daniel Gebler. Compositional metric reasoning with
Probabilistic Process Calculi (presentation only) download extended abstract
|
| Sunday, April 13th |
| 09h00 - 10h30 |
- Invited talk Enrico Vicario. Quantitative evaluation of concurrent systems with non-Markovian temporal parameters
- Tomasz Kloda, Bruno d'Ausbourg, and Luca Santinelli. Towards a
More Flexible Timing Definition Language (presentation only) download extended abstract
|
| 11h00 - 12h30 |
- Cheng Feng. Patch-based Hybrid Modelling of Spatially
Distributed Systems by Using Stochastic HYPE - ZebraNet as an
Example (regular paper)
- Jean-Francois Kempf, Olivier Lebeltel, and Oded Maler. Formal
and Informal Methods for Multi-Core Design Space Exploration
(regular paper)
- David Spieler, Ernst Moritz Hahn, and Lijun Zhang. Model
Checking CSL for Markov Population Models (regular paper)
|
| 14h00 - 16h00 |
- Invited talk Nicolas
Markey. Robustness issues in timed automata
- Clemens Dubslaff, Sascha Klüppelholz, Christel
Baier. Probabilistic Software Product Line Model Checking
(presentation only) download extended abstract
- Alexander Andreychenko, Linar Mikeev, and Verena Wolf. Moment
closure approximation and distribution reconstruction for Markov
Population Models (presentation only) download extended abstract
- Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, and
Chunyan Mu. Entropy model checking (presentation only) download extended abstract
|
| 16h30 - 17h20 |
- Jonathan M. Smith, Neil J. Ross, Peter Selinger, and Benoit
Valiron. Quipper: Concrete Resource Estimation in Quantum
Algorithms (presentation only) download extended abstract
- Alessandra Di Pierro and Federica Panarotto. A Calculus for
Topological Quantum Computation (presentation only) download extended abstract
- Closing.
|