Topics › Physical Sciences › Computer Science › Computational Theory and Mathematics
Formal Methods in Verification Sign in to save
345
Aachen papers (primary topic)
398
Further papers (secondary topic)
1.52k
Citations
127
Aachen authors
Papers per year
20
21
22
23
24
25
26
Papers 345
Open in paper search →-
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
66citations -
On Correctness, Precision, and Performance in Quantitative Verification2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more
39citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 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
33citations -
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results2022 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
28citations -
Latticed k-Induction with an Application to Probabilistic Programs2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
21citations
Most active Aachen authors
-
Joost-Pieter Katoen 20,330 citations overall109 papers
-
Tim Quatmann 886 citations overall74 papers
-
Erika Ábrahám 3,470 citations overall54 papers
-
Tobias Winkler 172 citations overall27 papers
-
Jürgen Giesl 4,354 citations overall13 papers
-
Mingshuai Chen 664 citations overall12 papers
-
Alexander Bork 61 citations overall12 papers
-
Florian Frohn 567 citations overall11 papers
-
Christopher Brix 229 citations overall9 papers
-
Jetty Kleijn – citations overall9 papers
-
Sebastian Junges 2,680 citations overall8 papers
-
Marcus Völker 126 citations overall8 papers
-
László Antal 69 citations overall8 papers
-
Hannah Mertens 9 citations overall8 papers
-
Lina Gerlach 4 citations overall8 papers