From

Institution

Field

Type

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

Reset

Papers matching “verification” 614

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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

2

citations
The effect of speech pathology on automatic speaker verification: a large-scale study
2023 Scientific Reports article Computer Science Speech Recognition and Synthesis Open access

Soroosh Tayebi Arasteh, Tobias Weise, Maria Elke Schuster, Elmar Nöth, Andreas Maier, Seung Hee Yang

15

citations
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Daniel Basgöze, Kevin Batz, Sebastian Junges, Joost-Pieter Katoen

0

citations
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
A Framework for Belief-based Programs and Their Verification
2025 Journal of Artificial Intelligence Research article Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

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
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

14

citations
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Grani A. Hanasusanto, Huan Zhang

3

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
Experiments for 'Verification of indefinite-horizon POMDPs'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

1

citations
Experiments for 'Verification of indefinite-horizon POMDPs'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

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
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
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
StacKAT: Infinite State Network Verification
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter C. Kozen, Lily Saada, Alexandra Silva, +1 more

0

citations
Case-Grounded Evidence Verification: A Framework for Constructing Evidence-Sensitive Supervision
2026 arXiv (Cornell University) preprint Computer Science Multimodal Machine Learning Applications Open access

Soroosh Tayebi Arasteh, Mehdi Joodaki, Mahshad Lotfinia, Sven Nebelung, Daniel Truhn

0

citations
Deductive Verification for Earliest Deadline First Scheduler Implementations
2026 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Daniel Kuhse, Junjie Shi, Jan Duy Thien Pham, Kay Heider, Marcus Völker, Kuan-Hsun Chen, +1 more

0

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
Tools at the Frontiers of Quantitative Verification
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, +16 more

9

citations
Verification of Behavior Trees using Linear Constrained Horn Clauses
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrović, Christian Brecher

7

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

0

citations
Facing Uncertainty in AI: From Formal Verification To Synthesis
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

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

33

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
Robustness Verification for Classifier Ensembles
2020 Lecture notes in computer science conference-paper Computer Science Adversarial Robustness in Machine Learning Open access

Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers

11

citations