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

Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis., , , and . DAC, page 389-394. ACM Press, (1997)Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems., , , , and . DAC, page 110-115. ACM Press, (1999)Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications., , , and . HPEC, page 1-7. IEEE, (2018)Designing asynchronous circuits from behavioural specifications with internal conflicts., , , and . ASYNC, page 106-115. IEEE, (1994)Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion., , , , and . ISCAS (2), page 334-338. IEEE, (1999)Implementation of a performance optimized database join operation on FPGA-GPU platforms using OpenCL., and . NORCAS, page 1-6. IEEE, (2017)High-level architectural co-simulation using Esterel and C., , , , and . CODES, page 189-194. ACM, (2001)What is the cost of delay insensitivity?, , , , and . ICCAD, page 316-323. IEEE Computer Society, (1999)From Synchronous to Asynchronous: An Automatic Approach., , , , and . DATE, page 1368-1369. IEEE Computer Society, (2004)Implementation of a UMTS Turbo-Decoder on a Dynamically Reconfigurable Platform., , , and . DATE, page 1218-1223. IEEE Computer Society, (2004)