From

Institution

Field

Type

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

Reset

Papers matching “verification algorithms” 100

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
2022 Machine Learning article Computer Science Adversarial Robustness in Machine Learning Open access

Holger H. Hoos, Jan N. van Rijn

7

citations
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Formal Methods in Verification Open access

Konstantin Kaulen, Holger H. Hoos

3

citations
What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Formal Verification of Quantum Ancilla Safety
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jiqi Li, Jingyi Mei, Wang Sheng Fang, Ji Guan

0

citations
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions
2023 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

László Antal, Hana Masara, Erika Ábrahám

4

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
Verifying Sampling Algorithms via Distributional Invariants
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

1

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

1

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

12

citations
Analyzing the Impact of Undersampling on the Benchmarkingand Configuration of Evolutionary Algorithms - Dataset
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Hao Wang, Manuel López‐Ibáñez, Carola Doerr, Thomas Bäck

1

citations
Analyzing the Impact of Undersampling on the Benchmarkingand Configuration of Evolutionary Algorithms - Dataset
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Hao Wang, Manuel López‐Ibáñez, Carola Doerr, Thomas Bäck

0

citations
A Comparison Infrastructure for Fault Characterization Algorithms
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) conference-paper Computer Science Software Testing and Debugging Techniques

Torben Friedrichs, Konrad Fögen, Horst Lichter

3

citations
Comparison of Maximal End Component Decomposition Algorithms: Data and Code
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

1

citations
Comparison of Maximal End Component Decomposition Algorithms: Data and Code
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

0

citations
A Virtual Testbed for the Development and Verification of Cyber-Physical Systems
2023 Winter Simulation Conference conference-paper Computer Science Modeling and Simulation Systems

Jan Reitz, David Böken, Jürgen Roßmann

1

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
2026 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

0

citations
Solution Concepts and Algorithms for Infinite Multiplayer Games
2025 Routledge eBooks book-chapter Computer Science Formal Methods in Verification Open access

0

citations
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
Virtual mitigation of coherent non-adiabatic transitions by echo verification
2024 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Benjamin F. Schiffer, Dyon van Vreumingen, Jordi Tura, Stefano Polla

5

citations
Generalizing neural network verification to the family of piece-wise linear activation functions
2025 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

László Antal, Erika Ábrahám, Hana Masara

3

citations