Elisabeth Henkel

Elisabeth Henkel University of Freiburg Georges-Köhler-Allee 52 79110 Freiburg   building 052, room 00-021 henkele@informatik.uni-freiburg.de

Research Interests

Craig interpolation, SMT Solving, Requirements

Publications

DBLP, ORCiD, Google Scholar

• An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ 2023.
  Together with Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski.
• 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.

Tools

• Hanfor
• SMTInterpol
• Ultimate

Lectures & Seminars

• Co-organize Softwaretechnik / Software Engineering (summer semester 2022, 2023)
• Co-organize Cyber-Physical Systems: Discrete Models (winter semester 2022)
• Supervise students in BSc Proseminar Automatentheorie (winter semester 2022)
• Supervise students in BSc Proseminar Programmanalyse (winter semester 2021)

Student Project Supervisions

• MSc Project: Minimization of Phase Event Automata (2023)
• MSc Project: Study about the intuitive comprehensibility of the Hanfor specification pattern language (2022)

Consultation Hours

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