Follow
Elisabeth Henkel
Elisabeth Henkel
Chair of Software Engineering, Institute of Computer Science, University of Freiburg
Verified email at informatik.uni-freiburg.de
Title
Cited by
Cited by
Year
Hanfor: Semantic Requirements Review at Scale.
S Becker, D Dietsch, N Hauff, E Henkel, V Langenfeld, A Podelski, ...
REFSQ Workshops 2857, 5, 2021
82021
An Empirical Study of the Intuitive Understanding of a Formal Pattern Language
E Henkel, N Hauff, L Eber, V Langenfeld, A Podelski
International Working Conference on Requirements Engineering: Foundation for …, 2023
32023
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality.
E Henkel, J Hoenicke, T Schindler
SMT, 3-16, 2021
22021
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT
E Henkel, J Hoenicke, T Schindler
International Conference on Automated Deduction, 248-265, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–4