Login / Signup
Maren Geske
Publication Activity (10 Years)
Years Active: 2013-2016
Publications (10 Years): 1
Top Topics
Reactive Systems
Temporal Logic
Model Checking
Formal Methods
Top Venues
Int. J. Softw. Tools Technol. Transf.
ISoLA (2)
RV
SPIN
</>
Publications
</>
Maren Geske
,
Marc Jasper
,
Bernhard Steffen
,
Falk Howar
,
Markus Schordan
,
Jaco van de Pol
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.
ISoLA (2)
(2016)
Maren Geske
,
Malte Isberner
,
Bernhard Steffen
Rigorous Examination of Reactive Systems: The RERS Challenge 2015.
RV
(2015)
Bernhard Steffen
,
Malte Isberner
,
Stefan Naujokat
,
Tiziana Margaria
,
Maren Geske
Property-driven benchmark generation: synthesizing programs of realistic structure.
Int. J. Softw. Tools Technol. Transf.
16 (5) (2014)
Oliver Bauer
,
Maren Geske
,
Malte Isberner
Analyzing program behavior through active automata learning.
Int. J. Softw. Tools Technol. Transf.
16 (5) (2014)
Bernhard Steffen
,
Malte Isberner
,
Stefan Naujokat
,
Tiziana Margaria
,
Maren Geske
Property-Driven Benchmark Generation.
SPIN
(2013)