Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs85.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1202-0693,
  author       = {Ivan Gazeau and
                  Dale Miller and
                  Catuscia Palamidessi},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {A non-local method for robustness analysis of floating point programs},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {63--76},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.5},
  doi          = {10.4204/EPTCS.85.5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-0693.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-0870,
  author       = {Elise Cormie{-}Bowins and
                  Franck van Breugel},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {Measuring Progress of Probabilistic {LTL} Model Checking},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {33--47},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.3},
  doi          = {10.4204/EPTCS.85.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-0870.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-0871,
  author       = {Hirotoshi Yasuoka and
                  Tachio Terauchi},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {Quantitative Information Flow as Safety and Liveness Hyperproperties},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {77--91},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.6},
  doi          = {10.4204/EPTCS.85.6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-0871.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-0872,
  author       = {Catuscia Palamidessi and
                  Marco Stronati},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {Differential Privacy for Relational Algebra: Improving the Sensitivity
                  Bounds via Constraint Systems},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {92--105},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.7},
  doi          = {10.4204/EPTCS.85.7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-0872.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-0873,
  author       = {Luca Bortolussi and
                  Vashti Galpin and
                  Jane Hillston},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {Hybrid performance modelling of opportunistic networks},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {106--121},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.8},
  doi          = {10.4204/EPTCS.85.8},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-0873.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-0874,
  author       = {Marco Bernardo},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations
                  for Concurrent Processes},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {122--136},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.9},
  doi          = {10.4204/EPTCS.85.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-0874.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-1264,
  author       = {Sergio Giro},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {Efficient computation of exact solutions for quantitative model checking},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {17--32},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.2},
  doi          = {10.4204/EPTCS.85.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-1264.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-1271,
  author       = {Francesco Belardinelli and
                  Pavel Gonzalez and
                  Alessio Lomuscio},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {Automated Verification of Quantum Protocols using {MCMAS}},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {48--62},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.4},
  doi          = {10.4204/EPTCS.85.4},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-1271.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-1272,
  author       = {Peter E. Bulychev and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Marius Mikucionis and
                  Danny B{\o}gsted Poulsen and
                  Axel Legay and
                  Zheng Wang},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {{UPPAAL-SMC:} Statistical Model Checking for Priced Timed Automata},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {1--16},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.1},
  doi          = {10.4204/EPTCS.85.1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-1272.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1207-0559,
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85},
  doi          = {10.4204/EPTCS.85},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-0559.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.