Julien Signoles

15 papers and 153 indexed citations i.

About

Julien Signoles has authored 15 papers that have received a total of 153 indexed citations. This includes 12 papers in Artificial Intelligence, 8 papers in Software and 5 papers in Computational Theory and Mathematics. The topics of these papers are Software Testing and Debugging Techniques (8 papers), Security and Verification in Computing (8 papers) and Formal Methods in Verification (5 papers). Julien Signoles is often cited by papers focused on Software Testing and Debugging Techniques (8 papers), Security and Verification in Computing (8 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in France, Austria and Malta. Julien Signoles's co-authors include Virgile Prévosto, Nikolaï Kosmatov, Ezio Bartocci, Ylìès Falcone and Domenico Bianculli and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and Science of Computer Programming

In The Last Decade

Rankless by CCL
2025