Elisabeth Henkel

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Interpolation Methods

Semantically Meaningful

Regular Patterns

Top Venues

Publications

Elisabeth Henkel, Nico Hauff, Vincent Langenfeld, Lukas Eber, Andreas Podelski
Systematic adaptation and investigation of the understandability of a formal pattern language. Requir. Eng. 29 (1) (2024)
Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski
An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ (2023)
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Choose your Colour: Tree Interpolation for Quantified Formulas in SMT. CoRR (2023)
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. CADE (2023)
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. SMT (2021)
Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal
Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops (2021)