From

Institution

Field

Type

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

Reset

Papers matching “model checking” 58

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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

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
First-Order Model-Checking in Random Graphs and Complex Networks
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Model Checking Generated Control Code for Consistency with its Specification in IEC 60848 GRAFCET
2024 IFAC-PapersOnLine article Computer Science Formal Methods in Verification Open access

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

2

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
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

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
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
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
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
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
Towards a Semantically Useful Definition of Conformance with a Reference Model.
2024 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Marco Konersmann, Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber, Valdes Voufo

5

citations
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
2022 IEEE Access article Computer Science Model-Driven Software Engineering Techniques Open access

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

12

citations
Modeling the composition of analysis components and automatic constraint checking for semantic soundness
2025 Journal of Systems and Software article Computer Science Model-Driven Software Engineering Techniques Open access

Bahareh Taghavi, Sebastian Weber, Bernhard Rumpe⋆, Sebastian Stüber, Jörg Henß, Thomas R. Weber, +1 more

3

citations
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
2025 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu

3

citations
The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

246

citations
Layered Automata: A Canonical Model for Automata over Infinite Words
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

Antonio Casares, Christof Löding, Igor Walukiewicz

0

citations
LARA: Learned Adaptive Recombined Alignments, a Certifying Foundation Model for Petri Net Trace Alignment
2026 RWTH Publications (RWTH Aachen) article Computer Science Petri Nets in System Modeling Open access

Alessandro Berti, Wil M. P. van der Aalst

0

citations
Model-Driven Engineering of Process-Aware Information Systems
2022 SN Computer Science article Computer Science Model-Driven Software Engineering Techniques Open access

Imke Drave, Judith Michael, Bernhard Rumpe⋆, Simon Varga

17

citations
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern
2023 at - Automatisierungstechnik article Computer Science Model-Driven Software Engineering Techniques

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

2

citations
Automatically Finding the Right Probabilities in Bayesian Networks
2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

Bahare Salmani, Joost-Pieter Katoen

8

citations
Provenance Analysis for Logic and Games
2020 RWTH Publications (RWTH Aachen) article Computer Science Logic, Reasoning, and Knowledge

Erich Grädel, Val Tannen

13

citations
Provenance analysis for logic and games
2020 Moscow Journal of Combinatorics and Number Theory article Computer Science Logic, Reasoning, and Knowledge Open access

7

citations