Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/qest/qest2010.bht:"
@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} }
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.