HW/SW Codesign of an Engine Management System. - Massimo Baleani; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli; Claudio Turchetti (DATE, 2000)

HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform. - Massimo Baleani; Frank Gennari; Yunjian Jiang; Yatish Patel; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (CODES, 2002)

An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. - Massimo Baleani; Massimo Conti; Alberto Ferrari; Valerio Frascolla; Alberto L. Sangiovanni-Vincentelli (FPL, 2002)

Fault-tolerant platforms for automotive safety-critical applications. - Massimo Baleani; Alberto Ferrari; Leonardo Mangeruca; Alberto L. Sangiovanni-Vincentelli; Maurizio Peri; Saverio Pezzini (CASES, 2003)

Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. - Massimo Baleani; Alberto Ferrari; Leonardo Mangeruca; Alberto L. Sangiovanni-Vincentelli; Ulrich Freund; Erhard Schlenker; Hans-Jörg Wolff (DATE, 2005)

Efficient embedded software design with synchronous models. - Massimo Baleani; Alberto Ferrari; Leonardo Mangeruca; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2005)

Uniprocessor scheduling under precedence constraints for embedded systems design. - Leonardo Mangeruca; Massimo Baleani; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Embed. Comput. Syst., 2007)

Semantics-Preserving Design of Embedded Control Software from Synchronous Models. - Leonardo Mangeruca; Massimo Baleani; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Software Eng., 2007)

Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard. - Alessandro Mignogna; Massimo Conti; M. D'Angelo; Massimo Baleani; Alberto Ferrari (DSD, 2008)

An Application of SMC to continuous validation of heterogeneous systems. - Alexandre Arnold; Massimo Baleani; Alberto Ferrari; Marco Marazza; Valerio Senni; Axel Legay; Jean Quilbeuf; Christoph Etzien (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017)