From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “model checking” 252

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking
2021 conference-paper Computer Science Formal Methods in Verification

Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee

3

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

9

citations
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Muhammad Osama, Anton Wijs

4

citations
Correction to: Efficient Probabilistic Model Checking for Relational Reachability
2025 Lecture notes in computer science erratum Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Infinite State Model Checking by Learning Transitive Relations
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

1

citations
The revised practitioner’s guide to MDP model checking algorithms
2026 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
What is the best algorithm for MDP model checking?
2025 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Tim Quatmann

2

citations
Bayesian Inference by Symbolic Model Checking
2020 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

Bahare Salmani, Joost-Pieter Katoen

10

citations
Riding the Storm in a Probabilistic Model Checking Landscape
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk

2

citations
Equivalence Checking of Quantum Circuits by Model Counting
2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jingyi Mei, Tim Coopmans, Marcello Bonsangue, Alfons Laarman

15

citations
Efficient Probabilistic Model Checking for Relational Reachability
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

3

citations
Model checking smart contracts for Ethereum
2020 Pervasive and Mobile Computing article Computer Science Blockchain Technology Applications and Security

Thomas Osterland, Thomas Rose

47

citations
Symbolic Model Checking with Sentential Decision Diagrams
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Lieuwe Vinkhuijzen, Alfons Laarman

5

citations
Model checking hyperproperties for Markov decision processes
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

5

citations
Probabilistic Model Checking of AODV
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Mojgan Kamali, Joost-Pieter Katoen

5

citations
HyperPCTL Model Checking by Probabilistic Decomposition
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour

2

citations
Bridging the Dependability and Model Checking worlds
2022 HAL (Le Centre pour la Communication Scientifique Directe) conference-paper Computer Science Formal Methods in Verification Open access

Marc Bouissou, Shahid Ali Khan

1

citations
Towards End-to-End GPU Acceleration of PCTL Model Checking
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Jan Heemstra, Muhammad Osama, Anton Wijs

1

citations
Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Robin Mroß, Marcus Völker, Stefan Kowalewski, Aron Schnakenbeck, Alexander Fay

1

citations
Comparison between static analysis and model checking in the design of automation systems
2026 Control Engineering Practice article Computer Science Formal Methods in Verification Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
Efficient Probabilistic Model Checking for Relational Reachability
2025 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Correction to: Efficient Probabilistic Model Checking for Relational Reachability
2025 RWTH Publications (RWTH Aachen) erratum Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations