Stefan Gulan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2008–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SAFECOMP | Model-Based Analysis for Safety Critical Software. | Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman |
| 2014 | ICSE | RegViz: visual debugging of regular expressions. | Fabian Beck, Stefan Gulan, Benjamin Biegel, Sebastian Baltes, Daniel Weiskopf |
| 2013 | INDIN | Graphical modelling meets formal methods. | Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze |
| 2011 | STACS | Graphs Encoded by Regular Expressions. | Stefan Gulan |
| 2010 | LATA | Simplifying Regular Expressions. | Hermann Gruber, Stefan Gulan |
| 2008 | SOFSEM | Local elimination-strategies in automata for shorter regular expressions. | Stefan Gulan, Henning Fernau |