Nico Hauff
 |
Nico Hauff
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-021 |
Research Interests
Requirements Engineering, Natural Language Processing
Publications
ORCiD • DBLP • Google Scholar • Semantic Scholar • LinkedIn
-
Hanfor: Requirements Formalisation and Beyond. REFSQ 2025 Posters and Tools.
Together with Elisabeth Henkel, Tobias Kolzer, Vincent Langenfeld, Andreas Podelski -
Scalable Redundancy Detection for Real-Time Requirements. RE 2024.
Together with Elisabeth Henkel, Lena Funk, Vincent Langenfeld, Andreas Podelski. -
Systematic adaptation and investigation of the understandability of a formal pattern language.
Requirements Engineering (Springer).
Together with Elisabeth Henkel, Lukas Eber, Vincent Langenfeld, Andreas Podelski. -
An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ 2023.
Together with Elisabeth Henkel, Lukas Eber, Vincent Langenfeld, Andreas Podelski.
REFSQ'23 Best Paper Award. -
Hanfor: Semantic Requirements Review at Scale. REFSQ 2021 Posters and Tools.
Together with Samuel Becker, Daniel Dietsch, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski and Bernd Westphal. -
Self-supervised Transfer Learning for Instance Segmentation through Physical Interaction. IROS 2019.
Together with Andreas Eitel, Wolfram Burgard. -
Learning to Singulate Objects Using a Push Proposal Network. ISRR 2017.
Together with Andreas Eitel, Wolfram Burgard.
MSc Thesis
- Simulator for Formalized Requirements. 2022.
Tools
Lectures & Seminars
- Supervise students in BSc Pro-/Seminar Automatentheorie (summer semester 2023, 2024, 2025)
- Co-organize Softwarepraktikum (winter semester 2022, 2023, 2024)
Student Project Co-/Supervisions
If you are interested in a project or thesis, send me an email. Choose a topic from the list below, or bring your own.
| Internship | Systematic prompt generation with DSPy (Reference) | Ongoing |
| BSc Thesis | Resetting monitors for real-time requirements | Ongoing |
| BSc Project | Pre-check for rt-Inconsistency based on Phase Event Automata | 2024 |
| BSc Project | LLM Assisted Formalization of Natural Language Requirements | 2024 |
| BSc Project | Detection of Variable Constraints in (Parallel) Execution of Phase Event Automata in the Hanfor Simulator | 2024 |
| Internship | Replication: Neural termination analysis (Reference) | 2023 |
| BSc Thesis | Monitoring real-time requirements in ROS2 (Reference) | 2023 |
| BSc Thesis | Complementation of Phase Event Automata | 2023 |
Consultation Hours
Please send me an email to make an appointment.