Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Thomas Stauner
2000 – 2009
- 2007
[j8]Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th Intl. ICSE workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Software Engineering Notes 32(4): 40 (2007)- [c20]Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71
- [c19]Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146
- 2006
- [j7]Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner: 3rd Intl. ICSE workshop on software engineering for automotive systems. ACM SIGSOFT Software Engineering Notes 31(5): 22-23 (2006)
- [c18]Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner: 3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE 2006: 1034
- 2005
- [j6]Alexander Pretschner, Chris Salzmann, Thomas Stauner: 2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-2 (2005)
- [c17]Amen Hamdan, Jens Heidrich, Thomas Stauner, Axel Wickenkamp: Erfahrungen mit der Messung der Wartbarkeit von Steuergeräte-Software. GI Jahrestagung (2) 2005: 171-175
- [c16]Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, Thomas Stauner: One evaluation of model-based testing and its automation. ICSE 2005: 392-401
- [c15]Chris Salzmann, Thomas Stauner, Alexander Pretschner: 2nd international workshop on software engineering for automotive systems. ICSE 2005: 695
- [e1]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner (Eds.): Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Dagstuhl Seminar Proceedings 04491, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
- 2004
- [j5]Thomas Stauner: Properties of Hybrid Systems-A Computer Science Perspective. Formal Methods in System Design 24(3): 223-259 (2004)
- [j4]Alexander Pretschner, Chris Salzmann, Thomas Stauner: Software engineering for automotive systems at ICSE 2004 workshop summary. ACM SIGSOFT Software Engineering Notes 29(5): 1-2 (2004)
- [c14]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
- [c13]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
- [c12]Chris Salzmann, Thomas Stauner, Alexander Pretschner: ICSE Workshop: Software Engineering for Automotive Systems. ICSE 2004: 779
- 2003
- [c11]Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner: Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping 2003: 78-
- 2002
- [j3]Michael Baldamus, Thomas Stauner: Modifying Esterel Concepts to Model Hybrid Systems. Electr. Notes Theor. Comput. Sci. 65(5): 35-49 (2002)
- [j2]Radu Grosu, Thomas Stauner: Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. Formal Methods in System Design 21(1): 5-38 (2002)
- [c10]
- 2001
- [b1]Thomas Stauner: Systematic development of hybrid systems. TU München 2001, pp. I-V, 1-266
- [c9]Thomas Stauner: Hybrid Systems' Properties - Classification and Relation to Computer Science. EUROCAST 2001: 79-93
- [c8]Thomas Stauner, Alexander Pretschner, Istran Péter: Approaching a Discrete-Continuous UML: Tool Support and Formalization. pUML 2001: 242-257
- 2000
- [c7]
- [c6]
1990 – 1999
- 1999
- [j1]Thomas Stauner, Christoph Grimm: Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. Electr. Notes Theor. Comput. Sci. 28: 81-100 (1999)
- [c5]
- [c4]Thomas Stauner, Klaus Schneider, Michaela Huhn: Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT 1999: 223-232
- [c3]Radu Grosu, Ingolf Krüger, Thomas Stauner: Requirements specification of an automotive system with hybrid sequence charts. WORDS (Fall) 1999: 149-151
- 1998
- [c2]Radu Grosu, Thomas Stauner, Manfred Broy: A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91
- 1997
- [c1]Thomas Stauner, Olaf Müller, Max Fuchs: Using HYTECH to Verify an Automative Control System. HART 1997: 139-153
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:55 CEST by the dblp team