Nico Hauff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2017–2026
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | REFSQ | A Practical and Complete Method for Detecting rt-Inconsistencies in Real-Time Requirements. | Nico Hauff, Elisabeth Henkel, Elisabeth Fnfgeld, Vincent Langenfeld, Andreas Podelski |
| 2026 | REFSQ | 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 |
| 2025 | REFSQ | Hanfor: Requirements Formalisation and Beyond. | Nico Hauff, Elisabeth Henkel, Tobias Kolzer, Vincent Langenfeld, Andreas Podelski |
| 2024 | RE | Scalable Redundancy Detection for Real-Time Requirements. | Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski |
| 2023 | REFSQ | An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. | Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski |
| 2021 | REFSQ | Hanfor: Semantic Requirements Review at Scale. | Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal |
| 2019 | IROS | Self-supervised Transfer Learning for Instance Segmentation through Physical Interaction. | Andreas Eitel, Nico Hauff, Wolfram Burgard |
| 2017 | ISRR | Learning to Singulate Objects Using a Push Proposal Network. | Andreas Eitel, Nico Hauff, Wolfram Burgard |