Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Scenario Approach for Parametric Markov Models.
ATVA (1) 2023: 158-180
DOIOpen AccessResearch Data

Arnd Hartmanns, Bram Kohlen, Peter Lammich:
Fast Verified SCCs for Probabilistic Model Checking.
ATVA (1) 2023: 181-202
DOIOpen AccessResearch Data

Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini:
Modular Mix-and-Match Complementation of Büchi Automata.
TACAS (1) 2023: 249-270
DOIOpen AccessResearch Data

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger:
A Practitioner's Guide to MDP Model Checking Algorithms.
TACAS (1) 2023: 469-488
DOIOpen AccessResearch Data

Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.
TACAS (2) 2023: 410-429
DOIOpen Access

Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
On the Power of Finite Ambiguity in Büchi Complementation.
Inf. Comput. 292: 105032 (2023)
DOIOpen Access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler:
Stochastic games with lexicographic objectives.
Formal Methods Syst. Des. (2023)

Yu-Fang Chen, Vojtěch Havlena, Ondřej Lengál, Andrea Turrini:
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions.
J. Syst. Softw. 201: 111673 (2023)
DOIOpen Access

Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
PFL: A Probabilistic Logic for Fault Trees.
FM 2023: 199-221
DOIOpen Access

Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen:
Exact Probabilistic Inference Using Generating Functions.
LAFI 2023
URLOpen Access


Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga:
Analysis of non-Markovian repairable fault trees through rare event simulation.
Int. J. Softw. Tools Technol. Transf. 24(5): 821-841 (2022)
DOIOpen AccessResearch Data

Arnd Hartmanns, Michaela Klauck:
The Modest State of Learning, Sampling, and Verifying Strategies.
ISoLA (3) 2022: 406-432
DOIOpen AccessResearch Data

Gregory Stock, Juan A. Fraire, Holger Hermanns:
Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study.
ASMS/SPSC 2022: 1-8
DOIOpen Access

Juan A. Fraire, Oana Iova, Fabrice Valois:
Space-Terrestrial Integrated IoT: Challenges and Opportunities.
IEEE Commun. Mag. 60(12): 64-70 (2022)
DOIOpen Access

Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta:
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks.
QEST 2022: 337-355
DOIOpen AccessResearch Data

Juan A. Fraire, Pablo Madoery, Mehdi Ait Mesbah, Oana Iova, Fabrice Valois:
Simulating LoRa-Based Direct-to-Satellite IoT Networks with FLoRaSat.
WoWMoM 2022: 464-470
DOIOpen Access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler:
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions.
CAV 2022:79-101
DOIOpen Access

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition.
CAV (2) 2022: 152-173
DOIOpen AccessResearch Data

Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele:
Playing Against Fair Adversaries in Stochastic Games with Total Rewards.
CAV (2) 2022: 48-69
DOIOpen Access

Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates.
CAV (2) 2022: 26-47
DOIOpen AccessResearch Data

Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga:
BFL: a Logic to Reason about Fault Trees.
DSN 2022: 441-452
DOIOpen Access

Guido Álvarez, Juan A. Fraire, Khaled Abdelfadeel Hassan, Sandra Céspedes, Dirk Pesch:
Uplink Transmission Policies for LoRa-Based Direct-to-Satellite IoT.
IEEE Access 10: 72687-72701 (2022)
DOIOpen Access

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Marielle Stoelinga:
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.
NFM 2022:713-732
DOIOpen AccessResearch Data

Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio:
MaskD: A Tool for Measuring Masking Fault-Tolerance.
TACAS (1) 2022: 396-403
DOIOpen AccessResearch Data

Arnd Hartmanns:
Correct Probabilistic Model Checking with Floating-Point Arithmetic.
TACAS (2) 2022: 41-59
DOIOpen AccessResearch Data

Sebastian Biewer, Holger Hermanns:
On the Detection of Doped Software by Falsification.
FASE 2022: 71-91
DOIOpen Access

Arnd Hartmanns:
An Overview of Modest Models and Tools for Real Stochastic Timed Systems.
DOIOpen Access


Raydel Ortigueira, Juan A. Fraire, Alex Becerra, Tomás Ferrer, Sandra Céspedes:
RESS-IoT: A scalable energy-efficient MAC protocol for direct-to-satellite IoT.
IEEE Access 9: 164440-164453 (2021)
DOIOpen Access