Concepedia

Leonardo Mangeruca

LM

Statistics

Publications

12

Citations

582

H-Index

10

Active since

2003

Affiliations

University of California, Berkeley(Current)

University of Trento

Raytheon Technologies (Italy)

Leonardo Mangeruca is an author at University of California, Berkeley specializing in engineering, computer engineering, and computer science.

Publications per year

2003–2016

12

Publications

12

A Real-Time Service-Oriented Architecture for Industrial Automation

Tommaso Cucinotta, Antonio Mancina, Gaetano F. Anastasi et al. · IEEE Transactions on Industrial Informatics · 2009 · 215 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Fault-tolerant platforms for automotive safety-critical applications

Massimo Baleani, A. Ferrari, Leonardo Mangeruca et al. · 2003 · 143 citations

Engineering, Automotive Engineering, Computer Engineering +16

A contract-based formalism for the specification of heterogeneous systems

Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca et al. · 2008 · 42 citations

Computing, Computer Science, Systems Engineering +17

Efficient embedded software design with synchronous models

Massimo Baleani, A. Ferrari, Leonardo Mangeruca et al. · 2005 · 41 citations

Engineering, Computer Engineering, Computer Science +17

Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development

Massimo Baleani, A. Ferrari, Leonardo Mangeruca et al. · Design, Automation, and Test in Europe · 2005 · 40 citations · Full text

Engineering, Computer Engineering, Computer Science +17

1–5 of 12