From

Institution

Field

Type

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

Reset

Papers matching “verification algorithms” 25

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
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
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
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
Robustness Distributions in Neural Network Verification
2025 Journal of Artificial Intelligence Research article Computer Science Adversarial Robustness in Machine Learning Open access

Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

1

citations
Robot Swarms as Hybrid Systems: Modelling and Verification
2022 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Taccella

3

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
Reversible imprinting and retrieval of quantum information: experimental verification of the Quantum Memory Matrix hypothesis
2026 Quantum Information Processing article Computer Science Quantum Computing Algorithms and Architecture Open access

Florian Neukart, E. J. Marx, V. M. Vinokur

1

citations
A Calculus for Amortized Expected Runtimes
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht

22

citations
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
2025 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka

1

citations
Multi-cost Bounded Tradeoff Analysis in MDP
2020 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

22

citations
On complexity reduction of the discrete-event subsystem of Flat Hybrid Automata for control design
2020 at - Automatisierungstechnik article Computer Science Formal Methods in Verification

Tobias Kleinert, Frederik Zahn, Veit Hagenmeyer

2

citations
Search and explore: symbiotic policy synthesis in POMDPs
2026 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

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
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

3

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error-Correction Codes
2025 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Tom Peham, L. Schmid, Lucas Berent, Markus Müller, Robert Wille

14

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations
Filter Functions for Quantum Processes under Correlated Noise
2021 Physical Review Letters article Computer Science Quantum Computing Algorithms and Architecture Open access

Pascal Cerfontaine, Tobias Hangleiter, Hendrik Bluhm

17

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
Computer Vision for Autonomous Drill Jumbos: Detecting Non-Drillable Areas of a Mine Face
2026 Sensors article Computer Science Advanced Neural Network Applications Open access

Moritz Rösgen, Adam Pekarski, Elisabeth Clausen

0

citations
Using internal standards in time-resolved X-ray micro-computed tomography to quantify grain-scale developments in solid-state mineral reactions
2024 Solid Earth article Computer Science Medical Image Segmentation Techniques Open access

Roberto Emanuele Rizzo, Damien Freitas, James Gilgannon, Sohan Seth, Ian B. Butler, Gina McGill, +1 more

4

citations
Machine-readable specification and intelligent cloud-based execution of logical test cases for automated driving functions
2024 Automated Software Engineering article Computer Science Software Testing and Debugging Techniques Open access

Max‐Arno Meyer, Mehdi Zouari, Sebastian Bannenberg, Markus Deppe, Sébastien Christiaens, Sung-Yong Lee, +1 more

2

citations

25 results