Oliver Bauer

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Analyzing program behavior through active automata learning.
Int. J. Softw. Tools Technol. Transf., 2014

Model-Driven Active Automata Learning with LearnLib Studio.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014

2013
Active continuous quality control.
Proceedings of the CBSE'13, 2013

2012
Inferring Semantic Interfaces of Data Structures.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Automated continuous quality assurance.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

Reusing System States by Active Learning Algorithms.
Proceedings of the Eternal Systems - First International Workshop, 2011


  Loading...