Dieter Nazareth

According to our database, Dieter Nazareth authored at least 9 papers between 1995 and 2014.

Collaborative distances:

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

2014

BMW-ROOM An Object-Oriented Method for ASCET.

Max Fuchs, Dieter Nazareth, Dirk Daniel, Bernhard Rumpe

CoRR, 2014

Verwendungsfähigkeit von Android-CE-Geräten für Car2X-Anwendungen am Beispiel einer Geschwindigkeitsregelung.

Dominik Hotter, Dieter Nazareth

Proceedings of the Industrie 4.0 und Echtzeit, 2014

2012

Modellbasierte Entwicklung einer Lichtsteuerung für ein Rapid Prototyping System.

Dieter Nazareth, Christian Wurm

Proceedings of the Kommunikation unter Echtzeitbedingungen, 2012

1997

Communication Concepts for Statecharts: A Semantic Foundation.

Peter Scholz, Dieter Nazareth

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Formal Verification of Algorithm W: The Monomorphic Case.

Dieter Nazareth, Tobias Nipkow

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

The Semantic Treatment of Polymorphic Specification Languages.

Dieter Nazareth

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

Specifying Type Systems.

Dieter Nazareth

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995

A polymorphic sort system for axiomatic specification languages.

Dieter Nazareth

PhD thesis, 1995

AVL Trees Revisited: A Case Study in SPECTRUM.

Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch

Proceedings of the KORSO, 1995