From

Institution

Field

Type

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

Reset

Papers matching “correctness checking” 59

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
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
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
Multi-SPMD Programming Model with YML and XcalableMP
2020 Springer eBooks book-chapter Computer Science Parallel Computing and Optimization Techniques Open access

Miwako Tsuji, Hitoshi Murai, Taisuke Boku, Mitsuhisa Sato, Serge G. Petiton, Nahid Emad, +4 more

0

citations
Verifying MPI API Usage Requirements with Contracts
2025 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

Yussur Mustafa Oraji, Simon Schwitanski, Alexander Hück, Joachim Jenke, Sebastian Kreutzer, Christian H Bischof

2

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

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
moves-rwth/storm: v1.12
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Christian Hensel, Tim Quatmann, Matthias Volk, Sebastian Junges, J. Berger, jipspel, +22 more

0

citations
A Systematic Review of Formal Verification Models for Safety of Autonomous AI Agents: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Formal Methods in Verification Open access

A. G. Lewis, B. Horváth, R. Costa

0

citations