Thomas Stauner Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2007
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner: 3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE 2006: 1034
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004 IBFI, Schloss Dagstuhl, Germany 2005
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmen Hamdan, Jens Heidrich, Thomas Stauner, Axel Wickenkamp: Erfahrungen mit der Messung der Wartbarkeit von Steuergeräte-Software. GI Jahrestagung (2) 2005: 171-175
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Salzmann, Thomas Stauner, Alexander Pretschner: 2nd international workshop on software engineering for automotive systems. ICSE 2005: 695
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Salzmann, Thomas Stauner, Alexander Pretschner: ICSE Workshop: Software Engineering for Automotive Systems. ICSE 2004: 779
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Stauner: Properties of Hybrid Systems-A Computer Science Perspective. Formal Methods in System Design 24(3): 223-259 (2004)
2003
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner: Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping 2003: 78-
2002
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Stauner: Discrete-Time Refinement of Hybrid Automata. HSCC 2002: 407-420
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Baldamus, Thomas Stauner: Modifying Esterel Concepts to Model Hybrid Systems. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Stauner: Hybrid Systems' Properties - Classification and Relation to Computer Science. EUROCAST 2001: 79-93
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Stauner, Alexander Pretschner, Istran Péter: Approaching a Discrete-Continuous UML: Tool Support and Formalization. pUML 2001: 242-257
2000
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Ingolf Krüger, Thomas Stauner: Hybrid Sequence Charts. ISORC 2000: 104-
1999
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Stauner: Specification of (parts of) a Lip-Sync Protocol Using HyCharts. FBT 1999: 213-222
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Stauner, Klaus Schneider, Michaela Huhn: Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT 1999: 223-232
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Stauner, Christoph Grimm: Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. Electr. Notes Theor. Comput. Sci. 28: (1999)
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Thomas Stauner, Manfred Broy: A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91
1997
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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 © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)