|. . ..|. . . |. . |. .. |. . |. . .
| @stahlbauer | Andreas Stahlbauer

Research

My research focuses on models, algorithms, and tools for the development and maintenance of reliable (safety critical) software systems. In particular, I am interested in Formal Software Verification (Software Model Checking), Software Testing (Test Generation), Software Evolution (Regression Checking, Incremental Verification, Reuse of Verification Results), and Software Variability (Software Product Lines). One important objective of my work is to close the gap between theory and applicability in industry.

Publications

  • FSE 16: Apel et al. "On-The-Fly Decomposition of Specifications in Software Model Checking." Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering. ACM, 2016.
  • FSE 15: Beyer et al. "Witness Validation and Stepwise Testification across Software Verifiers." Proceedings of the 11th Joint Meeting on Foundations of Software Engineering. ACM, 2015.
  • STTT 14: Beyer and Stahlbauer. "BDD-based Software Verification." International Journal on Software Tools for Technology Transfer 16.5 (2014): 507-518.
  • FSE 13: Beyer et al. "Precision Reuse for Efficient Regression Verification." Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. ACM, 2013.

(External) Reviews

  • ICSE 16: External reviewer for the 38th International Conference on Software Engineering
  • GPCSE 16: External reviewer for the 15th International Conference on Generative Programming
  • SPLC 15: External reviewer for the 19th International Software Product Lines Conference
  • ICSME 15: External reviewer for the 31st International Conference on Software Maintenance and Evolution
  • ICPC 15: External reviewer for the 23rd IEEE International Conference on Program Comprehension
  • ICSE 14: External reviewer for the 36th International Conference on Software Engineering
  • ICPC 13: External reviewer for the 2013 IEEE International Conference on Program Comprehension
  • ICSM 12: External reviewer for the 2012 IEEE International Conference on Software Maintenance
  • WCRE 12: External reviewer for the 2012 Working Conference on Reverse Engineering

Teaching

  • Summer 2016: Programming 1 ("Programmierung 1"), Sommercamp: Programming Microcontrollers with Arduino ("Sommercamp: Programmierung von Mikrocontrollern mit Arduino"
  • Winter 2015/2016: Programming 2 ("Programmierung 2")
  • Summer 2015: Software Engineering Lab ("Software Engineering Praktikum"), Sommercamp: Programming Microcontrollers with Arduino ("Sommercamp: Programmierung von Mikrocontrollern mit Arduino"
  • Summer 2014: Principles of Compiler Design
  • Winter 2013/2014: Software Engineering Lab ("Software Engineering Praktikum")
  • Summer 2013: Principles of Compiler Design, Sommercamp: Programming Microcontrollers with Arduino ("Sommercamp: Programmierung von Mikrocontrollern mit Arduino"
  • Winter 2012/2013: Software Engineering Lab ("Software Engineering Praktikum")
  • Summer 2012: Principles of Compiler Design, Sommercamp: Linux Shell Programming ("Sommercamp: Linux Shell Programmierung")
  • Summer 2007: Tutorial on "Computer Architecture" at the University of Applied Sciences Ingolstadt

Photography

Some pictures I have taken during the last years.

Show pictures »