Towards Modularized Verification of Distributed Time-Triggered Systems. - Jewgenij Botaschanjan; Alexander Gruler; Alexander Harhurin; Leonid Kof; Maria Spichkova; David Trachtenherz (FM, 2006)

Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs. - Richard Bogenberger; David Trachtenherz (Modellierung, 2006)

Model-Based Quality Assurance of Automotive Software. - Jan Jürjens; Daniel Reiß; David Trachtenherz (MoDELS, 2008)

Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme. - David Trachtenherz (Vieweg + Teubner, 2009)

Formale Semantik modularer Zeitverfeinerung in AutoFocus. - David Trachtenherz (Software Engineering, 2010)

Interval Temporal Logic on Natural Numbers. - David Trachtenherz (Arch. Formal Proofs, 2011)

AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics. - David Trachtenherz (Arch. Formal Proofs, 2011)

Infinite Lists. - David Trachtenherz (Arch. Formal Proofs, 2011)

Verified System Development with the AutoFocus Tool Chain - Maria Spichkova; Florian Hölzl; David Trachtenherz (WS-FMDS, 2012)

Formal semantics of modular time refinement in AutoFocus. - David Trachtenherz (Comput. Sci. Res. Dev., 2013)