Leonardo Mangeruca

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

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)

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)

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

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)

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)

Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225

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)

Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium 2006: 157-166

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

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli: Efficient embedded software design with synchronous models. EMSOFT 2005: 187-190

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

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

Francesco Curatelli, Leonardo Mangeruca, Marco Chirico: Data communication management in system specification. Microprocessors and Microsystems - Embedded Hardware Design 23(8-9): 481-492 (1999)

Francesco Curatelli, Leonardo Mangeruca, Marco Chirico: A Message-Passing Communication Scheme for System Specification. EUROMICRO 1999: 1390-1393