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.

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

4

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
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Computational Guidance & Navigation for Bearings-Only Rendezvous – methods and outcomes of GUIBEAR
2021 Zenodo (CERN European Organization for Nuclear Research) conference-paper Engineering Spacecraft Dynamics and Control Open access

Pedro Serra, Pedro Lourenço, José Briz Valero, Marco Mammarella, T. V. Peters, Dario Mora Portela, +6 more

1

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
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling
2025 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

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

0

citations
Far From the Truth
2023 Routledge eBooks book Arts and Humanities History of Science and Natural History Open access

Michiel van Groesen, Johannes Müller

0

citations
TOPO: Time-Ordered Provable Outputs
2024 arXiv (Cornell University) preprint Decision Sciences Scientific Computing and Data Management Open access

Santiago Casas

0

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

Antoaneta L. Dimitrova

18

citations
Development and Validation of PCM Models Integrated Into the High Order Building Model of Modelica Library – Aixlib
2020 Building Simulation Conference proceedings conference-paper Engineering Phase Change Materials Research Open access

Akbar Halimov, Moritz Lauster, Dirk Müller

10

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