Leonardo Mangeruca
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2003–2014
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ETFA | BCL: A compositional contract language for embedded systems. | Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis |
| 2012 | SAFECOMP | Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. | Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari |
| 2008 | FDL | A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). | Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis |
| 2006 | RTAS | Uniprocessor Scheduling Under Precedence Constraints. | Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli |
| 2005 | DATE | Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jrg Wolff |
| 2005 | EMSOFT | Efficient embedded software design with synchronous models. | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli |
| 2003 | CASES | Fault-tolerant platforms for automotive safety-critical applications. | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini |
| 2003 | DATE | System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. | Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese |