Author of the publication

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.

No persons found for author name Chiodo, Massimiliano
add a person with the name Chiodo, Massimiliano
 

Other publications of authors with the same name

Rapid-Prototyping of Embedded Systems via Reprogrammable Devices., , , , , and . RSP, page 133-139. IEEE Computer Society, (1996)Optimization and synthesis for complex reactive embedded systems by incremental collapsing.. CODES, page 115-120. ACM, (2002)Software Synthesis for Complex Reactive Embedded Systems., and . ICCD, page 634-639. IEEE Computer Society, (1999)Hardware-software codesign of embedded systems., , , , , and . IEEE Micro, 14 (4): 26-36 (1994)Automatic Reduction in CTL Compositional Model Checking., , , and . CAV, volume 663 of Lecture Notes in Computer Science, page 234-247. Springer, (1992)A case study in computer-aided codesign of embedded controllers., , , , , , , and . CODES, page 220-224. IEEE Computer Society, (1994)A case study in computer-aided co-design of embedded controllers., , , , , , , and . Design Autom. for Emb. Sys., 1 (1-2): 51-67 (1996)Trade-off evaluation in embedded system design via co-simulation., , , , and . ASP-DAC, page 291-297. IEEE, (1997)Rapid-Prototyping of Embedded Systems via Reprogrammable Devices., , , , , , and . Design Autom. for Emb. Sys., 3 (2-3): 149-161 (1998)Automatic Generation of a Real-Time Operating System for Embedded Systems., , , , , and . CODES, page 95-100. IEEE Computer Society, (1997)