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 228, 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

2027
Title Author(s) Source
Realisability-Driven Repair of Natural-Language Requirements via Neuro-Symbolic ReasoningTianhai Liu, Andreas Bremer, Ivan Panov, Alexander Weigl, Shmuel Tyszberowicz, and Bernhard BeckertLeveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI
2026
Title Author(s) Source
Timed Contract AutomataBernhard Beckert, Andreas Bremer, and Alexander WeiglFundamental Approaches to Software Engineering
Metrics for Assessing the Verifiability of PLC-based Code for Production AutomationZiming Wen, Andreas Bremer, Yizhi Wang, Alexander Weigl, Bernhard Beckert, and Birgit Vogel‑Heuser2026 IEEE 9th International Conference on Industrial Cyber-Physical Systems (ICPS)
Evolution- and Context-Aware Change Detection and Correlation for Industrial Control SoftwareZiming Wen, Birgit Vogel‑Heuser, Jan Wilch, Fan Ji, Andreas Bremer, Alexander Weigl, and Bernhard BeckertIEEE Transactions on Industrial Informatics
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