Leonardo Mangeruca

22 papers A 2C 2Misc 2Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2020 — conf
The Quotient in Preorder Theories.
GandALF
Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2018 — ch.
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.
Handbook of Parallel Constraint Reasoning
Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti
2014 C conf
BCL: A compositional contract language for embedded systems.
ETFA
Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis
2013 — conf
Formalization and completeness of evolving requirements using Contracts.
SIES
Leonardo Mangeruca, Orlando Ferrante, Alberto Ferrari
2013 — conf
SoS contract verification using statistical model checking.
AiSoS
Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold
2012 — conf
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.
SAFECOMP Workshops
Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari
2009 J jnl
A Real-time Service-Oriented Architecture for Industrial Automation.
IEEE Trans. Ind. Informatics
Tommaso Cucinotta, Antonio Mancina, Gaetano F. Anastasi, Giuseppe Lipari, Leonardo Mangeruca, Roberto Checcozzo, Fulvio Rusina
2009 J jnl
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Des. Test Comput.
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
2008 C conf
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).
FDL
Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis
2007 — conf
Multiple Viewpoint Contract-Based Specification and Design.
FMCO
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
2007 J jnl
Semantics-Preserving Design of Embedded Control Software from Synchronous Models.
IEEE Trans. Software Eng.
Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
2007 J jnl
Uniprocessor scheduling under precedence constraints for embedded systems design.
ACM Trans. Embed. Comput. Syst.
Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
2006 J jnl
A Method for Computing the Number of Iterations in Data Dependent Loops.
Real Time Syst.
Francesco Curatelli, Leonardo Mangeruca
2006 — conf
Uniprocessor Scheduling Under Precedence Constraints.
IEEE Real Time Technology and Applications Symposium
Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
2005 A conf
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.
DATE
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff
2005 Misc conf
Efficient embedded software design with synchronous models.
EMSOFT
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli
2003 Misc conf
Fault-tolerant platforms for automotive safety-critical applications.
CASES
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini
2003 A conf
System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain.
DATE
Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese
1999 — conf
A Message-Passing Communication Scheme for System Specification.
EUROMICRO
Francesco Curatelli, Leonardo Mangeruca, Marco Chirico
1999 J jnl
Data communication management in system specification.
Microprocess. Microsystems
Francesco Curatelli, Leonardo Mangeruca, Marco Chirico
1996 — conf
Implementation issues for congestion control in ATM networks.
ICECS
Mario Marchese, Francesco Curatelli, Marco Chirico, Leonardo Mangeruca
1996 — conf
Specification and management of timing constraints in behavioral VHDL.
EURO-DAC
Francesco Curatelli, Marco Chirico, Leonardo Mangeruca