default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd QAPL 2005: Edinburgh, UK
- Antonio Cerone, Herbert Wiklicky:
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005. Electronic Notes in Theoretical Computer Science 153(2), Elsevier 2006 - Antonio Cerone, Herbert Wiklicky:
Preface. 1-3 - Marta Z. Kwiatkowska, Gethin Norman
, David Parker:
Quantitative Analysis With the Probabilistic Model Checker PRISM. 5-31 - Gilles Barthe, Tamara Rezk, Martijn Warnier:
Preventing Timing Leaks Through Transactional Branching Instructions. 33-55 - Walter Binder, Jarle Hulaas:
Using Bytecode Instruction Counting as Portable CPU Consumption Metric. 57-77 - Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang:
Metrics for Action-labelled Quantitative Transition Systems. 79-96 - Christel Baier, Pedro R. D'Argenio, Marcus Größer:
Partial Order Reduction for Probabilistic Branching Time. 97-116 - Volker Gruhn, Ralf Laue:
Patterns for Timed Property Specifications. 117-133 - Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto:
A Logic for Application Level QoS. 135-159 - Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
Towards a Logic for Performance and Mobility. 161-175 - Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
A Classification of Time and/or Probability Dependent Security Properties. 177-193 - Annabelle McIver, Carroll Morgan:
A Novel Stochastic Game Via the Quantitative mu-calculus. 195-212 - Gul A. Agha, José Meseguer, Koushik Sen:
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. 213-239 - Igor Siveroni:
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks. 241-257 - Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum:
Trace Machines for Observing Continuous-Time Markov Chains. 259-277
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
