|. . ..|. . . |. . |. .. |. . |. . .
| @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.

Follow me on Twitter (@stahlbauer).

Publications

(External) Reviews

  • ASE 17: External reviewer for the 32th IEEE/ACM International Conference on Automated Software Engineering
  • 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

Prospective Students

In case you are a student looking for a bachelor or master thesis: Feel free to contact me if you are interested in one of my research projects or a topic in context of formal methods. Students from the University of Passau should make sure that their study plan covers sufficient modules with focus on Programming and Software Systems.

To align with the examination regulations, a student must show that he or she is capable of scientific work and can apply scientific methods independently, on a limited topic. Despite the strong focus on independent work, we typically meet regulary to discuss the status of the thesis, open problems, questions, and next steps in this project.

Independent of the type of work, students should apply methods and principles for scientific work and academic writing—they are the foundation for conducting research. Please make sure to (1) make your results reproducibile, (2) discuss threats to validity, and (3) provide a study of related work that is sufficient to classify your contributions. We recommend to follow established practices for software engineering research.

Please consider to read (or watch) the guide on writing a master thesis (and choosing a good supervisor) by Elmar Juergens.

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 »