Robert de Simone

37 papers and 825 indexed citations i.

About

Robert de Simone has authored 37 papers that have received a total of 825 indexed citations. This includes 32 papers in Hardware and Architecture, 20 papers in Computational Theory and Mathematics and 13 papers in Computer Networks and Communications. The topics of these papers are Embedded Systems Design Techniques (31 papers), Formal Methods in Verification (19 papers) and Real-Time Systems Scheduling (16 papers). Robert de Simone is often cited by papers focused on Embedded Systems Design Techniques (31 papers), Formal Methods in Verification (19 papers) and Real-Time Systems Scheduling (16 papers) and collaborates with scholars based in France, United States and India. Robert de Simone's co-authors include Frédéric Mallet, Charles André, Jean-Pierre Talpin, Dumitru Potop‐Butucaru and Yves Sorel and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Software Engineering and Theoretical Computer Science

In The Last Decade

Rankless by CCL
2025