Massimo Baleani

According to our database, Massimo Baleani authored at least 10 papers between 2000 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

2008

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

Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

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

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

2005

Efficient embedded software design with synchronous models.

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli

Proceedings of the EMSOFT 2005, 2005

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

Proceedings of the 2005 Design, 2005

2003

Fault-tolerant platforms for automotive safety-critical applications.

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini

Proceedings of the International Conference on Compilers, 2003

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

Proceedings of the Field-Programmable Logic and Applications, 2002

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

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2000

HW/SW Codesign of an Engine Management System.

Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti

Proceedings of the 2000 Design, 2000