David Trachtenherz

According to our database, David Trachtenherz authored at least 10 papers between 2006 and 2013.

Collaborative distances:

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

2013

Formal semantics of modular time refinement in AutoFocus.

David Trachtenherz

Comput. Sci. Res. Dev., 2013

2012

Verified System Development with the AutoFocus Tool Chain

Maria Spichkova, Florian Hölzl, David Trachtenherz

Proceedings of the Proceedings 2nd Workshop on Formal Methods in the Development of Software, 2012

2011

Infinite Lists.

David Trachtenherz

Arch. Formal Proofs, 2011

AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics.

David Trachtenherz

Arch. Formal Proofs, 2011

Interval Temporal Logic on Natural Numbers.

David Trachtenherz

Arch. Formal Proofs, 2011

2010

Formale Semantik modularer Zeitverfeinerung in AutoFocus.

David Trachtenherz

Proceedings of the Software Engineering 2010, 2010

2009

Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme.

David Trachtenherz

PhD thesis, 2009

2008

Model-Based Quality Assurance of Automotive Software.

Jan Jürjens, Daniel Reiß, David Trachtenherz

Proceedings of the Model Driven Engineering Languages and Systems, 2008

2006

Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs.

Richard Bogenberger, David Trachtenherz

Proceedings of the Modellierung 2006, 2006

Towards Modularized Verification of Distributed Time-Triggered Systems.

Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz

Proceedings of the FM 2006: Formal Methods, 2006