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. Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti
   HW/SW Codesign of an Engine Management System. [Citation Graph (0, 0)][DBLP]
   DATE, 2000, pp:263-0 [Conf]
   
4. Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno
   SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. [Citation Graph (0, 0)][DBLP]
   DATE, 2004, pp:358-363 [Conf]
   
5. 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]
   
6. 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]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   FPL, 2002, pp:677-686 [Conf]
   
8. Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto
   Models of IP's for Automotive Virtual Integration Platforms. [Citation Graph (0, 0)][DBLP]
   ICCD, 2002, pp:379-0 [Conf]
   
9. Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
   Automotive Virtual Integration Platforms: Why's, What's, and How's. [Citation Graph (0, 0)][DBLP]
   ICCD, 2002, pp:370-378 [Conf]
   
10. Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
    System Design: Traditional Concepts and New Paradigms. [Citation Graph (0, 0)][DBLP]
    ICCD, 1999, pp:2-13 [Conf]
    
11. Paolo Gai, Marco Di Natale, Giuseppe Lipari, Alberto Ferrari, Claudio Gabellini, Paolo Marceca
    A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2003, pp:189-0 [Conf]
    
12. 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]
    
13. Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto
    SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:150-162 [Conf]
    
14. Alberto Ferrari, Michele Borgatti, Roberto Guerrieri
    A complete system for NN classification based on a VLSI array processor. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition, 2000, v:33, n:12, pp:2083-2093 [Journal]
    
15. Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
    Modeling digital substrate noise injection in mixed-signal IC's. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1999, v:18, n:3, pp:301-310 [Journal]
    
16. Mario Coppo, Alberto Ferrari
    Type Inference, Abstract Interpretation and Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:121, n:1&2, pp:113-143 [Journal]
    
17. Michele Cirinei, Enrico Bini, Giuseppe Lipari, Alberto Ferrari
    A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-8 [Conf]
    
18. 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]
    
19. 
    Physical Architectures of Automotive Systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Time and memory tradeoffs in the implementation of AUTOSAR components. [Citation Graph (, )][DBLP]
    
    
21. 
    Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard. [Citation Graph (, )][DBLP]
    
    
22. 
    Multiple Viewpoint Contract-Based Specification and Design. [Citation Graph (, )][DBLP]
    
    
23. 
    Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. [Citation Graph (, )][DBLP]
    
    
24. 
    A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). [Citation Graph (, )][DBLP]
    
    
25. 
    Composing hybrid systems. [Citation Graph (, )][DBLP]
    
    
26. 
    Metamodels in Europe: Languages, Tools, and Applications. [Citation Graph (, )][DBLP]