Karsten Diethers

According to our database, Karsten Diethers authored at least 5 papers between 1999 and 2011.

Collaborative distances:

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

2011

Model Based Quality Assurance for a Robotic Software Architecture.

Jens Steiner, Karsten Diethers, Matthias Hagner, Ursula Goltz

Proceedings of the Robotic Systems for Handling and Assembly, 2011

2007

Werkzeuggestützte formale Analyse von Echtzeitsystemen.

Karsten Diethers

PhD thesis, 2007

2004

Middleware zur Realisierung offener Steuerungssoftware für hochdynamische Prozesse (Realizing Open Control Software for High Dynamic Processes with a Middleware).

Karsten Diethers, Bernd Finkemeyer, Nnamdi Kohn

it Inf. Technol., 2004

Vooduu: Verification of Object-Oriented Designs Using UPPAAL.

Karsten Diethers, Michaela Huhn

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

1999

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.

Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz

Proceedings of the «UML»'99: The Unified Modeling Language, 1999