Books, Articles and Conference papers

The list of publications is also available as Postscript document.


2011

H. Neemann, M. Schultjan, O.J.L. Riemann, A. Wichmann, C. Neuenstadt, B. Katzmarski, A. Galkin, and F.H. Wenk. Software-Analyse und Transformation. In Software-Analyse und Transformation (Tagungsband des gemeinsamen NASA Seminars der Softwaretechnik-Abteilungen der Universitäten Bremen, Hamburg-Harburg und Oldenburg). OLNSE, 2010.
Bibtex entry  Abstract  Paper (PDF)


2009

Volker Menrad, Miguel Garcia, and Sibylle Schupp. Improving TinyOS Developer Productivity with Statecharts.
Bibtex entry  Abstract  Paper (PDF)




 


Thanks to Sebastian Brandt, TU Dresden, Chair for Automata Theory, for providing us with the scripts to generate this list.




Generated at Mi 13. Mai 16:34:11 CEST 2015.