From

Institution

Field

Type

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

Reset

Papers matching “correctness checking” 149

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Towards Correctness Checking of MPI Partitioned Communication in MUST
2023 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Simon Schwitanski, Niko Sakic, Joachim Jenke, Felix Tomski, Marc-André Hermanns

0

citations
Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST
2024 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Cornelius Pätzold, Simon Schwitanski, Joachim Jenke, Felix Tomski, Matthias Mueller

1

citations
Compiler-Aided Correctness Checking of CUDA-Aware MPI Applications
2024 conference-paper Computer Science Parallel Computing and Optimization Techniques

Alexander Hück, Tim Ziegler, Simon Schwitanski, Joachim Jenke, Christian H Bischof

1

citations
Towards compiler-aided correctness checking of adjoint MPI applications
2020 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Alexander Hück, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H Bischof, Matthias Müller

5

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
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
On Correctness, Precision, and Performance in Quantitative Verification
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more

39

citations
A Practitioner’s Guide to MDP Model Checking Algorithms
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

35

citations
A Practitioner's Guide to MDP Model Checking Algorithms
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

2

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

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
Model Checking the Multi-Formalism Language FIGARO
2021 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Formal Methods in Verification

Shahid Ali Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou

7

citations
Certifying Constraints in Hardware Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko

0

citations
Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs
2025 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Muhammad Osama, Dimitrios Thanos, Alfons Laarman

0

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
Investigating the Real-World Applicability of MPI Correctness Benchmarks
2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Alexander Hück, Tim Jammer, Joachim Jenke, Christian H Bischof

3

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
Federated Conformance Checking
2025 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

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

1

citations
Visualising Data Models of Patient Registries and Clinical Studies – A Method for Quality Check of EDC Systems
2024 Studies in health technology and informatics book-chapter Health Professions Electronic Health Records Systems Open access

Beatrice Coldewey, Philipp Honrath, Stefan Wolking, Anna Niemeyer, Rainer Röhrig, Yvonne G. Weber, +1 more

1

citations
Correct neonatal free thyroxine reference intervals are crucial to detect central congenital hypothyroidism
2026 European Journal of Endocrinology article Medicine Thyroid Disorders and Treatments Open access

Mark R. Garrelfs, Peter Lauffer, Jacquelien J Hillebrand, Annemieke C. Heijboer, Anita Boelen, A S Paul van Trotsenburg, +1 more

0

citations
A Flow Graph based Approach for controlled Generation of AAS Digital Twin Instances for the Verification of Compliance Check Tools
2022 Proceedings of the Annual Conference of the IEEE Industrial Electronics Society conference-paper Engineering Digital Transformation in Industry

Björn Otto, Tobias Kleinert

8

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
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
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