Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman |
Strategy Representation by Decision Trees with Linear Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 109-128, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Judith Borghouts, Andrew D. Gordon 0001, Advait Sarkar, Neil Toronto |
End-User Probabilistic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 3-24, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Julia Eisentraut, Jan Kretínský |
Expected Cost Analysis of Attack-Defense Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 203-221, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo |
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 165-181, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate |
Safety Guarantees for the Electricity Grid with Significant Renewables Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 332-349, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
UTOPIC: Under-Approximation Through Optimal Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 277-291, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli |
Bayesian Abstraction of Markov Population Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 259-276, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arnault Ioualalen, Matthieu Martel |
Neural Network Precision Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 129-143, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuliya Butkova, Arnd Hartmanns, Holger Hermanns |
A Modest Approach to Modelling and Checking Markov Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 52-69, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gildas Kouko, Josée Desharnais, François Laviolette |
Finite Approximation of LMPs for Exact Verification of Reachability Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 70-87, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu |
Automated Game-Theoretic Verification of Security Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 239-256, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke |
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 182-199, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger |
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 147-164, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Borzoo Bonakdarpour |
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 20-35, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bacci 0001, Mikkel Hansen, Kim Guldstrand Larsen |
On the Verification of Weighted Kripke Structures Under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 71-86, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Milios, Guido Sanguinetti, David Schnoerr |
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 289-305, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba |
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 173-189, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe |
Model Checking for Safe Navigation Among Humans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 207-222, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | B. Maryam Elahi, Carey Williamson |
On Saturation Effects in Coupled Speed Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 407-422, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Isi Mitrani, B. Maryam Elahi, Carey Williamson |
Control and Optimization of the SRPT Service Policy by Frequency Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 257-272, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos |
Automated Verification of Concurrent Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 223-239, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare |
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 339-355, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi |
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 323-338, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario |
Hospital Inventory Management Through Markov Decision Processes @runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 87-103, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ratan Lal, Pavithra Prabhakar |
Bounded Verification of Reachability of Probabilistic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 240-256, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver, András Horváth (eds.) |
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![Springer, 978-3-319-99153-5 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Meike Nauta, Doina Bucur, Mariëlle Stoelinga |
LIFT: Learning Fault Trees from Observational Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 306-322, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova |
Parameter-Independent Strategies for pMDPs via POMDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 53-70, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hongfei Fu 0001, Yi Li, Jianlin Li |
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 122-139, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Rausch, Ahmed M. Fawaz, Ken Keefe, William H. Sanders |
Modeling Humans: A General Agent Model for the Evaluation of Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 373-388, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yaping Jing, Andrew S. Miner |
Action and State Based Computation Tree Measurement Language and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 190-206, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar |
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 389-406, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf |
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 157-172, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Sabina Rossi, Matteo Sottana |
Biased Processor Sharing in Fork-Join Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 273-288, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Piho, Jane Hillston |
Policy Synthesis for Collective Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 356-372, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Richard Schumi |
How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 36-52, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 104-121, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001 |
On the Additive Capacity Problem for Quantitative Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 1-19, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gainer, Ernst Moritz Hahn, Sven Schewe |
Incremental Verification of Parametric and Reconfigurable Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 140-156, 2018, Springer, 978-3-319-99153-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carmen Cheh, Binbin Chen 0001, William G. Temple, William H. Sanders |
Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 275-291, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chen Li 0009, Taghreed Altamimi, Mana Hassanzadeh Zargari, Giuliano Casale, Dorina C. Petriu |
Tulsa: A Tool for Transforming UML to Layered Queueing Networks for Performance Analysis of Data Intensive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 295-299, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 |
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 224-239, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion |
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 317-332, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Susanna Donatelli |
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 36-51, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marijn R. Jongerden, Boudewijn R. Haverkort |
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 88-103, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Michaelides, Jane Hillston, Guido Sanguinetti |
Statistical Abstraction for Multi-scale Spatio-Temporal Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 243-258, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate |
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 259-274, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario |
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 20-35, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan |
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 351-367, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Hélouët, Hervé Marchand |
On the Cost of Diagnosis with Disambiguation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 140-156, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pushpak Jagtap, Majid Zamani 0001 |
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 309-313, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Armin Zimmermann |
Modelling and Performance Evaluation with TimeNET 4.4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 300-303, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee |
Quantitative Model Checking for a Smart Grid Pricing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 55-71, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Luca Bortolussi (eds.) |
Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![Springer, 978-3-319-66334-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate |
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 72-87, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Bhattiprolu, Spencer Gordon, Mahesh Viswanathan 0001 |
Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 3-19, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni |
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 123-139, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Radu Calinescu, Milan Ceska 0002, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti |
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 304-308, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Armin Zimmermann, Thomas Hotz, Andrés Canabal Lavista |
A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 107-122, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Jégourel, Jun Sun 0001, Jin Song Dong |
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 333-350, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet |
Reachability in Parametric Interval Markov Chains Using Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 173-189, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera 0001, Vojtech Rehák |
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 190-206, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul D. Ezhilchelvan, Isi Mitrani |
Multi-class Resource Sharing with Batch Arrivals and Complete Blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 157-169, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini |
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 207-223, 2017, Springer, 978-3-319-66334-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti |
Property-Driven State-Space Coarsening for Continuous Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 3-18, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
Inferring Covariances for Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 191-206, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kriege, Peter Buchholz 0001 |
Traffic Modeling with Phase-Type Distributions and VARMA Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 295-310, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Misikir Eyob Gebrehiwot, Samuli Aalto, Pasi E. Lassila |
Energy-Aware Server with SRPT Scheduling: Analysis and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 107-122, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Rausch, Brett Feddersen, Ken Keefe, William H. Sanders |
A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 279-294, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate |
Data-Efficient Bayesian Verification of Parametric Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 35-51, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti |
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 244-259, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Enno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga |
Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 331-347, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Sabina Rossi |
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 123-138, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar, Simon Theissing |
Decoupling Passenger Flows for Improved Load Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 364-379, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simonetta Balsamo, Andrea Marin, Ivan Stojic |
Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 163-166, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cheng Feng 0004, Jane Hillston, Daniël Reijsbergen |
Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 139-155, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti |
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 72-88, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska |
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 175-190, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Susanna Donatelli |
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 19-34, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Neglia, Sara Alouf, Abdulhalim Dandoush, Sébastien Simoens, Pierre Dersin, Alina Tuholukova, Jérôme Billion, Pascal Derouet |
Performance Evaluation of Train Moving-Block Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 348-363, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001, Tugrul Dayar, Jan Kriege, M. Can Orhan |
Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 260-276, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jane Hillston, Michele Loreti |
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 167-171, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Philipp Hoffmann, Ratul Saha |
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 89-104, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw, Rolando Trujillo-Rasua |
Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 159-162, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Huaming Wu, William J. Knottenbelt, Katinka Wolter, Yi Sun |
An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 311-328, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini |
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 55-71, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof |
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 227-243, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gul Agha, Benny Van Houdt (eds.) |
Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![Springer, 978-3-319-43424-7 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Bondorf, Jens B. Schmitt |
Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 207-223, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti |
U-Check: Model Checking and Parameter Synthesis Under Uncertainty. ![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. 89-104, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ulya Bayram, Kristin Yvonne Rozier, Eric William Davis Rozier |
Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains. ![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. 211-227, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný 0001, Vojtech Rehák |
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. ![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. 141-159, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Varun Badrinath Krishna, Gabriel A. Weaver, William H. Sanders |
PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure. ![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. 70-85, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Bungert, Holger Hermanns, Reza Pulungan |
A Compression App for Continuous Probability Distributions. ![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. 113-121, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | John C. Mace, Charles Morisset, Aad P. A. van Moorsel |
Impact of Policy Design on Workflow Resiliency Computation Time. ![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. 244-259, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama |
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control 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. 312-328, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
Computing Structural Properties of Symmetric Nets. ![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. 125-140, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bart D. Theelen, Jozef Hooman |
Uniting Academic Achievements on Performance Analysis with Industrial Needs. ![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. 3-18, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Popov, Kizito Salako, Vladimir Stankovic 0002 |
Stochastic Modeling for Performance Evaluation of Database Replication Protocols. ![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. 21-37, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Farshad Shams, Mirco Tribastone |
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory. ![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. 54-69, 2015, Springer, 978-3-319-22263-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|