Thomas Stauner

ORCID

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 3

Top Venues

CoRR

SAFECOMP Workshops

CSCS

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

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)
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)
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 (2017)
Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion (2007)
Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
Intl. ICSE workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Softw. Eng. Notes 32 (4) (2007)
Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner
Software Engineering for Automotive Systems: A Roadmap. FOSE (2007)
Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner
3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE (2006)
Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner
Intl. ICSE workshop on software engineering for automotive systems. ACM SIGSOFT Softw. Eng. Notes 31 (5) (2006)
Amen Hamdan, Jens Heidrich, Thomas Stauner, Axel Wickenkamp
Erfahrungen mit der Messung der Wartbarkeit von Steuergeräte-Software. GI Jahrestagung (2) (2005)
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)
Christian Salzmann, Thomas Stauner, Alexander Pretschner
2nd international workshop on software engineering for automotive systems. ICSE (2005)
Alexander Pretschner, Christian Salzmann, Thomas Stauner
2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Thomas Stauner
Properties of Hybrid Systems-A Computer Science Perspective. Formal Methods Syst. Des. 24 (3) (2004)
Alexander Pretschner, Christian Salzmann, Thomas Stauner
Software engineering for automotive systems at ICSE 2004 workshop summary. ACM SIGSOFT Softw. Eng. Notes 29 (5) (2004)
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON (2004)
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON (2004)
Christian Salzmann, Thomas Stauner, Alexander Pretschner
ICSE Workshop: Software Engineering for Automotive Systems. ICSE (2004)
Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping (2003)
Thomas Stauner
Discrete-Time Refinement of Hybrid Automata. HSCC (2002)
Michael Baldamus, Thomas Stauner
Modifying Esterel Concepts to Model Hybrid Systems. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Radu Grosu, Thomas Stauner
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. Formal Methods Syst. Des. 21 (1) (2002)
Thomas Stauner, Alexander Pretschner, Istran Péter
Approaching a Discrete-Continuous UML: Tool Support and Formalization. pUML (2001)
Thomas Stauner
Hybrid Systems' Properties - Classification and Relation to Computer Science. EUROCAST (2001)
Thomas Stauner
Systematic development of hybrid systems. Ausgezeichnete Informatikdissertationen (2001)
Radu Grosu, Ingolf Krüger, Thomas Stauner
Hybrid Sequence Charts. ISORC (2000)
Christoph Grimm, Thomas Stauner
Übersetzung von HyCharts in HDFG. MBMV (2000)
Thomas Stauner, Klaus Schneider, Michaela Huhn
Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT (1999)
Radu Grosu, Ingolf Krüger, Thomas Stauner
Requirements specification of an automotive system with hybrid sequence charts. WORDS (Fall) (1999)
Thomas Stauner, Christoph Grimm
Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. Electron. Notes Theor. Comput. Sci. 28 (1999)
Manfred Broy, Thomas Stauner
Requirements Engineering für eingebettete Systeme. Informationstechnik Tech. Inform. 41 (2) (1999)
Thomas Stauner
Specification of (parts of) a Lip-Sync Protocol Using HyCharts. FBT (1999)
Radu Grosu, Thomas Stauner, Manfred Broy
A Modular Visual Model for Hybrid Systems. FTRTFT (1998)
Thomas Stauner, Olaf Müller, Max Fuchs
Using HYTECH to Verify an Automative Control System. HART (1997)

Thomas Stauner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Stauner