Massimo Baleani

12 papers A 2B 1C 1Misc 2Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2017 J jnl
An Application of SMC to continuous validation of heterogeneous systems.
EAI Endorsed Trans. Ind. Networks Intell. Syst.
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
2017 J jnl
An Application of SMC to continuous validation of heterogeneous systems.
EAI Endorsed Trans. Ind. Networks Intell. Syst.
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
2016 — conf
An Application of SMC to continuous validation of heterogeneous systems.
SimuTools
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
2008 C conf
Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard.
DSD
Alessandro Mignogna, Massimo Conti, M. D'Angelo, Massimo Baleani, Alberto Ferrari
2007 J jnl
Semantics-Preserving Design of Embedded Control Software from Synchronous Models.
IEEE Trans. Software Eng.
Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
2007 J jnl
Uniprocessor scheduling under precedence constraints for embedded systems design.
ACM Trans. Embed. Comput. Syst.
Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
2005 A conf
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.
DATE
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff
2005 Misc conf
Efficient embedded software design with synchronous models.
EMSOFT
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli
2003 Misc conf
Fault-tolerant platforms for automotive safety-critical applications.
CASES
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini
2002 B conf
An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms.
FPL
Massimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli
2002 — conf
HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform.
CODES
Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2000 A conf
HW/SW Codesign of an Engine Management System.
DATE
Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti