dblp.uni-trier.dewww.uni-trier.de

Thomas Stauner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
27EEAlexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71
26EEAlexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146
25EEAlexander 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
24EEMartin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner: 3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE 2006: 1034
23EEMartin 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
20EEAlexander 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
19EEChris Salzmann, Thomas Stauner, Alexander Pretschner: 2nd international workshop on software engineering for automotive systems. ICSE 2005: 695
18EEAlexander 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
17EEChris Salzmann, Thomas Stauner, Alexander Pretschner: ICSE Workshop: Software Engineering for Automotive Systems. ICSE 2004: 779
16EEStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
15EEStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
14EEAlexander 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)
13EEThomas Stauner: Properties of Hybrid Systems-A Computer Science Perspective. Formal Methods in System Design 24(3): 223-259 (2004)
2003
12EEGabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner: Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping 2003: 78-
2002
11EEThomas Stauner: Discrete-Time Refinement of Hybrid Automata. HSCC 2002: 407-420
10EEMichael 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
8EEThomas 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
6EERadu 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
3EEThomas Stauner, Christoph Grimm: Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. Electr. Notes Theor. Comput. Sci. 28: (1999)
1998
2EERadu 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

Coauthor Index

1Michael Baldamus [10]
2M. Baumgartner [20]
3Manfred Broy [2] [27]
4Stephen A. Edwards [15] [16] [22]
5Max Fuchs [1]
6Christoph Grimm [3]
7Radu Grosu [2] [6] [9]
8Gabor Hahn [12]
9Nicolas Halbwachs [15] [16] [22]
10Amen Hamdan [21]
11Reinhard von Hanxleden [15] [16] [22]
12Jens Heidrich [21]
13Michaela Huhn [4]
14Ingolf Krüger (Ingolf H. Krüger) [6] [27]
15Christian Kühnel [20]
16Olaf Müller [1]
17Istran Péter [7]
18Jan Philipps [12]
19Wolfgang Prenninger [20]
20Alexander Pretschner [7] [12] [14] [17] [18] [19] [20] [23] [24] [25] [26] [27]
21Martin Rappl [23] [24]
22Chris Salzmann [14] [17] [18] [19] [23] [24] [25] [26]
23Bernhard Schätz [25] [26]
24Klaus Schneider [4]
25B. Sostawa [20]
26Stefan Wagner [20]
27Axel Wickenkamp [21]
28R. Zölch [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)