Benjamin von Berg

According to our database, Benjamin von Berg authored at least 5 papers between 2019 and 2026.

Collaborative distances:

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

2026

Active Automata Learning with Noisy Data: From Big to Small Data.

Felix Wallner, Bernhard K. Aichernig, Benjamin von Berg, Maximilian Rindler

Proceedings of the Formal Methods - 27th International Symposium, 2026

BDD-Based Deadlock Avoidance for Automated Guided Vehicles in Warehouse Logistics (Case Study Paper).

Benjamin von Berg, Bernhard K. Aichernig, Fabian Wedenik

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Extending AALpy with Passive Learning: A Generalized State-Merging Approach.

Benjamin von Berg, Bernhard K. Aichernig

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Hierarchical Learning of Generative Automaton Models from Sequential Data.

Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

2019

A Systematic Evaluation of Transient Execution Attacks and Defenses.

Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp, Benjamin von Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin, Daniel Gruss

Proceedings of the 28th USENIX Security Symposium, 2019