Search dblp for Publications

export results for "toc:db/conf/qest/qest2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/qest/0001HL19,
  author       = {Giovanni Bacci and
                  Mikkel Hansen and
                  Kim Guldstrand Larsen},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Model Checking Constrained Markov Reward Models with Uncertainties},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {37--51},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_3},
  doi          = {10.1007/978-3-030-30281-8\_3},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/0001HL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Amparore0D19,
  author       = {Elvio Gilberto Amparore and
                  Peter Buchholz and
                  Susanna Donatelli},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {\emph{Great-Nsolve}: {A} Tool Integration for (Markov Regenerative)
                  Stochastic Petri Nets},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {355--360},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_21},
  doi          = {10.1007/978-3-030-30281-8\_21},
  timestamp    = {Fri, 18 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/Amparore0D19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/AshokBCKLT19,
  author       = {Pranav Ashok and
                  Tom{\'{a}}s Br{\'{a}}zdil and
                  Krishnendu Chatterjee and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Christoph H. Lampert and
                  Viktor Toman},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Strategy Representation by Decision Trees with Linear Classifiers},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {109--128},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_7},
  doi          = {10.1007/978-3-030-30281-8\_7},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/AshokBCKLT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/AshokKLCTW19,
  author       = {Pranav Ashok and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Kim Guldstrand Larsen and
                  Adrien Le Co{\"{e}}nt and
                  Jakob Haahr Taankvist and
                  Maximilian Weininger},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {{SOS:} Safe, Optimal and Small Strategies for Hybrid Markov Decision
                  Processes},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {147--164},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_9},
  doi          = {10.1007/978-3-030-30281-8\_9},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/AshokKLCTW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BiewerDH19,
  author       = {Sebastian Biewer and
                  Pedro R. D'Argenio and
                  Holger Hermanns},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Doping Tests for Cyber-Physical Systems},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {313--331},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_18},
  doi          = {10.1007/978-3-030-30281-8\_18},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/BiewerDH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BorghoutsGST19,
  author       = {Judith Borghouts and
                  Andrew D. Gordon and
                  Advait Sarkar and
                  Neil Toronto},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {End-User Probabilistic Programming},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {3--24},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_1},
  doi          = {10.1007/978-3-030-30281-8\_1},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BorghoutsGST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BortolussiC19,
  author       = {Luca Bortolussi and
                  Francesca Cairoli},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Bayesian Abstraction of Markov Population Models},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {259--276},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_15},
  doi          = {10.1007/978-3-030-30281-8\_15},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BortolussiC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/ButkovaHH19,
  author       = {Yuliya Butkova and
                  Arnd Hartmanns and
                  Holger Hermanns},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {A Modest Approach to Modelling and Checking Markov Automata},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {52--69},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_4},
  doi          = {10.1007/978-3-030-30281-8\_4},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/ButkovaHH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/DoncelGTTV19,
  author       = {Josu Doncel and
                  Nicolas Gast and
                  Mirco Tribastone and
                  Max Tschaikowski and
                  Andrea Vandin},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {{UTOPIC:} Under-Approximation Through Optimal Control},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {277--291},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_16},
  doi          = {10.1007/978-3-030-30281-8\_16},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/DoncelGTTV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/EisentrautK19,
  author       = {Julia Eisentraut and
                  Jan Kret{\'{\i}}nsk{\'{y}}},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Expected Cost Analysis of Attack-Defense Trees},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {203--221},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_12},
  doi          = {10.1007/978-3-030-30281-8\_12},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/EisentrautK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/ErnstSZH19,
  author       = {Gidon Ernst and
                  Sean Sedwards and
                  Zhenya Zhang and
                  Ichiro Hasuo},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Fast Falsification of Hybrid Systems Using Probabilistically Adaptive
                  Input},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {165--181},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_10},
  doi          = {10.1007/978-3-030-30281-8\_10},
  timestamp    = {Fri, 18 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/ErnstSZH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/GrossmannB19,
  author       = {Gerrit Gro{\ss}mann and
                  Luca Bortolussi},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Reducing Spreading Processes on Networks to Markov Population Models},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {292--309},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_17},
  doi          = {10.1007/978-3-030-30281-8\_17},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/GrossmannB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/HulsPSDR19,
  author       = {Jannik H{\"{u}}ls and
                  Carina Pilch and
                  Patricia Schinke and
                  Joanna Delicaris and
                  Anne Remke},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {State-Space Construction of Hybrid Petri Nets with Multiple Stochastic
                  Firings},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {182--199},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_11},
  doi          = {10.1007/978-3-030-30281-8\_11},
  timestamp    = {Fri, 18 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/HulsPSDR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/IoualalenM19,
  author       = {Arnault Ioualalen and
                  Matthieu Martel},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Neural Network Precision Tuning},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {129--143},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_8},
  doi          = {10.1007/978-3-030-30281-8\_8},
  timestamp    = {Fri, 18 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/IoualalenM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/KoukoDL19,
  author       = {Gildas Kouko and
                  Jos{\'{e}}e Desharnais and
                  Fran{\c{c}}ois Laviolette},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Finite Approximation of LMPs for Exact Verification of Reachability
                  Properties},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {70--87},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_5},
  doi          = {10.1007/978-3-030-30281-8\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/KoukoDL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/LeeBGCS19,
  author       = {Jaeyoung Lee and
                  Aravind Balakrishnan and
                  Ashish Gaurav and
                  Krzysztof Czarnecki and
                  Sean Sedwards},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {WiseMove: {A} Framework to Investigate Safe Deep Reinforcement Learning
                  for Autonomous Driving},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {350--354},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_20},
  doi          = {10.1007/978-3-030-30281-8\_20},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/LeeBGCS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/MarinPR19,
  author       = {Andrea Marin and
                  Carla Piazza and
                  Sabina Rossi},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {A Process Algebra for (Delimited) Persistent Stochastic Non-Interference},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {222--238},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_13},
  doi          = {10.1007/978-3-030-30281-8\_13},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/MarinPR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Mu19,
  author       = {Chunyan Mu},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Automated Game-Theoretic Verification of Security Systems},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {239--256},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_14},
  doi          = {10.1007/978-3-030-30281-8\_14},
  timestamp    = {Fri, 18 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/Mu19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/PeruffoGPA19,
  author       = {Andrea Peruffo and
                  Emeline Guiu and
                  Patrick Panciatici and
                  Alessandro Abate},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Safety Guarantees for the Electricity Grid with Significant Renewables
                  Generation},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {332--349},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_19},
  doi          = {10.1007/978-3-030-30281-8\_19},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/PeruffoGPA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Platzer19,
  author       = {Andr{\'{e}} Platzer},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {The Logical Path to Autonomous Cyber-Physical Systems},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {25--33},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_2},
  doi          = {10.1007/978-3-030-30281-8\_2},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Platzer19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/WijesuriyaA19,
  author       = {Viraj Brian Wijesuriya and
                  Alessandro Abate},
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain
                  Markov Decision Processes},
  booktitle    = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  pages        = {91--108},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8\_6},
  doi          = {10.1007/978-3-030-30281-8\_6},
  timestamp    = {Fri, 18 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/WijesuriyaA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/qest/2019,
  editor       = {David Parker and
                  Verena Wolf},
  title        = {Quantitative Evaluation of Systems, 16th International Conference,
                  {QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11785},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30281-8},
  doi          = {10.1007/978-3-030-30281-8},
  isbn         = {978-3-030-30280-1},
  timestamp    = {Fri, 18 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/2019.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.