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