Rodger Burmeister

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Formal Languages

Quantitative Analysis

Top Venues

Software Engineering

Publications

Rodger Burmeister
ReActor: A notation for the specification of actor systems and its semantics. Software Engineering (2013)
Rodger Burmeister, Steffen Helke
The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis. TASE (2012)
Rodger Burmeister
Quality Assurance for Concurrent Software - An Actor-Based Approach. SJTU-TUB Joint Workshop (2008)
Stefan Jähnichen, Klaus Brieß, Rodger Burmeister
Flying Sensors - Swarms in Space. SJTU-TUB Joint Workshop (2008)
Rodger Burmeister, Christoph Pohl, Siegfried Bublitz, Pascale Hugues
SNOW - A Multimodal Approach for Mobile Maintenance Applications. WETICE (2006)