The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alberto Ferrari: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002