Marco Di Natale

85 papers and 1.2k indexed citations i.

About

Marco Di Natale has authored 85 papers that have received a total of 1.2k indexed citations. This includes 78 papers in Hardware and Architecture, 33 papers in Computational Theory and Mathematics and 23 papers in Computer Networks and Communications. The topics of these papers are Real-Time Systems Scheduling (74 papers), Embedded Systems Design Techniques (65 papers) and Formal Methods in Verification (19 papers). Marco Di Natale is often cited by papers focused on Real-Time Systems Scheduling (74 papers), Embedded Systems Design Techniques (65 papers) and Formal Methods in Verification (19 papers) and collaborates with scholars based in Italy, United States and Canada. Marco Di Natale's co-authors include Alberto Sangiovanni‐Vincentelli, Qi Zhu, Haibo Zeng, Alessandro Biondi and Paolo Giusto and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Industrial Informatics and SAE technical papers on CD-ROM/SAE technical paper series

In The Last Decade

Rankless by CCL
2025