Andreas Stahlbauer

According to our database1, Andreas Stahlbauer authored at least 13 papers between 2012 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
SnapCheck: Automated Testing for Snap Programs.
CoRR, 2021

Finding Anomalies in Scratch Assignments.
CoRR, 2021

2020
Abstract Transducers for Software Analysis and Verification.
PhD thesis, 2020

Testing Scratch Programs Automatically.
Proceedings of the Software Engineering 2020, 2020

Verified from Scratch: Program Analysis for Learners' Programs.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019
Abstract Transducers.
CoRR, 2019

2016
On-the-fly decomposition of specifications in software model checking.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Witness validation and stepwise testification across software verifiers.
Proceedings of the Software Engineering 2016, 2016

2014
BDD-based software verification - Applications to event-condition-action systems.
Int. J. Softw. Tools Technol. Transf., 2014

Precision Reuse in CPAchecker.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013
Reusing Precisions for Efficient Regression Verification
CoRR, 2013

Precision reuse for efficient regression verification.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012
BDD-Based Software Model Checking with CPAchecker.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012


  Loading...