Author of the publication

HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications.

, , , and . SIES, page 88-97. IEEE, (2010)

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

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)Irredundant sequential machines via optimal logic synthesis., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (1): 8-18 (1990)DELIGHT.SPICE: an optimization-based system for the design of integrated circuits., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (4): 501-519 (1988)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)Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems., , and . MEMOCODE, page 180-190. ACM / IEEE, (2023)Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks., , and . EMSOFT, page 183-186. ACM, (2005)Task generation and compile-time scheduling for mixed data-control embedded software., , , , , , , and . DAC, page 489-494. ACM, (2000)Formal Verification of Embedded Systems based on CFSM Networks., , , , and . DAC, page 568-571. ACM Press, (1996)