Reiner Lichtenecker

Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams

Reiner Lichtenecker, Klaus Gotthardt, 1997, SAFECOMP.

Automated Verification of Communication Protocols Using CCS and BDDs

Janusz Zalewski, Reiner Lichtenecker, Klaus Gotthardt, 1998, IPPS/SPDP Workshops.

Deriving CORBA Applications from Formal Specifications

Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, 1998, J. Syst. Integr..

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

Wolfgang A. Halang, Markus Wannemacher, Reiner Lichtenecker, 1998, MBMV.

Terrestrial Time Signal Dissemination

Reiner Lichtenecker, 2004, Real-Time Systems.

Verification of Distributed Applications by translating CCS to Binary Decision Diagrams

Reiner Lichtenecker, Klaus Gotthardt, 1997, FBT.