Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/qest/AbrahamJWKB10,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Nils Jansen and
                  Ralf Wimmer and
                  Joost{-}Pieter Katoen and
                  Bernd Becker},
  title        = {{DTMC} Model Checking by {SCC} Reduction},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {37--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.13},
  doi          = {10.1109/QEST.2010.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/AbrahamJWKB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AmparoreD10,
  author       = {Elvio Gilberto Amparore and
                  Susanna Donatelli},
  title        = {DSPN-Tool: {A} New {DSPN} and {GSPN} Solver for GreatSPN},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {79--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.17},
  doi          = {10.1109/QEST.2010.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/AmparoreD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AmparoreD10a,
  author       = {Elvio Gilberto Amparore and
                  Susanna Donatelli},
  title        = {{MC4CSLTA:} An Efficient Model Checking Tool for {CSLTA}},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {153--154},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.26},
  doi          = {10.1109/QEST.2010.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/AmparoreD10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AndresPRS10,
  author       = {Miguel E. Andr{\'{e}}s and
                  Catuscia Palamidessi and
                  Peter van Rossum and
                  Ana Sokolova},
  title        = {Information Hiding in Probabilistic Concurrent Systems},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {17--26},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.11},
  doi          = {10.1109/QEST.2010.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/AndresPRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BabarM10,
  author       = {Junaid Babar and
                  Andrew S. Miner},
  title        = {Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {195--196},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.34},
  doi          = {10.1109/QEST.2010.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BabarM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BakhshiEEFH10,
  author       = {Rena Bakhshi and
                  J{\"{o}}rg Endrullis and
                  Stefan Endrullis and
                  Wan J. Fokkink and
                  Boudewijn R. Haverkort},
  title        = {Automating the Mean-Field Method for Large Dynamic Gossip Networks},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {241--250},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.38},
  doi          = {10.1109/QEST.2010.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BakhshiEEFH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BauseBK10,
  author       = {Falko Bause and
                  Peter Buchholz and
                  Jan Kriege},
  title        = {ProFiDo - The Processes Fitting Toolkit Dortmund},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {87--96},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.20},
  doi          = {10.1109/QEST.2010.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BauseBK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BauseH10,
  author       = {Falko Bause and
                  G{\'{a}}bor Horv{\'{a}}th},
  title        = {Fitting Markovian Arrival Processes by Incorporating Correlation into
                  Phase Type Renewal Processes},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {97--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.21},
  doi          = {10.1109/QEST.2010.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BauseH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BerardMS10,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  John Mullins and
                  Mathieu Sassolas},
  title        = {Quantifying Opacity},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {263--272},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.40},
  doi          = {10.1109/QEST.2010.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BerardMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BerendsenJV10,
  author       = {Jasper Berendsen and
                  David N. Jansen and
                  Frits W. Vaandrager},
  title        = {Fortuna: Model Checking Priced Probabilistic Timed Automata},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {273--281},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.41},
  doi          = {10.1109/QEST.2010.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BerendsenJV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BodrogBKT10,
  author       = {Levente Bodrog and
                  Peter Buchholz and
                  Jan Kriege and
                  Mikl{\'{o}}s Telek},
  title        = {Canonical Form Based {MAP(2)} Fitting},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {107--116},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.22},
  doi          = {10.1109/QEST.2010.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BodrogBKT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BortolussiGHT10,
  author       = {Luca Bortolussi and
                  Vashti Galpin and
                  Jane Hillston and
                  Mirco Tribastone},
  title        = {Hybrid Semantics for {PEPA}},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {181--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.31},
  doi          = {10.1109/QEST.2010.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BortolussiGHT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BusicF10,
  author       = {Ana Busic and
                  Jean{-}Michel Fourneau},
  title        = {A Toolbox for Component-Wise Bounds for Steady-State Distribution
                  of a {DTMC}},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {81--82},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.18},
  doi          = {10.1109/QEST.2010.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BusicF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BusicGGV10,
  author       = {Ana Busic and
                  Bruno Gaujal and
                  Ga{\"{e}}l Gorgo and
                  Jean{-}Marc Vincent},
  title        = {{PSI2:} Envelope Perfect Sampling of Non Monotone Systems},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {83--84},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.19},
  doi          = {10.1109/QEST.2010.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BusicGGV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CaillaudDLLPW10,
  author       = {Beno{\^{\i}}t Caillaud and
                  Beno{\^{\i}}t Delahaye and
                  Kim G. Larsen and
                  Axel Legay and
                  Mikkel L. Pedersen and
                  Andrzej Wasowski},
  title        = {Compositional Design Methodology with Constraint Markov Chains},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {123--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.23},
  doi          = {10.1109/QEST.2010.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/CaillaudDLLPW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CardelliM10,
  author       = {Luca Cardelli and
                  Radu Mardare},
  title        = {The Measurable Space of Stochastic Processes},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {171--180},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.30},
  doi          = {10.1109/QEST.2010.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/CardelliM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DidierHMW10,
  author       = {Fr{\'{e}}d{\'{e}}ric Didier and
                  Thomas A. Henzinger and
                  Maria Mateescu and
                  Verena Wolf},
  title        = {{SABRE:} {A} Tool for Stochastic Analysis of Biochemical Reaction
                  Networks},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {193--194},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.33},
  doi          = {10.1109/QEST.2010.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/DidierHMW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DoranG10,
  author       = {Derek Doran and
                  Swapna S. Gokhale},
  title        = {Searching for Heavy Tails in Web Robot Traffic},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {282--291},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.42},
  doi          = {10.1109/QEST.2010.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/DoranG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DuggiralaMKG10,
  author       = {Parasara Sridhar Duggirala and
                  Sayan Mitra and
                  Rakesh Kumar and
                  Dean Glazeski},
  title        = {On the Theory of Stochastic Processors},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {292--301},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.43},
  doi          = {10.1109/QEST.2010.43},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/DuggiralaMKG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/FengKP10,
  author       = {Lu Feng and
                  Marta Z. Kwiatkowska and
                  David Parker},
  title        = {Compositional Verification of Probabilistic Systems Using Learning},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {133--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.24},
  doi          = {10.1109/QEST.2010.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/FengKP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HappeGHR10,
  author       = {Jens Happe and
                  Henning Groenda and
                  Michael Hauck and
                  Ralf H. Reussner},
  title        = {A Prediction Model for Software Performance in Symmetric Multiprocessing
                  Environments},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {59--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.15},
  doi          = {10.1109/QEST.2010.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/HappeGHR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Hellerstein10,
  author       = {Joseph L. Hellerstein},
  title        = {The Role of Quantitative Models in Building Scalable Cloud Infrastructures},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {3},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.48},
  doi          = {10.1109/QEST.2010.48},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Hellerstein10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HorvathRV10,
  author       = {Andr{\'{a}}s Horv{\'{a}}th and
                  Lorenzo Ridi and
                  Enrico Vicario},
  title        = {Transient Analysis of Generalised Semi-Markov Processes Using Transient
                  Stochastic State Classes},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {231--240},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.37},
  doi          = {10.1109/QEST.2010.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/HorvathRV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Houdt10,
  author       = {Benny Van Houdt},
  title        = {A Phase-Type Representation for the Queue Length Distribution of a
                  Semi-Markovian Queue},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {49--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.14},
  doi          = {10.1109/QEST.2010.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Houdt10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HuthPW10,
  author       = {Michael Huth and
                  Nir Piterman and
                  Daniel Wagner},
  title        = {p-Automata: New Foundations for Discrete-Time Probabilistic Verification},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {161--170},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.29},
  doi          = {10.1109/QEST.2010.29},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/HuthPW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KorthikantiVAK10,
  author       = {Vijay Anand Korthikanti and
                  Mahesh Viswanathan and
                  Gul Agha and
                  YoungMin Kwon},
  title        = {Reasoning about MDPs as Transformers of Probability Distributions},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {199--208},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.35},
  doi          = {10.1109/QEST.2010.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/KorthikantiVAK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KumarV10,
  author       = {Jayanand Asok Kumar and
                  Shobha Vasudevan},
  title        = {Automatic Compositional Reasoning for Probabilistic Model Checking
                  of Hardware Designs},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {143--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.25},
  doi          = {10.1109/QEST.2010.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/KumarV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Leemis10,
  author       = {Lawrence Leemis},
  title        = {Reliability Models},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {308},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.46},
  doi          = {10.1109/QEST.2010.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Leemis10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MakanjuZM10,
  author       = {Adetokunbo Makanju and
                  Nur Zincir{-}Heywood and
                  Evangelos E. Milios},
  title        = {An Evaluation of Entropy Based Approaches to Alert Detection in High
                  Performance Cluster Logs},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {69--78},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.16},
  doi          = {10.1109/QEST.2010.16},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/MakanjuZM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarinV10,
  author       = {Andrea Marin and
                  Maria Grazia Vigliotti},
  title        = {From Systems to Components: Constructive Methods for Product-Form
                  Solutions},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {305},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.44},
  doi          = {10.1109/QEST.2010.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/MarinV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/NeuhausserZ10,
  author       = {Martin R. Neuh{\"{a}}u{\ss}er and
                  Lijun Zhang},
  title        = {Time-Bounded Reachability Probabilities in Continuous-Time Markov
                  Decision Processes},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {209--218},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.47},
  doi          = {10.1109/QEST.2010.47},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/NeuhausserZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/NielsenNN10,
  author       = {Bo Friis Nielsen and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  title        = {Model Checking Multivariate State Rewards},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {7--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.10},
  doi          = {10.1109/QEST.2010.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/NielsenNN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PinzgerK10,
  author       = {Martin Pinzger and
                  Gabriele Kotsis},
  title        = {{AWPS} - Simulation Based Automated Web Performance Analysis and Prediction},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {191--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.32},
  doi          = {10.1109/QEST.2010.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/PinzgerK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ReijsbergenBSH10,
  author       = {Dani{\"{e}}l Reijsbergen and
                  Pieter{-}Tjerk de Boer and
                  Werner R. W. Scheinhardt and
                  Boudewijn R. Haverkort},
  title        = {Rare Event Simulation for Highly Dependable Systems with Fast Repairs},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {251--260},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.39},
  doi          = {10.1109/QEST.2010.39},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/ReijsbergenBSH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Sanders10,
  author       = {William H. Sanders},
  title        = {Quantitative Evaluation of Security Metrics},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {306},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.50},
  doi          = {10.1109/QEST.2010.50},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Sanders10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Smith10,
  author       = {Michael J. A. Smith},
  title        = {Abstraction and Model Checking in the {PEPA} Plug-In for Eclipse},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {155--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.27},
  doi          = {10.1109/QEST.2010.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Smith10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Stewart10,
  author       = {William J. Stewart},
  title        = {Reflections on the Numerical Solution of Markov Chains},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {119},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.49},
  doi          = {10.1109/QEST.2010.49},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Stewart10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Tribastone10,
  author       = {Mirco Tribastone},
  title        = {Scalable Differential Analysis of Large Process Algebra Models},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {307},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.45},
  doi          = {10.1109/QEST.2010.45},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Tribastone10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/TrivediW10,
  author       = {Ashutosh Trivedi and
                  Dominik Wojtczak},
  title        = {Timed Branching Processes},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {219--228},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.36},
  doi          = {10.1109/QEST.2010.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/TrivediW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WimmerBBHCHDT10,
  author       = {Ralf Wimmer and
                  Bettina Braitling and
                  Bernd Becker and
                  Ernst Moritz Hahn and
                  Pepijn Crouzen and
                  Holger Hermanns and
                  Abhishek Dhama and
                  Oliver E. Theel},
  title        = {Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic
                  Systems},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {27--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.12},
  doi          = {10.1109/QEST.2010.12},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/WimmerBBHCHDT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ZhangB10,
  author       = {Xin Zhang and
                  Franck van Breugel},
  title        = {Model Checking Randomized Algorithms with Java PathFinder},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {157--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.28},
  doi          = {10.1109/QEST.2010.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/ZhangB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2010,
  title        = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5599994/proceeding},
  isbn         = {978-0-7695-4188-4},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics