Thomas Stauner

35 papers A* 4C 2Journal 8Unranked 18
YearRankTypeTitle / Venue / Authors
2022 — conf
SynPeDS: A Synthetic Dataset for Pedestrian Detection in Urban Traffic Scenes.
CSCS
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ß
2021 — conf
An Integrated Approach to a Safety Argumentation for AI-Based Perception Functions in Automated Driving.
SAFECOMP Workshops
Michael Mock, Stephan Scholz, Frédérik Blank, Fabian Hüger, Andreas J. Rohatschek, Loren Schwarz, Thomas Stauner
2017 J jnl
One evaluation of model-based testing and its automation.
CoRR
Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner
2007 J jnl
4
ACM SIGSOFT Softw. Eng. Notes
Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
2007 — conf
4th International ICSE Workshop on Software Engineering for Automotive Systems.
ICSE Companion
Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
2007 — conf
Software Engineering for Automotive Systems: A Roadmap.
FOSE
Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner
2006 J jnl
3
ACM SIGSOFT Softw. Eng. Notes
Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner
2006 A* conf
3rd international workshop on software engineering for automotive systems - SEAS 2006.
ICSE
Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner
2005 J jnl
2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems.
ACM SIGSOFT Softw. Eng. Notes
Alexander Pretschner, Christian Salzmann, Thomas Stauner
2005 A* conf
2nd international workshop on software engineering for automotive systems.
ICSE
Christian Salzmann, Thomas Stauner, Alexander Pretschner
2005 — conf
Erfahrungen mit der Messung der Wartbarkeit von Steuergeräte-Software.
GI Jahrestagung (2)
Amen Hamdan, Jens Heidrich, Thomas Stauner, Axel Wickenkamp
2005 A* conf
One evaluation of model-based testing and its automation.
ICSE
Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner
2005 — ed.
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004
SYNCHRON
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
2004 — conf
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.
SYNCHRON
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
2004 — conf
04491 Executive Summary - Synchronous Programming - SYNCHRON'04.
SYNCHRON
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
2004 A* conf
ICSE Workshop: Software Engineering for Automotive Systems.
ICSE
Christian Salzmann, Thomas Stauner, Alexander Pretschner
2004 J jnl
Properties of Hybrid Systems-A Computer Science Perspective.
Formal Methods Syst. Des.
Thomas Stauner
2004 J jnl
Software engineering for automotive systems at ICSE 2004 workshop summary.
ACM SIGSOFT Softw. Eng. Notes
Alexander Pretschner, Christian Salzmann, Thomas Stauner
2003 C conf
Prototype-Based Tests for Hybrid Reactive Systems.
IEEE International Workshop on Rapid System Prototyping
Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
2002 — conf
Discrete-Time Refinement of Hybrid Automata.
HSCC
Thomas Stauner
2002 — conf
Modifying Esterel Concepts to Model Hybrid Systems.
SLAP
Michael Baldamus, Thomas Stauner
2002 J jnl
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts.
Formal Methods Syst. Des.
Radu Grosu, Thomas Stauner
2001 — conf
Approaching a Discrete-Continuous UML: Tool Support and Formalization.
pUML
Thomas Stauner, Alexander Pretschner, Istran Péter
2001 — conf
Hybrid Systems' Properties - Classification and Relation to Computer Science.
EUROCAST
Thomas Stauner
2001 — —
Systematic development of hybrid systems.
Thomas Stauner
2001 — ch.
Systematic development of hybrid systems.
Ausgezeichnete Informatikdissertationen
Thomas Stauner
2000 C conf
Hybrid Sequence Charts.
ISORC
Radu Grosu, Ingolf Krüger, Thomas Stauner
2000 — conf
Übersetzung von HyCharts in HDFG.
MBMV
Christoph Grimm, Thomas Stauner
1999 — conf
Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs.
WDS@FCT
Thomas Stauner, Christoph Grimm
1999 J jnl
Requirements Engineering für eingebettete Systeme.
Informationstechnik Tech. Inform.
Manfred Broy, Thomas Stauner
1999 — conf
Requirements specification of an automotive system with hybrid sequence charts.
WORDS (Fall)
Radu Grosu, Ingolf Krüger, Thomas Stauner
1999 — conf
Specification of (parts of) a Lip-Sync Protocol Using HyCharts.
FBT
Thomas Stauner
1999 — conf
Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.
FBT
Thomas Stauner, Klaus Schneider, Michaela Huhn
1998 — conf
A Modular Visual Model for Hybrid Systems.
FTRTFT
Radu Grosu, Thomas Stauner, Manfred Broy
1997 — conf
Using HYTECH to Verify an Automative Control System.
HART
Thomas Stauner, Olaf Müller, Max Fuchs