Author of the publication

Semantics-Preserving Design of Embedded Control Software from Synchronous Models.

, , , and . IEEE Trans. Software Eng., 33 (8): 497-509 (2007)

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 Baleani, Massimo
add a person with the name Baleani, Massimo
 

Other publications of authors with the same name

An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms., , , , and . FPL, volume 2438 of Lecture Notes in Computer Science, page 677-686. Springer, (2002)Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development., , , , , , and . DATE, page 1044-1049. IEEE Computer Society, (2005)Uniprocessor scheduling under precedence constraints for embedded systems design., , , and . ACM Trans. Embedded Comput. Syst., 7 (1): 6:1-6:30 (2007)HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform., , , , , and . CODES, page 151-156. ACM, (2002)Efficient embedded software design with synchronous models., , , and . EMSOFT, page 187-190. ACM, (2005)Semantics-Preserving Design of Embedded Control Software from Synchronous Models., , , and . IEEE Trans. Software Eng., 33 (8): 497-509 (2007)An Application of SMC to continuous validation of heterogeneous systems., , , , , , , and . EAI Endorsed Trans. Indust. Netw. & Intellig. Syst., 4 (10): e3 (2017)Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard., , , , and . DSD, page 839-843. IEEE Computer Society, (2008)HW/SW Codesign of an Engine Management System., , , and . DATE, page 263-267. IEEE Computer Society / ACM, (2000)Fault-tolerant platforms for automotive safety-critical applications., , , , , and . CASES, page 170-177. ACM, (2003)