Rodger Burmeister

According to our database, Rodger Burmeister authored at least 5 papers between 2006 and 2013.

Collaborative distances:

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

2013

ReActor: A notation for the specification of actor systems and its semantics.

Rodger Burmeister

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

2012

The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis.

Rodger Burmeister, Steffen Helke

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2008

Flying Sensors - Swarms in Space.

Stefan Jähnichen, Klaus Brieß, Rodger Burmeister

Proceedings of the Autonomous Systems, 2008

Quality Assurance for Concurrent Software - An Actor-Based Approach.

Rodger Burmeister

Proceedings of the Autonomous Systems, 2008

2006

SNOW - A Multimodal Approach for Mobile Maintenance Applications.

Rodger Burmeister, Christoph Pohl, Siegfried Bublitz, Pascale Hugues

Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006