Nico Hauff

According to our database, Nico Hauff authored at least 10 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Automata-Represented Requirements in HanforPL - A Visual Approach for Requirements Engineering Practice and Formal Reasoning.

Tobias Kolzer, Vincent Langenfeld, Nico Hauff, Elisabeth Henkel, Andreas Podelski

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2026

A Practical and Complete Method for Detecting rt-Inconsistencies in Real-Time Requirements.

Nico Hauff, Elisabeth Henkel, Elisabeth Fünfgeld, Vincent Langenfeld, Andreas Podelski

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2026

2025

Hanfor: Requirements Formalisation and Beyond.

Nico Hauff, Elisabeth Henkel, Tobias Kolzer, Vincent Langenfeld, Andreas Podelski

Proceedings of the Joint Proceedings of REFSQ 2025 Workshops, 2025

2024

Scalable Redundancy Detection for Real-Time Requirements (artefact).

Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski

Dataset, April, 2024

Systematic adaptation and investigation of the understandability of a formal pattern language.

Elisabeth Henkel, Nico Hauff, Vincent Langenfeld, Lukas Eber, Andreas Podelski

Requir. Eng., March, 2024

Scalable Redundancy Detection for Real-Time Requirements.

Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023

An Empirical Study of the Intuitive Understanding of a Formal Pattern Language.

Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

2021

Hanfor: Semantic Requirements Review at Scale.

Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal

Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021

2019

Self-supervised Transfer Learning for Instance Segmentation through Physical Interaction.

Andreas Eitel, Nico Hauff, Wolfram Burgard

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

2017

Learning to Singulate Objects Using a Push Proposal Network.

Andreas Eitel, Nico Hauff, Wolfram Burgard

Proceedings of the Robotics Research, The 18th International Symposium, 2017