Steffen Prochnow

According to our database, Steffen Prochnow authored at least 5 papers between 2006 and 2008.

Collaborative distances:

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

2008

Efficient development of complex statecharts.

Steffen Prochnow

PhD thesis, 2008

2007

Statechart Development Beyond WYSIWYG.

Steffen Prochnow, Reinhard von Hanxleden

Proceedings of the Model Driven Engineering Languages and Systems, 2007

The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study.

Steffen Prochnow, Reinhard von Hanxleden

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

2006

Synthesizing safe state machines from Esterel.

Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Comfortable modeling of complex reactive systems.

Steffen Prochnow, Reinhard von Hanxleden

Proceedings of the Conference on Design, Automation and Test in Europe, 2006