Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Paul D. Ezhilchelvan, Isi Mitrani, Jim Webber |
Analysis of an Epoch Commit Protocol for Distributed Processing Systems. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Lewis, Paolo Zuliani, Sadegh Soudjani |
Verification of Quantum Systems Using Barrier Certificates. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roman Andriushchenko, Ezio Bartocci, Milan Ceska 0002, Francesco Pontiggia, Sarah Sallinger |
Deductive Controller Synthesis for Probabilistic Hyperproperties. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | András Horváth, Marco Paolieri, Enrico Vicario |
Equilibrium Analysis of Markov Regenerative Processes. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov |
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour |
Introducing Asynchronicity to Probabilistic Hyperproperties. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Teresa Joven, Jorge Lázaro, Jorge Júlvez |
Modeling Uncertain Biomass Composition in Genome-Scale Metabolic Models with Flexible Nets. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Reynouard, Anna Ingólfsdóttir, Giovanni Bacci 0001 |
Jajapy: A Learning Library for Stochastic Models. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Jeppson, Matthias Volk 0001, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng 0001, Chris Winstead, Zhen Zhang 0006 |
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiaotong Ji, Antonio Filieri |
Probabilistic Counterexample Guidance for Safer Reinforcement Learning. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Barbot, Nicolas Basset |
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Parker 0001 |
Multi-agent Verification and Control with Probabilistic Model Checking. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lisa Willemsen, Anne Remke, Erika Ábrahám |
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno |
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate |
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt 0003 |
Matching Distributions Under Structural Constraints. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bacci 0001, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard |
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen |
Causal Reversibility Implies Time Reversibility. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Mirco Tribastone (eds.) |
Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola |
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | YoungMin Kwon, Eunhee Kim, Gul Agha |
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alec Edwards, Mirco Giacobbe, Alessandro Abate |
On the Trade-Off Between Efficiency and Precision of Neural Abstraction. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Seyed Mohammadhossein Tabatabaee, Anne Bouillard, Jean-Yves Le Boudec |
Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benny Van Houdt |
On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Erik Voogd, Einar Broch Johnsen, Alexandra Silva 0001, Zachary J. Susag, Andrzej Wasowski |
Symbolic Semantics for Probabilistic Programs. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Carnevali, Riccardo Reali, Enrico Vicario |
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen |
Monte Carlo Tree Search for Priced Timed Automata. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta |
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi |
An Automated Quantitative Information Flow Analysis for Concurrent Programs. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura |
Distribution Estimation for Probabilistic Loops. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura |
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Spandan Das, Pavithra Prabhakar |
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daria Smuseva, Ivan Malakhov, Andrea Marin, Aad van Moorsel, Sabina Rossi |
Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate |
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giuliano Casale, Yicheng Gao, Zifeng Niu, Lulai Zhu |
LN: A Meta-solver for Layered Queueing Network Analysis. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Carla Piazza, Riccardo Romanello |
Mirrors and Memory in Quantum Automata. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michele Loreti, Aniqa Rehman |
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jip Spel, Svenja Stein, Joost-Pieter Katoen |
POMDP Controllers with Optimal Budget. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Davide Cerotti, Simona Mancini, Marco Gribaudo, Andrea Bobbio |
Analysis of an Electric Vehicle Charging System Along a Highway. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Julien, Guillaume Cantin, Benoît Delahaye |
End-to-End Statistical Model Checking for Parametric ODE Models. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Randone, Luca Bortolussi, Mirco Tribastone |
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Marco Paolieri (eds.) |
Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kaustabha Ray, Ansuman Banerjee |
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Markus Siegle, Amin Soltanieh |
Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -. |
QEST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kaalen, Mattias Nyberg, Olle Mattsson |
Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paul Piho, Jane Hillston |
Active and Sparse Methods in Smoothed Model Checking. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Boudewijn R. Haverkort |
Performance Evaluation: Model-Driven or Problem-Driven? |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Damien Busatto-Gaston, Debraj Chakraborty 0002, Shibashis Guha, Guillermo A. Pérez 0001, Jean-François Raskin |
Safe Learning for Near-Optimal Scheduling. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rebecca Haehn, Erika Ábrahám, Nils Nießen |
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Runan Wang, Giuliano Casale, Antonio Filieri |
Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Rausch, William H. Sanders |
Evaluating the Effectiveness of Metamodeling in Emulating Quantitative Models. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario |
Compositional Safe Approximation of Response Time Distribution of Complex Workflows. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michaela Klauck, Holger Hermanns |
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carla Piazza, Sabina Rossi |
Reasoning About Proportional Lumpability. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | C. Murray Woodside |
Queue Response Times with Server Speed Controlled by Measured Utilizations. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Lumpability for Uncertain Continuous-Time Markov Chains. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Timo P. Gros, Daniel Höller, Jörg Hoffmann 0001, Michaela Klauck, Hendrik Meerkamp, Verena Wolf |
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Kielanski, Benny Van Houdt |
Performance Analysis of Work Stealing Strategies in Large Scale Multi-threaded Computing. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Andrea Marin (eds.) |
Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Teuber, Alexander Weigl |
Quantifying Software Reliability via Model-Counting. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlos E. Budde, Christina Kolb, Mariëlle Stoelinga |
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Scheffler, Steffen Bondorf |
Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf |
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Engel Lefaucheux |
Accurate Approximate Diagnosis of (Controllable) Stochastic Systems. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carina Pilch, Stefan Schupp, Anne Remke |
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Ghit, Asser N. Tantawi |
An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel |
Tweaking the Odds in Probabilistic Timed Automata. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maryam Akbari-Moghaddam, Douglas G. Down |
SEH: Size Estimate Hedging for Single-Server Queues. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, Mauro Iacono, Daniele Manini |
Simulation of N-Dimensional Second-Order Fluid Models with Different Absorbing, Reflecting and Mixed Barriers. |
QEST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mehmet Akif Yazici, Tuan Phung-Duc |
M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Sabina Rossi, Carlo Zen |
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carlos E. Budde, Enno Ruijters, Mariëlle Stoelinga |
The Dynamic Fault Tree Rare Event Simulator. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bahare Salmani, Joost-Pieter Katoen |
Bayesian Inference by Symbolic Model Checking. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale |
Automatic Pre- and Postconditions for Partial Differential Equations. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Denis Repin, Nhat-Huy Phung, Tatjana Petrov |
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Rausch, William H. Sanders |
Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models Through a Stacked Ensemble of Metamodels. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Blume, Peter Buchholz 0001, Clara Scherbaum |
Markovian Arrival Processes in Multi-dimensions. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev |
Entropy Measurement of Concurrent Disorder. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kartik Palani, David M. Nicol |
Hardening Critical Infrastructure Networks Against Attacker Reconnaissance. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos |
Multi-player Equilibria Verification for Concurrent Stochastic Games. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen J. Roberts |
SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, David N. Jansen, Anne Remke (eds.) |
Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Timo P. Gros, Daniel Höller, Jörg Hoffmann 0001, Verena Wolf |
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kizito Salako |
Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Olivia Das, Arindam Das |
CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-Based Systems. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Evgenia Smirni |
Machine Learning for Reliability Analysis of Large Scale Systems. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backenköhler, Luca Bortolussi, Verena Wolf |
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gerrit Großmann, Michael Backenköhler, Verena Wolf |
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mojgan Kamali, Joost-Pieter Katoen |
Probabilistic Model Checking of AODV. |
QEST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
The Logical Path to Autonomous Cyber-Physical Systems. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki 0001, Sean Sedwards |
WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Carla Piazza, Sabina Rossi |
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gerrit Großmann, Luca Bortolussi |
Reducing Spreading Processes on Networks to Markov Population Models. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns |
Doping Tests for Cyber-Physical Systems. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Viraj Brian Wijesuriya, Alessandro Abate |
Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Peter Buchholz 0001, Susanna Donatelli |
Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bacci 0001, Mikkel Hansen, Kim Guldstrand Larsen |
Model Checking Constrained Markov Reward Models with Uncertainties. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Parker 0001, Verena Wolf (eds.) |
Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. |
QEST |
2019 |
DBLP DOI BibTeX RDF |
|