From

Institution

Field

Type

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

Reset

Papers matching “model checking” 413

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
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Radboud Repository (Radboud University) dataset 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 Open access

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

0

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Quantum Computing Algorithms and Architecture Open access

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
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 Natural Language Processing Techniques 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
Model-Independent Error Bound Estimation for Conformance Checking Approximation
2024 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

Mohammadreza Fani Sani, Martin Kabierski, Sebastiaan J. van Zelst, Wil M. P. van der Aalst

3

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
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 Security and Verification in Computing

Thomas Osterland, Thomas Rose

47

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 Distributed systems and fault tolerance

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
Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size
2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

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

1

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
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
Accelerated bounded model checking with LoAT
2026 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

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
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 University of Twente Research Information dataset Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

0

citations