Search dblp for Publications

export results for "toc:db/conf/qapl/qapl2005.bht:"

 download as .bib file

@proceedings{DBLP:conf/qapl/2005,
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/153/issue/2},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qapl/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AghaMS06,
  author       = {Gul A. Agha and
                  Jos{\'{e}} Meseguer and
                  Koushik Sen},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {PMaude: Rewrite-based Specification Language for Probabilistic Object
                  Systems},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {213--239},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.040},
  doi          = {10.1016/J.ENTCS.2005.10.040},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/AghaMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaierDG06,
  author       = {Christel Baier and
                  Pedro R. D'Argenio and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Partial Order Reduction for Probabilistic Branching Time},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {97--116},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.034},
  doi          = {10.1016/J.ENTCS.2005.10.034},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaierDG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BartheRW06,
  author       = {Gilles Barthe and
                  Tamara Rezk and
                  Martijn Warnier},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Preventing Timing Leaks Through Transactional Branching Instructions},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {33--55},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.031},
  doi          = {10.1016/J.ENTCS.2005.10.031},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BartheRW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BinderH06,
  author       = {Walter Binder and
                  Jarle Hulaas},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Using Bytecode Instruction Counting as Portable {CPU} Consumption
                  Metric},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {57--77},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.032},
  doi          = {10.1016/J.ENTCS.2005.10.032},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BinderH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CeroneW06,
  author       = {Antonio Cerone and
                  Herbert Wiklicky},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Preface},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.057},
  doi          = {10.1016/J.ENTCS.2005.12.057},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CeroneW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DengCPP06,
  author       = {Yuxin Deng and
                  Tom Chothia and
                  Catuscia Palamidessi and
                  Jun Pang},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Metrics for Action-labelled Quantitative Transition Systems},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {79--96},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.033},
  doi          = {10.1016/J.ENTCS.2005.10.033},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DengCPP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GruhnL06,
  author       = {Volker Gruhn and
                  Ralf Laue},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Patterns for Timed Property Specifications},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {117--133},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.035},
  doi          = {10.1016/J.ENTCS.2005.10.035},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GruhnL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HirschLT06,
  author       = {Dan Hirsch and
                  Alberto Lluch{-}Lafuente and
                  Emilio Tuosto},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {A Logic for Application Level QoS},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {135--159},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.036},
  doi          = {10.1016/J.ENTCS.2005.10.036},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HirschLT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KwiatkowskaNP06,
  author       = {Marta Z. Kwiatkowska and
                  Gethin Norman and
                  David Parker},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Quantitative Analysis With the Probabilistic Model Checker {PRISM}},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {5--31},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.030},
  doi          = {10.1016/J.ENTCS.2005.10.030},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KwiatkowskaNP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LanotteMT06,
  author       = {Ruggero Lanotte and
                  Andrea Maggiolo{-}Schettini and
                  Angelo Troina},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {A Classification of Time and/or Probability Dependent Security Properties},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {177--193},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.038},
  doi          = {10.1016/J.ENTCS.2005.10.038},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LanotteMT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/McIverM06,
  author       = {Annabelle McIver and
                  Carroll Morgan},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {A Novel Stochastic Game Via the Quantitative \emph{mu}-calculus},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {195--212},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.039},
  doi          = {10.1016/J.ENTCS.2005.10.039},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/McIverM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NicolaKLM06,
  author       = {Rocco De Nicola and
                  Joost{-}Pieter Katoen and
                  Diego Latella and
                  Mieke Massink},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Towards a Logic for Performance and Mobility},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {161--175},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.037},
  doi          = {10.1016/J.ENTCS.2005.10.037},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/NicolaKLM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Siveroni06,
  author       = {Igor Siveroni},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Filling Out the Gaps: {A} Padding Algorithm for Transforming Out Timing
                  Leaks},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {241--257},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.041},
  doi          = {10.1016/J.ENTCS.2005.10.041},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Siveroni06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WolfBM06,
  author       = {Verena Wolf and
                  Christel Baier and
                  Mila E. Majster{-}Cederbaum},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Trace Machines for Observing Continuous-Time Markov Chains},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {259--277},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.042},
  doi          = {10.1016/J.ENTCS.2005.10.042},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WolfBM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.