Andreas Stahlbauer
Title
Cited by
Cited by
Year
Witness validation and stepwise testification across software verifiers
D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
652015
Precision reuse for efficient regression verification
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
482013
BDD-based software verification
D Beyer, A Stahlbauer
International Journal on Software Tools for Technology Transfer 16 (5), 507-518, 2014
232014
BDD-based software model checking with CPAchecker
D Beyer, A Stahlbauer
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2012
192012
On-the-fly decomposition of specifications in software model checking
S Apel, D Beyer, V Mordan, V Mutilin, A Stahlbauer
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
142016
Testing scratch programs automatically
A Stahlbauer, M Kreis, G Fraser
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
62019
Reusing precisions for efficient regression verification
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
arXiv preprint arXiv:1305.6915, 2013
32013
Abstract Transducers for Software Analysis and Verification
A Stahlbauer
2020
Verified from Scratch: Program Analysis for Learners' Programs
A Stahlbauer, C Frädrich, G Fraser
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
2020
Abstract Transducers
A Stahlbauer
arXiv preprint arXiv:1910.07583, 2019
2019
Том. 13-18-November-2016. FSE 2016-Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering.-Сер. FSE 2016-Proceedings of the …
S Apel, A Stahlbauer, D Beyer, V Mordan, V Mutilin, Y Kang, Y Zhou, H Xu, ...
2016
Verification Witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer
Software Engineering 2016, 2016
2016
Precision Reuse in CPAchecker.
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
Software Engineering, 41-42, 2014
2014
BDD-Based Software Model Checking
D Beyer, A Stahlbauer
Mathematical and Engineering Methods in Computer Science, 1, 0
The system can't perform the operation now. Try again later.
Articles 1–14