2014 export record
dblp key:
journals/corr/BraitlingFHWBH14 share record
persistent URL:
Bettina Braitling , Luis María Ferrer Fioriti , Hassan Hatefi , Ralf Wimmer , Bernd Becker , Holger Hermanns : MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. QAPL 2014 : 48-63 share record
persistent URL:
Cheng Feng : Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example. QAPL 2014 : 64-77 share record
persistent URL:
Jean-Francois Kempf , Olivier Lebeltel , Oded Maler : Formal and Informal Methods for Multi-Core Design Space Exploration. QAPL 2014 : 78-92 export record
dblp key:
journals/corr/LatellaLMS14 share record
persistent URL:
Diego Latella , Michele Loreti , Mieke Massink , Valerio Senni : Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014 : 1-16 share record
persistent URL:
Marino Miculan , Marco Peressotti : GSOS for non-deterministic processes with quantitative aspects. QAPL 2014 : 17-33 export record
dblp key:
journals/corr/TschaikowskiT14 share record
persistent URL:
Max Tschaikowski , Mirco Tribastone : Extended Differential Aggregations in Process Algebra for Performance and Biology. QAPL 2014 : 34-47 export record
dblp key:
journals/corr/abs-1111-4385 share record
persistent URL:
David Spieler , Ernst Moritz Hahn , Lijun Zhang : Model Checking CSL for Markov Population Models. QAPL 2014 : 93-107 export record
dblp key:
journals/corr/BertrandB14 share record
persistent URL:
Nathalie Bertrand , Luca Bortolussi : Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. EPTCS 154, 2014 [contents] 2013 export record
dblp key:
journals/corr/BernardoNL13 share record
persistent URL:
Marco Bernardo , Rocco De Nicola , Michele Loreti : The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013 : 81-96 share record
persistent URL:
Ivan Gazeau , Dale Miller , Catuscia Palamidessi : Preserving differential privacy under finite-precision semantics. QAPL 2013 : 1-18 share record
persistent URL:
Tingting Han , Christian Krause , Marta Z. Kwiatkowska , Holger Giese : Modal Specifications for Probabilistic Timed Systems. QAPL 2013 : 66-80 share record
persistent URL:
Annabelle McIver , Tahiry M. Rabehaja , Georg Struth : Probabilistic Concurrent Kleene Algebra. QAPL 2013 : 97-115 share record
persistent URL:
Tri Minh Ngo , Marieke Huisman : Quantitative Security Analysis for Multi-threaded Programs. QAPL 2013 : 34-48 share record
persistent URL:
Viktor Schuppan : Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. QAPL 2013 : 49-65 export record
dblp key:
journals/corr/Tranquilli13 share record
persistent URL:
Paolo Tranquilli : Indexed Labels for Loop Iteration Dependent Costs. QAPL 2013 : 19-33 export record
dblp key:
journals/corr/abs-1207-4577 share record
persistent URL:
Nathalie Bertrand , Philippe Schnoebelen : Solving Stochastic Büchi Games on Infinite Decisive Arenas. QAPL 2013 : 116-131 export record
dblp key:
journals/corr/abs-1301-7700 share record
persistent URL:
Arjun Arul , Julien Reichert : The Complexity of Robot Games on the Integer Line. QAPL 2013 : 132-148 export record
dblp key:
journals/corr/BortolussiW13 share record
persistent URL:
Luca Bortolussi , Herbert Wiklicky : Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. EPTCS 117, 2013 [contents] 2012 export record
dblp key:
journals/corr/abs-1202-0693 share record
persistent URL:
Ivan Gazeau , Dale Miller , Catuscia Palamidessi : A non-local method for robustness analysis of floating point programs. QAPL 2012 : 63-76 export record
dblp key:
journals/corr/abs-1207-0870 share record
persistent URL:
Elise Cormie-Bowins , Franck van Breugel : Measuring Progress of Probabilistic LTL Model Checking. QAPL 2012 : 33-47 export record
dblp key:
journals/corr/abs-1207-0871 share record
persistent URL:
Hirotoshi Yasuoka , Tachio Terauchi : Quantitative Information Flow as Safety and Liveness Hyperproperties. QAPL 2012 : 77-91 export record
dblp key:
journals/corr/abs-1207-0872 share record
persistent URL:
Catuscia Palamidessi , Marco Stronati : Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems. QAPL 2012 : 92-105 export record
dblp key:
journals/corr/abs-1207-0873 share record
persistent URL:
Luca Bortolussi , Vashti Galpin , Jane Hillston : Hybrid performance modelling of opportunistic networks. QAPL 2012 : 106-121 export record
dblp key:
journals/corr/abs-1207-0874 share record
persistent URL:
Marco Bernardo : Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes. QAPL 2012 : 122-136 export record
dblp key:
journals/corr/abs-1207-1264 share record
persistent URL:
Sergio Giro : Efficient computation of exact solutions for quantitative model checking. QAPL 2012 : 17-32 export record
dblp key:
journals/corr/abs-1207-1271 share record
persistent URL:
Francesco Belardinelli , Pavel Gonzalez , Alessio Lomuscio : Automated Verification of Quantum Protocols using MCMAS. QAPL 2012 : 48-62 export record
dblp key:
journals/corr/abs-1207-1272 share record
persistent URL:
Peter E. Bulychev , Alexandre David , Kim Guldstrand Larsen , Marius Mikucionis , Danny Bøgsted Poulsen , Axel Legay , Zheng Wang : UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. QAPL 2012 : 1-16 export record
dblp key:
journals/corr/abs-1207-0559 share record
persistent URL:
Herbert Wiklicky , Mieke Massink : Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. EPTCS 85, 2012 [contents] 2011 export record
dblp key:
journals/corr/abs-1006-4425 share record
persistent URL:
Aleksandr Andreychenko , Pepijn Crouzen , Verena Wolf : On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models. QAPL 2011 : 1 export record
dblp key:
journals/corr/abs-1107-1198 share record
persistent URL:
Florian Leitner-Fischer , Stefan Leue : QuantUM: Quantitative Safety Analysis of UML Models. QAPL 2011 : 16-30