direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dipl.-Inform. Rodger Burmeister

Email: burmeister@fzi.de

 

Forschungszentrum Informatik, Aussenstelle Berlin

Gastwissenschaftler an der TU Berlin

 

 

Publikationen

Burmeister, R. (2013). ReActor: A notation for the specifications of actor systems and its semantics. Software Engineering 2013 - Fachtagung des GI-Fachbereichs Softwaretechnik. Köllen Druck+Verlag GmbH, 127-142.


Burmeister, R. and Helke, S. (2012). The Observer Pattern applied to actor systems: A TLA/TLC-based implementation analysis. Proc. International Conference on Theoretical Aspects of Software Engineering (TASE 2012). IEEE Computer Society.


Jähnichen, S. and Brieß, K. and Burmeister, R. (2008). Flying Sensors - Swarms in Space. Autonomous Systems - Self Organization, Management, and Control. Springer Heidelberg, New York, 71-77.


Lehre

Softwaretechnik
WiSe 2006/07

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe