| 2007 |
|---|
| 8 | EE | 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 | EE | 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 | EE | 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 | EE | Massimo Baleani,
Alberto Ferrari,
Leonardo Mangeruca,
Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models.
EMSOFT 2005: 187-190 |
| 2003 |
|---|
| 4 | EE | 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 | EE | 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 | EE | 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 | EE | Massimo Baleani,
Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli,
Claudio Turchetti:
HW/SW Codesign of an Engine Management System.
DATE 2000: 263- |
