Real-Time and Embedded Systems

Publications

Note: This list is no longer maintained. Please visit the KIELER annotated bibliography or the RTSYS publications lists for a current overview.

Publications

[1]   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, October 2007.

[2]   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, September 2007.

[3]   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 2007), Berlin, Germany, July 2007. With accompanying presentation.

[4]   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, April 2007. With accompanying poster.

[5]   Steffen Prochnow, Gunnar Schaefer, 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, October 2006.

[6]   Steffen Prochnow, 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, June 2006.

[7]   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, March 2006.

[8]   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, June 2004. http://www.informatik.uni-kiel.de/uploads/tx_publication/2004_tr06.pdf.

Presentations

[1]   Reinhard von Hanxleden. Efficient development of Statechart models: A comparative study. In International Open Workshop on Synchronous Programming (SYNCHRON’07), Bamberg, November 2007. http://www.gdi.wiai.uni-bamberg.de/Synchron2007/Talks-SYNCHRON/vonHanxleded.pdf.

[2]   Reinhard von Hanxleden. Visual Modeling of Complex Systems: The Kiel System. Presentation at the Center for Hybrid and Embedded Software Systems, October 2007. http://chess.eecs.berkeley.edu/pubs/349.html.

[3]   Steffen Prochnow. KIEL: Final Reflections. Real-Time Systems and Embedded Systems Group, 2007. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0706-spr/talk.pdf.

[4]   Steffen Prochnow. Usability Analysis of KIEL. Real-Time Systems and Embedded Systems Group, January 2007. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0701-spr/talk.pdf.

[5]   Karsten Heymann. Bachelor-Kolloquium: “Verwendung dynamisch erzeugter KIEL-Statecharts in LATEX”. Real-Time Systems and Embedded Systems Group, March 2007. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/bachelor-0703-khe/talk.pdf.

[6]   Steffen Prochnow. KIEL—Assistance in Modeling Statecharts not only for Graphics. Real-Time Systems and Embedded Systems Group, July 2006. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0607-spr/talk.pdf.

[7]   Karsten Heymann. Bachelor’s project progress report: “Neuimplementierung von KIELs Konfigurationssystem”. Real-Time Systems and Embedded Systems Group, May 2006. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0605-khe/talk.pdf.

[8]   Ken Bell. Überprüfung Syntaktischer Robustheit von Statecharts auf der Basis von OCL. Real-Time Systems and Embedded Systems Group, May 2006. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0605-kbe/talk.pdf.

[9]   Gunnar Schaefer. Statechart Style Checking – Automated Semantic Robusness Analysis of Statecharts. Real-Time Systems and Embedded Systems Group, May 2006. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0605-gsc/talk.pdf.

[10]   Karsten Heymann. Bachelor’s project progress report: “Automatized Rendering of Statechart Code in LATEX Documents with KIEL”. Real-Time Systems and Embedded Systems Group, January 2006. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0601-khe/talk.pdf.

[11]   Mirko Wischer. Strukturbasiertes Editieren. Real-Time Systems and Embedded Systems Group, January 2006. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0601-miwi/talk.pdf.

[12]   Adrian Posor. Erweiterung von KIEL um Stateflow-Charts. Real-Time Systems and Embedded Systems Group, December 2005. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0512-apo/talk.pdf.

[13]   Steffen Prochnow and Claus Traulsen. KIEL—Textual and Graphical Representations of Statecharts. In 12th Synchronous Workshop (SYNCHRON’05), Malta, November 2005. http://www.cs.um.edu.mt/~synchrone05/Presentations/15-SteffenProchnow.pdf.

[14]   Steffen H. Prochnow. KIEL—Textual and Graphical Representations of Statecharts. Real-Time Systems and Embedded Systems Group, November 2005. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0511-spr/talk.pdf.

[15]   Steffen H. Prochnow. KIEL – Vizualizing dynamics of Statecharts. Real-Time Systems and Embedded Systems Group, May 2005. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0505-spr/talk.pdf.

[16]   Tobias Kloss. Automatisiertes Layout von Statecharts unter der Verwendung von GraphViz. Real-Time Systems and Embedded Systems Group, May 2005. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0505-tkl/talk.pdf.

[17]   Reinhard von Hanxleden. Graphical Modeling of Complex Reactive Systems. Universität Salzburg, April 2005. Available from: http://www.cs.uni-salzburg.at/announcements/Slides_vonHanxleden_060605.pdf.

[18]   Mirko Wischer. Ein Browser für KIEL. Real-Time Systems and Embedded Systems Group, April 2005. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0504-miwi/talk.pdf.

[19]   Lars Kühl. Erzeugung von Statecharts aus Esterel. Real-Time Systems and Embedded Systems Group, April 2005. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0504-lku/talk.pdf.

[20]   Steffen H. Prochnow. KIEL – Vizualizing dynamics of Statecharts. Real-Time Systems and Embedded Systems Group, January 2005. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0501-spr/talk.pdf.

[21]   Florian Lüpke. Implementierung eines Statechart-Editors mit layoutbasierten Bearbeitungshilfen. Real-Time Systems and Embedded Systems Group, January 2005. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0501-flu/talk.pdf.

[22]   Lars Kühl. Erzeugung von Statecharts aus Esterel. Real-Time Systems and Embedded Systems Group, December 2004. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0412-lku/talk.pdf.

[23]   André Ohlhoff. Verhaltenssimulator für SyncCharts. Real-Time Systems and Embedded Systems Group, December 2004. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0412-aoh/talk.pdf.

[24]   Mirko Wischer. Ein Browser für KIEL. Real-Time Systems and Embedded Systems Group, December 2004. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0412-miwi/talk.pdf.

[25]   Tobias Kloss. Kiel Integrated Environment for Layout – DotLayouter. Real-Time Systems and Embedded Systems Group, December 2004. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0412-tkl/talk.pdf.

[26]   Steffen H. Prochnow. Visualizing dynamics of Statecharts. Real-Time Systems and Embedded Systems Group, July 2004. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0407-spr.pdf.

[27]   Mirko Wischer. A graphical Browser for Simulations with KIEL. Real-Time Systems and Embedded Systems Group, June 2004. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0406-miwi.pdf.

[28]   Tobias Kloss. Automatic Layout of Statecharts using GraphViz. Real-Time Systems and Embedded Systems Group, June 2004. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0406-tkl.pdf.

[29]   Steffen H. Prochnow. Dynamic Charts. Real-Time Systems and Embedded Systems Group, January 2004. Available from: http://rtsys.informatik.uni-kiel.de/~rt-kiel/kiel/documents/talks/oberseminar-0401-spr.pdf.

[30]   Reinhard von Hanxleden. Graphical languages for modeling complex systems. 10th Workshop on Synchronous Programming SYNCHRON’03, CIRM, Marseille-Luminy, France, December 1-5, 2003, January 2004. Abstract: http://www-verimag.imag.fr/PEOPLE/Nicolas.Halbwachs/SYNCHRON03/Abstracts/vonhanxleden.html. Available from: http://www-verimag.imag.fr/PEOPLE/Nicolas.Halbwachs/SYNCHRON03/Slides/vonhanxleden.pdf.