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. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Judith Borghouts, Andrew D. Gordon 0001, Advait Sarkar, Neil Toronto |
End-User Probabilistic Programming. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Julia Eisentraut, Jan Kretínský |
Expected Cost Analysis of Attack-Defense Trees. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo |
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate |
Safety Guarantees for the Electricity Grid with Significant Renewables Generation. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
UTOPIC: Under-Approximation Through Optimal Control. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli |
Bayesian Abstraction of Markov Population Models. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arnault Ioualalen, Matthieu Martel |
Neural Network Precision Tuning. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuliya Butkova, Arnd Hartmanns, Holger Hermanns |
A Modest Approach to Modelling and Checking Markov Automata. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gildas Kouko, Josée Desharnais, François Laviolette |
Finite Approximation of LMPs for Exact Verification of Reachability Properties. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu |
Automated Game-Theoretic Verification of Security Systems. |
QEST |
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. |
QEST |
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. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Borzoo Bonakdarpour |
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bacci 0001, Mikkel Hansen, Kim Guldstrand Larsen |
On the Verification of Weighted Kripke Structures Under Uncertainty. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Milios, Guido Sanguinetti, David Schnoerr |
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference. |
QEST |
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. |
QEST |
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. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | B. Maryam Elahi, Carey Williamson |
On Saturation Effects in Coupled Speed Scaling. |
QEST |
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. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos |
Automated Verification of Concurrent Stochastic Games. |
QEST |
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. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi |
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario |
Hospital Inventory Management Through Markov Decision Processes @runtime. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ratan Lal, Pavithra Prabhakar |
Bounded Verification of Reachability of Probabilistic Hybrid Systems. |
QEST |
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 |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Meike Nauta, Doina Bucur, Mariëlle Stoelinga |
LIFT: Learning Fault Trees from Observational Data. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova |
Parameter-Independent Strategies for pMDPs via POMDPs. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hongfei Fu 0001, Yi Li, Jianlin Li |
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. |
QEST |
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. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yaping Jing, Andrew S. Miner |
Action and State Based Computation Tree Measurement Language and Algorithms. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar |
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. |
QEST |
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. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Sabina Rossi, Matteo Sottana |
Biased Processor Sharing in Fork-Join Queues. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Piho, Jane Hillston |
Policy Synthesis for Collective Dynamics. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Richard Schumi |
How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001 |
On the Additive Capacity Problem for Quantitative Information Flow. |
QEST |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gainer, Ernst Moritz Hahn, Sven Schewe |
Incremental Verification of Parametric and Reconfigurable Markov Chains. |
QEST |
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. |
QEST |
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. |
QEST |
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. |
QEST |
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. |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Susanna Donatelli |
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marijn R. Jongerden, Boudewijn R. Haverkort |
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Michaelides, Jane Hillston, Guido Sanguinetti |
Statistical Abstraction for Multi-scale Spatio-Temporal Systems. |
QEST |
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. |
QEST |
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. |
QEST |
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. |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Hélouët, Hervé Marchand |
On the Cost of Diagnosis with Disambiguation. |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pushpak Jagtap, Majid Zamani 0001 |
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Armin Zimmermann |
Modelling and Performance Evaluation with TimeNET 4.4. |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee |
Quantitative Model Checking for a Smart Grid Pricing. |
QEST |
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 |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate |
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Bhattiprolu, Spencer Gordon, Mahesh Viswanathan 0001 |
Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars. |
QEST |
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. |
QEST |
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. |
QEST |
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. |
QEST |
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. |
QEST |
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. |
QEST |
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. |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul D. Ezhilchelvan, Isi Mitrani |
Multi-class Resource Sharing with Batch Arrivals and Complete Blocking. |
QEST |
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. |
QEST |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti |
Property-Driven State-Space Coarsening for Continuous Time Markov Chains. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
Inferring Covariances for Probabilistic Programs. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kriege, Peter Buchholz 0001 |
Traffic Modeling with Phase-Type Distributions and VARMA Processes. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Misikir Eyob Gebrehiwot, Samuli Aalto, Pasi E. Lassila |
Energy-Aware Server with SRPT Scheduling: Analysis and Optimization. |
QEST |
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. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate |
Data-Efficient Bayesian Verification of Parametric Markov Chains. |
QEST |
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. |
QEST |
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. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Sabina Rossi |
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar, Simon Theissing |
Decoupling Passenger Flows for Improved Load Prediction. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simonetta Balsamo, Andrea Marin, Ivan Stojic |
Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets. |
QEST |
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. |
QEST |
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. |
QEST |
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. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Susanna Donatelli |
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. |
QEST |
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. |
QEST |
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. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jane Hillston, Michele Loreti |
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Philipp Hoffmann, Ratul Saha |
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets. |
QEST |
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. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Huaming Wu, William J. Knottenbelt, Katinka Wolter, Yi Sun |
An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini |
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. |
QEST |
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. |
QEST |
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 |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Bondorf, Jens B. Schmitt |
Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses. |
QEST |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti |
U-Check: Model Checking and Parameter Synthesis Under Uncertainty. |
QEST |
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. |
QEST |
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. |
QEST |
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. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Bungert, Holger Hermanns, Reza Pulungan |
A Compression App for Continuous Probability Distributions. |
QEST |
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. |
QEST |
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. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
Computing Structural Properties of Symmetric Nets. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bart D. Theelen, Jozef Hooman |
Uniting Academic Achievements on Performance Analysis with Industrial Needs. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Popov, Kizito Salako, Vladimir Stankovic 0002 |
Stochastic Modeling for Performance Evaluation of Database Replication Protocols. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Farshad Shams, Mirco Tribastone |
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|