 | 2008 |
|---|
| 11 |       | Luca Benvenuti,
Alberto Ferrari,
Leonardo Mangeruca,
Emanuele Mazzi,
Roberto Passerone,
Christos Sofronis:
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).
FDL 2008: 142-147 |
| 2007 |
|---|
| 10 | | Albert Benveniste,
Benoît Caillaud,
Alberto Ferrari,
Leonardo Mangeruca,
Roberto Passerone,
Christos Sofronis:
Multiple Viewpoint Contract-Based Specification and Design.
FMCO 2007: 200-225 |
| 9 | | 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) |
| 8 | | 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) |
| 2006 |
|---|
| 7 | | Leonardo Mangeruca,
Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli:
Uniprocessor Scheduling Under Precedence Constraints.
IEEE Real Time Technology and Applications Symposium 2006: 157-166 |
| 6 | | Francesco Curatelli,
Leonardo Mangeruca:
A Method for Computing the Number of Iterations in Data Dependent Loops.
Real-Time Systems 32(1-2): 73-104 (2006) |
| 2005 |
|---|
| 5 | | 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 |
| 4 | | Massimo Baleani,
Alberto Ferrari,
Leonardo Mangeruca,
Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models.
EMSOFT 2005: 187-190 |
| 2003 |
|---|
| 3 | | 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 |
| 2 | | Leonardo Mangeruca,
Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli,
Andrea Pierantoni,
Michele Pennese:
System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain.
DATE 2003: 20232-20237 |
| 1999 |
|---|
| 1 | | Francesco Curatelli,
Leonardo Mangeruca,
Marco Chirico:
A Message-Passing Communication Scheme for System Specification.
EUROMICRO 1999: 1390-1393 |
