Nico Hauff

University of Freiburg

Georges-Köhler-Allee 52

79110 Freiburg

building 052, room 00-021

Research Interests

Requirements Engineering, Natural Language Processing

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.

Supervise students in BSc Pro-/Seminar Automatentheorie (summer semester 2023, 2024)
Co-organize Softwarepraktikum (winter semester 2022, 2023, 2024)

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 Project	Pre-check for rt-Inconsistency based on Phase Event Automata.	In progress
BSc Project	LLM Assisted Formalization of Natural Language Requirements	In progress
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

Please send me an email to make an appointment.