From

Institution

Field

Type

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

Reset

Papers matching “verification tools” 62

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Recent developments in theory and tool support for hybrid systems verification with HyPro
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Erika Ábrahám, Tristan Ebert

6

citations
Genetic algorithm as a tool for detection setup optimisation for prompt-gamma imaging in proton therapy: SiFi Compton camera case study
2025 Physics in Medicine and Biology article Medicine Radiation Therapy and Dosimetry Open access

Jonas Kasper, Awal Awal, Ronja Hetzel, Magdalena Kołodziej, Katarzyna Rusiecka, A. Stahl, +2 more

1

citations
First three years of the international verification of neural networks competition (VNN-COMP)
2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent

Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor Thomas Johnson, Changliu Liu

66

citations
MBFair: a model-based verification methodology for detecting violations of individual fairness
2024 Software & Systems Modeling article Social Sciences Ethics and Social Impacts of AI Open access

Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab

1

citations
Toward the Application of Multiaxial Failure Criteria: Mean Stress Sensitivity of Carbide‐Rich, High‐Alloy PM‐HIP Tool Steels Under Axial and Torsional Cyclic Loading
2026 steel research international article Engineering Fatigue and fracture mechanics Open access

Lennart Mirko Scholl, Frederik Tegeder, Tobias Hajeck, Alexander Bezold, Christoph Broeckmann

2

citations
Scenario-based verification of uncertain parametric MDPs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

2

citations
Flint awls at the Mesolithic site of Star Carr: Understanding tool use through integrated methods
2022 Journal of Archaeological Science Reports article Social Sciences Pleistocene-Era Hominins and Archaeology Open access

Chantal Conneller, Nicky Milner, Diederik Pomstra, Aimée Little

5

citations
Toward an Operational Anthropogenic CO2 Emissions Monitoring and Verification Support Capacity
2020 Bulletin of the American Meteorological Society article Environmental Science Atmospheric and Environmental Gas Dynamics Open access

Greet Janssens‐Maenhout, B. Pinty, Mark D. Dowell, H. Zunker, Erik Andersson, Gianpaolo Balsamo, +34 more

205

citations
Verifying OpenJDK’s LinkedList using KeY (extended paper)
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

5

citations
Preface
2020 Fundamenta Informaticae article Computer Science Formal Methods in Verification Open access

Jetty Kleijn, Laurenţiu Leuştean, Dorel Lucanu

0

citations
Behavioural profiling for age assurance: do the ends justify the means?
2025 International Data Privacy Law article Social Sciences Digitalization, Law, and Regulation Open access

Mohammed Raiz Shaffique

4

citations
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more

13

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
Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

20

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
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
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

11

citations
CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus

3

citations
Methodical and Formally Verified Model-Driven Architecture Refactoring.
2025 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Lars Fischer, Hendrik Kausch, Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber, Lucas Wollenhaupt

1

citations
Enlargement by Stealth?
2020 Southeastern Europe article Social Sciences European Union Policy and Governance Open access

Antoaneta L. Dimitrova

18

citations
A calculus for modular loop acceleration and non-termination proofs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

8

citations
A Systematic Approach to Identify Shipping Emissions Using Spatio-Temporally Resolved TROPOMI Data
2023 Remote Sensing article Environmental Science Maritime Transport Emissions and Efficiency Open access

Juhuhn Kim, Michael Emmerich, Robert H. M. Voors, Barend Ording, Jong‐Seok Lee

8

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