International Journal on Software Tools for Technology Transfer Sign in to save
Aachen papers per year
20
21
22
23
25
26
Papers 13
-
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 the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations
13 results
Most active Aachen authors
-
Tim Quatmann 886 citations overall4 papers
-
Joost-Pieter Katoen 20,330 citations overall3 papers
-
Wil M. P. van der Aalst 102,979 citations overall2 papers
-
Erika Ábrahám 3,470 citations overall1 paper
-
Matthias Volk 1,258 citations overall1 paper
-
Alfons Laarman 1,044 citations overall1 paper
-
Frank S. de Boer 1,022 citations overall1 paper
-
Alessandro Berti 872 citations overall1 paper
-
Florian Frohn 567 citations overall1 paper
-
Stefan Schupp 429 citations overall1 paper
-
Christian Hensel 385 citations overall1 paper
-
Nils Nießen 327 citations overall1 paper
-
Christopher Brix 229 citations overall1 paper
-
Hans-Dieter A. Hiep 52 citations overall1 paper
-
Jinting Bian 41 citations overall1 paper