Search the dblp DataBase

Publications of Author

1. Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini
   Fault-tolerant platforms for automotive safety-critical applications. [Citation Graph (0, 0)][DBLP]
   CASES, 2003, pp:170-177 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   DATE, 2005, pp:1044-1049 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   DATE, 2003, pp:20232-20237 [Conf]
   
4. Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli
   Efficient embedded software design with synchronous models. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:187-190 [Conf]
   
5. Francesco Curatelli, Leonardo Mangeruca, Marco Chirico
   A Message-Passing Communication Scheme for System Specification. [Citation Graph (0, 0)][DBLP]
   EUROMICRO, 1999, pp:1390-1393 [Conf]
   
6. Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
   Uniprocessor Scheduling Under Precedence Constraints. [Citation Graph (0, 0)][DBLP]
   IEEE Real Time Technology and Applications Symposium, 2006, pp:157-166 [Conf]
   
7. Francesco Curatelli, Leonardo Mangeruca
   A Method for Computing the Number of Iterations in Data Dependent Loops. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 2006, v:32, n:1-2, pp:73-104 [Journal]
   
8. Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
   Semantics-Preserving Design of Embedded Control Software from Synchronous Models. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2007, v:33, n:8, pp:497-509 [Journal]
   
9. 
   Multiple Viewpoint Contract-Based Specification and Design. [Citation Graph (, )][DBLP]
   
   
10. 
    A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). [Citation Graph (, )][DBLP]
    
    
11. 
    Metamodels in Europe: Languages, Tools, and Applications. [Citation Graph (, )][DBLP]