Leonardo Mangeruca

According to our database, Leonardo Mangeruca authored at least 22 papers between 1996 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

The Quotient in Preorder Theories.

Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Proceedings 11th International Symposium on Games, 2020

2018

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.

Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2014

BCL: A compositional contract language for embedded systems.

Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

SoS contract verification using statistical model checking.

Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold

Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

Formalization and completeness of evolving requirements using Contracts.

Leonardo Mangeruca, Orlando Ferrante, Alberto Ferrari

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

2012

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.

Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari

Proceedings of the Computer Safety, Reliability, and Security, 2012

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

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, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli

IEEE Des. Test Comput., 2009

2008

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).

Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis

Proceedings of the Forum on specification and Design Languages, 2008

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

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

Multiple Viewpoint Contract-Based Specification and Design.

Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006

A Method for Computing the Number of Iterations in Data Dependent Loops.

Francesco Curatelli, Leonardo Mangeruca

Real Time Syst., 2006

Uniprocessor Scheduling Under Precedence Constraints.

Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

2005

Efficient embedded software design with synchronous models.

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli

Proceedings of the EMSOFT 2005, 2005

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

Proceedings of the 2005 Design, 2005

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

Proceedings of the 2003 Design, 2003

Fault-tolerant platforms for automotive safety-critical applications.

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini

Proceedings of the International Conference on Compilers, 2003

1999

Data communication management in system specification.

Francesco Curatelli, Leonardo Mangeruca, Marco Chirico

Microprocess. Microsystems, 1999

A Message-Passing Communication Scheme for System Specification.

Francesco Curatelli, Leonardo Mangeruca, Marco Chirico

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1996

Implementation issues for congestion control in ATM networks.

M. Marchese, Francesco Curatelli, Marco Chirico, Leonardo Mangeruca

Proceedings of Third International Conference on Electronics, Circuits, and Systems, 1996

Specification and management of timing constraints in behavioral VHDL.

Francesco Curatelli, Marco Chirico, Leonardo Mangeruca

Proceedings of the conference on European design automation, 1996