Maximilian Berger

According to our database, Maximilian Berger authored at least 4 papers between 2010 and 2026.

Collaborative distances:

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

2026

Validating Formal Hardware Specifications Through Generated Behavioral Models.

Robert Kunzelmann, Zeyad Tahoun, Vinod Bangalore Ganesh, Maximilian Berger, Emil Baerens, Wolfgang Ecker

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2025

Unifying IP Specification Through Formal Hardware Function Sets: An Industrial Case Study.

Robert Kunzelmann, Maximilian Berger, Vinod Bangalore Ganesh, Rachana R. Pai, Wolfgang Ecker

Proceedings of the 18th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2025

2021

Dipper: A Dynamically Transitioning Aerial-Aquatic Unmanned Vehicle.

Friedrich M. Rockenbauer, Simon L. Jeger, Liberto Beltran, Maximilian Berger, Marvin Harms, Noah Kaufmann, Marc Rauch, Moritz Reinders, Nicholas R. J. Lawrance, Thomas Stastny, Roland Siegwart

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

2010

Practical Experience from Porting and Executing the Wien2k Application on the EGEE Production Grid Infrastructure.

Maximilian Berger, Thomas Fahringer

J. Grid Comput., 2010