Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andrea Marin, Sabina Rossi |
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 160-175, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario |
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 38-53, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Javier Campos, Boudewijn R. Haverkort (eds.) |
Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![Springer, 978-3-319-22263-9 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Si Liu 0003, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer 0001 |
Quantitative Analysis of Consistency in NoSQL Key-Value Stores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 228-243, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yang Gao 0011, Martin Fränzle |
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 295-311, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gerardo Rubino |
Power and Effectiveness in Queueing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 279-294, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Fourneau, Nihal Pekergin |
A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 176-191, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Asser N. Tantawi |
Quantitative Placement of Services in Hierarchical Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 195-210, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anne Bouillard, Ana Busic, Christelle Rovetta |
Perfect Sampling for Multiclass Closed Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 263-278, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Okamura, Tadashi Dohi |
mapfit: An R-Based Tool for PH/MAP Parameter Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 105-112, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate |
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 57-73, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore |
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 170-173, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Jaeger, Hua Mao, Kim Guldstrand Larsen, Radu Mardare |
Continuity Properties of Distances for Markov Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 297-312, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Kawamoto 0001, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
Compositionality Results for Quantitative Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 368-383, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcel C. Guenther, Jeremy T. Bradley |
On Performance of Gossip Communication in a Crowd-Sensing Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 122-137, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tamer Basar |
Multi-agent Networked Systems with Adversarial Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 5-8, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Geert J. Heijenk, Martijn van Eenennaam, Anne Remke |
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 154-169, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri, Sindhu Suresh |
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 345-367, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, Dileep Kini, Mahesh Viswanathan 0001 |
Decidable Problems for Unary PFAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 329-344, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Rytis Paskauskas |
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 106-121, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | An Hoa Vu, Nils Ole Tippenhauer, Binbin Chen 0001, David M. Nicol, Zbigniew Kalbarczyk |
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 384-387, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer 0001, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 |
Accelerating Parametric Probabilistic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 404-420, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi |
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 388-403, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Marzolla |
The Octave Queueing Package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 174-177, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami |
Probabilistic Model Checking of DTMC Models of User Activity Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 138-153, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cheng Feng 0004, Jane Hillston |
PALOMA: A Process Algebra for Located Markovian Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 265-280, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Guido Sanguinetti |
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 41-56, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rasha Osman, Pietro Piazzolla |
Modelling Replication in NoSQL Datastores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 194-209, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Thomas Brihaye, Blaise Genest |
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 313-328, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gethin Norman, William H. Sanders (eds.) |
Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![Springer, 978-3-319-10695-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Hayden, Illés Horváth, Miklós Telek |
Mean Field for Performance Models with Generally-Distributed Timed Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 90-105, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kressner, Francisco Macedo |
Low-Rank Tensor Methods for Communicating Markov Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 25-40, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Finite Abstractions of Stochastic Max-Plus-Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 74-89, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Peter Buchholz 0001, Susanna Donatelli |
A Structured Solution Approach for Markov Regenerative Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 9-24, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Kounev |
Quantitative Evaluation of Service Dependability in Shared Execution Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 1-4, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Herwig Bruneel, Wouter Rogiest, Joris Walraevens, Sabine Wittevrongel |
On Queues with General Service Demands and Constant Service Capacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 210-225, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Davide Sangiorgi, Valeria Vignudelli |
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 281-296, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nobuyuki Ohba, Seiji Munetoh, Atsuya Okazaki, Yasunao Katayama |
Non-intrusive Scalable Memory Access Tracer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 245-248, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Craig Buchanan, Ken Keefe |
Simulation Debugging and Visualization in the Möbius Modeling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 226-240, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Heyman, Davy Preuveneers, Wouter Joosen |
Scalar: A Distributed Scalability Analysis Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 241-244, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Durand 0001, Bruno Gaujal, Florence Perronnin, Jean-Marc Vincent |
A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 178-193, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti |
Probabilistic Programming Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 249-264, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe |
Computer-Aided Security Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 1-2, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer |
Modelling, Reduction and Analysis of Markov Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 55-71, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche |
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 322-337, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nikolas Anastasiou, William J. Knottenbelt |
PEPERCORN: Inferring Performance Models from Location Tracking Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 169-172, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Roberta Lanciani |
Model Checking Markov Population Models by Central Limit Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 123-138, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards |
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 160-164, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Nathalie Bertrand 0001, Serge Haddad, Loïc Hélouët |
The Steady-State Control Problem for Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 290-304, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Lenhardt |
Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 155-159, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver |
Prinsys - On a Quest for Probabilistic Loop Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 193-208, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 |
High-Level Counterexamples for Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 39-54, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta |
Topology-Based Mobility Models for Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 389-404, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Giovanni Bacci 0001, Kim Guldstrand Larsen, Radu Mardare |
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 278-281, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort |
Automated Rare Event Simulation for Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 372-388, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dieky Adzkiya, Alessandro Abate |
VeriSiMPL: Verification via biSimulations of MPL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 274-277, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Klebanov, Norbert Manthey, Christian J. Muise |
SAT-Based Analysis and Quantification of Information Flow in Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 177-192, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Edmundo de Souza e Silva, Rosa M. M. Leão, Daniel Sadoc Menasché, Antônio Augusto de Aragão Rocha |
On the Interplay between Content Popularity and Performance in P2P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 3-21, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David N. Jansen, Lei Song 0001, Lijun Zhang 0001 |
Revisiting Weak Simulation for Substochastic Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 209-224, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio (eds.) |
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![Springer, 978-3-642-40195-4 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Majid Zamani 0001, Alessandro Abate |
Symbolic Control of Stochastic Switched Systems via Finite Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 305-321, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Aspirot, Ernesto Mordecki, Gerardo Rubino |
Fluid Limit for the Machine Repairman Model with Phase-Type Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 139-154, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ken Keefe, William H. Sanders |
Möbius Shell: A Command-Line Interface for Möbius. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 282-285, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay |
Refinement and Difference for Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 22-38, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Spieler |
Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 106-122, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vinodh Venkatesan, Ilias Iliadis |
Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 241-257, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales |
A CTL Model Checker for Stochastic Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 286-289, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang 0001 |
Deciding Bisimilarities on Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 72-88, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer |
ADTool: Security Analysis with Attack-Defense Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 173-176, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg |
Stochastic Parity Games on Lossy Channel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 338-354, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Nathalie Bertrand 0001, András Horváth, Marco Paolieri, Enrico Vicario |
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 355-371, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Miyuru Dayarathna, Toyotaro Suzumura |
A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 225-240, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Guido Sanguinetti |
Learning and Designing Stochastic Processes from Logical Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 89-105, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Happ, Philipp Reinecke, Katinka Wolter |
Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11g. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 258-273, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yi Deng 0004, Akshay Rajhans, A. Agung Julius |
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 165-168, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
The PRISM Benchmark Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 203-204, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke |
Statistical Model Checking for Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 84-93, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Reinecke, Tilman Krauss, Katinka Wolter |
HyperStar: Phase-Type Fitting Made Easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 201-202, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Layali Rashid, Karthik Pattabiraman, Sathish Gopalakrishnan |
Intermittent Hardware Errors Recovery: Modeling and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 220-229, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey P. Buzen |
Notes on the Nature of Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 124-127, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver |
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 168-177, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet |
Almost-Sure Model-Checking of Reactive Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 138-147, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Hayden |
Mean Field for Performance Models with Deterministically-Timed Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 63-73, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
Lower-Bound Constrained Runs in Weighted Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 128-137, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miklós Telek, Miklós Vécsei |
Finite Queues at the Limit of Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 33-42, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Jane Hillston |
Fluid Approximation of CTMC with Deterministic Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 53-62, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Begin, Alexandre Brandwajn |
A Tool for Solving Ph/M/c and Ph/M/c/N Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 205-206, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Ford, Peter Buchholz 0001, William H. Sanders |
State-Based Analysis in ADVISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 148-157, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Max Tschaikowski, Mirco Tribastone |
Generalised Communication for Interacting Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 178-188, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mike Maher |
Stochastic Modelling of Sport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 207-208, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | B. Maryam Elahi, Carey Williamson, Philipp Woelfel |
Decoupled Speed Scaling: Analysis and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 2-12, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Horváth 0002, Benny Van Houdt |
A Multi-layer Fluid Queue with Boundary Phase Transitions and Its Application to the Analysis of Multi-type Queues with General Customer Impatience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 23-32, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Comanici, Prakash Panangaden, Doina Precup |
On-the-Fly Algorithms for Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 94-103, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Rochman, Hanoch Levy, Eli Brosh |
Max Percentile Replication for Optimal Performance in Multi-regional P2P VoD Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 238-248, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Compositional Temporal Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 1, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Cremonesi, Andrea Sansottera |
Indirect Estimation of Service Demands in the Presence of Structural Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 249-259, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | |
Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![IEEE Computer Society, 978-1-4673-2346-8 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley |
Specification and Efficient Computation of Passage-Time Distributions in GPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 199-200, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi |
Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 230-237, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Baltas, Tony Field |
Continuous Performance Testing in Virtual Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 13-22, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|