default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Stauner
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2001
[b1]Thomas Stauner:
Systematic development of hybrid systems. Technical University Munich, Germany, 2001, pp. I-V, 1-266
Journal Articles
- 2007
- [j7]Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner:
4th Intl. ICSE workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Softw. Eng. Notes 32(4): 40 (2007) - 2006
- [j6]Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner:
3rd Intl. ICSE workshop on software engineering for automotive systems. ACM SIGSOFT Softw. Eng. Notes 31(5): 22-23 (2006) - 2005
- [j5]Alexander Pretschner, Christian Salzmann, Thomas Stauner
:
2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-2 (2005) - 2004
- [j4]Thomas Stauner:
Properties of Hybrid Systems-A Computer Science Perspective. Formal Methods Syst. Des. 24(3): 223-259 (2004) - [j3]Alexander Pretschner, Christian Salzmann, Thomas Stauner:
Software engineering for automotive systems at ICSE 2004 workshop summary. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-2 (2004) - 2002
- [j2]Radu Grosu, Thomas Stauner:
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. Formal Methods Syst. Des. 21(1): 5-38 (2002) - 1999
- [j1]Manfred Broy, Thomas Stauner:
Requirements Engineering für eingebettete Systeme. Informationstechnik Tech. Inform. 41(2): 7-11 (1999)
Conference and Workshop Papers
- 2022
- [c22]Thomas Stauner, Frédérik Blank, Michael Fürst, Johannes Günther, Korbinian Hagn, Philipp Heidenreich, Markus Huber, Bastian Knerr, Thomas Schulik, Karl-Ferdinand Leiß:
SynPeDS: A Synthetic Dataset for Pedestrian Detection in Urban Traffic Scenes. CSCS 2022: 2:1-2:10 - 2021
- [c21]Michael Mock, Stephan Scholz, Frédérik Blank, Fabian Hüger, Andreas J. Rohatschek, Loren Schwarz, Thomas Stauner:
An Integrated Approach to a Safety Argumentation for AI-Based Perception Functions in Automated Driving. SAFECOMP Workshops 2021: 265-271 - 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, Christian Salzmann, Bernhard Schätz, Thomas Stauner:
4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146 - 2006
- [c18]Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner:
3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE 2006: 1034 - 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, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner:
One evaluation of model-based testing and its automation. ICSE 2005: 392-401 - [c15]Christian Salzmann, Thomas Stauner, Alexander Pretschner:
2nd international workshop on software engineering for automotive systems. ICSE 2005: 695 - 2004
- [c14]Christian Salzmann, Thomas Stauner, Alexander Pretschner:
ICSE Workshop: Software Engineering for Automotive Systems. ICSE 2004: 779 - 2003
- [c13]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
- [c12]Thomas Stauner:
Discrete-Time Refinement of Hybrid Automata. HSCC 2002: 407-420 - [c11]Michael Baldamus, Thomas Stauner:
Modifying Esterel Concepts to Model Hybrid Systems. SLAP@ETAPS 2002: 35-49 - 2001
- [c10]Thomas Stauner:
Hybrid Systems' Properties - Classification and Relation to Computer Science. EUROCAST 2001: 79-93 - [c9]Thomas Stauner, Alexander Pretschner, Istran Péter:
Approaching a Discrete-Continuous UML: Tool Support and Formalization. pUML 2001: 242-257 - 2000
- [c8]Radu Grosu, Ingolf Krüger, Thomas Stauner:
Hybrid Sequence Charts. ISORC 2000: 104- - [c7]Christoph Grimm, Thomas Stauner:
Übersetzung von HyCharts in HDFG. MBMV 2000: 141-151 - 1999
- [c6]Thomas Stauner:
Specification of (parts of) a Lip-Sync Protocol Using HyCharts. FBT 1999: 213-222 - [c5]Thomas Stauner, Klaus Schneider, Michaela Huhn:
Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT 1999: 223-232 - [c4]Radu Grosu, Ingolf Krüger, Thomas Stauner:
Requirements specification of an automotive system with hybrid sequence charts. WORDS (Fall) 1999: 149-151 - [c3]Thomas Stauner, Christoph Grimm:
Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. WDS@FCT 1999: 81-100 - 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
Parts in Books or Collections
- 2001
- [p1]Thomas Stauner:
Systematic development of hybrid systems. Ausgezeichnete Informatikdissertationen 2001: 185-194
Editorship
- 2005
- [e1]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Dagstuhl Seminar Proceedings 04491, IBFI, Schloss Dagstuhl, Germany 2005 [contents]
Informal and Other Publications
- 2017
- [i3]Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner:
One evaluation of model-based testing and its automation. CoRR abs/1701.06815 (2017) - 2004
- [i2]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004 - [i1]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
