Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dominic Duggan, Jianhua Yao 0003 |
Parameterized Dataflow (Extended Abstract). |
QAPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith |
MELA: Modelling in Ecology with Location Attributes. |
QAPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Cheng Feng |
Location Aggregation of Spatial Population CTMC Models. |
QAPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort |
Evaluating load balancing policies for performance and energy-efficiency. |
QAPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth |
Sound Probabilistic #SAT with Projection. |
QAPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mirco Tribastone, Herbert Wiklicky (eds.) |
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. |
QAPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
Logical Characterization of Bisimulation Metrics. |
QAPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Simon Laursen, Martin Zimmermann 0002 |
Limit Your Consumption! Finding Bounds in Average-energy Games. |
QAPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Mirco Tribastone (eds.) |
Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. |
QAPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Jane Hillston |
Efficient Checking of Individual Rewards Properties in Markov Population Models. |
QAPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matias David Lee, Erik P. de Vink |
Rooted branching bisimulation as a congruence for probabilistic transition systems. |
QAPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Mieke Massink, Erik P. de Vink |
A Definition Scheme for Quantitative Bisimulation. |
QAPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mads Rosendahl, Maja H. Kirkeby |
Probabilistic Output Analysis by Program Manipulation. |
QAPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001 |
Semiring-based Specification Approaches for Quantitative Security. |
QAPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Kawamoto 0001, Thomas Given-Wilson |
Quantitative Information Flow for Scheduler-Dependent Systems. |
QAPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Marco Bernardo 0001 |
Expected-Delay-Summing Weak Bisimilarity for Markov Automata. |
QAPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Luca Bortolussi (eds.) |
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. |
QAPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Francois Kempf, Olivier Lebeltel, Oded Maler |
Formal and Informal Methods for Multi-Core Design Space Exploration. |
QAPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marino Miculan, Marco Peressotti |
GSOS for non-deterministic processes with quantitative aspects. |
QAPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer 0001, Bernd Becker 0001, Holger Hermanns |
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. |
QAPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni |
Stochastically timed predicate-based communication primitives for autonomic computing. |
QAPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cheng Feng 0004 |
Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example. |
QAPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Spieler, Ernst Moritz Hahn, Lijun Zhang 0001 |
Model Checking CSL for Markov Population Models |
QAPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Max Tschaikowski, Mirco Tribastone |
Extended Differential Aggregations in Process Algebra for Performance and Biology. |
QAPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
Probabilistic Concurrent Kleene Algebra. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Tranquilli |
Indexed Labels for Loop Iteration Dependent Costs. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Herbert Wiklicky (eds.) |
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Philippe Schnoebelen |
Solving Stochastic Büchi Games on Infinite Decisive Arenas. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Schuppan |
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Han 0001, Christian Krause 0001, Marta Z. Kwiatkowska, Holger Giese |
Modal Specifications for Probabilistic Timed Systems. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tri Minh Ngo, Marieke Huisman |
Quantitative Security Analysis for Multi-threaded Programs. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Gazeau, Dale Miller 0001, Catuscia Palamidessi |
Preserving differential privacy under finite-precision semantics. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arjun Arul, Julien Reichert |
The Complexity of Robot Games on the Integer Line. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Rocco De Nicola, Michele Loreti |
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. |
QAPL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Giro |
Efficient computation of exact solutions for quantitative model checking |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Vashti Galpin, Jane Hillston |
Hybrid performance modelling of opportunistic networks |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Wiklicky, Mieke Massink (eds.) |
Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi, Marco Stronati |
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang 0005 |
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hirotoshi Yasuoka, Tachio Terauchi |
Quantitative Information Flow as Safety and Liveness Hyperproperties |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Gazeau, Dale Miller 0001, Catuscia Palamidessi |
A non-local method for robustness analysis of floating point programs |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elise Cormie-Bowins, Franck van Breugel |
Measuring Progress of Probabilistic LTL Model Checking |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio |
Automated Verification of Quantum Protocols using MCMAS |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Rutkowski |
Two-Player Reachability-Price Games on Single-Clock Timed Automata |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Time Delays in Membrane Systems and Petri Nets |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf |
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models |
QAPL |
2011 |
DBLP BibTeX RDF |
|
1 | Joseph Assouramou, Josée Desharnais |
Analysis of Non-Linear Probabilistic Hybrid Systems |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Tracol, Josée Desharnais, Abir Zhioua |
Computing Distances between Probabilistic Automata |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
Real-Reward Testing for Probabilistic Processes (Extended Abstract) |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Florian Leitner-Fischer, Stefan Leue |
QuantUM: Quantitative Safety Analysis of UML Models |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mieke Massink, Gethin Norman (eds.) |
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen |
Distances for Weighted Transition Systems: Games and Properties |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lei Song 0001, Flemming Nielson, Bo Friis Nielsen |
A Stochastic Broadcast Pi-Calculus |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Seidel, Janis Voigtländer |
Improvements for Free |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Vashti Galpin, Jane Hillston |
HYPE with stochastic events |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina |
Stochastic Calculus of Wrapped Compartments |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Damián Barsotti, Nicolás Wolovick |
Automatic Probabilistic Program Verification through Random Variable Abstraction |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Quantitative Fairness Games |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Cachera, Arnaud Jobin |
Injecting Abstract Interpretations into Linear Cost Models |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini |
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Karine Altisen, Yanhong Liu, Matthieu Moy |
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley |
A new tool for the performance analysis of massively parallel computer systems |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Frank Ortmeier |
Probabilistic Model-Based Safety Analysis |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Gethin Norman (eds.) |
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sonja Georgievska, Suzana Andova |
Testing Reactive Probabilistic Processes |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Markus N. Rabe, Sven Schewe |
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ukachukwu Ndukwu, Annabelle McIver |
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro |
From Biochemistry to Stochastic Processes. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Amar Aissani |
An MX/G/1 Energetic Retrial Queue with Vacations and it's Control. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anya Tafliovich, Eric C. R. Hehner |
Programming with Quantum Communication. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Giro, Pedro R. D'Argenio |
On the Expressive Power of Schedulers in Distributed Probabilistic Systems. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Montalto, Carlos Caleiro |
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Maria Grazia Vigliotti |
CoBiC: Context-dependent Bioambient Calculus. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel |
Exploiting non-Markovian Bio-Processes. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Wenjie Du |
The Kantorovich Metric in Computer Science: A Brief Survey. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Alessandra Di Pierro |
Preface. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu, David Clark 0001 |
An Interval-based Abstraction for Quantifying Information Flow. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Fahrenberg, Kim Guldstrand Larsen |
Discounting in Time. |
QAPL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Alessandra Di Pierro (eds.) |
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009 |
QAPL |
2009 |
DBLP BibTeX RDF |
|
1 | Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky |
Relational Analysis and Precision via Probabilistic Abstract Interpretation. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Evan Tzanis, Robin Hirsch |
Probabilistic Logic over Paths. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Faella, Axel Legay, Mariëlle Stoelinga |
Model Checking Quantitative Linear Time Logic. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jinjin Zhang, Zhaohui Zhu |
A Behavioural Pseudometric based on lambda-Bisimilarity. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Trcka, Sonja Georgievska |
Branching Bisimulation Congruence for Probabilistic Systems. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Christel Baier |
Preface. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi |
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath |
Modelling Intracellular Fate of FGF Receptors With BioAmbients. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. A. Smith |
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Ochoa, Germán Puebla |
Oracle-Based Partial Evaluation. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Game-Based Probabilistic Predicate Abstraction in PRISM. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan M. Lambert, James F. Power |
Platform Independent Timing of Java Virtual Machine Bytecode Instructions. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Christel Baier (eds.) |
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008 |
QAPL |
2008 |
DBLP BibTeX RDF |
|
1 | Ashok Argent-Katwala, Jeremy T. Bradley |
PEPA Queues: Capturing Customer Behaviour in Queueing Networks. |
QAPL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
On Probabilistic Techniques for Data Flow Analysis. |
QAPL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Varacca, Nobuko Yoshida |
Probabilistic pi-Calculus and Event Structures. |
QAPL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tom Chothia, Jun Pang 0001, Muhammad Torabi Dashti |
Keeping Secrets in Resource Aware Components. |
QAPL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Gian-Luigi Ferrari 0002 |
Co-Algebraic Models for Quantitative Spatial Logics. |
QAPL |
2007 |
DBLP DOI BibTeX RDF |
|