David Trachtenherz

Publication Activity (10 Years)

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

Top Topics

Intelligent Software

Modelling Language

Formal Semantics

Top Venues

Comput. Sci. Res. Dev.

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

David Trachtenherz
Formal semantics of modular time refinement in AutoFocus. Comput. Sci. Res. Dev. 28 (1) (2013)
Maria Spichkova, Florian Hölzl, David Trachtenherz
Verified System Development with the AutoFocus Tool Chain WS-FMDS (2012)
David Trachtenherz
AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics. Arch. Formal Proofs 2011 (2011)
David Trachtenherz
Infinite Lists. Arch. Formal Proofs 2011 (2011)
David Trachtenherz
Interval Temporal Logic on Natural Numbers. Arch. Formal Proofs 2011 (2011)
David Trachtenherz
Formale Semantik modularer Zeitverfeinerung in AutoFocus. Software Engineering (2010)
Jan Jürjens, Daniel Reiß, David Trachtenherz
Model-Based Quality Assurance of Automotive Software. MoDELS (2008)
Richard Bogenberger, David Trachtenherz
Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs. Modellierung (2006)
Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
Towards Modularized Verification of Distributed Time-Triggered Systems. FM (2006)