| 2012 | ||
|---|---|---|
| c9 | Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari: Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. SAFECOMP Workshops 2012: 409-416 | |
| 2009 | ||
| j6 | Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli: Metamodels in Europe: Languages, Tools, and Applications. IEEE Design & Test of Computers 26(3): 38-53 (2009) | |
| j5 | Tommaso Cucinotta, Antonio Mancina, Gaetano Anastasi, Giuseppe Lipari, Leonardo Mangeruca, Roberto Checcozzo, Fulvio Rusina: A Real-time Service-Oriented Architecture for Industrial Automation. IEEE Trans. Industrial Informatics 5(3): 267-277 (2009) | |
| 2008 | ||
| c8 | Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis: A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL 2008: 142-147 | |
| 2007 | ||
| j4 | Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Uniprocessor scheduling under precedence constraints for embedded systems design. ACM Trans. Embedded Comput. Syst. 7(1) (2007) | |
| j3 | Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Semantics-Preserving Design of Embedded Control Software from Synchronous Models. IEEE Trans. Software Eng. 33(8): 497-509 (2007) | |
| c7 | Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225 | |
| 2006 | ||
| j2 | Francesco Curatelli, Leonardo Mangeruca: A Method for Computing the Number of Iterations in Data Dependent Loops. Real-Time Systems 32(1-2): 73-104 (2006) | |
| c6 | Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium 2006: 157-166 | |
| 2005 | ||
| c5 | 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. DATE 2005: 1044-1049 | |
| c4 | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli: Efficient embedded software design with synchronous models. EMSOFT 2005: 187-190 | |
| 2003 | ||
| c3 | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini: Fault-tolerant platforms for automotive safety-critical applications. CASES 2003: 170-177 | |
| c2 | 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. DATE 2003: 20232-20237 | |
| 1999 | ||
| j1 | Francesco Curatelli, Leonardo Mangeruca, Marco Chirico: Data communication management in system specification. Microprocessors and Microsystems - Embedded Hardware Design 23(8-9): 481-492 (1999) | |
| c1 | Francesco Curatelli, Leonardo Mangeruca, Marco Chirico: A Message-Passing Communication Scheme for System Specification. EUROMICRO 1999: 1390-1393 | |
Colors in the list of coauthors
Last update Sat May 18 23:47:10 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page