Nico Hauff
 |
Nico Hauff
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-021 |
Research Interests
- Automated Reasoning & Formal Verification
- Natural Language Processing (NLP)
- Requirements Engineering (RE)
Publications
ORCiD • DBLP • Google Scholar • Semantic Scholar • LinkedIn • GitHub
-
Is it vacuous to check redundancy, or is it redundant to check vacuity?
Requirements Engineering (Springer), Volume 30 (2025).
Together with Elisabeth Henkel, Vincent Langenfeld, Lena Funk, Andreas Podelski. -
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), Volume 29 (2024).
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
- BSc Pro-/Seminar Automatentheorie (Summer 2023, 2024, 2025, 2026)
- Organization & Student Supervision
- Softwarepraktikum (Winter 2022/23, 2023/24, 2024/25)
- Co-Organization & Supervision
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.
| BSc Thesis | Iterative UI-Code-Generierung durch selbstkorrigierende LLM-Agenten: Einhaltung von Design-System-Vorgaben durch strukturelle Laufzeitanalyse am Beispiel von Marigold | 2026 |
| MSc Thesis | Leveraging large language models to automatically detect atomicity in natural language requirements | 2026 |
| BSc Project | Konzeption und prototypische Umsetzung eines KI-Assistenten für das Marigold Design System | 2026 |
| Internship | Systematic prompt generation with DSPy (Reference) | 2024 |
| BSc Thesis | Resetting monitors for real-time requirements | 2024 |
| 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.