Personal information

Activities

Employment (1)

BMW (Germany): Munich, DE

Employment
Source: Self-asserted source
Thomas Stauner

Works (31)

SynPeDS: A Synthetic Dataset for Pedestrian Detection in Urban Traffic Scenes

2022-12-08 | Conference paper
Contributors: Thomas Stauner; Frederik Blank; Michael Fürst; Johannes Günther; Korbinian Hagn; Philipp Heidenreich; Markus Huber; Bastian Knerr; Thomas Schulik; Karl-Ferdinand Leiß
Source: check_circle
Crossref

Assurance Methodology for In-vehicle AI

ATZ worldwide
2022-07-08 | Journal article
Contributors: Frédérik Blank; Fabian Hüger; Michael Mock; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Deutsche Nationalbibliothek (DNB)

Methodik zur Absicherung von KI im Fahrzeug

Automobiltechnische Zeitschrift
2022-07-08 | Journal article
Contributors: Frédérik Blank; Fabian Hüger; Michael Mock; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Deutsche Nationalbibliothek (DNB)

Modelling and Verification using Linear Hybrid Automata -- a Case Study

Mathematical and Computer Modelling of Dynamical Systems
2010-08-09 | Journal article
Part of ISSN: 1387-3954
Contributors: Olaf Müller; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

4th International ICSE Workshop on Software Engineering for Automotive Systems

29th International Conference on Software Engineering (ICSE'07 Companion)
2007-05 | Other
Contributors: A. Pretschner; C. Salzmann; B. Schatz; T. Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Software Engineering for Automotive Systems: A Roadmap

Future of Software Engineering (FOSE '07)
2007-05 | Other
Contributors: Alexander Pretschner; Manfred Broy; Ingolf H. Kruger; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

3rd International Workshop on Software Engineering for Automotive Systems - SEAS 2006

Proceedings of the 2006 international workshop on Software engineering for automotive systems - SEAS '06
2006 | Other
Contributors: Martin Rappl; Alexander Pretschner; Christian Salzmann; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

3rd international workshop on software engineering for automotive systems - SEAS 2006

Proceedings of the 28th international conference on Software engineering
2006-05 | Other
Contributors: Martin Rappl; Alexander Pretschner; Christian Salzmann; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

A modular visual model for hybrid systems

Lecture Notes in Computer Science
2006-05 | Other
Part of ISSN: 0302-9743
Contributors: Radu Grosu; Thomas Stauner; Manfred Broy
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

2nd international workshop on software engineering for automotive systems

Proceedings of the 27th international conference on Software engineering - ICSE '05
2005 | Other
Contributors: Christian Salzmann; Thomas Stauner; Alexander Pretschner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

One evaluation of model-based testing and its automation

2005 | Book
Contributors: Alexander Pretschner; Wolfgang Prenninger; Stefan Wagner; Christian Kühnel; Martin Baumgartner; Bernd Sostawa; Rüdiger Zölch; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Deutsche Nationalbibliothek (DNB)

2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems

ACM SIGSOFT Software Engineering Notes
2005-07 | Journal article
Part of ISSN: 0163-5948
Contributors: Alexander Pretschner; Christian Salzmann; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Using HyTech to verify an automotive control System

Hybrid and Real-Time Systems
2005-06-09 | Other
Part of ISSN: 0302-9743
Contributors: Thomas Stauner; Olaf Müller; Max Fuchs
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Software engineering for automotive systems at ICSE 2004 workshop summary

ACM SIGSOFT Software Engineering Notes
2004-09 | Journal article
Part of ISSN: 0163-5948
Contributors: Alexander Pretschner; Christian Salzmann; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Properties of Hybrid Systems—A Computer Science Perspective

Formal Methods in System Design
2004-05 | Journal article
Part of ISSN: 0925-9856
Contributors: Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Modifying Esterel Concepts to Model Hybrid Systems

Electronic Notes in Theoretical Computer Science
2002-07 | Journal article
Part of ISSN: 1571-0661
Contributors: Michael Baldamus; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Discrete-Time Refinement of Hybrid Automata

Hybrid Systems: Computation and Control
2002-03 | Other
Part of ISSN: 0302-9743
Contributors: Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Systematic development of hybrid systems

2001 | Dissertation or Thesis
Contributors: Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Deutsche Nationalbibliothek (DNB)

Systematic development of hybrid systems

2001 | Dissertation or Thesis
Contributors: Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Deutsche Nationalbibliothek (DNB)

Prototyping of hybrid systems : from HyCharts to hybrid data-flow graphs

2000 | Journal article
Contributors: Thomas Stauner; Christoph Grimm
Source: Self-asserted source
Thomas Stauner via Deutsche Nationalbibliothek (DNB)

Requirements Engineering für eingebettete Systeme

itit
1999-02 | Journal article
Part of ISSN: 2196-7032
Contributors: Manfred Broy; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Modular and visual specification of hybrid systems

1998 | Book
Contributors: Radu Grosu; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Deutsche Nationalbibliothek (DNB)

Visual Description of Hybrid Systems

IFAC Proceedings Volumes
1998-06 | Journal article
Part of ISSN: 1474-6670
Contributors: Radu Grosu; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

2nd Intl. Workshop on Software Engineering for Automotive Systems

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.
Other
Contributors: C. Salzmann; T. Stauner; A. Pretschner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Automotive Software Engineering

Languages for System Specification
Other
Contributors: Christian Salzmann; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Hybrid Sequence Charts

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607)
Other
Contributors: R. Grosu; I. Kruger; T. Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

ICSE workshop: software engineering for automotive systems

Proceedings. 26th International Conference on Software Engineering
Other
Contributors: C. Salzmann; T. Stauner; A. Pretschner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation

Modelling, Analysis, and Design of Hybrid Systems
Other
Contributors: Klaus Bender; Manfred Broy; István Péter; Alexander Pretschner; Thomas Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

One evaluation of model-based testing and its automation

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.
Other
Contributors: A. Pretschner; W. Prenninger; S. Wagner; C. Kuhnel; B. Sostawa; R. ZoIch; T. Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Prototype-based tests for hybrid reactive systems

14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings.
Other
Contributors: J. Philipps; G. Hahn; A. Pretschner; T. Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search

Requirements specification of an automotive system with hybrid sequence charts

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems
Other
Contributors: R. Grosu; I. Kruger; T. Stauner
Source: Self-asserted source
Thomas Stauner via Crossref Metadata Search