Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Team
Andreas Bremer

Andreas Bremer, M.Sc.

Researcher / PhD Student
Room 202, Building 50.34
Phone: +49 721 608-44024
Fax:      +49 721 608-44021
bremerXwx3∂kit edu

 KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany


Research Interests

  • Formal Methods

Publications

2026
Title Author(s) Source
Timed Contract AutomataBernhard Beckert, Andreas Bremer, and Alexander WeiglFundamental Approaches to Software Engineering
Realisability-Driven Repair of Natural-Language Requirements via Neuro-Symbolic ReasoningTianhai Liu, Andreas Bremer, Ivan Panov, Alexander Weigl, Shmuel Tyszberowicz, and Bernhard BeckertProceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA)
2025
Title Author(s) Source
Leveraging Industrial Automation Boundaries and Regulation for Scope Reduction in Software ValidationYizhi Wang, Birgit Vogel‑Heuser, Jan Wilch, Cedric Wagner, Andreas Bremer, Alexander Weigl, and Bernhard Beckert