Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/qest/BaltasF12,
  author       = {Nikos Baltas and
                  Tony Field},
  title        = {Continuous Performance Testing in Virtual Time},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {13--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.26},
  doi          = {10.1109/QEST.2012.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BaltasF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BeginB12,
  author       = {Thomas Begin and
                  Alexandre Brandwajn},
  title        = {A Tool for Solving Ph/M/c and Ph/M/c/N Queues},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {205--206},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.11},
  doi          = {10.1109/QEST.2012.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BeginB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BenediktLW12,
  author       = {Michael Benedikt and
                  Rastislav Lenhardt and
                  James Worrell},
  title        = {Verification of Two-Variable Logic Revisited},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {114--123},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.38},
  doi          = {10.1109/QEST.2012.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BenediktLW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BorealeP12,
  author       = {Michele Boreale and
                  Francesca Pampaloni},
  title        = {Quantitative Multirun Security under Active Adversaries},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {158--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.31},
  doi          = {10.1109/QEST.2012.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BorealeP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BortolussiH12,
  author       = {Luca Bortolussi and
                  Jane Hillston},
  title        = {Fluid Approximation of {CTMC} with Deterministic Delays},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {53--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.13},
  doi          = {10.1109/QEST.2012.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BortolussiH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BouyerBJM12,
  author       = {Patricia Bouyer and
                  Thomas Brihaye and
                  Marcin Jurdzinski and
                  Quentin Menet},
  title        = {Almost-Sure Model-Checking of Reactive Timed Automata},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {138--147},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.10},
  doi          = {10.1109/QEST.2012.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BouyerBJM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BouyerLM12,
  author       = {Patricia Bouyer and
                  Kim Guldstrand Larsen and
                  Nicolas Markey},
  title        = {Lower-Bound Constrained Runs in Weighted Timed Automata},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {128--137},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.28},
  doi          = {10.1109/QEST.2012.28},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/BouyerLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BuchholzK12,
  author       = {Peter Buchholz and
                  Jan Kriege},
  title        = {Aggregation of Markovian Models - An Alternating Least Squares Approach},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {43--52},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.17},
  doi          = {10.1109/QEST.2012.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BuchholzK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BugliesiGMRH12,
  author       = {Michele Bugliesi and
                  Lucia Gallina and
                  Andrea Marin and
                  Sabina Rossi and
                  Sardaouna Hamadou},
  title        = {Interference-Sensitive Preorders for MANETs},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {189--198},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.15},
  doi          = {10.1109/QEST.2012.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BugliesiGMRH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Buzen12,
  author       = {Jeffrey P. Buzen},
  title        = {Notes on the Nature of Uncertainty},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {124--127},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.25},
  doi          = {10.1109/QEST.2012.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Buzen12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/CerottiGPS12,
  author       = {Davide Cerotti and
                  Marco Gribaudo and
                  Pietro Piazzolla and
                  Giuseppe Serazzi},
  title        = {Flexible {CPU} Provisioning in Clouds: {A} New Source of Performance
                  Unpredictability},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {230--237},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.23},
  doi          = {10.1109/QEST.2012.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/CerottiGPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/ComaniciPP12,
  author       = {Gheorghe Comanici and
                  Prakash Panangaden and
                  Doina Precup},
  title        = {On-the-Fly Algorithms for Bisimulation Metrics},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {94--103},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.30},
  doi          = {10.1109/QEST.2012.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/ComaniciPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/CremonesiS12,
  author       = {Paolo Cremonesi and
                  Andrea Sansottera},
  title        = {Indirect Estimation of Service Demands in the Presence of Structural
                  Changes},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {249--259},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.18},
  doi          = {10.1109/QEST.2012.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/CremonesiS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/DiazBEF12,
  author       = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
                  Christel Baier and
                  Clara Benac Earle and
                  Lars{-}{\AA}ke Fredlund},
  title        = {Static Partial Order Reduction for Probabilistic Concurrent Systems},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {104--113},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.22},
  doi          = {10.1109/QEST.2012.22},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/DiazBEF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/ElahiWW12,
  author       = {B. Maryam Elahi and
                  Carey Williamson and
                  Philipp Woelfel},
  title        = {Decoupled Speed Scaling: Analysis and Evaluation},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {2--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.35},
  doi          = {10.1109/QEST.2012.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/ElahiWW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/FordBS12,
  author       = {Michael D. Ford and
                  Peter Buchholz and
                  William H. Sanders},
  title        = {State-Based Analysis in {ADVISE}},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {148--157},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.36},
  doi          = {10.1109/QEST.2012.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/FordBS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/GretzKM12,
  author       = {Friedrich Gretz and
                  Joost{-}Pieter Katoen and
                  Annabelle McIver},
  title        = {Operational Versus Weakest Precondition Semantics for the Probabilistic
                  Guarded Command Language},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {168--177},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.21},
  doi          = {10.1109/QEST.2012.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/GretzKM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Hayden12,
  author       = {Richard A. Hayden},
  title        = {Mean Field for Performance Models with Deterministically-Timed Transitions},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {63--73},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.27},
  doi          = {10.1109/QEST.2012.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Hayden12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/HenriquesMZPC12,
  author       = {David Henriques and
                  Jo{\~{a}}o G. Martins and
                  Paolo Zuliani and
                  Andr{\'{e}} Platzer and
                  Edmund M. Clarke},
  title        = {Statistical Model Checking for Markov Decision Processes},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {84--93},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.19},
  doi          = {10.1109/QEST.2012.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/HenriquesMZPC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/HorvathH12,
  author       = {G{\'{a}}bor Horv{\'{a}}th and
                  Benny Van Houdt},
  title        = {A Multi-layer Fluid Queue with Boundary Phase Transitions and Its
                  Application to the Analysis of Multi-type Queues with General Customer
                  Impatience},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {23--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.12},
  doi          = {10.1109/QEST.2012.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/HorvathH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/KohutSHB12,
  author       = {Matej Kohut and
                  Anton Stefanek and
                  Richard A. Hayden and
                  Jeremy T. Bradley},
  title        = {Specification and Efficient Computation of Passage-Time Distributions
                  in {GPA}},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {199--200},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.24},
  doi          = {10.1109/QEST.2012.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/KohutSHB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/KwiatkowskaNP12,
  author       = {Marta Z. Kwiatkowska and
                  Gethin Norman and
                  David Parker},
  title        = {The {PRISM} Benchmark Suite},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {203--204},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.14},
  doi          = {10.1109/QEST.2012.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/KwiatkowskaNP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Maher12,
  author       = {Mike Maher},
  title        = {Stochastic Modelling of Sport},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {207--208},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.40},
  doi          = {10.1109/QEST.2012.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Maher12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/RashidPG12,
  author       = {Layali Rashid and
                  Karthik Pattabiraman and
                  Sathish Gopalakrishnan},
  title        = {Intermittent Hardware Errors Recovery: Modeling and Evaluation},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {220--229},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.37},
  doi          = {10.1109/QEST.2012.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/RashidPG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/ReineckeKW12,
  author       = {Philipp Reinecke and
                  Tilman Krauss and
                  Katinka Wolter},
  title        = {HyperStar: Phase-Type Fitting Made Easy},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {201--202},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.29},
  doi          = {10.1109/QEST.2012.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/ReineckeKW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/RochmanLB12,
  author       = {Yuval Rochman and
                  Hanoch Levy and
                  Eli Brosh},
  title        = {Max Percentile Replication for Optimal Performance in Multi-regional
                  {P2P} VoD Systems},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {238--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.33},
  doi          = {10.1109/QEST.2012.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/RochmanLB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/TelekV12,
  author       = {Mikl{\'{o}}s Telek and
                  Mikl{\'{o}}s V{\'{e}}csei},
  title        = {Finite Queues at the Limit of Saturation},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {33--42},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.20},
  doi          = {10.1109/QEST.2012.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/TelekV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/TschaikowskiT12,
  author       = {Max Tschaikowski and
                  Mirco Tribastone},
  title        = {Generalised Communication for Interacting Agents},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {178--188},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.16},
  doi          = {10.1109/QEST.2012.16},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/TschaikowskiT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/Vardi12,
  author       = {Moshe Y. Vardi},
  title        = {Compositional Temporal Synthesis},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {1},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.39},
  doi          = {10.1109/QEST.2012.39},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/Vardi12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/VenkatesanI12,
  author       = {Vinodh Venkatesan and
                  Ilias Iliadis},
  title        = {A General Reliability Model for Data Storage Systems},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {209--219},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.32},
  doi          = {10.1109/QEST.2012.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/VenkatesanI12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/ZhaoC12,
  author       = {Yang Zhao and
                  Gianfranco Ciardo},
  title        = {A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of
                  EVMDD-Encoded CTMCs},
  booktitle    = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  pages        = {74--83},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QEST.2012.34},
  doi          = {10.1109/QEST.2012.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/ZhaoC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/qest/2012,
  title        = {Ninth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2012, London, United Kingdom, September 17-20, 2012},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6354262/proceeding},
  isbn         = {978-1-4673-2346-8},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/2012.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.