Leonardo Mangeruca

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 1

Top Topics

Embedded Real Time Systems

Underlying Assumptions

Formal Verification

Top Venues

SAFECOMP Workshops

Publications

Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
The Quotient in Preorder Theories. GandALF (2020)
Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis
BCL: A compositional contract language for embedded systems. ETFA (2014)
Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold
SoS contract verification using statistical model checking. AiSoS (2013)
Leonardo Mangeruca, Orlando Ferrante, Alberto Ferrari
Formalization and completeness of evolving requirements using Contracts. SIES (2013)
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)
Tommaso Cucinotta, Antonio Mancina, Gaetano F. Anastasi, Giuseppe Lipari, Leonardo Mangeruca, Roberto Checcozzo, Fulvio Rusina
A Real-time Service-Oriented Architecture for Industrial Automation. IEEE Trans. Ind. Informatics 5 (3) (2009)
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 Des. Test Comput. 26 (3) (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)
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) (2007)
Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
Uniprocessor scheduling under precedence constraints for embedded systems design. ACM Trans. Embed. Comput. Syst. 7 (1) (2007)
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
Multiple Viewpoint Contract-Based Specification and Design. FMCO (2007)
Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium (2006)
Francesco Curatelli, Leonardo Mangeruca
A Method for Computing the Number of Iterations in Data Dependent Loops. Real Time Syst. 32 (1-2) (2006)
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)
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli
Efficient embedded software design with synchronous models. EMSOFT (2005)
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini
Fault-tolerant platforms for automotive safety-critical applications. CASES (2003)
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)
Francesco Curatelli, Leonardo Mangeruca, Marco Chirico
A Message-Passing Communication Scheme for System Specification. EUROMICRO (1999)
Francesco Curatelli, Leonardo Mangeruca, Marco Chirico
Data communication management in system specification. Microprocess. Microsystems 23 (8-9) (1999)
Francesco Curatelli, Marco Chirico, Leonardo Mangeruca
Specification and management of timing constraints in behavioral VHDL. EURO-DAC (1996)
M. Marchese, Francesco Curatelli, Marco Chirico, Leonardo Mangeruca
Implementation issues for congestion control in ATM networks. ICECS (1996)