Maren Geske

According to our database, Maren Geske authored at least 5 papers between 2013 and 2016.

Collaborative distances:

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

2016

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.

Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Rigorous Examination of Reactive Systems: The RERS Challenge 2015.

Maren Geske, Malte Isberner, Bernhard Steffen

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

Property-driven benchmark generation: synthesizing programs of realistic structure.

Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske

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

Analyzing program behavior through active automata learning.

Oliver Bauer, Maren Geske, Malte Isberner

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

2013

Property-Driven Benchmark Generation.

Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske

Proceedings of the Model Checking Software - 20th International Symposium, 2013