Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/qest/BackenkohlerBW20,
  author       = {Michael Backenk{\"{o}}hler and
                  Luca Bortolussi and
                  Verena Wolf},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Bounding Mean First Passage Times in Population Continuous-Time Markov
                  Chains},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {155--174},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_13},
  doi          = {10.1007/978-3-030-59854-9\_13},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BackenkohlerBW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Bernardo20,
  author       = {Marco Bernardo},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Alternative Characterizations of Probabilistic Trace Equivalences
                  on Coherent Resolutions of Nondeterminism},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {35--53},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_5},
  doi          = {10.1007/978-3-030-59854-9\_5},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Bernardo20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BlumeBS20,
  author       = {Andreas Blume and
                  Peter Buchholz and
                  Clara Scherbaum},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Markovian Arrival Processes in Multi-dimensions},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {175--192},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_14},
  doi          = {10.1007/978-3-030-59854-9\_14},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BlumeBS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Boreale20,
  author       = {Michele Boreale},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Automatic Pre- and Postconditions for Partial Differential Equations},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {193--210},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_15},
  doi          = {10.1007/978-3-030-59854-9\_15},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/Boreale20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BuddeRS20,
  author       = {Carlos E. Budde and
                  Enno Ruijters and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {The Dynamic Fault Tree Rare Event Simulator},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {233--238},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_17},
  doi          = {10.1007/978-3-030-59854-9\_17},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BuddeRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/CookPPD20,
  author       = {Victor Cook and
                  Christina L. Peterson and
                  Zachary Painter and
                  Damian Dechev},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Entropy Measurement of Concurrent Disorder},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {239--257},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_18},
  doi          = {10.1007/978-3-030-59854-9\_18},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/CookPPD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/DasD20,
  author       = {Olivia Das and
                  Arindam Das},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {CogQN: {A} Queueing Model that Captures Human Learning of the User
                  Interfaces of Session-Based Systems},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {137--143},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_10},
  doi          = {10.1007/978-3-030-59854-9\_10},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/DasD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/GrosHHW20,
  author       = {Timo P. Gros and
                  Daniel H{\"{o}}ller and
                  J{\"{o}}rg Hoffmann and
                  Verena Wolf},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Tracking the Race Between Deep Reinforcement Learning and Imitation
                  Learning},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {11--17},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_2},
  doi          = {10.1007/978-3-030-59854-9\_2},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/GrosHHW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/GrossmannBW20,
  author       = {Gerrit Gro{\ss}mann and
                  Michael Backenk{\"{o}}hler and
                  Verena Wolf},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Importance of Interaction Structure and Stochasticity for Epidemic
                  Spreading: {A} {COVID-19} Case Study},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {211--229},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_16},
  doi          = {10.1007/978-3-030-59854-9\_16},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/GrossmannBW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/KamaliK20,
  author       = {Mojgan Kamali and
                  Joost{-}Pieter Katoen},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Probabilistic Model Checking of {AODV}},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {54--73},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_6},
  doi          = {10.1007/978-3-030-59854-9\_6},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/KamaliK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/KwiatkowskaNPS20,
  author       = {Marta Kwiatkowska and
                  Gethin Norman and
                  David Parker and
                  Gabriel Santos},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Multi-player Equilibria Verification for Concurrent Stochastic Games},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {74--95},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_7},
  doi          = {10.1007/978-3-030-59854-9\_7},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/KwiatkowskaNPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/MarinRZ20,
  author       = {Andrea Marin and
                  Sabina Rossi and
                  Carlo Zen},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {144--147},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_11},
  doi          = {10.1007/978-3-030-59854-9\_11},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/MarinRZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/PalaniN20,
  author       = {Kartik Palani and
                  David M. Nicol},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Hardening Critical Infrastructure Networks Against Attacker Reconnaissance},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {258--275},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_19},
  doi          = {10.1007/978-3-030-59854-9\_19},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/PalaniN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/PolymenakosRAR20,
  author       = {Kyriakos Polymenakos and
                  Nikitas Rontsis and
                  Alessandro Abate and
                  Stephen J. Roberts},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {SafePILCO: {A} Software Tool for Safe and Data-Efficient Policy Synthesis},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {18--26},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_3},
  doi          = {10.1007/978-3-030-59854-9\_3},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/PolymenakosRAR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/RauschS20,
  author       = {Michael J. Rausch and
                  William H. Sanders},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Sensitivity Analysis and Uncertainty Quantification of State-Based
                  Discrete-Event Simulation Models Through a Stacked Ensemble of Metamodels},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {276--293},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_20},
  doi          = {10.1007/978-3-030-59854-9\_20},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/RauschS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/RepinPP20,
  author       = {Denis Repin and
                  Nhat{-}Huy Phung and
                  Tatjana Petrov},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {StochNetV2: {A} Tool for Automated Deep Abstractions for Stochastic
                  Reaction Networks},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {27--32},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_4},
  doi          = {10.1007/978-3-030-59854-9\_4},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/RepinPP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Salako20,
  author       = {Kizito Salako},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary
                  Classifiers},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {96--114},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_8},
  doi          = {10.1007/978-3-030-59854-9\_8},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Salako20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/SalmaniK20,
  author       = {Bahare Salmani and
                  Joost{-}Pieter Katoen},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Bayesian Inference by Symbolic Model Checking},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {115--133},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_9},
  doi          = {10.1007/978-3-030-59854-9\_9},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/SalmaniK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Smirni20,
  author       = {Evgenia Smirni},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Machine Learning for Reliability Analysis of Large Scale Systems},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {3--7},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_1},
  doi          = {10.1007/978-3-030-59854-9\_1},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Smirni20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/YaziciP20,
  author       = {Mehmet Akif Yazici and
                  Tuan Phung{-}Duc},
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {{M/M/1} Vacation Queue with Multiple Thresholds: {A} Fluid Analysis},
  booktitle    = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  pages        = {148--152},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9\_12},
  doi          = {10.1007/978-3-030-59854-9\_12},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/YaziciP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/qest/2020,
  editor       = {Marco Gribaudo and
                  David N. Jansen and
                  Anne Remke},
  title        = {Quantitative Evaluation of Systems - 17th International Conference,
                  {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12289},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59854-9},
  doi          = {10.1007/978-3-030-59854-9},
  isbn         = {978-3-030-59853-2},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/2020.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.