Elisabeth Henkel

University of Freiburg

Georges-Köhler-Allee 52

79110 Freiburg

building 052, room 00-021

Research Interests

Formal Requirements Analysis, Craig interpolation, SMT Solving

Is it vacuous to check redundancy, or is it redundant to check vacuity?
Requirements Engineering (Springer), Volume 30 (2025).
Together with Nico Hauff, Vincent Langenfeld, Lena Funk, Andreas Podelski.
Hanfor: Requirements Formalisation and Beyond. REFSQ 2025 Posters and Tools.
Together with Nico Hauff, Tobias Kolzer, Vincent Langenfeld, Andreas Podelski
Scalable Redundancy Detection for Real-Time Requirements. RE 2024.
Together with Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski.
Systematic adaptation and investigation of the understandability of a formal pattern language.
Requirements Engineering (Springer), Volume 29 (2024).
Together with Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski.

An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ 2023.
Together with Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski.
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. CADE 2023.
Together with Jochen Hoenicke and Tanja Schindler.
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. SMT 2021.
Together with Jochen Hoenicke and Tanja Schindler.
Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops 2021.
Together with Samuel Becker, Daniel Dietsch, Nico Hauff, Vincent Langenfeld, Andreas Podelski and Bernd Westphal.

Co-organize Softwaretechnik / Software Engineering (summer semester 2022, 2023, 2024, 2025)
Co-organize Cyber-Physical Systems: Discrete Models (winter semester 2022, 2023)
Supervise students in MSc Seminar Advanced Topics in Requirements Engineering (winter semester 2024)
Supervise students in MSc Seminar Advanced Topics in Automata Theory (summer semester 2024)
Supervise students in BSc Proseminar Automatentheorie (winter semester 2022, 2024, summer semester 2024, 2025)
Supervise students in BSc Proseminar Programmanalyse (winter semester 2021)

BSc Thesis: RT-Inconsistency Pre-Check Based On Countertraces (2025)
BSc Thesis: Extracting Explanations for Formal Requirement Redundancies (2024)
BSc Thesis Stuck-At-Property: A New Property for Real-Time Requirements (2024)
BSc Project: Requirement analysis and formalization for user management in a medium-sized company using Hanfor (2024)
BSc Project: Detection of Variable Constraints in (Parallel) Execution of Phase Event Automata in the Hanfor Simulator (2023)
MSc Project: Minimization of Phase Event Automata (2023)
MSc Project: Study about the intuitive comprehensibility of the Hanfor specification pattern language (2022)

Please write me an e-mail to make an appointment.