TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

|    

2010

F. Hoelzl, M. Spichkova, D. Trachtenherz AutoFocus Tool Chain Technical Report, Technische Universitaet M?nchen, 2010 Technical Report   Details | Bibtex Entry

F. Hoelzl, M. Spichkova, D. Trachtenherz Safety-Critical System Development Methodology Technical Report, Technische Universität München, 2010 Technical Report   Details | Bibtex Entry

2009

M. Feilkas, A. Fleischmann, F. Hölzl, C. Pfaller, K. Scheidemann, M. Spichkova, D. Trachtenherz A Top-Down Methodology for the Development of Automotive Software Technical Report, Technische Universität München, 2009 Technical Report   Details | Bibtex Entry

David Trachtenherz Ausführungssemantik von AutoFocus-Modellen: Isabelle/HOL-Formalisierung und Äquivalenzbeweis Technical Report, Institut für Informatik, Technische Universität München, 2009 Technical Report   Details | Bibtex Entry

2008

Jan J{\\\"u}rjens and Daniel Rei{\\ss} and David Trachtenherz Model-Based Quality Assurance of Automotive Software In Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus V{\\\"o}lter (Eds.), pp. 858--873, lncs, volume 5301, Springer, 2008 Conference paper   Details | Bibtex Entry | Link

2006

Richard Bogenberger and David Trachtenherz Qualit{\\\"a}tssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene In Modellierung 2006, 22.-24. M{"a}rz 2006, Innsbruck, Tirol, Austria, Proceedings , Heinrich C. Mayr and Ruth Breu (Eds.), pp. 35--49, Lecture Notes in Informatics, volume 82, GI, 2006 Conference paper   Details | Bibtex Entry | Link

Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz Towards Modularized Verification of Distributed Time-Triggered Systems In FM 2006: Formal Methods, pp. 163-178, Springer Verlag, 2006 Conference paper   Details | Bibtex Entry | Link