Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The design of real-time systems: from specification to implementation and verification., , , , , and . Softw. Eng. J., 6 (3): 72-82 (1991)A Cross-Domain Multi-Processor System-on-a-Chip for Embedded Real-Time Systems., , and . IEEE Trans. Ind. Informatics, 6 (4): 548-567 (2010)The Systematic Design of Large Real-Time Systems or Interface Simplicity.. Hardware and Software Architectures for Fault Tolerance, volume 774 of Lecture Notes in Computer Science, page 250-262. Springer, (1993)Distributed fault-tolerant real-time systems: the Mars approach., , , , , , and . IEEE Micro, 9 (1): 25-40 (1989)Entwurf und Bewertung fehlertoleranter, verteilter Echtzeitsysteme am Beispiel MARS., , , , , , and . GI Jahrestagung (2), volume 188 of Informatik-Fachberichte, page 379-398. Springer, (1988)Software engineering for real-time: a roadmap.. ICSE - Future of SE Track, page 201-211. ACM, (2000)Assumption coverage under different failure modes in the time-triggered architecture., , and . ETFA (1), page 333-341. IEEE, (2001)Modeling and verification of distributed real-time systems using periodic finite state machines., , , and . Comput. Syst. Sci. Eng., (2008)Architectural issues in dependable embedded systems.. MMB, page 283-284. VDE Verlag, (2006)Interval Measurements in Distributed Real Time Systems., and . ICDCS, page 292-298. IEEE Computer Society, (1987)