Sort by year type

___________________________________________________________________________________________________

 
2007

Steffen Prochnow and Reinhard von Hanxleden. Enhancements of Statechart-Modeling—The KIEL Environment. In Proceedings of the Design, Automation and Test in Europe University Booth (DATE’07), Nice, France, 2007. pdf, bib

 

Steffen Prochnow and Reinhard von Hanxleden. Enhancements of Statechart-Modeling—The KIEL Environment. In Proceedings of the ARTIST 2007 International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, held in conjunction with the 19th International Conference on Computer Aided Verification (CAV’07), , Berlin, Germany, 2007.  talk, bib

 

Steffen Prochnow and Reinhard von Hanxleden. The Use of Complex Stateflow-Charts with KIEL—An Automotive Case Study. In Proceedings of 5th GI-Workshop Automotive Software Engineering (ASE’07), Bremen, Germany, 2007. pdf, bib

 

Steffen Prochnow and Reinhard von Hanxleden. Statechart Development Beyond WYSIWYG. In Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS’07), Nashville, TN, USA, 2007. pdf, talk, bib

 
2006

Steffen Prochnow and Reinhard von Hanxleden. Comfortable Modeling of Complex Reactive Systems. In Proceedings of Design, Automation and Test in Europe (DATE’06), Munich, Germany, 2006. pdf, talk, bib

 

Steffen Prochnow and Claus Traulsen and Reinhard von Hanxleden. Synthesizing Safe State Machines from Esterel. In Proceedings of ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES’06), Ottawa, Canada, 2006. pdf, talk, bib

 

Stephan Höhrmann and Hauke Fuhrmann and Steffen Prochnow and Reinhard von Hanxleden. A Versatile Demonstrator for Distributed Real-Time Systems: Using a Model-Railway in Education. In Proceedings of the ERCIM/DECOS Dependable Embedded Systems Workshop at Euromicro 2006, Cavtat/Dubrovnik, Croatia, 2006. pdf, talk, bib

 

Steffen Prochnow and Gunnar Schaefer and Ken Bell and Reinhard von Hanxleden. Analyzing Robustness of UML State Machines. In Proceedings of the Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES’06), held in conjunction with the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2006), Genua, Italy, 2006. pdf, talk, bib

 
2005

Steffen Prochnow and Claus Traulsen. KIEL—Textual and Graphical Representations of Statecharts. Presentation at the 12th Synchronous Workshop (SYNCHRON’05), Malta, 2005.  talk, bib

 
2004

Steffen Prochnow and Reinhard von Hanxleden. Visualisierung komplexer reaktiver Systeme – Annotierte Bibliographie. Technical Report 0406, Christian-Albrechts-Universität Kiel, Department of Computer Science, Kiel, Germany, 2004. pdf, bib

 
2003

Steffen Prochnow. Modelltransformationen von Statecharts – Formale Regeln zur Übersetzung verschiedener Semantiken. Master’s Thesis, Technische Universität Carolo-Wilhelmina zu Braunschweig, Institute for Programming and Reactive Systems, Braunschweig, Germany, March 2003. www,  bib