The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Leonardo Mangeruca: [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. 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]


Search in 0.002secs, Finished in 0.003secs
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