 | 2007 |
|---|
| 27 |       | Alexander Pretschner,
Manfred Broy,
Ingolf H. Krüger,
Thomas Stauner:
Software Engineering for Automotive Systems: A Roadmap.
FOSE 2007: 55-71 |
| 26 | | Alexander Pretschner,
Chris Salzmann,
Bernhard Schätz,
Thomas Stauner:
4th International ICSE Workshop on Software Engineering for Automotive Systems.
ICSE Companion 2007: 146 |
| 25 | | 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) |
| 2006 |
|---|
| 24 | | Martin Rappl,
Alexander Pretschner,
Chris Salzmann,
Thomas Stauner:
3rd international workshop on software engineering for automotive systems - SEAS 2006.
ICSE 2006: 1034 |
| 23 | | 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) |
| 2005 |
|---|
| 22 |  | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004
IBFI, Schloss Dagstuhl, Germany 2005 |
| 21 | | Amen Hamdan,
Jens Heidrich,
Thomas Stauner,
Axel Wickenkamp:
Erfahrungen mit der Messung der Wartbarkeit von Steuergeräte-Software.
GI Jahrestagung (2) 2005: 171-175 |
| 20 | | 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 |
| 19 | | Chris Salzmann,
Thomas Stauner,
Alexander Pretschner:
2nd international workshop on software engineering for automotive systems.
ICSE 2005: 695 |
| 18 | | 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) |
| 2004 |
|---|
| 17 | | Chris Salzmann,
Thomas Stauner,
Alexander Pretschner:
ICSE Workshop: Software Engineering for Automotive Systems.
ICSE 2004: 779 |
| 16 | | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
| 15 | | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Executive Summary - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
| 14 | | 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) |
| 13 | | Thomas Stauner:
Properties of Hybrid Systems-A Computer Science Perspective.
Formal Methods in System Design 24(3): 223-259 (2004) |
| 2003 |
|---|
| 12 | | 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 |
|---|
| 11 | | Thomas Stauner:
Discrete-Time Refinement of Hybrid Automata.
HSCC 2002: 407-420 |
| 10 | | Michael Baldamus,
Thomas Stauner:
Modifying Esterel Concepts to Model Hybrid Systems.
Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
| 9 | | 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) |
| 2001 |
|---|
| 8 | | Thomas Stauner:
Hybrid Systems' Properties - Classification and Relation to Computer Science.
EUROCAST 2001: 79-93 |
| 7 | | Thomas Stauner,
Alexander Pretschner,
Istran Péter:
Approaching a Discrete-Continuous UML: Tool Support and Formalization.
pUML 2001: 242-257 |
| 2000 |
|---|
| 6 | | Radu Grosu,
Ingolf Krüger,
Thomas Stauner:
Hybrid Sequence Charts.
ISORC 2000: 104- |
| 1999 |
|---|
| 5 | | Thomas Stauner:
Specification of (parts of) a Lip-Sync Protocol Using HyCharts.
FBT 1999: 213-222 |
| 4 | | Thomas Stauner,
Klaus Schneider,
Michaela Huhn:
Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.
FBT 1999: 223-232 |
| 3 | | Thomas Stauner,
Christoph Grimm:
Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs.
Electr. Notes Theor. Comput. Sci. 28: (1999) |
| 1998 |
|---|
| 2 | | Radu Grosu,
Thomas Stauner,
Manfred Broy:
A Modular Visual Model for Hybrid Systems.
FTRTFT 1998: 75-91 |
| 1997 |
|---|
| 1 | | Thomas Stauner,
Olaf Müller,
Max Fuchs:
Using HYTECH to Verify an Automative Control System.
HART 1997: 139-153 |
