We stand with Ukraine

We stand with Ukraine

Thomas Stauner

Orcid: 0000-0003-2669-7195

According to our database¹, Thomas Stauner authored at least 33 papers between 1997 and 2022.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

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

[BibT_eX]

[DOI]

,

Frédérik Blank

,

,

Johannes Günther

,

,

Philipp Heidenreich

,

,

,

,

Karl-Ferdinand Leiß

Proceedings of the Computer Science in Cars Symposium, 2022

2021

An Integrated Approach to a Safety Argumentation for AI-Based Perception Functions in Automated Driving.

[BibT_eX]

[DOI]

,

,

Frédérik Blank

,

,

Andreas J. Rohatschek

,

,

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

2007

4<sup>th</sup> Intl. ICSE workshop on Software Engineering for Automotive Systems.

[BibT_eX]

[DOI]

Alexander Pretschner

,

Christian Salzmann

,

Bernhard Schätz

,

ACM SIGSOFT Softw. Eng. Notes, 2007

4th International ICSE Workshop on Software Engineering for Automotive Systems.

[BibT_eX]

[DOI]

Alexander Pretschner

,

Christian Salzmann

,

Bernhard Schätz

,

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Software Engineering for Automotive Systems: A Roadmap.

[BibT_eX]

[DOI]

Alexander Pretschner

,

,

Ingolf H. Krüger

,

Proceedings of the International Conference on Software Engineering, 2007

2006

3<sup>rd</sup> Intl. ICSE workshop on software engineering for automotive systems.

[BibT_eX]

[DOI]

,

Alexander Pretschner

,

Christian Salzmann

,

ACM SIGSOFT Softw. Eng. Notes, 2006

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

[BibT_eX]

[DOI]

,

Alexander Pretschner

,

Christian Salzmann

,

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

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

[BibT_eX]

[DOI]

Alexander Pretschner

,

Christian Salzmann

,

ACM SIGSOFT Softw. Eng. Notes, 2005

2nd international workshop on software engineering for automotive systems.

[BibT_eX]

[DOI]

Christian Salzmann

,

,

Alexander Pretschner

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

One evaluation of model-based testing and its automation.

[BibT_eX]

[DOI]

Alexander Pretschner

,

Wolfgang Prenninger

,

,

Christian Kühnel

,

Martin Baumgartner

,

,

Rüdiger Zölch

,

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Erfahrungen mit der Messung der Wartbarkeit von Steuergeräte-Software.

[BibT_eX]

[DOI]

,

,

,

Axel Wickenkamp

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004

Software engineering for automotive systems at ICSE 2004 workshop summary.

[BibT_eX]

[DOI]

Alexander Pretschner

,

Christian Salzmann

,

ACM SIGSOFT Softw. Eng. Notes, 2004

Properties of Hybrid Systems-A Computer Science Perspective.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2004

ICSE Workshop: Software Engineering for Automotive Systems.

[BibT_eX]

[DOI]

Christian Salzmann

,

,

Alexander Pretschner

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

04491 Executive Summary - Synchronous Programming - SYNCHRON'04.

[BibT_eX]

[DOI]

Stephen A. Edwards

,

Nicolas Halbwachs

,

Reinhard von Hanxleden

,

Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004

04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.

[BibT_eX]

[DOI]

Stephen A. Edwards

,

Nicolas Halbwachs

,

Reinhard von Hanxleden

,

Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004

2003

Prototype-Based Tests for Hybrid Reactive Systems.

[BibT_eX]

[DOI]

,

,

Alexander Pretschner

,

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

2002

Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts.

[BibT_eX]

[DOI]

,

Formal Methods Syst. Des., 2002

Modifying Esterel Concepts to Model Hybrid Systems.

[BibT_eX]

[DOI]

Michael Baldamus

,

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

Discrete-Time Refinement of Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001

Approaching a Discrete-Continuous UML: Tool Support and Formalization.

[BibT_eX]

[DOI]

,

Alexander Pretschner

,

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Systematic development of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2001, 2001

Hybrid Systems' Properties - Classification and Relation to Computer Science.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2001

Systematic development of hybrid systems.

[BibT_eX]

[DOI]

PhD thesis, 2001

2000

Übersetzung von HyCharts in HDFG.

[BibT_eX]

Christoph Grimm

,

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

Hybrid Sequence Charts.

[BibT_eX]

[DOI]

,

,

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999

Requirements Engineering für eingebettete Systeme.

[BibT_eX]

[DOI]

,

Informationstechnik Tech. Inform., 1999

Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs.

[BibT_eX]

[DOI]

,

Christoph Grimm

Proceedings of the Workshop on Distributed Systems, 1999

Requirements specification of an automotive system with hybrid sequence charts.

[BibT_eX]

[DOI]

,

,

Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.

[BibT_eX]

,

Klaus Schneider

,

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Specification of (parts of) a Lip-Sync Protocol Using HyCharts.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

A Modular Visual Model for Hybrid Systems.

[BibT_eX]

[DOI]

,

,

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

Using HYTECH to Verify an Automative Control System.

[BibT_eX]

[DOI]

,

,

Proceedings of the Hybrid and Real-Time Systems, 1997

Loading...