Elisabeth Henkel

According to our database, Elisabeth Henkel authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Systematic adaptation and investigation of the understandability of a formal pattern language.

Elisabeth Henkel, Nico Hauff, Vincent Langenfeld, Lukas Eber, Andreas Podelski

Requir. Eng., March, 2024

Scalable Redundancy Detection for Real-Time Requirements.

Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023

An Empirical Study of the Intuitive Understanding of a Formal Pattern Language.

Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT.

Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler

Proceedings of the Automated Deduction - CADE 29, 2023

2021

Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality.

Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler

Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

Hanfor: Semantic Requirements Review at Scale.

Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal

Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021