Oliver Bauer

According to our database, Oliver Bauer authored at least 7 papers between 2011 and 2014.

Collaborative distances:

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

2014

Analyzing program behavior through active automata learning.

Oliver Bauer, Maren Geske, Malte Isberner

Int. J. Softw. Tools Technol. Transf., 2014

Model-Driven Active Automata Learning with LearnLib Studio.

Oliver Bauer, Johannes Neubauer, Malte Isberner

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014

2013

Active continuous quality control.

Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer

Proceedings of the CBSE'13, 2013

2012

Inferring Semantic Interfaces of Data Structures.

Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Automated continuous quality assurance.

Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

2011

The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning.

Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

Reusing System States by Active Learning Algorithms.

Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar

Proceedings of the Eternal Systems - First International Workshop, 2011