From

Institution

Field

Type

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

Reset

Papers matching “verification tools” 73

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
FMI Meets SystemC: A Framework for Cross-Tool Virtual Prototyping
2025 Linköping electronic conference proceedings conference-paper Computer Science Modeling and Simulation Systems Open access

Nils Bosbach, Lukas Jünger, Matthias Berthold, Rainer Leupers

0

citations
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, +6 more

7

citations
Verifying LTL for Infinite State Systems via Termination Analysis
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Nils Lommen, Moritz Leven Rosarius, Jürgen Giesl

0

citations
Experiments with Automated Reasoning in the Class
2022 Lecture notes in computer science conference-paper Computer Science Teaching and Learning Programming Open access

Isabela Drămnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat

1

citations
FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Xindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai

1

citations
Interpretation-Based Violation Witness Validation for C: NITWIT
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Jan Švejda, Philipp K. Berger, Joost-Pieter Katoen

19

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
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

6

citations
Formal methods in the scope of the Software and Systems Modeling journal
2025 Software & Systems Modeling article Computer Science Formal Methods in Verification Open access

Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆

1

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

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

0

citations
Formal software engineering of distributed systems using focus-streams and automata
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Stüber

0

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

7

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
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
Introduction to the special issue for SPIN 2021
2023 International Journal on Software Tools for Technology Transfer editorial Computer Science Formal Methods in Verification Open access

Alfons Laarman

0

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
Formalizing the One-Way to Hiding Theorem
2025 ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) conference-paper Computer Science Quantum Information and Cryptography Open access

Dominique Unruh

1

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
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen

1

citations