researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[+]
OR
AND
NOT
1
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Java
Markov
Meta-Environment
UML
abstraction
analysis
composition
design
logic
meta-model
meta-objects
model checking
modeling
optimization
process modeling
rule-based
semantics
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Alessandro Abate
Andrea Marin
András Horváth
Benny Van Houdt
Boudewijn R. Haverkort
David Parker
Elvio Gilberto Amparore
Enrico Vicario
Ezio Bartocci
Giuliano Casale
Holger Hermanns
Jane Hillston
Joost-Pieter Katoen
Kim Guldstrand Larsen
Luca Bortolussi
Mirco Tribastone
Peter Buchholz
Sabina Rossi
Susanna Donatelli
William H. Sanders
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
automata
chains
checking
evaluation
markov
model
modeling
models
networks
performance
probabilistic
processes
quantitative
state
stochastic
systems
time
tool
verification
QEST (qest)
Editions
Publications
Viewing Publication 1 - 100 from 648
2023
Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Nils Jansen 0001
,
Mirco Tribastone
, editors,
Volume 14287 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Multi-agent Verification and Control with Probabilistic Model Checking
David Parker 0001
.
qest 2023
:
1-9
[doi]
Causal Reversibility Implies Time Reversibility
Marco Bernardo 0001
,
Ivan Lanese
,
Andrea Marin
,
Claudio Antares Mezzina
,
Sabina Rossi
,
Claudio Sacerdoti Coen
.
qest 2023
:
270-287
[doi]
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains
Giovanni Bacci 0001
,
Anna Ingólfsdóttir
,
Kim G. Larsen
,
Raphaël Reynouard
.
qest 2023
:
82-100
[doi]
Deductive Controller Synthesis for Probabilistic Hyperproperties
Roman Andriushchenko
,
Ezio Bartocci
,
Milan Ceska 0002
,
Francesco Pontiggia
,
Sarah Sallinger
.
qest 2023
:
288-306
[doi]
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints
Benoît Barbot
,
Nicolas Basset
.
qest 2023
:
188-204
[doi]
Matching Distributions Under Structural Constraints
Aaron Bies
,
Holger Hermanns
,
Maximilian A. Köhl
,
Andreas Schmidt 0003
.
qest 2023
:
221-237
[doi]
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders
Luca Bortolussi
,
Francesca Cairoli
,
Julia Klein
,
Tatjana Petrov
.
qest 2023
:
143-147
[doi]
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models
Luca Bortolussi
,
Francesca Cairoli
,
Francesco Giacomarra
,
Davide Scassola
.
qest 2023
:
307-310
[doi]
On the Trade-Off Between Efficiency and Precision of Neural Abstraction
Alec Edwards
,
Mirco Giacobbe
,
Alessandro Abate
.
qest 2023
:
152-171
[doi]
Analysis of an Epoch Commit Protocol for Distributed Processing Systems
Paul D. Ezhilchelvan
,
Isi Mitrani
,
Jim Webber
.
qest 2023
:
255-269
[doi]
Introducing Asynchronicity to Probabilistic Hyperproperties
Lina Gerlach
,
Oyendrila Dobe
,
Erika Ábrahám
,
Ezio Bartocci
,
Borzoo Bonakdarpour
.
qest 2023
:
47-64
[doi]
Equilibrium Analysis of Markov Regenerative Processes
András Horváth
,
Marco Paolieri
,
Enrico Vicario
.
qest 2023
:
172-187
[doi]
On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy
Benny Van Houdt
.
qest 2023
:
127-142
[doi]
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker
Joshua Jeppson
,
Matthias Volk 0001
,
Bryant Israelsen
,
Riley Roberts
,
Andrew Williams
,
Lukas Buecherl
,
Chris J. Myers
,
Hao Zheng 0001
,
Chris Winstead
,
Zhen Zhang 0006
.
qest 2023
:
101-109
[doi]
Probabilistic Counterexample Guidance for Safer Reinforcement Learning
Xiaotong Ji
,
Antonio Filieri
.
qest 2023
:
311-328
[doi]
Modeling Uncertain Biomass Composition in Genome-Scale Metabolic Models with Flexible Nets
Teresa Joven
,
Jorge Lázaro
,
Jorge Júlvez
.
qest 2023
:
148-151
[doi]
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems
Youngmin Kwon
,
Eunhee Kim
,
Gul Agha
.
qest 2023
:
65-81
[doi]
Verification of Quantum Systems Using Barrier Certificates
Marco Lewis
,
Paolo Zuliani
,
Sadegh Soudjani
.
qest 2023
:
346-362
[doi]
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions
Diletta Olliaro
,
Gianfranco Balbo
,
Andrea Marin
,
Matteo Sereno
.
qest 2023
:
110-126
[doi]
Jajapy: A Learning Library for Stochastic Models
Raphaël Reynouard
,
Anna Ingólfsdóttir
,
Giovanni Bacci 0001
.
qest 2023
:
30-46
[doi]
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Luke Rickard
,
Thom S. Badings
,
Licio Romao
,
Alessandro Abate
.
qest 2023
:
10-29
[doi]
Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows
Seyed Mohammadhossein Tabatabaee
,
Anne Bouillard
,
Jean-Yves Le Boudec
.
qest 2023
:
205-220
[doi]
Symbolic Semantics for Probabilistic Programs
Erik Voogd
,
Einar Broch Johnsen
,
Alexandra Silva 0001
,
Zachary J. Susag
,
Andrzej Wasowski
.
qest 2023
:
329-345
[doi]
Comparing Two Approaches to Include Stochasticity in Hybrid Automata
Lisa Willemsen
,
Anne Remke
,
Erika Ábrahám
.
qest 2023
:
238-254
[doi]
2022
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows
Laura Carnevali
,
Riccardo Reali
,
Enrico Vicario
.
qest 2022
:
255-272
[doi]
LN: A Meta-solver for Layered Queueing Network Analysis
Giuliano Casale
,
Yicheng Gao
,
Zifeng Niu
,
Lulai Zhu
.
qest 2022
:
232-254
[doi]
Analysis of an Electric Vehicle Charging System Along a Highway
Davide Cerotti
,
Simona Mancini
,
Marco Gribaudo
,
Andrea Bobbio
.
qest 2022
:
298-316
[doi]
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks
Pedro R. D'Argenio
,
Juan A. Fraire
,
Arnd Hartmanns
,
Fernando D. Raverta
.
qest 2022
:
337-355
[doi]
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
Spandan Das
,
Pavithra Prabhakar
.
qest 2022
:
192-213
[doi]
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
Mohammadhosein Hasanbeig
,
Daniel Kroening
,
Alessandro Abate
.
qest 2022
:
217-231
[doi]
Monte Carlo Tree Search for Priced Timed Automata
Peter Gjøl Jensen
,
Andrej Kiviriga
,
Kim Guldstrand Larsen
,
Ulrik Nyman
,
Adriana Mijacika
,
Jeppe Høiriis Mortensen
.
qest 2022
:
381-398
[doi]
End-to-End Statistical Model Checking for Parametric ODE Models
David Julien
,
Guillaume Cantin
,
Benoît Delahaye
.
qest 2022
:
85-106
[doi]
Distribution Estimation for Probabilistic Loops
Ahmad Karimi
,
Marcel Moosbrugger
,
Miroslav Stankovic
,
Laura Kovács
,
Ezio Bartocci
,
Efstathia Bura
.
qest 2022
:
26-42
[doi]
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments
Andrey Kofnov
,
Marcel Moosbrugger
,
Miroslav Stankovic
,
Ezio Bartocci
,
Efstathia Bura
.
qest 2022
:
3-25
[doi]
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
Michele Loreti
,
Aniqa Rehman
.
qest 2022
:
133-149
[doi]
Mirrors and Memory in Quantum Automata
Carla Piazza
,
Riccardo Romanello
.
qest 2022
:
359-380
[doi]
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling
Francesca Randone
,
Luca Bortolussi
,
Mirco Tribastone
.
qest 2022
:
150-170
[doi]
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking
Kaustabha Ray
,
Ansuman Banerjee
.
qest 2022
:
275-297
[doi]
An Automated Quantitative Information Flow Analysis for Concurrent Programs
Khayyam Salehi
,
Ali A. Noroozi
,
Sepehr Amir-Mohammadian
,
MohammadSadegh Mohagheghi
.
qest 2022
:
43-63
[doi]
Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -
Markus Siegle
,
Amin Soltanieh
.
qest 2022
:
67-84
[doi]
Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis
Daria Smuseva
,
Ivan Malakhov
,
Andrea Marin
,
Aad van Moorsel
,
Sabina Rossi
.
qest 2022
:
317-336
[doi]
POMDP Controllers with Optimal Budget
Jip Spel
,
Svenja Stein
,
Joost-Pieter Katoen
.
qest 2022
:
107-130
[doi]
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations
Giuseppe Squillace
,
Mirco Tribastone
,
Max Tschaikowski
,
Andrea Vandin
.
qest 2022
:
173-191
[doi]
Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
Erika Ábrahám
,
Marco Paolieri
, editors,
Volume 13479 of
Lecture Notes in Computer Science
, Springer,
2022.
[doi]
2021
Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings
Alessandro Abate
,
Andrea Marin
, editors,
Volume 12846 of
Lecture Notes in Computer Science
, Springer,
2021.
[doi]
SEH: Size Estimate Hedging for Single-Server Queues
Maryam Akbari-Moghaddam
,
Douglas G. Down
.
qest 2021
:
168-185
[doi]
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
Michael Backenköhler
,
Luca Bortolussi
,
Gerrit Großmann
,
Verena Wolf
.
qest 2021
:
351-371
[doi]
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies
Carlos E. Budde
,
Christina Kolb
,
Mariëlle Stoelinga
.
qest 2021
:
457-467
[doi]
Safe Learning for Near-Optimal Scheduling
Damien Busatto-Gaston
,
Debraj Chakraborty 0002
,
Shibashis Guha
,
Guillermo A. Pérez 0001
,
Jean-François Raskin
.
qest 2021
:
235-254
[doi]
Lumpability for Uncertain Continuous-Time Markov Chains
Luca Cardelli
,
Radu Grosu
,
Kim G. Larsen
,
Mirco Tribastone
,
Max Tschaikowski
,
Andrea Vandin
.
qest 2021
:
391-409
[doi]
Compositional Safe Approximation of Response Time Distribution of Complex Workflows
Laura Carnevali
,
Marco Paolieri
,
Riccardo Reali
,
Enrico Vicario
.
qest 2021
:
83-104
[doi]
An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets
Bogdan Ghit
,
Asser N. Tantawi
.
qest 2021
:
186-194
[doi]
Simulation of N-Dimensional Second-Order Fluid Models with Different Absorbing, Reflecting and Mixed Barriers
Marco Gribaudo
,
Mauro Iacono
,
Daniele Manini
.
qest 2021
:
276-292
[doi]
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning
Timo P. Gros
,
Daniel Höller
,
Jörg Hoffmann 0001
,
Michaela Klauck
,
Hendrik Meerkamp
,
Verena Wolf
.
qest 2021
:
197-216
[doi]
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies
Rebecca Haehn
,
Erika Ábrahám
,
Nils Nießen
.
qest 2021
:
257-275
[doi]
Tweaking the Odds in Probabilistic Timed Automata
Arnd Hartmanns
,
Joost-Pieter Katoen
,
Bram Kohlen
,
Jip Spel
.
qest 2021
:
39-58
[doi]
Performance Evaluation: Model-Driven or Problem-Driven?
Boudewijn R. Haverkort
.
qest 2021
:
3-11
[doi]
Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow
Stefan Kaalen
,
Mattias Nyberg
,
Olle Mattsson
.
qest 2021
:
105-126
[doi]
Performance Analysis of Work Stealing Strategies in Large Scale Multi-threaded Computing
Grzegorz Kielanski
,
Benny Van Houdt
.
qest 2021
:
329-348
[doi]
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking
Michaela Klauck
,
Holger Hermanns
.
qest 2021
:
15-38
[doi]
Accurate Approximate Diagnosis of (Controllable) Stochastic Systems
Engel Lefaucheux
.
qest 2021
:
413-434
[doi]
Reasoning About Proportional Lumpability
Carla Piazza
,
Sabina Rossi
.
qest 2021
:
372-390
[doi]
Active and Sparse Methods in Smoothed Model Checking
Paul Piho
,
Jane Hillston
.
qest 2021
:
217-234
[doi]
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
Carina Pilch
,
Stefan Schupp
,
Anne Remke
.
qest 2021
:
435-456
[doi]
Evaluating the Effectiveness of Metamodeling in Emulating Quantitative Models
Michael J. Rausch
,
William H. Sanders
.
qest 2021
:
127-145
[doi]
Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems
Alexander Scheffler
,
Steffen Bondorf
.
qest 2021
:
149-167
[doi]
Quantifying Software Reliability via Model-Counting
Samuel Teuber
,
Alexander Weigl
.
qest 2021
:
59-79
[doi]
Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes
Runan Wang
,
Giuliano Casale
,
Antonio Filieri
.
qest 2021
:
310-328
[doi]
Queue Response Times with Server Speed Controlled by Measured Utilizations
Murray Woodside
.
qest 2021
:
295-309
[doi]
2020
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
Marco Bernardo 0001
.
qest 2020
:
35-53
[doi]
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
Michael Backenköhler
,
Luca Bortolussi
,
Verena Wolf
.
qest 2020
:
155-174
[doi]
Markovian Arrival Processes in Multi-dimensions
Andreas Blume
,
Peter Buchholz 0001
,
Clara Scherbaum
.
qest 2020
:
175-192
[doi]
Automatic Pre- and Postconditions for Partial Differential Equations
Michele Boreale
.
qest 2020
:
193-210
[doi]
The Dynamic Fault Tree Rare Event Simulator
Carlos E. Budde
,
Enno Ruijters
,
Mariëlle Stoelinga
.
qest 2020
:
233-238
[doi]
Entropy Measurement of Concurrent Disorder
Victor Cook
,
Christina L. Peterson
,
Zachary Painter
,
Damian Dechev
.
qest 2020
:
239-257
[doi]
CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-Based Systems
Olivia Das
,
Arindam Das
.
qest 2020
:
137-143
[doi]
Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings
Marco Gribaudo
,
David N. Jansen
,
Anne Remke
, editors,
Volume 12289 of
Lecture Notes in Computer Science
, Springer,
2020.
[doi]
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
Timo P. Gros
,
Daniel Höller
,
Jörg Hoffmann 0001
,
Verena Wolf
.
qest 2020
:
11-17
[doi]
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
Gerrit Großmann
,
Michael Backenköhler
,
Verena Wolf
.
qest 2020
:
211-229
[doi]
Probabilistic Model Checking of AODV
Mojgan Kamali
,
Joost-Pieter Katoen
.
qest 2020
:
54-73
[doi]
Multi-player Equilibria Verification for Concurrent Stochastic Games
Marta Kwiatkowska
,
Gethin Norman
,
David Parker 0001
,
Gabriel Santos
.
qest 2020
:
74-95
[doi]
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues
Andrea Marin
,
Sabina Rossi
,
Carlo Zen
.
qest 2020
:
144-147
[doi]
Hardening Critical Infrastructure Networks Against Attacker Reconnaissance
Kartik Palani
,
David M. Nicol
.
qest 2020
:
258-275
[doi]
SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis
Kyriakos Polymenakos
,
Nikitas Rontsis
,
Alessandro Abate
,
Stephen J. Roberts
.
qest 2020
:
18-26
[doi]
Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models Through a Stacked Ensemble of Metamodels
Michael J. Rausch
,
William H. Sanders
.
qest 2020
:
276-293
[doi]
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks
Denis Repin
,
Nhat-Huy Phung
,
Tatjana Petrov
.
qest 2020
:
27-32
[doi]
Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers
Kizito Salako
.
qest 2020
:
96-114
[doi]
Bayesian Inference by Symbolic Model Checking
Bahare Salmani
,
Joost-Pieter Katoen
.
qest 2020
:
115-133
[doi]
Machine Learning for Reliability Analysis of Large Scale Systems
Evgenia Smirni
.
qest 2020
:
3-7
[doi]
M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis
Mehmet Akif Yazici
,
Tuan Phung-Duc
.
qest 2020
:
148-152
[doi]
2019
Model Checking Constrained Markov Reward Models with Uncertainties
Giovanni Bacci 0001
,
Mikkel Hansen
,
Kim Guldstrand Larsen
.
qest 2019
:
37-51
[doi]
Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets
Elvio Gilberto Amparore
,
Peter Buchholz 0001
,
Susanna Donatelli
.
qest 2019
:
355-360
[doi]
Doping Tests for Cyber-Physical Systems
Sebastian Biewer
,
Pedro D'Argenio
,
Holger Hermanns
.
qest 2019
:
313-331
[doi]
Bayesian Abstraction of Markov Population Models
Luca Bortolussi
,
Francesca Cairoli
.
qest 2019
:
259-276
[doi]
Reducing Spreading Processes on Networks to Markov Population Models
Gerrit Großmann
,
Luca Bortolussi
.
qest 2019
:
292-309
[doi]
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
Jannik Hüls
,
Carina Pilch
,
Patricia Schinke
,
Joanna Delicaris
,
Anne Remke
.
qest 2019
:
182-199
[doi]
Finite Approximation of LMPs for Exact Verification of Reachability Properties
Gildas Kouko
,
Josée Desharnais
,
François Laviolette
.
qest 2019
:
70-87
[doi]
Automated Game-Theoretic Verification of Security Systems
Chunyan Mu
.
qest 2019
:
239-256
[doi]
The Logical Path to Autonomous Cyber-Physical Systems
André Platzer
.
qest 2019
:
25-33
[doi]
Sign in
or
sign up
to see more results.