Nico Hauff -

Registered user since Wed 8 May 2024

Name:Nico Hauff

Country:Germany

Affiliation:University of Freiburg

Contributions

2026

Requirements Engineering: Foundation for Software Quality (REFSQ)

Author of Automata-Represented Requirements in HanforPL within the Research Track-track
Author of A practical and complete method for detecting rt-inconsistencies in real-time requirements within the Research Track-track

2025

Requirements Engineering: Foundation for Software Quality (REFSQ)

Author of Hanfor: requirements formalisation as if done by humans within the Posters & Tools-track

2024

Requirements Engineering

Author of Scalable Redundancy Detection for Real-Time Requirements within the Research Papers-track

2023

Requirements Engineering: Foundation for Software Quality (REFSQ)

Author of An Empirical Study of the Intuitive Understanding of a Formal Pattern Language within the Research Papers-track

2021

Requirements Engineering: Foundation for Software Quality (REFSQ)

Author of Hanfor: Semantic Requirements Review at Scale within the Posters and Tools -track