Leonardo Mangeruca

15 papers and 179 indexed citations i.

Leonardo Mangeruca has authored 15 papers that have received a total of 179 indexed citations. This includes 8 papers in Hardware and Architecture, 7 papers in Computational Theory and Mathematics and 6 papers in Control and Systems Engineering. The topics of these papers are Embedded Systems Design Techniques (8 papers), Real-Time Systems Scheduling (8 papers) and Formal Methods in Verification (5 papers). Leonardo Mangeruca is often cited by papers focused on Embedded Systems Design Techniques (8 papers), Real-Time Systems Scheduling (8 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in United States, Italy and France. Leonardo Mangeruca's co-authors include Alberto Sangiovanni‐Vincentelli, Werner Damm, Tiziano Villa, Matteo Rucco and Claudio Pinello and has published in prestigious journals such as IEEE Transactions on Industrial Informatics, IEEE Transactions on Software Engineering and SAE technical papers on CD-ROM/SAE technical paper series.