Specification and management of timing constraints in behavioral VHDL. - Francesco Curatelli; Marco Chirico; Leonardo Mangeruca (EURO-DAC, 1996)

Implementation issues for congestion control in ATM networks. - Mario Marchese; Francesco Curatelli; Marco Chirico; Leonardo Mangeruca (ICECS, 1996)

A Message-Passing Communication Scheme for System Specification. - Francesco Curatelli; Leonardo Mangeruca; Marco Chirico (EUROMICRO, 1999)

Data communication management in system specification. - Francesco Curatelli; Leonardo Mangeruca; Marco Chirico (Microprocess. Microsystems, 1999)

Fault-tolerant platforms for automotive safety-critical applications. - Massimo Baleani; Alberto Ferrari; Leonardo Mangeruca; Alberto L. Sangiovanni-Vincentelli; Maurizio Peri; Saverio Pezzini (CASES, 2003)

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 (DATE, 2003)

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-Jörg Wolff (DATE, 2005)

Efficient embedded software design with synchronous models. - Massimo Baleani; Alberto Ferrari; Leonardo Mangeruca; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2005)

Uniprocessor Scheduling Under Precedence Constraints. - Leonardo Mangeruca; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (IEEE Real Time Technology and Applications Symposium, 2006)

A Method for Computing the Number of Iterations in Data Dependent Loops. - Francesco Curatelli; Leonardo Mangeruca (Real Time Syst., 2006)

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

Uniprocessor scheduling under precedence constraints for embedded systems design. - Leonardo Mangeruca; Massimo Baleani; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Embed. Comput. Syst., 2007)

Semantics-Preserving Design of Embedded Control Software from Synchronous Models. - Leonardo Mangeruca; Massimo Baleani; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Software Eng., 2007)

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). - Luca Benvenuti; Alberto Ferrari; Leonardo Mangeruca; Emanuele Mazzi; Roberto Passerone; Christos Sofronis (FDL, 2008)

Metamodels in Europe: Languages, Tools, and Applications. - 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; et al. (IEEE Des. Test Comput., 2009)

A Real-time Service-Oriented Architecture for Industrial Automation. - Tommaso Cucinotta; Antonio Mancina; Gaetano F. Anastasi; Giuseppe Lipari; Leonardo Mangeruca; Roberto Checcozzo; Fulvio Rusina (IEEE Trans. Ind. Informatics, 2009)

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. - Orlando Ferrante; Luca Benvenuti; Leonardo Mangeruca; Christos Sofronis; Alberto Ferrari (SAFECOMP Workshops, 2012)

Formalization and completeness of evolving requirements using Contracts. - Leonardo Mangeruca; Orlando Ferrante; Alberto Ferrari (SIES, 2013)

SoS contract verification using statistical model checking. - Alessandro Mignogna; Leonardo Mangeruca; Benoît Boyer; Axel Legay; Alexandre Arnold (AiSoS, 2013)

BCL: A compositional contract language for embedded systems. - Orlando Ferrante; Roberto Passerone; Alberto Ferrari; Leonardo Mangeruca; Christos Sofronis (ETFA, 2014)

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. - Orlando Ferrante; Alberto Ferrari; Christos Sofronis; Leonardo Mangeruca; Luca Benvenuti (Handbook of Parallel Constraint Reasoning, 2018)

The Quotient in Preorder Theories. - Íñigo X. Íncer Romeo; Leonardo Mangeruca; Tiziano Villa; Alberto L. Sangiovanni-Vincentelli (GandALF, 2020)