Stefan Gulan

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Series Parallel

Regular Expressions

Safety Critical

Pattern Matching

Top Venues

Theory Comput. Syst.

Publications

Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman
Model-Based Analysis for Safety Critical Software. SAFECOMP (2015)
Fabian Beck, Stefan Gulan, Benjamin Biegel, Sebastian Baltes, Daniel Weiskopf
RegViz: visual debugging of regular expressions. ICSE Companion (2014)
Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze
Graphical modelling meets formal methods. INDIN (2013)
Stefan Gulan
Series Parallel Digraphs with Loops - Graphs Encoded by Regular Expression. Theory Comput. Syst. 53 (2) (2013)
Stefan Gulan
Graphs Encoded by Regular Expressions. STACS (2011)
Hermann Gruber, Stefan Gulan
Simplifying Regular Expressions. LATA (2010)
Stefan Gulan, Henning Fernau
An Optimal Construction of Finite Automata from Regular Expressions. FSTTCS (2008)
Stefan Gulan, Henning Fernau
Local elimination-strategies in automata for shorter regular expressions. SOFSEM (2) (2008)