Elisabeth Henkel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2021–2026
Best venue rank
B
Where they publish
Papers
7 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 | CADE | Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. | Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler |
| 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 |