Stefan Gulan

According to our database, Stefan Gulan authored at least 8 papers between 2008 and 2015.

Collaborative distances:

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

2015

Model-Based Analysis for Safety Critical Software.

Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

RegViz: visual debugging of regular expressions.

Fabian Beck, Stefan Gulan, Benjamin Biegel, Sebastian Baltes, Daniel Weiskopf

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Series Parallel Digraphs with Loops - Graphs Encoded by Regular Expression.

Stefan Gulan

Theory Comput. Syst., 2013

Graphical modelling meets formal methods.

Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2011

Graphs Encoded by Regular Expressions.

Stefan Gulan

Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

2010

Simplifying Regular Expressions.

Hermann Gruber, Stefan Gulan

Proceedings of the Language and Automata Theory and Applications, 2010

2008

Local elimination-strategies in automata for shorter regular expressions.

Stefan Gulan, Henning Fernau

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Volume II, 2008

An Optimal Construction of Finite Automata from Regular Expressions.

Stefan Gulan, Henning Fernau

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008