Author of the publication

Formal Models for Communication-Based Design.

, , and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 29-47. Springer, (2000)

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

Modeling and Designing Heterogeneous Systems., , , , , and . Concurrency and Hardware Design, volume 2549 of Lecture Notes in Computer Science, page 228-273. Springer, (2002)Designing wireless protocols: methodology and applications., , , , , and . ICASSP, page 3726-3729. IEEE, (2000)Development of Body Sensor Network applications using SPINE., , , , , and . SMC, page 2810-2815. IEEE, (2008)Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design., , , , , , and . DAC, page 667-672. ACM, (2001)Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets., , , and . ICATPN, volume 1639 of Lecture Notes in Computer Science, page 208-227. Springer, (1999)Wireless protocols design: challenges and opportunities., , , , , and . CODES, page 147-151. ACM, (2000)Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study., , , , , , , and . ISSS, page 37-42. ACM / IEEE Computer Society, (1998)Benefits and challenges for platform-based design., , , and . DAC, page 409-414. ACM, (2004)A Service-Based Universal Application Interface for Ad Hoc Wireless Sensor and Actuator Networks., , , and . Ambient Intelligence, Springer, (2005)Implementation of virtual sensors in body sensor networks with the SPINE framework., , , , , , and . SIES, page 124-127. IEEE, (2009)