Leonardo Mangeruca

835 total citations
25 papers, 430 citations indexed

About

Leonardo Mangeruca is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Software. According to data from OpenAlex, Leonardo Mangeruca has authored 25 papers receiving a total of 430 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Hardware and Architecture, 12 papers in Computational Theory and Mathematics and 7 papers in Software. Recurrent topics in Leonardo Mangeruca's work include Real-Time Systems Scheduling (12 papers), Embedded Systems Design Techniques (12 papers) and Formal Methods in Verification (8 papers). Leonardo Mangeruca is often cited by papers focused on Real-Time Systems Scheduling (12 papers), Embedded Systems Design Techniques (12 papers) and Formal Methods in Verification (8 papers). Leonardo Mangeruca collaborates with scholars based in Italy, United States and Ireland. Leonardo Mangeruca's co-authors include Alberto Sangiovanni‐Vincentelli, A. Ferrari, Giuseppe Lipari, Gaetano F. Anastasi, Tommaso Cucinotta, Roberto Passerone, Christos Sofronis, Luca Benvenuti, Albert Benveniste and Werner Damm and has published in prestigious journals such as IEEE Transactions on Software Engineering, IEEE Transactions on Industrial Informatics and SAE technical papers on CD-ROM/SAE technical paper series.

In The Last Decade

Leonardo Mangeruca

22 papers receiving 393 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Leonardo Mangeruca Italy 9 194 123 102 87 83 25 430
Marten Lohstroh United States 11 128 0.7× 113 0.9× 78 0.8× 33 0.4× 51 0.6× 31 345
Tiberiu Seceleanu Sweden 12 212 1.1× 233 1.9× 25 0.2× 81 0.9× 50 0.6× 73 389
Anikó Costa Portugal 12 154 0.8× 59 0.5× 272 2.7× 33 0.4× 47 0.6× 50 413
Eduardo Tavares Brazil 13 107 0.6× 323 2.6× 82 0.8× 130 1.5× 38 0.5× 84 524
J.P. Thomesse France 10 183 0.9× 272 2.2× 111 1.1× 90 1.0× 63 0.8× 36 469
Michele Lora Italy 9 92 0.5× 70 0.6× 29 0.3× 47 0.5× 96 1.2× 50 295
Henrik Lönn Sweden 14 189 1.0× 137 1.1× 128 1.3× 23 0.3× 29 0.3× 52 490
Franz J. Rammig Germany 10 119 0.6× 103 0.8× 56 0.5× 33 0.4× 23 0.3× 70 319
Jeroen Voeten Netherlands 13 418 2.2× 187 1.5× 268 2.6× 29 0.3× 50 0.6× 83 610
L. Môtus Estonia 10 133 0.7× 128 1.0× 108 1.1× 25 0.3× 29 0.3× 49 347

Countries citing papers authored by Leonardo Mangeruca

Since Specialization
Citations

This map shows the geographic impact of Leonardo Mangeruca's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Leonardo Mangeruca with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Leonardo Mangeruca more than expected).

Fields of papers citing papers by Leonardo Mangeruca

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Leonardo Mangeruca. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Leonardo Mangeruca. The network helps show where Leonardo Mangeruca may publish in the future.

Co-authorship network of co-authors of Leonardo Mangeruca

This figure shows the co-authorship network connecting the top 25 collaborators of Leonardo Mangeruca. A scholar is included among the top collaborators of Leonardo Mangeruca based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Leonardo Mangeruca. Leonardo Mangeruca is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Mangeruca, Leonardo, et al.. (2025). Digital Twin-based IVHM for Predictive Maintenance. Annual Conference of the PHM Society. 17(1).
2.
Mangeruca, Leonardo, et al.. (2017). Framework for Modelling and Simulation of Multi-Physics Aircraft Systems with Distributed Electronic Controllers. SAE technical papers on CD-ROM/SAE technical paper series. 1. 5 indexed citations
3.
Scholte, Eelco, et al.. (2016). A Methodology for Increasing the Efficiency and Coverage of Model Checking and its Application to Aerospace Systems. SAE International Journal of Aerospace. 9(1). 140–150. 1 indexed citations
4.
Passerone, Roberto, et al.. (2014). Monitor-based run-time contract verification of distributed systems. Institutional Research Information System (Università degli Studi di Trento). 1–4. 4 indexed citations
5.
Passerone, Roberto, et al.. (2014). BCL: A compositional contract language for embedded systems. Institutional Research Information System (Università degli Studi di Trento). 1–6. 7 indexed citations
6.
Mangeruca, Leonardo, et al.. (2013). Formalization and completeness of evolving requirements using Contracts. 2031. 120–129. 7 indexed citations
7.
Sofronis, Christos, et al.. (2011). Contract based Design Chain Integration: An Automotive Domain Case Study. 2 indexed citations
8.
Passerone, Roberto, Susanne Graf, Albert Benveniste, et al.. (2009). Metamodels in Europe: Languages, Tools, and Applications. IEEE Design & Test of Computers. 26(3). 38–53. 22 indexed citations
9.
Cucinotta, Tommaso, et al.. (2009). A Real-Time Service-Oriented Architecture for Industrial Automation. IEEE Transactions on Industrial Informatics. 5(3). 267–277. 152 indexed citations
10.
Mangeruca, Leonardo, et al.. (2007). Uniprocessor scheduling under precedence constraints for embedded systems design. ACM Transactions on Embedded Computing Systems. 7(1). 1–30. 4 indexed citations
11.
Mangeruca, Leonardo, et al.. (2007). Semantics-Preserving Design of Embedded Control Software from Synchronous Models. IEEE Transactions on Software Engineering. 33(8). 497–509. 6 indexed citations
12.
Mangeruca, Leonardo, A. Ferrari, & Alberto Sangiovanni‐Vincentelli. (2006). Uniprocessor Scheduling Under Precedence Constraints. 157–166. 11 indexed citations
13.
Mangeruca, Leonardo, et al.. (2006). A Method for Computing the Number of Iterations in Data Dependent Loops. Real-Time Systems. 32(1-2). 73–104. 3 indexed citations
14.
Ferrari, A., et al.. (2005). Efficient embedded software design with synchronous models. 187–190. 29 indexed citations
15.
Ferrari, A., et al.. (2005). Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. Design, Automation, and Test in Europe. 1044–1049. 21 indexed citations
16.
Mangeruca, Leonardo, et al.. (2004). Multi Processor Micro-Controllers for Automotive Safety-Critical Applications. IFAC Proceedings Volumes. 37(22). 41–46. 3 indexed citations
17.
Ferrari, A., et al.. (2003). Fault-tolerant platforms for automotive safety-critical applications. 170–177. 108 indexed citations
18.
Mangeruca, Leonardo, et al.. (2002). S-CFG: a representation model for system synthesis. 326–331.
19.
Marchese, Mario, et al.. (2002). Implementation issues for congestion control in ATM networks. CINECA IRIS Institutial Research Information System (University of Genoa). 2. 788–791.
20.
Mangeruca, Leonardo, et al.. (1996). Specification and management of timing constraints in behavioral VHDL. European Design Automation Conference. 522–527. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Marten Lohstroh Breakdown of academic impact, for papers by Tiberiu Seceleanu Breakdown of academic impact, for papers by Anikó Costa Breakdown of academic impact, for papers by Eduardo Tavares Breakdown of academic impact, for papers by J.P. Thomesse Breakdown of academic impact, for papers by Michele Lora Breakdown of academic impact, for papers by Henrik Lönn Breakdown of academic impact, for papers by Franz J. Rammig Breakdown of academic impact, for papers by Jeroen Voeten Breakdown of academic impact, for papers by L. Môtus
Rankless by CCL
2026