From

Institution

Field

Type

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

Reset

Papers matching “formal verification” 430

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Stanley Bak, Taylor Thomas Johnson, Haoze Wu

10

citations
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more

4

citations
Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking
2021 conference-paper Computer Science Formal Methods in Verification

Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee

3

citations
Analysis and formal specification of OpenJDK's BitSet: Proof files
2024 Science of Computer Programming article Computer Science Logic, programming, and type systems

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

0

citations
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson

28

citations
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson

9

citations
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

11

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
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
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

1

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Verification of Robust Multi-Agent Systems
2026 conference-paper Computer Science Formal Methods in Verification Open access

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

0

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

0

citations
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
2022 IEEE Access article Computer Science Model-Driven Software Engineering Techniques Open access

Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay

12

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
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
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
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
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

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