Andreas Bremer

According to our database, Andreas Bremer authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Timed Contract Automata.

Bernhard Beckert, Andreas Bremer, Alexander Weigl

Proceedings of the Fundamental Approaches to Software Engineering, 2026

2025

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, Bernhard Beckert

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2025