The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "QAPL"( http://dblp.L3S.de/Venues/QAPL )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2010-2011 (24) 2012-2013 (20) 2014-2015 (17) 2016 (8)
Publication types (Num. hits)
inproceedings(62) proceedings(7)
Venues (Conferences, Journals, ...)
QAPL(69)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 69 publication records. Showing 69 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Luca Bortolussi, Cheng Feng Location Aggregation of Spatial Population CTMC Models. Search on Bibsonomy QAPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort Evaluating load balancing policies for performance and energy-efficiency. Search on Bibsonomy QAPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Valentina Castiglioni, Daniel Gebler, Simone Tini Logical Characterization of Bisimulation Metrics. Search on Bibsonomy QAPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth Sound Probabilistic #SAT with Projection. Search on Bibsonomy QAPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dominic Duggan, Jianhua Yao Parameterized Dataflow (Extended Abstract). Search on Bibsonomy QAPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith MELA: Modelling in Ecology with Location Attributes. Search on Bibsonomy QAPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mirco Tribastone, Herbert Wiklicky (eds.) Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. Search on Bibsonomy QAPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Simon Laursen, Martin Zimmermann 0002 Limit Your Consumption! Finding Bounds in Average-energy Games. Search on Bibsonomy QAPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matias David Lee, Erik P. de Vink Rooted branching bisimulation as a congruence for probabilistic transition systems. Search on Bibsonomy QAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001 Semiring-based Specification Approaches for Quantitative Security. Search on Bibsonomy QAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mads Rosendahl, Maja H. Kirkeby Probabilistic Output Analysis by Program Manipulation. Search on Bibsonomy QAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink CARMA: Collective Adaptive Resource-sharing Markovian Agents. Search on Bibsonomy QAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yusuke Kawamoto 0001, Thomas Given-Wilson Quantitative Information Flow for Scheduler-Dependent Systems. Search on Bibsonomy QAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Jane Hillston Efficient Checking of Individual Rewards Properties in Markov Population Models. Search on Bibsonomy QAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Diego Latella, Mieke Massink, Erik P. de Vink A Definition Scheme for Quantitative Bisimulation. Search on Bibsonomy QAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Marco Bernardo 0001 Expected-Delay-Summing Weak Bisimilarity for Markov Automata. Search on Bibsonomy QAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Mirco Tribastone (eds.) Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. Search on Bibsonomy QAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marino Miculan, Marco Peressotti GSOS for non-deterministic processes with quantitative aspects. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni Stochastically timed predicate-based communication primitives for autonomic computing. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Spieler, Ernst Moritz Hahn, Lijun Zhang 0001 Model Checking CSL for Markov Population Models Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean-Francois Kempf, Olivier Lebeltel, Oded Maler Formal and Informal Methods for Multi-Core Design Space Exploration. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Max Tschaikowski, Mirco Tribastone Extended Differential Aggregations in Process Algebra for Performance and Biology. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cheng Feng 0004 Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nathalie 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. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Philippe Schnoebelen Solving Stochastic Büchi Games on Infinite Decisive Arenas. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tri Minh Ngo, Marieke Huisman Quantitative Security Analysis for Multi-threaded Programs. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paolo Tranquilli Indexed Labels for Loop Iteration Dependent Costs. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Viktor Schuppan Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Annabelle McIver, Tahiry M. Rabehaja, Georg Struth Probabilistic Concurrent Kleene Algebra. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tingting Han 0001, Christian Krause 0001, Marta Z. Kwiatkowska, Holger Giese Modal Specifications for Probabilistic Timed Systems. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Herbert Wiklicky (eds.) Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Arjun Arul, Julien Reichert The Complexity of Robot Games on the Integer Line. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, Rocco De Nicola, Michele Loreti The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ivan Gazeau, Dale Miller 0001, Catuscia Palamidessi Preserving differential privacy under finite-precision semantics. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Vashti Galpin, Jane Hillston Hybrid performance modelling of opportunistic networks Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ivan Gazeau, Dale Miller 0001, Catuscia Palamidessi A non-local method for robustness analysis of floating point programs Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001 Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio Automated Verification of Quantum Protocols using MCMAS Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elise Cormie-Bowins, Franck van Breugel Measuring Progress of Probabilistic LTL Model Checking Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hirotoshi Yasuoka, Tachio Terauchi Quantitative Information Flow as Safety and Liveness Hyperproperties Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Herbert 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. Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter 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 Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi, Marco Stronati Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergio Giro Efficient computation of exact solutions for quantitative model checking Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mieke Massink, Gethin Norman (eds.) Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  BibTeX  RDF
1Michal Rutkowski Two-Player Reachability-Price Games on Single-Clock Timed Automata Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joseph Assouramou, Josée Desharnais Analysis of Non-Linear Probabilistic Hybrid Systems Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bogdan Aman, Gabriel Ciobanu Time Delays in Membrane Systems and Petri Nets Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Seidel, Janis Voigtländer Improvements for Free Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mathieu Tracol, Josée Desharnais, Abir Zhioua Computing Distances between Probabilistic Automata Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Florian Leitner-Fischer, Stefan Leue QuantUM: Quantitative Safety Analysis of UML Models Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan Real-Reward Testing for Probabilistic Processes (Extended Abstract) Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen Distances for Weighted Transition Systems: Games and Properties Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Vashti Galpin, Jane Hillston HYPE with stochastic events Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lei Song 0001, Flemming Nielson, Bo Friis Nielsen A Stochastic Broadcast Pi-Calculus Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Markus N. Rabe, Sven Schewe Optimal Time-Abstract Schedulers for CTMDPs and Markov Games Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Gethin Norman (eds.) Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sonja Georgievska, Suzana Andova Testing Reactive Probabilistic Processes Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley A new tool for the performance analysis of massively parallel computer systems Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Karine Altisen, Yanhong Liu, Matthieu Moy Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Damián Barsotti, Nicolás Wolovick Automatic Probabilistic Program Verification through Random Variable Abstraction Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano Quantitative Fairness Games Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina Stochastic Calculus of Wrapped Compartments Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthias Güdemann, Frank Ortmeier Probabilistic Model-Based Safety Analysis Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Cachera, Arnaud Jobin Injecting Abstract Interpretations into Linear Cost Models Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ukachukwu Ndukwu, Annabelle McIver An expectation transformer approach to predicate abstraction and data independence for probabilistic programs Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #69 of 69 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license