Author of the publication

Stochastic Analysis of Distributed Real-time Automotive Systems.

, , , and . IEEE Trans. Ind. Informatics, 5 (4): 388-401 (2009)

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

Boolean matching in logic synthesis., , , and . EURO-DAC, page 168-174. IEEE Computer Society Press, (1992)Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint., , , and . Comput. Electr. Eng., 40 (6): 1858-1873 (2014)A Service-Based Universal Application Interface for Ad Hoc Wireless Sensor and Actuator Networks., , , and . Ambient Intelligence, Springer, (2005)Refinement preserving approximations for the design and verification of heterogeneous systems., , and . Formal Methods Syst. Des., 31 (1): 1-33 (2007)An Iterative Approach to Verification of Real-Time Systems., and . Formal Methods Syst. Des., 6 (1): 67-95 (1995)A Case Study in Embedded Systems Design: An Engine Control Unit., , , , , and . Des. Autom. Embed. Syst., 6 (1): 71-88 (2000)A case study in computer-aided co-design of embedded controllers., , , , , , , and . Des. Autom. Embed. Syst., 1 (1-2): 51-67 (1996)Verification of Nyquist data converters using behavioral simulation., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 14 (4): 493-502 (1995)Automated design management using traces., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (8): 1077-1095 (1993)Irredundant sequential machines via optimal logic synthesis., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (1): 8-18 (1990)