Nico Hauff

11 papers A 2B 3C 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
A Practical and Complete Method for Detecting rt-Inconsistencies in Real-Time Requirements.
REFSQ
Nico Hauff, Elisabeth Henkel, Elisabeth Fünfgeld, Vincent Langenfeld, Andreas Podelski
2026 B conf
Automata-Represented Requirements in HanforPL - A Visual Approach for Requirements Engineering Practice and Formal Reasoning.
REFSQ
Tobias Kolzer, Vincent Langenfeld, Nico Hauff, Elisabeth Henkel, Andreas Podelski
2025 — conf
Hanfor: Requirements Formalisation and Beyond.
REFSQ Workshops
Nico Hauff, Elisabeth Henkel, Tobias Kolzer, Vincent Langenfeld, Andreas Podelski
2024 A conf
Scalable Redundancy Detection for Real-Time Requirements.
RE
Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski
2024 J jnl
Systematic adaptation and investigation of the understandability of a formal pattern language.
Requir. Eng.
Elisabeth Henkel, Nico Hauff, Vincent Langenfeld, Lukas Eber, Andreas Podelski
2023 B conf
An Empirical Study of the Intuitive Understanding of a Formal Pattern Language.
REFSQ
Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski
2021 — conf
Hanfor: Semantic Requirements Review at Scale.
REFSQ Workshops
Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal
2020 J jnl
Self-supervised Transfer Learning for Instance Segmentation through Physical Interaction.
CoRR
Andreas Eitel, Nico Hauff, Wolfram Burgard
2019 A conf
Self-supervised Transfer Learning for Instance Segmentation through Physical Interaction.
IROS
Andreas Eitel, Nico Hauff, Wolfram Burgard
2017 C conf
Learning to Singulate Objects Using a Push Proposal Network.
ISRR
Andreas Eitel, Nico Hauff, Wolfram Burgard
2017 J jnl
Learning to Singulate Objects using a Push Proposal Network.
CoRR
Andreas Eitel, Nico Hauff, Wolfram Burgard