Reiner Lichtenecker

According to our database, Reiner Lichtenecker authored at least 7 papers between 1997 and 1998.

Collaborative distances:

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

1998

Deriving CORBA Applications from Formal Specifications.

Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter

J. Syst. Integr., 1998

Entwurfsmethode für einen universellen Koprozessor für zeitkritische Aufgaben in sicherheitsgerichteten Echtzeitsystemen.

Markus Wannemacher, Reiner Lichtenecker, Wolfgang A. Halang

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Automated Verification of Communication Protocols Using CCS and BDDs.

Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung.

Wolfgang A. Halang, Alceu Heinke Frigeri, Reiner Lichtenecker, Uwe Steinmann, Karin Wendland

Schriftenreihe der Bundesanstalt für Arbeitsschutz : Forschung 813, Bundesanstalt für Arbeitsschutz, ISBN: 978-3-89701-213-4, 1998

1997

Terrestrial Time Signal Dissemination.

Reiner Lichtenecker

Real Time Syst., 1997

Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams.

Reiner Lichtenecker, Klaus Gotthardt

Proceedings of the 16th International Conference on Computer Safety, 1997

Verification of Distributed Applications by translating CCS to Binary Decision Diagrams.

Klaus Gotthardt, Reiner Lichtenecker

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