From

Institution

Field

Type

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

Reset

Papers matching “model checking algorithms” 95

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Wei‐Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, +1 more

2

citations
Layered automata: A canonical model for automata over infinite words
2026 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Antonio Casares, Christof Löding, Igor Walukiewicz

0

citations
Layered automata: A canonical model for automata over infinite words
2026 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Antonio Casares, Christof Löding, Igor Walukiewicz

0

citations
Tool-Assisted Conformance Checking to Reference Process Models
2025 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

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

2

citations
Predictive Performance of a Gentamicin Pharmacokinetic Model in Term Neonates with Perinatal Asphyxia Undergoing Controlled Therapeutic Hypothermia
2024 Therapeutic Drug Monitoring article Medicine Pharmaceutical studies and practices Open access

Marlotte A. A. van der Veer, Timo Robert de Haan, Linda G. W. Franken, Floris Groenendaal, Peter H. Dijk, Willem Pieter de Boode, +9 more

1

citations
Approximate Evaluation of First-Order Counting Queries
2021 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Peter Rossmanith

5

citations
DIGIVENT – Digital, individualized support system for the ambulatory check of indication, initiation and control of non-invasive ventilation in COPD patients
2020 Pneumologie conference-paper Medicine Respiratory Support and Mechanisms

CG Cornelissen, Nicolai Spicher, Thomas R. Vollmer, Simon Winter, Christoph Stephan, Tan Saygi, +3 more

0

citations
Universal correlations in the Abelian sandpile model
2026 arXiv (Cornell University) preprint Physics and Astronomy Theoretical and Computational Physics Open access

Qiyu Liu, Jan-Niklas Herre, Prajit Baruah, Sebastian Dreizler, Christoph Karrasch, Wioletta M. Ruszel, +1 more

0

citations
Advanced statistical analysis of empirical performance scaling
2020 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Parallel Computing and Optimization Techniques

Yasha Pushak, Holger H. Hoos

2

citations
PrIC3: Property Directed Reachability for MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

15

citations
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements
2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification

Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe⋆, Constantin Venhoff

18

citations
On the Parameterized Complexity of Learning First-Order Logic
2021 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Steffen van Bergerem, Martin Grohe, Martin Ritzert

0

citations
Weisfeiler-Leman on Graphs of Small Twin-Width
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Irene Heinrich, Moritz Lichter, Klara Pakhomenko, Simon Raßmann

0

citations
Weisfeiler-Leman on Graphs of Small Twin-Width
2026 RWTH Publications (RWTH Aachen) conference-paper Computer Science Advanced Graph Theory Research Open access

Irene Heinrich, Moritz Lichter, Klara Pakhomenko, Simon Raßmann

0

citations
The Influence of Inhomogeneous Input Data from Different Waves on Predictive Model Development for COVID-19 ICU Patients (Preprint)
2021 preprint Computer Science Machine Learning in Healthcare Open access

Sebastian Johannes Fritsch, Konstantin Sharafutdinov, Moein E. Samadi, Gernot Marx, Andreas Schuppert, Johannes Bickenbach

0

citations
Lessons Learned from a Field Study on Deep-Learning-Based Model Predictive Control for Optimizing the Operation of Façade Ventilation Units
2025 Building Simulation Conference proceedings conference-paper Engineering Building Energy and Comfort Optimization Open access

Clara-Larissa Lorenz, Oliver Abele, Jérôme Frisch, Christoph van Treeck

0

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 Engineering Systems Engineering Methodologies and Applications Open access

Simon Dehn, Georg Jacobs, Gregor Höpfner

3

citations
Algorithms for Efficiently Computing Structural Anonymity in Complex Networks
2023 ACM Journal of Experimental Algorithmics article Computer Science Privacy-Preserving Technologies in Data Open access

R. Jong, Mark van der Loo, Frank W. Takes

2

citations
Partially ordered stochastic conformance checking
2024 Knowledge and Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

Sander J. J. Leemans, Tobias Brockhoff, Wil M. P. van der Aalst, Artem Polyvyanyy

5

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

1

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

6

citations
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski

0

citations
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski

0

citations