12th Workshop on Quantitative Aspects of Programming Languages

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.

Last modified: Wed Apr 30 11:46:00 CEST 2014