From

Institution

Field

Type

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

Reset

Papers matching “formal verification” 283

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Systematic Review of Formal Verification Models for Safety of Autonomous AI Agents: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Adversarial Robustness in Machine Learning Open access

A. G. Lewis, B. Horváth, R. Costa

0

citations
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model
2025 conference-paper Computer Science VLSI and Analog Circuit Testing

Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more

0

citations
Facing Uncertainty in AI: From Formal Verification To Synthesis
2025 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

0

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
On the applicability of hybrid systems safety verification tools from the automotive perspective
2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu

3

citations
MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety
2020 AIAA Scitech 2020 Forum conference-paper Computer Science Formal Methods in Verification

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

5

citations
Generalizing neural network verification to the family of piece-wise linear activation functions
2025 Science of Computer Programming article Computer Science Neural Networks and Applications Open access

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

3

citations
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Software Reliability and Analysis Research Open access

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

13

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

6

citations
Formal Methods
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marsha Chećhik, Joost-Pieter Katoen, Martin Leucker

0

citations
Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
2025 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Emanuele De Angelis, Florian Frohn

0

citations
Generalizing neural network verification to the family of piece-wise linear activation functions
2025 Science of Computer Programming article Computer Science Adversarial Robustness in Machine Learning Open access

0

citations
Tools at the Frontiers of Quantitative Verification
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

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

2

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
A Deductive Verification Infrastructure for Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

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
Controller verification meets controller code
2021 conference-paper Computer Science Formal Methods in Verification

Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám

2

citations
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
2025 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

2

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
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

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

0

citations
AutoKnigge—Modeling, Evaluation and Verification of Cooperative Interacting Automobiles
2024 Springer eBooks book-chapter Computer Science Formal Methods in Verification Open access

Christian Kehl, Maximilian Kloock, Evgeny Kusmenko, Lutz Eckstein, Bassam Alrifaee, Stefan Kowalewski, +1 more

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

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