2008 |
11 | EE | 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 | EE | 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 | 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) |
8 | 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) |
2006 |
7 | EE | Leonardo Mangeruca,
Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli:
Uniprocessor Scheduling Under Precedence Constraints.
IEEE Real Time Technology and Applications Symposium 2006: 157-166 |
6 | EE | 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 | 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 |
4 | EE | Massimo Baleani,
Alberto Ferrari,
Leonardo Mangeruca,
Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models.
EMSOFT 2005: 187-190 |
2003 |
3 | 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 |
2 | EE | 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 | EE | Francesco Curatelli,
Leonardo Mangeruca,
Marco Chirico:
A Message-Passing Communication Scheme for System Specification.
EUROMICRO 1999: 1390-1393 |