Research Interests
- Formal Methods
Publications
| Title | Author(s) | Source |
|---|---|---|
| Realisability-Driven Repair of Natural-Language Requirements via Neuro-Symbolic Reasoning | Tianhai Liu, Andreas Bremer, Ivan Panov, Alexander Weigl, Shmuel Tyszberowicz, and Bernhard Beckert | Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI |
| Title | Author(s) | Source |
|---|---|---|
| Timed Contract Automata | Bernhard Beckert, Andreas Bremer, and Alexander Weigl | Fundamental Approaches to Software Engineering |
| Title | Author(s) | Source |
|---|---|---|
| Leveraging Industrial Automation Boundaries and Regulation for Scope Reduction in Software Validation | Yizhi Wang, Birgit Vogel‑Heuser, Jan Wilch, Cedric Wagner, Andreas Bremer, Alexander Weigl, and Bernhard Beckert |