QAPL

Keyphrases

Publications

2016

volume 227, 2016

Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. QAPL 227 (2016)

2015

Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Semiring-based Specification Approaches for Quantitative Security. QAPL (2015)
Diego Latella, Mieke Massink, Erik P. de Vink
A Definition Scheme for Quantitative Bisimulation. QAPL (2015)
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL (2015)
Alessandro Aldini, Marco Bernardo
Expected-Delay-Summing Weak Bisimilarity for Markov Automata. QAPL (2015)
Luca Bortolussi, Jane Hillston
Efficient Checking of Individual Rewards Properties in Markov Population Models. QAPL (2015)
Yusuke Kawamoto, Thomas Given-Wilson
Quantitative Information Flow for Scheduler-Dependent Systems. QAPL (2015)
Mads Rosendahl, Maja H. Kirkeby
Probabilistic Output Analysis by Program Manipulation. QAPL (2015)
Matias David Lee, Erik P. de Vink
Rooted branching bisimulation as a congruence for probabilistic transition systems. QAPL (2015)

volume 194, 2015

Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. QAPL 194 (2015)

2014

volume 154, 2014

Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. QAPL 154 (2014)

2013

volume 117, 2013

Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. QAPL 117 (2013)

2012

volume 85, 2012

Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. QAPL 85 (2012)

2011

volume 57, 2011

Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. QAPL 57 (2011)