@article(ADAO20063,
 author       = {Ad{\~{a}}o, Pedro and Paulo Mateus and Tiago Reis and Luca Vigan{\`{o}}},
 year         = {2006},
 title        = {Towards a Quantitative Analysis of Security Protocols},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {164},
 number       = {3},
 pages        = {3--25},
 doi          = {10.1016/j.entcs.2006.07.009},
 note         = {Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)},
)
@article(AGHA2006213,
 author       = {Gul Agha and Jos\'e Meseguer and Koushik Sen},
 year         = {2006},
 title        = {PMaude: Rewrite-based Specification Language for Probabilistic Object Systems},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {213--239},
 doi          = {10.1016/j.entcs.2005.10.040},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@article(ALBERT2012142,
 author       = {Elvira Albert and Puri Arenas and Samir Genaim and German Puebla and Damiano Zanardini},
 year         = {2012},
 title        = {Cost analysis of object-oriented bytecode programs},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 number       = {1},
 pages        = {142--159},
 doi          = {10.1016/j.tcs.2011.07.009},
 note         = {Quantitative Aspects of Programming Languages (QAPL 2010)},
)
@article(Aldini201273,
 author       = {Alessandro Aldini},
 year         = {2012},
 title        = {Approximating Markovian testing equivalence},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 number       = {1},
 pages        = {73--86},
 doi          = {10.1016/j.tcs.2011.07.019},
 note         = {Quantitative Aspects of Programming Languages (QAPL 2010)},
)
@article(DBLP:journals/tcs/AldiniB07,
 author       = {Alessandro Aldini and Marco Bernardo},
 year         = {2007},
 title        = {Mixing logics and rewards for the component-oriented specification of performance measures},
 journal      = {Theor. Comput. Sci.},
 volume       = {382},
 number       = {1},
 pages        = {3--23},
 doi          = {10.1016/j.tcs.2007.05.006},
 note         = {Quantitative Aspects of Programming Languages},
)
@inproceedings(EPTCS194.1,
 author       = {Alessandro Aldini and Marco Bernardo},
 year         = {2015},
 title        = {Expected-Delay-Summing Weak Bisimilarity for Markov Automata},
 booktitle    = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {194},
 pages        = {1--15},
 doi          = {10.4204/EPTCS.194.1},
)
@article(ALDINI2005131,
 author       = {Alessandro Aldini and {Di Pierro}, Alessandra},
 year         = {2005},
 title        = {On Quantitative Analysis of Probabilistic Protocols},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {112},
 pages        = {131--148},
 doi          = {10.1016/j.entcs.2004.01.019},
 note         = {Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)},
)
@article(DBLP:journals/tcs/AlpuenteGPV05,
 author       = {Mar{\'{\i}}a Alpuente and Mar{\'{\i}}a{-}del{-}Mar Gallardo and Ernesto Pimentel and Alicia Villanueva},
 year         = {2005},
 title        = {A semantic framework for the abstract model checking of tccp programs},
 journal      = {Theor. Comput. Sci.},
 volume       = {346},
 number       = {1},
 pages        = {58--95},
 doi          = {10.1016/j.tcs.2005.08.009},
 note         = {Quantitative Aspects of Programming Languages},
)
@inproceedings(EPTCS28.2,
 author       = {Karine Altisen and Yanhong Liu and Matthieu Moy},
 year         = {2010},
 title        = {Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata},
 booktitle    = {{\rm Proceedings Eighth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {28},
 pages        = {16--33},
 doi          = {10.4204/EPTCS.28.2},
)
@inproceedings(EPTCS57.4,
 author       = {Bogdan Aman and Gabriel Ciobanu},
 year         = {2011},
 title        = {Time Delays in Membrane Systems and Petri Nets},
 booktitle    = {{\rm Proceedings Ninth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {57},
 pages        = {47--60},
 doi          = {10.4204/EPTCS.57.4},
)
@article(ANDOVA201258,
 author       = {Suzana Andova and Sonja Georgievska and Tr{\v c}ka, Nikola},
 year         = {2012},
 title        = {Branching bisimulation congruence for probabilistic systems},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 number       = {1},
 pages        = {58--72},
 doi          = {10.1016/j.tcs.2011.07.020},
 note         = {Quantitative Aspects of Programming Languages (QAPL 2010)},
)
@inproceedings(EPTCS57.1,
 author       = {Aleksandr Andreychenko and Pepijn Crouzen and Linar Mikeev and Verena Wolf},
 year         = {2011},
 title        = {On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models},
 booktitle    = {{\rm Proceedings Ninth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {57},
 pages        = {1--15},
 doi          = {10.4204/EPTCS.57.1},
)
@article(ARGENTKATWALA20073,
 author       = {Argent-Katwala, Ashok and Jeremy T. Bradley},
 year         = {2007},
 title        = {PEPA Queues: Capturing Customer Behaviour in Queueing Networks},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {3--25},
 doi          = {10.1016/j.entcs.2007.07.002},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@inproceedings(EPTCS117.9,
 author       = {Arjun Arul and Julien Reichert},
 year         = {2013},
 title        = {The Complexity of Robot Games on the Integer Line},
 booktitle    = {{\rm Proceedings 11th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {117},
 pages        = {132--148},
 doi          = {10.4204/EPTCS.117.9},
)
@inproceedings(EPTCS57.8,
 author       = {Joseph Assouramou and Jos\'ee Desharnais},
 year         = {2011},
 title        = {Analysis of Non-Linear Probabilistic Hybrid Systems},
 booktitle    = {{\rm Proceedings Ninth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {57},
 pages        = {104--119},
 doi          = {10.4204/EPTCS.57.8},
)
@article(Baier200697,
 author       = {Christel Baier and Pedro D'Argenio and Marcus Groesser},
 year         = {2006},
 title        = {Partial Order Reduction for Probabilistic Branching Time},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {97--116},
 doi          = {10.1016/j.entcs.2005.10.034},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@article(VANBAKEL2008181,
 author       = {Steffen van Bakel and Ikra Khan and Maria Grazia Vigliotti and John K. Heath},
 year         = {2008},
 title        = {Modelling Intracellular Fate of FGF Receptors With BioAmbients},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {220},
 number       = {3},
 pages        = {181--197},
 doi          = {10.1016/j.entcs.2008.11.026},
 note         = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)},
)
@article(BALTAZAR200795,
 author       = {Pedro Baltazar and Paulo Mateus and Rajagopal Nagarajan and Nikolaos Papanikolaou},
 year         = {2007},
 title        = {Exogenous Probabilistic Computation Tree Logic},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {95--110},
 doi          = {10.1016/j.entcs.2007.07.007},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(BARTHE200633,
 author       = {Gilles Barthe and Tamara Rezk and Martijn Warnier},
 year         = {2006},
 title        = {Preventing Timing Leaks Through Transactional Branching Instructions},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {33--55},
 doi          = {10.1016/j.entcs.2005.10.031},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@article(Bazm2019197,
 author       = {Mohammad-Mahdi Bazm and Marc Lacoste and Mario S\"udholt and Jean-Marc Menaud},
 year         = {2019},
 title        = {Isolation in cloud computing infrastructures: new security challenges},
 journal      = {Annales des Telecommunications/Annals of Telecommunications},
 volume       = {74},
 number       = {3-4},
 pages        = {197--209},
 doi          = {10.1007/s12243-019-00703-z},
)
@inproceedings(EPTCS85.4,
 author       = {Francesco Belardinelli and Pavel Gonzalez and Alessio Lomuscio},
 year         = {2012},
 title        = {Automated Verification of Quantum Protocols using MCMAS},
 booktitle    = {{\rm Proceedings 10th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {85},
 pages        = {48--62},
 doi          = {10.4204/EPTCS.85.4},
)
@article(BERNARDO20093,
 author       = {Marco Bernardo},
 year         = {2009},
 title        = {Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {253},
 number       = {3},
 pages        = {3--23},
 doi          = {10.1016/j.entcs.2009.10.002},
 note         = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)},
)
@inproceedings(EPTCS85.9,
 author       = {Marco Bernardo},
 year         = {2012},
 title        = {Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes},
 booktitle    = {{\rm Proceedings 10th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {85},
 pages        = {122--136},
 doi          = {10.4204/EPTCS.85.9},
)
@inproceedings(EPTCS117.6,
 author       = {Marco Bernardo and {De Nicola}, Rocco and Michele Loreti},
 year         = {2013},
 title        = {The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes},
 booktitle    = {{\rm Proceedings 11th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {117},
 pages        = {81--96},
 doi          = {10.4204/EPTCS.117.6},
)
@inproceedings(EPTCS117.8,
 author       = {Nathalie Bertrand and Philippe Schnoebelen},
 year         = {2013},
 title        = {Solving Stochastic B\"uchi Games on Infinite Arenas with a Finite Attractor},
 booktitle    = {{\rm Proceedings 11th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {117},
 pages        = {116--131},
 doi          = {10.4204/EPTCS.117.8},
)
@article(BIANCO2012160,
 author       = {Alessandro Bianco and Marco Faella and Fabio Mogavero and Aniello Murano},
 year         = {2012},
 title        = {Quantitatively fair scheduling},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 number       = {1},
 pages        = {160--175},
 doi          = {10.1016/j.tcs.2011.06.029},
 note         = {Quantitative Aspects of Programming Languages (QAPL 2010)},
)
@article(BISTARELLI2007111,
 author       = {Stefano Bistarelli and Ugo Montanari and Francesca Rossi and Francesco Santini},
 year         = {2007},
 title        = {Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {111--127},
 doi          = {10.1016/j.entcs.2007.07.008},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(BODEI2005167,
 author       = {Chiara Bodei and Michele Curti and Pierpaolo Degano and Mikael Buchholtz and Flemming Nielson and Hanne Riis Nielson and Corrado Priami},
 year         = {2005},
 title        = {Performance Evaluation of Security Protocols Specified in LySa},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {112},
 pages        = {167--189},
 doi          = {10.1016/j.entcs.2004.01.017},
 note         = {Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)},
)
@article(BORTOLUSSI200665,
 author       = {Luca Bortolussi},
 year         = {2006},
 title        = {Stochastic Concurrent Constraint Programming},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {164},
 number       = {3},
 pages        = {65--80},
 doi          = {10.1016/j.entcs.2006.07.012},
 note         = {Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)},
)
@article(BORTOLUSSI2008163,
 author       = {Luca Bortolussi},
 year         = {2008},
 title        = {On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {220},
 number       = {3},
 pages        = {163--180},
 doi          = {10.1016/j.entcs.2008.11.025},
 note         = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)},
)
@inproceedings(EPTCS194.2,
 author       = {Luca Bortolussi and {De Nicola}, Rocco and Vashti Galpin and Stephen Gilmore and Jane Hillston and Diego Latella and Michele Loreti and Mieke Massink},
 year         = {2015},
 title        = {CARMA: Collective Adaptive Resource-sharing Markovian Agents},
 booktitle    = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {194},
 pages        = {16--31},
 doi          = {10.4204/EPTCS.194.2},
)
@inproceedings(EPTCS57.9,
 author       = {Luca Bortolussi and Vashti Galpin and Jane Hillston},
 year         = {2011},
 title        = {HYPE with stochastic events},
 booktitle    = {{\rm Proceedings Ninth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {57},
 pages        = {120--133},
 doi          = {10.4204/EPTCS.57.9},
)
@inproceedings(EPTCS85.8,
 author       = {Luca Bortolussi and Vashti Galpin and Jane Hillston},
 year         = {2012},
 title        = {Hybrid performance modelling of opportunistic networks},
 booktitle    = {{\rm Proceedings 10th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {85},
 pages        = {106--121},
 doi          = {10.4204/EPTCS.85.8},
)
@inproceedings(EPTCS194.3,
 author       = {Luca Bortolussi and Jane Hillston},
 year         = {2015},
 title        = {Efficient Checking of Individual Rewards Properties in Markov Population Models},
 booktitle    = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {194},
 pages        = {32--47},
 doi          = {10.4204/EPTCS.194.3},
)
@article(BORTOLUSSI200727,
 author       = {Luca Bortolussi and Alberto Policriti},
 year         = {2007},
 title        = {Stochastic Concurrent Constraint Programming and Differential Equations},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {27--42},
 doi          = {10.1016/j.entcs.2007.07.003},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(BORTOLUSSI2009187,
 author       = {Luca Bortolussi and Maria Grazia Vigliotti},
 year         = {2009},
 title        = {CoBiC: Context-dependent Bioambient Calculus},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {253},
 number       = {3},
 pages        = {187--201},
 doi          = {10.1016/j.entcs.2009.10.012},
 note         = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)},
)
@inproceedings(EPTCS154.4,
 author       = {Bettina Braitling and Ferrer Fioriti, Luis Mar\'ia and Hassan Hatefi and Ralf Wimmer and Bernd Becker and Holger Hermanns},
 year         = {2014},
 title        = {MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata},
 booktitle    = {{\rm Proceedings Twelfth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {154},
 pages        = {48--63},
 doi          = {10.4204/EPTCS.154.4},
)
@article(DBLP:journals/tcs/BravettiGLZ05,
 author       = {Mario Bravetti and Roberto Gorrieri and Roberto Lucchi and Gianluigi Zavattaro},
 year         = {2005},
 title        = {Quantitative information in the tuple space coordination model},
 journal      = {Theor. Comput. Sci.},
 volume       = {346},
 number       = {1},
 pages        = {28--57},
 doi          = {10.1016/j.tcs.2005.08.004},
)
@article(BROGI2002207,
 author       = {Antonio Brogi and {Di Pierro}, Alessandra and Herbert Wiklicky},
 year         = {2002},
 title        = {Linear Embedding for a Quantitative Comparison of Language Expressiveness},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {59},
 number       = {3},
 pages        = {207--237},
 doi          = {10.1016/S1571-0661(04)00289-0},
 note         = {QAPL'01, Quantitative Aspects of Programming Languages},
)
@inproceedings(EPTCS85.1,
 author       = {Peter Bulychev and Alexandre David and Kim Gulstrand Larsen and Miku\v{c}ionis, Marius and B{\o}gsted Poulsen, Danny and Axel Legay and Zheng Wang},
 year         = {2012},
 title        = {UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata},
 booktitle    = {{\rm Proceedings 10th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {85},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.85.1},
)
@inproceedings(EPTCS28.5,
 author       = {David Cachera and Arnaud Jobin},
 year         = {2010},
 title        = {Injecting Abstract Interpretations into Linear Cost Models},
 booktitle    = {{\rm Proceedings Eighth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {28},
 pages        = {64--81},
 doi          = {10.4204/EPTCS.28.5},
)
@inproceedings(10.1007/978-3-662-54580-5_19,
 author       = {Luca Cardelli and Mirco Tribastone and Max Tschaikowski and Andrea Vandin},
 year         = {2017},
 title        = {ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations},
 editor       = {Axel Legay and Tiziana Margaria},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {310--328},
 doi          = {10.1007/978-3-662-54580-5\_19},
)
@inproceedings(EPTCS227.4,
 author       = {Valentina Castiglioni and Daniel Gebler and Simone Tini},
 year         = {2016},
 title        = {Logical Characterization of Bisimulation Metrics},
 booktitle    = {{\rm Proceedings 14th Workshop} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {227},
 pages        = {44--62},
 doi          = {10.4204/EPTCS.227.4},
)
@inproceedings(EPTCS250.4,
 author       = {Valentina Castiglioni and Simone Tini},
 year         = {2017},
 title        = {Logical Characterization of Trace Metrics},
 booktitle    = {{\rm Proceedings 15th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {250},
 pages        = {39--74},
 doi          = {10.4204/EPTCS.250.4},
)
@article(CERNY201221,
 author       = {{\v C}ern{\'y}, Pavol and Thomas A. Henzinger and Arjun Radhakrishna},
 year         = {2012},
 title        = {Simulation distances},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 number       = {1},
 pages        = {21--35},
 doi          = {10.1016/j.tcs.2011.08.002},
 note         = {Quantitative Aspects of Programming Languages (QAPL 2010)},
)
@article(CHOTHIA200779,
 author       = {Tom Chothia and Jun Pang and Mohammad Torabi Dashti},
 year         = {2007},
 title        = {Keeping Secrets in Resource Aware Components},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {79--94},
 doi          = {10.1016/j.entcs.2007.07.006},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(CIANCIA200743,
 author       = {Vincenzo Ciancia and Gian Luigi Ferrari},
 year         = {2007},
 title        = {Co-Algebraic Models for Quantitative Spatial Logics},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {43--58},
 doi          = {10.1016/j.entcs.2007.07.004},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(CIOBANU200681,
 author       = {Gabriel Ciobanu and Cristian Prisacariu},
 year         = {2006},
 title        = {Timers for Distributed Systems},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {164},
 number       = {3},
 pages        = {81--99},
 doi          = {10.1016/j.entcs.2006.07.013},
 note         = {Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)},
)
@article(CLARK2002238,
 author       = {David Clark and Sebastian Hunt and Pasquale Malacaria},
 year         = {2002},
 title        = {Quantitative Analysis of the Leakage of Confidential Data},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {59},
 number       = {3},
 pages        = {238--251},
 doi          = {10.1016/S1571-0661(04)00290-7},
 note         = {QAPL'01, Quantitative Aspects of Programming Languages},
)
@article(CLARK2005149,
 author       = {David Clark and Sebastian Hunt and Pasquale Malacaria},
 year         = {2005},
 title        = {Quantified Interference for a While Language},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {112},
 pages        = {149--166},
 doi          = {10.1016/j.entcs.2004.01.018},
 note         = {Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)},
)
@inproceedings(EPTCS28.6,
 author       = {Mario Coppo and Ferruccio Damiani and Maurizio Drocco and Elena Grassi and Angelo Troina},
 year         = {2010},
 title        = {Stochastic Calculus of Wrapped Compartments},
 booktitle    = {{\rm Proceedings Eighth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {28},
 pages        = {82--98},
 doi          = {10.4204/EPTCS.28.6},
)
@inproceedings(EPTCS85.3,
 author       = {Cormie-Bowins, Elise and Franck van Breugel},
 year         = {2012},
 title        = {Measuring Progress of Probabilistic LTL Model Checking},
 booktitle    = {{\rm Proceedings 10th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {85},
 pages        = {33--47},
 doi          = {10.4204/EPTCS.85.3},
)
@article(DENICOLA200742,
 author       = {{De Nicola}, Rocco and Joost-Pieter Katoen and Diego Latella and Michele Loreti and Mieke Massink},
 year         = {2007},
 title        = {Model checking mobile stochastic logic},
 journal      = {Theoretical Computer Science},
 volume       = {382},
 number       = {1},
 pages        = {42--70},
 doi          = {10.1016/j.tcs.2007.05.008},
 note         = {Quantitative Aspects of Programming Languages},
)
@article(DENICOLA2006161,
 author       = {{De Nicola}, Rocco and Joost-Pieter Katoen and Diego Latella and Mieke Massink},
 year         = {2006},
 title        = {Towards a Logic for Performance and Mobility},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {161--175},
 doi          = {10.1016/j.entcs.2005.10.037},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@article(DEGANO2006101,
 author       = {Pierpaolo Degano and Davide Prandi and Corrado Priami and Paola Quaglia},
 year         = {2006},
 title        = {Beta-binders for Biological Quantitative Experiments},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {164},
 number       = {3},
 pages        = {101--117},
 doi          = {10.1016/j.entcs.2006.07.014},
 note         = {Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)},
)
@article(DENG05,
 author       = {Yuxin Deng and Tom Chothia and Catuscia Palamidessi and Jun Pang},
 year         = {2006},
 title        = {Metrics for Action-labelled Quantitative Transition Systems},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {79--96},
 doi          = {10.1016/j.entcs.2005.10.033},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@article(DENG2007185,
 author       = {Yuxin Deng and Wenjie Du},
 year         = {2007},
 title        = {Probabilistic Barbed Congruence},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {185--203},
 doi          = {10.1016/j.entcs.2007.07.011},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(DENG09,
 author       = {Yuxin Deng and Wenjie Du},
 year         = {2009},
 title        = {The Kantorovich Metric in Computer Science: A Brief Survey},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {253},
 number       = {3},
 pages        = {73--82},
 doi          = {10.1016/j.entcs.2009.10.006},
 note         = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)},
)
@article(DENG201416,
 author       = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan},
 year         = {2014},
 title        = {Real-reward testing for probabilistic processes},
 journal      = {Theoretical Computer Science},
 volume       = {538},
 pages        = {16--36},
 doi          = {10.1016/j.tcs.2013.07.016},
 note         = {Quantitative Aspects of Programming Languages and Systems (2011-12)},
)
@inproceedings(PHW02,
 author       = {{Di Pierro}, Alessandra and Chris Hankin and Herbert Wiklicky},
 year         = {2002},
 title        = {Approximate Non-Interference},
 booktitle    = {15th IEEE Workshop on Computer Security Foundations},
 pages        = {3--17},
 doi          = {10.1109/CSFW.2002.1021803},
)
@article(DIPIERRO200759,
 author       = {{Di Pierro}, Alessandra and Chris Hankin and Herbert Wiklicky},
 year         = {2007},
 title        = {On Probabilistic Techniques for Data Flow Analysis},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {59--77},
 doi          = {10.1016/j.entcs.2007.07.005},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(DIPIERRO200823,
 author       = {{Di Pierro}, Alessandra and Pascal Sotin and Herbert Wiklicky},
 year         = {2008},
 title        = {Relational Analysis and Precision via Probabilistic Abstract Interpretation},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {220},
 number       = {3},
 pages        = {23--42},
 doi          = {10.1016/j.entcs.2008.11.017},
 note         = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)},
)
@inproceedings(DBLP:conf/ppdp/PierroW00,
 author       = {{Di Pierro}, Alessandra and Herbert Wiklicky},
 year         = {2000},
 title        = {Concurrent constraint programming: towards probabilistic abstract interpretation},
 booktitle    = {Proceedings of the 2nd {ACM} {SIGPLAN} conference on on Principles and Practice of Declarative Programming},
 pages        = {127--138},
 doi          = {10.1145/351268.351284},
)
@article(DRAGER201437,
 author       = {Klaus Dr{\"a}ger and Marta Kwiatkowska and David Parker and Hongyang Qu},
 year         = {2014},
 title        = {Local abstraction refinement for probabilistic timed programs},
 journal      = {Theoretical Computer Science},
 volume       = {538},
 pages        = {37--53},
 doi          = {10.1016/j.tcs.2013.07.013},
 note         = {Quantitative Aspects of Programming Languages and Systems (2011-12)},
)
@article(FAELLA200861,
 author       = {Marco Faella and Axel Legay and Marielle Stoelinga},
 year         = {2008},
 title        = {Model Checking Quantitative Linear Time Logic},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {220},
 number       = {3},
 pages        = {61--77},
 doi          = {10.1016/j.entcs.2008.11.019},
 note         = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)},
)
@article(FAHRENBERG201454,
 author       = {Uli Fahrenberg and Axel Legay},
 year         = {2014},
 title        = {The quantitative linear-time--branching-time spectrum},
 journal      = {Theoretical Computer Science},
 volume       = {538},
 pages        = {54--69},
 doi          = {10.1016/j.tcs.2013.07.030},
 note         = {Quantitative Aspects of Programming Languages and Systems (2011-12)},
)
@inproceedings(EPTCS57.10,
 author       = {Uli Fahrenberg and Claus Thrane and Kim G. Larsen},
 year         = {2011},
 title        = {Distances for Weighted Transition Systems: Games and Properties},
 booktitle    = {{\rm Proceedings Ninth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {57},
 pages        = {134--147},
 doi          = {10.4204/EPTCS.57.10},
)
@inproceedings(EPTCS154.5,
 author       = {Cheng Feng},
 year         = {2014},
 title        = {Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example},
 booktitle    = {{\rm Proceedings Twelfth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {154},
 pages        = {64--77},
 doi          = {10.4204/EPTCS.154.5},
)
@article(FRUHWIRTH2002185,
 author       = {Thom Fr{\"u}hwirth},
 year         = {2002},
 title        = {As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {59},
 number       = {3},
 pages        = {185--206},
 doi          = {10.1016/S1571-0661(04)00288-9},
 note         = {QAPL'01, Quantitative Aspects of Programming Languages},
)
@inproceedings(EPTCS85.5,
 author       = {Ivan Gazeau and Dale Miller and Catuscia Palamidessi},
 year         = {2012},
 title        = {A non-local method for robustness analysis of floating point programs},
 booktitle    = {{\rm Proceedings 10th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {85},
 pages        = {63--76},
 doi          = {10.4204/EPTCS.85.5},
)
@inproceedings(EPTCS28.7,
 author       = {Sonja Georgievska and Suzana Andova},
 year         = {2010},
 title        = {Testing Reactive Probabilistic Processes},
 booktitle    = {{\rm Proceedings Eighth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {28},
 pages        = {99--113},
 doi          = {10.4204/EPTCS.28.7},
)
@inproceedings(DBLP:conf/ifip2/GiacaloneJS90,
 author       = {Alessandro Giacalone and Chi{-}Chang Jou and Scott A. Smolka},
 year         = {1990},
 title        = {Algebraic Reasoning for Probabilistic Concurrent Systems},
 booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods},
 pages        = {443--458},
 url          = {https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.3664&rank=1},
)
@article(doi:10.1021/j100540a008,
 author       = {Daniel T. Gillespie},
 year         = {1977},
 title        = {Exact stochastic simulation of coupled chemical reactions},
 journal      = {The Journal of Physical Chemistry},
 volume       = {81},
 number       = {25},
 pages        = {2340--2361},
 doi          = {10.1021/j100540a008},
)
@article(GIRO201470,
 author       = {Sergio Giro},
 year         = {2014},
 title        = {Optimal schedulers vs optimal bases: An approach for efficient exact solving of Markov decision processes},
 journal      = {Theoretical Computer Science},
 volume       = {538},
 pages        = {70--83},
 doi          = {10.1016/j.tcs.2013.08.020},
 note         = {Quantitative Aspects of Programming Languages and Systems (2011-12)},
)
@article(DBLP:journals/tcs/GiroDF14,
 author       = {Sergio Giro and Pedro R. D'Argenio and Luis Mar{\'{\i}}a Ferrer Fioriti},
 year         = {2014},
 title        = {Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms},
 journal      = {Theor. Comput. Sci.},
 volume       = {538},
 pages        = {84--102},
 doi          = {10.1016/j.tcs.2013.07.017},
)
@inproceedings(Gray91,
 author       = {James W. {Gray}},
 year         = {1991},
 title        = {Toward a mathematical foundation for information flow security},
 booktitle    = {Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy},
 pages        = {21--34},
 doi          = {10.1109/RISP.1991.130769},
)
@article(GRUHN2006117,
 author       = {Volker Gruhn and Ralf Laue},
 year         = {2006},
 title        = {Patterns for Timed Property Specifications},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {117--133},
 doi          = {10.1016/j.entcs.2005.10.035},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@inproceedings(EPTCS28.8,
 author       = {Matthias G\"udemann and Frank Ortmeier},
 year         = {2010},
 title        = {Probabilistic Model-Based Safety Analysis},
 booktitle    = {{\rm Proceedings Eighth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {28},
 pages        = {114--128},
 doi          = {10.4204/EPTCS.28.8},
)
@inproceedings(10.1007/978-3-030-17502-3_5,
 author       = {Ernst Moritz Hahn and Arnd Hartmanns and Christian Hensel and Michaela Klauck and Joachim Klein and K{\v{r}}et{\'i}nsk{\'y}, Jan and David Parker and Tim Quatmann and Enno Ruijters and Marcel Steinmetz},
 year         = {2019},
 title        = {The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 series       = {LNCS},
 volume       = {11429},
 publisher    = {Springer},
 pages        = {69--92},
 doi          = {10.1007/978-3-030-17502-3\_5},
)
@inproceedings(EPTCS117.5,
 author       = {Tingting Han and Christian Krause and Marta Kwiatkowska and Holger Giese},
 year         = {2013},
 title        = {Modal Specifications for Probabilistic Timed Systems},
 booktitle    = {{\rm Proceedings 11th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {117},
 pages        = {66--80},
 doi          = {10.4204/EPTCS.117.5},
)
@article(HANKIN20055,
 author       = {Chris Hankin and Herbert Wiklicky},
 year         = {2005},
 title        = {Lambda-calculus and Quantitative Program Analysis: (Extended Abstract)},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {112},
 pages        = {5--18},
 doi          = {10.1016/j.entcs.2004.01.016},
 note         = {Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)},
)
@article(HANSEN2014103,
 author       = {Henri Hansen and Mark Timmer},
 year         = {2014},
 title        = {A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time},
 journal      = {Theoretical Computer Science},
 volume       = {538},
 pages        = {103--123},
 doi          = {10.1016/j.tcs.2013.07.014},
 note         = {Quantitative Aspects of Programming Languages and Systems (2011-12)},
)
@article(HAYDEN2012106,
 author       = {Richard A. Hayden and Anton Stefanek and Jeremy T. Bradley},
 year         = {2012},
 title        = {Fluid computation of passage-time distributions in large Markov models},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 number       = {1},
 pages        = {106--141},
 doi          = {10.1016/j.tcs.2011.07.017},
 note         = {Quantitative Aspects of Programming Languages (QAPL 2010)},
)
@article(HIRSCH2006135,
 author       = {Dan Hirsch and Lluch-Lafuente, Alberto and Emilio Tuosto},
 year         = {2006},
 title        = {A Logic for Application Level QoS},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {135--159},
 doi          = {10.1016/j.entcs.2005.10.036},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@article(DBLP:journals/tcs/HurdMM05,
 author       = {Joe Hurd and Annabelle McIver and Carroll Morgan},
 year         = {2005},
 title        = {Probabilistic guarded commands mechanized in \emph{HOL}},
 journal      = {Theor. Comput. Sci.},
 volume       = {346},
 number       = {1},
 pages        = {96--112},
 doi          = {10.1016/j.tcs.2005.08.005},
 note         = {Quantitative Aspects of Programming Languages},
)
@article(HUTH200561,
 author       = {Michael Huth},
 year         = {2005},
 title        = {Abstraction and Probabilities for Hybrid Logics},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {112},
 pages        = {61--76},
 doi          = {10.1016/j.entcs.2004.01.023},
 note         = {Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)},
)
@article(DBLP:journals/tcs/Huth05,
 author       = {Michael Huth},
 year         = {2005},
 title        = {On finite-state approximants for probabilistic computation tree logic},
 journal      = {Theor. Comput. Sci.},
 volume       = {346},
 number       = {1},
 pages        = {113--134},
 doi          = {10.1016/j.tcs.2005.08.008},
 note         = {Quantitative Aspects of Programming Languages},
)
@article(Iranmanesh201620,
 author       = {Zeinab Iranmanesh and Mehran S. Fallah},
 year         = {2016},
 title        = {Specification and static enforcement of scheduler-independent noninterference in a middleweight Java},
 journal      = {Computer Languages, Systems and Structures},
 volume       = {46},
 pages        = {20--43},
 doi          = {10.1016/j.cl.2016.05.003},
)
@conference(Kashyap2011413,
 author       = {Vineeth Kashyap and Ben Wiedermann and Ben Hardekopf},
 year         = {2011},
 title        = {Timing- and termination-sensitive secure information flow: Exploring a new approach},
 booktitle    = {Proceedings - IEEE Symposium on Security and Privacy},
 pages        = {413--428},
 doi          = {10.1109/SP.2011.19},
)
@article(KATOEN201236,
 author       = {Joost-Pieter Katoen and Jaco van de Pol and Mariëlle Stoelinga and Mark Timmer},
 year         = {2012},
 title        = {A linear process-algebraic format with data for probabilistic automata},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 number       = {1},
 pages        = {36--57},
 doi          = {10.1016/j.tcs.2011.07.021},
 note         = {Quantitative Aspects of Programming Languages (QAPL 2010)},
)
@article(Kattenbelt20085,
 author       = {Mark Kattenbelt and Marta Kwiatkowska and Gethin Norman and David Parker},
 year         = {2008},
 title        = {Game-Based Probabilistic Predicate Abstraction in PRISM},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {220},
 number       = {3},
 pages        = {5--21},
 doi          = {10.1016/j.entcs.2008.11.016},
 note         = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)},
)
@inproceedings(EPTCS194.4,
 author       = {Yusuke Kawamoto and Given-Wilson, Thomas},
 year         = {2015},
 title        = {Quantitative Information Flow for Scheduler-Dependent Systems},
 booktitle    = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {194},
 pages        = {48--62},
 doi          = {10.4204/EPTCS.194.4},
)
@article(KLEBANOV2014124,
 author       = {Vladimir Klebanov},
 year         = {2014},
 title        = {Precise quantitative information flow analysis— a symbolic approach},
 journal      = {Theoretical Computer Science},
 volume       = {538},
 pages        = {124--139},
 doi          = {10.1016/j.tcs.2014.04.022},
 note         = {Quantitative Aspects of Programming Languages and Systems (2011-12)},
)
@inproceedings(EPTCS250.5,
 author       = {Barbara K\"onig and Sebastian K\"upper and Christina Mika},
 year         = {2017},
 title        = {PAWS: A Tool for the Analysis of Weighted Systems},
 booktitle    = {{\rm Proceedings 15th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {250},
 pages        = {75--91},
 doi          = {10.4204/EPTCS.250.5},
)
@article(KWIATKOWSKA20065,
 author       = {Marta Kwiatkowska and Gethin Norman and David Parker},
 year         = {2006},
 title        = {Quantitative Analysis With the Probabilistic Model Checker PRISM},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {5--31},
 doi          = {10.1016/j.entcs.2005.10.030},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@article(LANEVE2009167,
 author       = {Cosimo Laneve and Sylvain Pradalier and Gianluigi Zavattaro},
 year         = {2009},
 title        = {From Biochemistry to Stochastic Processes},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {253},
 number       = {3},
 pages        = {167--185},
 doi          = {10.1016/j.entcs.2009.10.011},
 note         = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)},
)
@article(Lanotte2005113,
 author       = {Ruggero Lanotte and Maggiolo-Schettini, Andrea and Angelo Troina},
 year         = {2005},
 title        = {Automatic Analysis of a Non-Repudiation Protocol},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {112},
 number       = {SPEC. ISS.},
 pages        = {113--129},
 doi          = {10.1016/j.entcs.2004.01.020},
 note         = {Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)},
)
@article(LANOTTE2006177,
 author       = {Ruggero Lanotte and Maggiolo-Schettini, Andrea and Angelo Troina},
 year         = {2006},
 title        = {A Classification of Time and/or Probability Dependent Security Properties},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {177--193},
 doi          = {10.1016/j.entcs.2005.10.038},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@inproceedings(EPTCS227.1,
 author       = {Kim G. Larsen and Simon Laursen and Martin Zimmermann},
 year         = {2016},
 title        = {Limit Your Consumption! Finding Bounds in Average-energy Games},
 booktitle    = {{\rm Proceedings 14th Workshop} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {227},
 pages        = {1--14},
 doi          = {10.4204/EPTCS.227.1},
)
@article(DBLP:journals/tcs/LasotaP16,
 author       = {Slawomir Lasota and Marcin Poturalski},
 year         = {2016},
 title        = {Undecidability of performance equivalence of Petri nets},
 journal      = {Theor. Comput. Sci.},
 volume       = {655},
 pages        = {109--119},
 doi          = {10.1016/j.tcs.2016.01.034},
)
@inproceedings(EPTCS154.1,
 author       = {Diego Latella and Michele Loreti and Mieke Massink and Valerio Senni},
 year         = {2014},
 title        = {Stochastically timed predicate-based communication primitives for autonomic computing},
 booktitle    = {{\rm Proceedings Twelfth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {154},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.154.1},
)
@inproceedings(EPTCS250.6,
 author       = {Diego Latella and Mieke Massink},
 year         = {2017},
 title        = {Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination},
 booktitle    = {{\rm Proceedings 15th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {250},
 pages        = {92--110},
 doi          = {10.4204/EPTCS.250.6},
)
@inproceedings(EPTCS194.5,
 author       = {Diego Latella and Mieke Massink and Erik de Vink},
 year         = {2015},
 title        = {A Definition Scheme for Quantitative Bisimulation},
 booktitle    = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {194},
 pages        = {63--78},
 doi          = {10.4204/EPTCS.194.5},
)
@inproceedings(EPTCS194.6,
 author       = {Matias D. Lee and Erik P. de Vink},
 year         = {2015},
 title        = {Rooted branching bisimulation as a congruence for probabilistic transition systems},
 booktitle    = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {194},
 pages        = {79--94},
 doi          = {10.4204/EPTCS.194.6},
)
@article(LERMER20053,
 author       = {Karl Lermer and Colin J. Fidge and Ian J. Hayes},
 year         = {2005},
 title        = {A theory for execution-time derivation in real-time programs},
 journal      = {Theoretical Computer Science},
 volume       = {346},
 number       = {1},
 pages        = {3--27},
 doi          = {10.1016/j.tcs.2005.08.003},
 note         = {Quantitative Aspects of Programming Languages (QAPL 2004)},
)
@article(DBLP:journals/tcs/Lluch-LafuenteM05,
 author       = {Lluch{-}Lafuente, Alberto and Ugo Montanari},
 year         = {2005},
 title        = {Quantitative mu-calculus and {CTL} defined over constraint semirings},
 journal      = {Theor. Comput. Sci.},
 volume       = {346},
 number       = {1},
 pages        = {135--160},
 doi          = {10.1016/j.tcs.2005.08.006},
 note         = {Quantitative Aspects of Programming Languages},
)
@inproceedings(EPTCS227.6,
 author       = {Luisa Vissat, Ludovica and Jane Hillston and Glenn Marion and Matthew J. Smith},
 year         = {2016},
 title        = {MELA: Modelling in Ecology with Location Attributes},
 booktitle    = {{\rm Proceedings 14th Workshop} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {227},
 pages        = {82--97},
 doi          = {10.4204/EPTCS.227.6},
)
@inproceedings(EPTCS194.7,
 author       = {Fabio Martinelli and Ilaria Matteucci and Francesco Santini},
 year         = {2015},
 title        = {Semiring-based Specification Approaches for Quantitative Security},
 booktitle    = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {194},
 pages        = {95--109},
 doi          = {10.4204/EPTCS.194.7},
)
@article(MCIVER2006195,
 author       = {Annabelle McIver and Carroll Morgan},
 year         = {2006},
 title        = {A Novel Stochastic Game Via the Quantitative μ-calculus},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {195--212},
 doi          = {10.1016/j.entcs.2005.10.039},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@inproceedings(EPTCS117.7,
 author       = {Annabelle McIver and Tahiry Rabehaja and Georg Struth},
 year         = {2013},
 title        = {Probabilistic Concurrent Kleene Algebra},
 booktitle    = {{\rm Proceedings 11th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {117},
 pages        = {97--115},
 doi          = {10.4204/EPTCS.117.7},
)
@article(MICULAN2016135,
 author       = {Marino Miculan and Marco Peressotti},
 year         = {2016},
 title        = {Structural operational semantics for non-deterministic processes with quantitative aspects},
 journal      = {Theoretical Computer Science},
 volume       = {655},
 pages        = {135--154},
 doi          = {10.1016/j.tcs.2016.01.012},
 note         = {Quantitative Aspects of Programming Languages and Systems (2013-14)},
)
@article(MONTALTO2009143,
 author       = {Bruno Montalto and Carlos Caleiro},
 year         = {2009},
 title        = {Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {253},
 number       = {3},
 pages        = {143--165},
 doi          = {10.1016/j.entcs.2009.10.010},
 note         = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)},
)
@article(MU2009119,
 author       = {Chunyan Mu and David Clark},
 year         = {2009},
 title        = {An Interval-based Abstraction for Quantifying Information Flow},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {253},
 number       = {3},
 pages        = {119--141},
 doi          = {10.1016/j.entcs.2009.10.009},
 note         = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)},
)
@inproceedings(EPTCS28.9,
 author       = {Ukachukwu Ndukwu and Annabelle McIver},
 year         = {2010},
 title        = {An expectation transformer approach to predicate abstraction and data independence for probabilistic programs},
 booktitle    = {{\rm Proceedings Eighth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {28},
 pages        = {129--143},
 doi          = {10.4204/EPTCS.28.9},
)
@inproceedings(EPTCS117.3,
 author       = {Tri Minh Ngo and Marieke Huisman},
 year         = {2013},
 title        = {Quantitative Security Analysis for Multi-threaded Programs},
 booktitle    = {{\rm Proceedings 11th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {117},
 pages        = {34--48},
 doi          = {10.4204/EPTCS.117.3},
)
@article(PHILIPPOU20122,
 author       = {Anna Philippou and Insup Lee and Oleg Sokolsky},
 year         = {2012},
 title        = {PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 number       = {1},
 pages        = {2--20},
 doi          = {10.1016/j.tcs.2011.08.025},
 note         = {Quantitative Aspects of Programming Languages (QAPL 2010)},
)
@article(PRADALIER2006119,
 author       = {Sylvain Pradalier and Catuscia Palamidessi},
 year         = {2006},
 title        = {Expressiveness of Probabilistic pi-calculus},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {164},
 number       = {3},
 pages        = {119--136},
 doi          = {10.1016/j.entcs.2006.07.015},
 note         = {Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)},
)
@inproceedings(EPTCS28.10,
 author       = {Markus Rabe and Sven Schewe},
 year         = {2010},
 title        = {Optimal Time-Abstract Schedulers for CTMDPs and Markov Games},
 booktitle    = {{\rm Proceedings Eighth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {28},
 pages        = {144--158},
 doi          = {10.4204/EPTCS.28.10},
)
@article(DBLP:journals/tcs/RegevPSCS04,
 author       = {Aviv Regev and Ekaterina M. Panina and William Silverman and Luca Cardelli and Ehud Shapiro},
 year         = {2004},
 title        = {BioAmbients: an abstraction for biological compartments},
 journal      = {Theor. Comput. Sci.},
 volume       = {325},
 number       = {1},
 pages        = {141--167},
 doi          = {10.1016/j.tcs.2004.03.061},
)
@article(REMKE200724,
 author       = {Anne Remke and Boudewijn R. Haverkort and Lucia Cloth},
 year         = {2007},
 title        = {CSL model checking algorithms for QBDs},
 journal      = {Theoretical Computer Science},
 volume       = {382},
 number       = {1},
 pages        = {24--41},
 doi          = {10.1016/j.tcs.2007.05.007},
 note         = {Quantitative Aspects of Programming Languages},
)
@inproceedings(EPTCS194.8,
 author       = {Mads Rosendahl and Maja H. Kirkeby},
 year         = {2015},
 title        = {Probabilistic Output Analysis by Program Manipulation},
 booktitle    = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {194},
 pages        = {110--124},
 doi          = {10.4204/EPTCS.194.8},
)
@inproceedings(EPTCS57.3,
 author       = {Michal Rutkowski},
 year         = {2011},
 title        = {Two-Player Reachability-Price Games on Single-Clock Timed Automata},
 booktitle    = {{\rm Proceedings Ninth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {57},
 pages        = {31--46},
 doi          = {10.4204/EPTCS.57.3},
)
@inproceedings(Sabelfeld2000,
 author       = {Andrei Sabelfeld and David Sands},
 year         = {2000},
 title        = {Probabilistic Noninterference for Multi-Threaded Programs},
 booktitle    = {13th IEEE Workshop on Computer Security Foundations},
 publisher    = {IEEE Computer Society},
 pages        = {200--214},
 doi          = {10.1109/CSFW.2000.856937},
)
@inproceedings(Saraswat:1989:CCP:96709.96733,
 author       = {Vijay A. Saraswat and Martin Rinard},
 year         = {1990},
 title        = {Concurrent Constraint Programming},
 booktitle    = {Proc.~of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL'90},
 publisher    = {ACM},
 pages        = {232--245},
 doi          = {10.1145/96709.96733},
)
@inproceedings(EPTCS250.1,
 author       = {Stefan Schupp and Johanna Nellen and Erika \'Abrah\'am},
 year         = {2017},
 title        = {Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis},
 booktitle    = {{\rm Proceedings 15th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {250},
 pages        = {1--14},
 doi          = {10.4204/EPTCS.250.1},
)
@article(SCHUPPAN2016155,
 author       = {Viktor Schuppan},
 year         = {2016},
 title        = {Enhancing unsatisfiable cores for LTL with information on temporal relevance},
 journal      = {Theoretical Computer Science},
 volume       = {655},
 pages        = {155--192},
 doi          = {10.1016/j.tcs.2016.01.014},
 note         = {Quantitative Aspects of Programming Languages and Systems (2013-14)},
)
@inproceedings(10.1007/BFb0084811,
 author       = {Ehud Shapiro},
 year         = {1992},
 title        = {Embeddings among concurrent programming languages},
 editor       = {W.R. Cleaveland},
 booktitle    = {CONCUR'92},
 series       = {LNCS},
 volume       = {630},
 publisher    = {Springer},
 pages        = {486--503},
 doi          = {10.1007/BFb0084811},
)
@article(SIVERONI2006241,
 author       = {Igor Siveroni},
 year         = {2006},
 title        = {Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {241--257},
 doi          = {10.1016/j.entcs.2005.10.041},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@article(SMITH2007129,
 author       = {Michael J.A. Smith},
 year         = {2007},
 title        = {Stochastic Modelling of Communication Protocols from Source Code},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {129--145},
 doi          = {10.1016/j.entcs.2007.08.013},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(SMITH200843,
 author       = {Michael J.A. Smith},
 year         = {2008},
 title        = {Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {220},
 number       = {3},
 pages        = {43--59},
 doi          = {10.1016/j.entcs.2008.11.018},
 note         = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)},
)
@inproceedings(EPTCS57.6,
 author       = {Lei Song and Flemming Nielson and Bo Friis Nielsen},
 year         = {2011},
 title        = {A Stochastic Broadcast Pi-Calculus},
 booktitle    = {{\rm Proceedings Ninth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {57},
 pages        = {74--88},
 doi          = {10.4204/EPTCS.57.6},
)
@article(SOTIN2006153,
 author       = {Pascal Sotin and David Cachera and Thomas Jensen},
 year         = {2006},
 title        = {Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {164},
 number       = {3},
 pages        = {153--167},
 doi          = {10.1016/j.entcs.2006.07.017},
 note         = {Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)},
)
@inproceedings(EPTCS154.7,
 author       = {David Spieler and Ernst Moritz Hahn and Lijun Zhang},
 year         = {2014},
 title        = {Model Checking CSL for Markov Population Models},
 booktitle    = {{\rm Proceedings Twelfth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {154},
 pages        = {93--107},
 doi          = {10.4204/EPTCS.154.7},
)
@inproceedings(EPTCS28.11,
 author       = {Anton Stefanek and Richard Hayden and Jeremy Bradley},
 year         = {2010},
 title        = {A new tool for the performance analysis of massively parallel computer systems},
 booktitle    = {{\rm Proceedings Eighth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {28},
 pages        = {159--181},
 doi          = {10.4204/EPTCS.28.11},
)
@article(TIMMER2016193,
 author       = {Mark Timmer and Joost-Pieter Katoen and Jaco van de Pol and Marielle Stoelinga},
 year         = {2016},
 title        = {Confluence reduction for Markov automata},
 journal      = {Theoretical Computer Science},
 volume       = {655},
 pages        = {193--219},
 doi          = {10.1016/j.tcs.2016.01.017},
 note         = {Quantitative Aspects of Programming Languages and Systems (2013-14)},
)
@inproceedings(EPTCS57.11,
 author       = {Mathieu Tracol and Jos\'ee Desharnais and Abir Zhioua},
 year         = {2011},
 title        = {Computing Distances between Probabilistic Automata},
 booktitle    = {{\rm Proceedings Ninth Workshop on} Quantitative Aspects of Programming Languages},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {57},
 pages        = {148--162},
 doi          = {10.4204/EPTCS.57.11},
)
@inproceedings(EPTCS117.2,
 author       = {Paolo Tranquilli},
 year         = {2013},
 title        = {Indexed Labels for Loop Iteration Dependent Costs},
 booktitle    = {{\rm Proceedings 11th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {117},
 pages        = {19--33},
 doi          = {10.4204/EPTCS.117.2},
)
@article(TSCHAIKOWSKI2014140,
 author       = {Max Tschaikowski and Mirco Tribastone},
 year         = {2014},
 title        = {Exact fluid lumpability in Markovian process algebra},
 journal      = {Theoretical Computer Science},
 volume       = {538},
 pages        = {140--166},
 doi          = {10.1016/j.tcs.2013.07.029},
 note         = {Quantitative Aspects of Programming Languages and Systems (2011-12)},
)
@inproceedings(EPTCS154.3,
 author       = {Max Tschaikowski and Mirco Tribastone},
 year         = {2014},
 title        = {Extended Differential Aggregations in Process Algebra for Performance and Biology},
 booktitle    = {{\rm Proceedings Twelfth Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {154},
 pages        = {34--47},
 doi          = {10.4204/EPTCS.154.3},
)
@article(TZANIS200879,
 author       = {Evan Tzanis and Robin Hirsch},
 year         = {2008},
 title        = {Probabilistic Logic over Paths},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {220},
 number       = {3},
 pages        = {79--96},
 doi          = {10.1016/j.entcs.2008.11.020},
 note         = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)},
)
@inproceedings(EPTCS250.2,
 author       = {Andrea Vandin},
 year         = {2017},
 title        = {Language-based Abstractions for Dynamical Systems},
 booktitle    = {{\rm Proceedings 15th Workshop on} Quantitative Aspects of Programming Languages and Systems},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {250},
 pages        = {15--24},
 doi          = {10.4204/EPTCS.250.2},
)
@article(VARACCA2007147,
 author       = {Daniele Varacca and Nobuko Yoshida},
 year         = {2007},
 title        = {Probabilistic Pi-Calculus and Event Structures},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {147--166},
 doi          = {10.1016/j.entcs.2007.07.009},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(VIGLIOTTI2006169,
 author       = {Maria Grazia Vigliotti and Peter G. Harrison},
 year         = {2006},
 title        = {Stochastic Ambient Calculus},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {164},
 number       = {3},
 pages        = {169--186},
 doi          = {10.1016/j.entcs.2006.07.018},
 note         = {Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)},
)
@article(VS99,
 author       = {Dennis M. Volpano and Geoffrey Smith},
 year         = {1999},
 title        = {Probabilistic Noninterference in a Concurrent Language},
 journal      = {Journal of Computer Security},
 volume       = {7},
 number       = {1},
 pages        = {231--253},
 doi          = {10.3233/JCS-1999-72-305},
)
@article(WOLF2006259,
 author       = {Verena Wolf and Christel Baier and Majster-Cederbaum, Mila},
 year         = {2006},
 title        = {Trace Machines for Observing Continuous-Time Markov Chains},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {259--277},
 doi          = {10.1016/j.entcs.2005.10.042},
 note         = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
)
@article(WOLF2006187,
 author       = {Verena Wolf and Christel Baier and Majster-Cederbaum, Mila},
 year         = {2006},
 title        = {Trace Semantics for Stochastic Systems with Nondeterminism},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {164},
 number       = {3},
 pages        = {187--204},
 doi          = {10.1016/j.entcs.2006.07.019},
 note         = {Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)},
)
@article(YAIKHOM2007167,
 author       = {Gagarine Yaikhom and Murray Cole and Stephen Gilmore and Jane Hillston},
 year         = {2007},
 title        = {A Structural Approach for Modelling Performance of Systems Using Skeletons},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {167--183},
 doi          = {10.1016/j.entcs.2007.07.010},
 note         = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)},
)
@article(YASUOKA2014167,
 author       = {Hirotoshi Yasuoka and Tachio Terauchi},
 year         = {2014},
 title        = {Quantitative information flow as safety and liveness hyperproperties},
 journal      = {Theoretical Computer Science},
 volume       = {538},
 pages        = {167--182},
 doi          = {10.1016/j.tcs.2013.07.031},
 note         = {Quantitative Aspects of Programming Languages and Systems (2011-12)},
)
@article(ZHANG08,
 author       = {Jinjin Zhang and Zhaohui Zhu},
 year         = {2008},
 title        = {A Behavioural Pseudometric based on λ–Bisimilarity},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {220},
 number       = {3},
 pages        = {115--127},
 doi          = {10.1016/j.entcs.2008.11.022},
 note         = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)},
)
@article(Zhang2006205,
 author       = {Miaomiao Zhang and Van Hung, Dang},
 year         = {2006},
 title        = {Formal Analysis of Streaming Downloading Protocol for System Upgrading},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {164},
 number       = {3},
 pages        = {205--224},
 doi          = {10.1016/j.entcs.2006.07.020},
 note         = {Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)},
)