From

Institution

Field

Type

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

Reset

Papers matching “verification tools” 148

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

ESTRO technical guideline: intensity modulated radiotherapy and image guided radiotherapy for rectal cancer
2026 Radiotherapy and Oncology article Physics and Astronomy Advanced Radiotherapy Techniques Open access

Rianne de Jong, Robin De Roover, Lynsey Devlin, Cihan Gani, Giovanna Mantello, Daniel Portik, +1 more

1

citations
Simulative Performance Analysis of an AD Function with Road Network Variation
2023 arXiv (Cornell University) preprint Engineering Autonomous Vehicle Technology and Safety Open access

Daniel Becker, Guido Küppers, Lutz Eckstein

0

citations
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
Research software from the integrated Formal Methods (iFM) conference 2023
2025 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Paula Herber, Muhammad Osama, Anton Wijs

0

citations
Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Mats Eblenkamp

0

citations
Multi-Agent Software Development for Automotive Model-Based Graphical Programming
2026 IEEE Access article Engineering Safety Systems Engineering in Autonomy Open access

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

0

citations
Virtual Platform Acceleration through Userspace Host Execution
2022 IEEE International System-on-Chip Conference (SOCC) conference-paper Computer Science Embedded Systems Design Techniques

Lukas Jünger, Antonios Salios, Peter Blocher, Rainer Leupers

0

citations
Generation of Complex Road Networks Using a Simplified Logical Description for the Validation of Automated Vehicles
2020 IEEE International Conference on Intelligent Transportation Systems (ITSC) conference-paper Engineering Autonomous Vehicle Technology and Safety Open access cited by 1 patent

Daniel Becker, Fabian Russ, Christian Geller, Lutz Eckstein

8

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
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
Hardware Model Checking Certification with Certifaiger and Cerbtora
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Nils Froleyks, Emily Yu

0

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
Stochastic Games with Disjunctions of Multiple Objectives
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Tobias Winkler, Maximilian Weininger

2

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
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Tobias Winkler, Maximilian Weininger

1

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
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
Mehrskalige Modellierung des Schädigungs- und Bruchverhaltens nanostrukturierter Schichten
2020 RWTH Publications (RWTH Aachen) dissertation Engineering Metal and Thin Film Mechanics Open access

Shahed Rezaei

0

citations
Improving Patient Access to Hospital Pharmacists Using eConsults: Retrospective Descriptive Study
2022 JMIR Formative Research article Pharmacology, Toxicology and Pharmaceutics Pharmacy and Medical Practices Open access

Vera Weinberg, Eva van Haren, Kim B. Gombert‐Handoko

5

citations
“Study of near-borehole thermo-hydro-mechanical processes”
2026 RWTH Publications (RWTH Aachen) book Engineering Hydraulic Fracturing and Reservoir Analysis Open access

Wen Luo

0

citations
AI Reasoning
2025 Underline Science Inc. other Computer Science Logic, Reasoning, and Knowledge Open access

Subbarao Kambhampati B

0

citations
Inclusive practices for safe and equitable donor assessment
2025 Blood conference-abstract Medicine Hematopoietic Stem Cell Transplantation Open access

Warren Benjamin Fingrut, Eefke van Eerden, Terrie Foster, Caitlin Sarubbi, Felipe Acuña, Isabel Auer, +11 more

0

citations
Toward a global reference database of COI barcodes for marine zooplankton
2021 Marine Biology article Environmental Science Environmental DNA in Biodiversity Studies Open access

Ann Bucklin, Katja T. C. A. Peijnenburg, Ksenia Kosobokova, Todd O’Brien, Leocadio Blanco‐Bercial, Astrid Cornils, +11 more

145

citations
The Dutch Institute for Clinical Auditing
2020 Annals of Surgery article Health Professions Healthcare Quality and Management Open access

Naomi Beck, Annelotte CM van Bommel, Eric Hans Eddes, Nicoline J. van Leersum, Rob A.�E.�M. Tollenaar, Michel W.J.M. Wouters

96

citations