Statistics
Publications
6
Citations
254
H-Index
6
Active since
2013
Affiliations
University of Passau(Current)
Andreas Stahlbauer is an author at University of Passau specializing in computing, formal methods, and computer science.
Publications per year
2013–2021
6
6
Witness validation and stepwise testification across software verifiers
Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · 2015 · 94 citations
Precision reuse for efficient regression verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov et al. · 2013 · 57 citations
Testing scratch programs automatically
Andreas Stahlbauer, Marvin Kreis, Gordon Fraser · 2019 · 48 citations
On-the-fly decomposition of specifications in software model checking
Sven Apel, Dirk Beyer, Vitaly Mordan et al. · 2016 · 15 citations
1–5 of 6