Bruno Dutertre

10 papers and 68 indexed citations i.

Bruno Dutertre has authored 10 papers that have received a total of 68 indexed citations. This includes 10 papers in Computational Theory and Mathematics, 5 papers in Hardware and Architecture and 4 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (3 papers) and Logic, programming, and type systems (3 papers). Bruno Dutertre is often cited by papers focused on Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (3 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in United States, United Kingdom and Israel. Bruno Dutertre's co-authors include V. Stavridou, Ashish Tiwari, Dejan Jovanović, Mathias Preiner and Murali Rangarajan and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and Journal of Systems and Software