Theodor Tempelmeier

According to our database, Theodor Tempelmeier authored at least 12 papers between 1980 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Proving the Safety of Autonomous Systems with Formal Methods - What Can You Expect?

Theodor Tempelmeier

Proceedings of the Autonomous Systems: Developments and Trends, 2012

Teaching 'Concepts of Programming Languages' with Ada.

Theodor Tempelmeier

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2009

Programmierung.

Hubert B. Keller, Rainer Müller, Gudrun Schiedermeier, Theodor Tempelmeier

Proceedings of the Software-Entwicklung für Echtzeitsysteme., 2009

Synchronisation und Konsistenz in Echtzeitsystemen.

Juliane Benra, Hubert B. Keller, Gudrun Schiedermeier, Theodor Tempelmeier

Proceedings of the Software-Entwicklung für Echtzeitsysteme., 2009

2008

Schwachpunkte und Grenzen gegenwärtiger Methoden.

Theodor Tempelmeier

Proceedings of the Software Engineering 2008, 2008

2001

On The Real Value Of New Paradigms.

Theodor Tempelmeier

Proceedings of the OMER, 2001

1992

An Overview of the HOOD Software Design Method.

Theodor Tempelmeier

Proceedings of the Real Time Computing, 1992

Software Life Cycle of Real-Time Systems.

Theodor Tempelmeier

Proceedings of the Real Time Computing, 1992

1991

Eine kritische Bewertung der Software-Entwurfsmethoden HOOD.

Theodor Tempelmeier

Proceedings of the Prozeßrechnersysteme '91, 1991

1990

Eine Übersicht über die Software-Entwurfsmethode HOOD.

Theodor Tempelmeier

Proceedings of the PEARL 90, 1990

1981

Auslagerung eines Echtzeit-Betriebssystems auf einen eigenen Prozessor.

Theodor Tempelmeier

Proceedings of the Fachtagung Prozeßrechner 1981, 1981

1980

Antwortzeitverhalten eines Echtzeit-Rechensystems bei Auslagerung des Betriebssystemkerns auf einen eigenen Prozessor.

Theodor Tempelmeier

PhD thesis, 1980