You are here: Home Team Elisabeth Henkel

Elisabeth Henkel

 

Research Interests

Craig interpolation, SMT Solving, Requirements

Publications

DBLP, ORCiD, Google Scholar

Tools

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.