 | 2008 |
| 9 |  | A. Mignogna,
Massimo Conti,
M. D'Angelo,
Massimo Baleani,
Alberto Ferrari:
Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard.
DSD 2008: 839-843 |
| 2007 |
| 8 |  | Leonardo Mangeruca,
Massimo Baleani,
Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli:
Uniprocessor scheduling under precedence constraints for embedded systems design.
ACM Trans. Embedded Comput. Syst. 7(1): (2007) |
| 7 |  | Leonardo Mangeruca,
Massimo Baleani,
Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli:
Semantics-Preserving Design of Embedded Control Software from Synchronous Models.
IEEE Trans. Software Eng. 33(8): 497-509 (2007) |
| 2005 |
| 6 |  | Massimo Baleani,
Alberto Ferrari,
Leonardo Mangeruca,
Alberto L. Sangiovanni-Vincentelli,
Ulrich Freund,
Erhard Schlenker,
Hans-Jörg Wolff:
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.
DATE 2005: 1044-1049 |
| 5 |  | Massimo Baleani,
Alberto Ferrari,
Leonardo Mangeruca,
Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models.
EMSOFT 2005: 187-190 |
| 2003 |
| 4 |  | Massimo Baleani,
Alberto Ferrari,
Leonardo Mangeruca,
Alberto L. Sangiovanni-Vincentelli,
Maurizio Peri,
Saverio Pezzini:
Fault-tolerant platforms for automotive safety-critical applications.
CASES 2003: 170-177 |
| 2002 |
| 3 |  | Massimo Baleani,
Frank Gennari,
Yunjian Jiang,
Yatish Patel,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform.
CODES 2002: 151-156 |
| 2 |  | Massimo Baleani,
Massimo Conti,
Alberto Ferrari,
Valerio Frascolla,
Alberto L. Sangiovanni-Vincentelli:
An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms.
FPL 2002: 677-686 |
| 2000 |
| 1 |  | Massimo Baleani,
Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli,
Claudio Turchetti:
HW/SW Codesign of an Engine Management System.
DATE 2000: 263-267 |