Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. - Thomas Firley; Michaela Huhn; Karsten Diethers; Thomas Gehrke; Ursula Goltz (UML, 1999)

Vooduu: Verification of Object-Oriented Designs Using UPPAAL. - Karsten Diethers; Michaela Huhn (TACAS, 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)

Werkzeuggestützte formale Analyse von Echtzeitsystemen. - Karsten Diethers (2007)

Model Based Quality Assurance for a Robotic Software Architecture. - Jens Steiner; Karsten Diethers; Matthias Hagner; Ursula Goltz (Robotic Systems for Handling and Assembly, 2011)