Author of the publication

A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.

, , , , and . EMSOFT, page 237-246. ACM, (2005)

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

Logical Reliability of Interacting Real-Time Tasks., , , , , , and . DATE, page 909-914. ACM, (2008)Mixed models of computation in the design of automotive engine control., , , and . CDC, page 3308-3313. IEEE, (2001)A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems., , , , and . EMSOFT, page 237-246. ACM, (2005)Period Optimization for Hard Real-time Distributed Automotive Systems., , , , , and . DAC, page 278-283. IEEE, (2007)Hybrid control in automotive applications: the cut-off control., , , , and . Autom., 35 (3): 519-535 (1999)Fault-Tolerant Distributed Deployment of Embedded Control Software., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 27 (5): 906-919 (2008)Hybrid Control for Automotive Engine Management: The Cut-Off Case., , , , and . HSCC, volume 1386 of Lecture Notes in Computer Science, page 13-32. Springer, (1998)Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems., , , , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 293-302. IEEE Computer Society, (2007)A tool for describing and evaluating hierarchical real-time bus scheduling policies., , and . DAC, page 312-317. ACM, (2003)Synthesis of task and message activation models in real-time distributed automotive systems., , , , and . DATE, page 93-98. EDA Consortium, San Jose, CA, USA, (2007)