From

Institution

Field

Type

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

Reset

Papers matching “model checking” 126

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 Petri Nets in System Modeling 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 Engineering Flexible and Reconfigurable Manufacturing Systems 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 Quantum Computing Algorithms and Architecture 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 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
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
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
Towards a Semantically Useful Definition of Conformance with a Reference Model.
2024 The Journal of Object Technology article Computer Science Semantic Web and Ontologies Open access

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

4

citations
Comparing Conformance Checking for Decision Mining: An Axiomatic Approach
2024 IEEE Access article Decision Sciences Data Quality and Management Open access

Adam Banham, Arthur H. M. ter Hofstede, Sander J. J. Leemans, Felix Mannhardt, Robert Andrews, Moe Thandar Wynn

4

citations
Multi-Agent Software Development for Automotive Model-Based Graphical Programming
2026 IEEE Access article Computer Science Modeling and Simulation Systems Open access

Abdelrahman Said Abdalla, Vincent Thie, Joschka Schaub, Markus Eisenbarth, Sung-Yong Lee, Jakob Andert

0

citations
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
2022 IEEE Access article Engineering Flexible and Reconfigurable Manufacturing Systems 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

2

citations
Conformance Checking Approximation Using Subset Selection and Edit Distance
2020 PubMed Central article Business, Management and Accounting Business Process Modeling and Analysis Open access cited by 1 patent

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

28

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

245

citations
Layered Automata: A Canonical Model for Automata over Infinite Words
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

Antonio Casares, Christof Löding, Igor Walukiewicz

0

citations
A Direct QUBO Formulation for Alignment-Based Conformance Checking: A Preliminary Quantum Annealing Study
2026 RWTH Publications (RWTH Aachen) article Computer Science Quantum Computing Algorithms and Architecture Open access

Joep Geuskens, Alessandro Berti, Wil M. P. van der Aalst

0

citations
LARA: Learned Adaptive Recombined Alignments, a Certifying Foundation Model for Petri Net Trace Alignment
2026 RWTH Publications (RWTH Aachen) article Business, Management and Accounting Business Process Modeling and Analysis Open access

Alessandro Berti, Wil M. P. van der Aalst

0

citations
Federated conformance checking
2025 Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

Majid Rafiei, Mahsa Pourbafrani, Wil M. P. van der Aalst

8

citations
Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
2025 Forschung im Ingenieurwesen article Computer Science Model-Driven Software Engineering Techniques Open access

Simon Dehn, Georg Jacobs, Gregor Höpfner

3

citations