|. . ..|. . . |. . |. .. |. . |. . .
| @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 17: Algorithms and Data Structures, Sommercamp: Programming Microcontrollers with Arduino
  • Summer 16: Programming 1, Sommercamp: Programming Microcontrollers with Arduino
  • Winter 15/16: Programming 2
  • Summer 15: Software Engineering Lab ("Software Engineering Praktikum"), Sommercamp: Programming Microcontrollers with Arduino
  • Summer 14: Principles of Compiler Design
  • Winter 13/14: Software Engineering Lab ("Software Engineering Praktikum")
  • Summer 13: Principles of Compiler Design, Sommercamp: Programming Microcontrollers with Arduino
  • Winter 12/13: Software Engineering Lab ("Software Engineering Praktikum")
  • Summer 12: Principles of Compiler Design, Sommercamp: Linux Shell Programming
  • Summer 07: Tutorial on "Computer Architecture" at the University of Applied Sciences Ingolstadt

Photography

Some pictures I have taken during the last years.

Show pictures »