Sylvain Hallé

44 papers and 306 indexed citations i.

About

Sylvain Hallé has authored 44 papers that have received a total of 306 indexed citations. This includes 19 papers in Information Systems, 18 papers in Computer Networks and Communications and 14 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (11 papers), Software Testing and Debugging Techniques (11 papers) and Business Process Modeling and Analysis (8 papers). Sylvain Hallé is often cited by papers focused on Formal Methods in Verification (11 papers), Software Testing and Debugging Techniques (11 papers) and Business Process Modeling and Analysis (8 papers) and collaborates with scholars based in Canada, United States and France. Sylvain Hallé's co-authors include Roger Villemaire, Raphaël Khoury, Tevfik Bultan, Omar Cherkaoui and Fábio Petrillo and has published in prestigious journals such as IEEE Access, IEEE Transactions on Software Engineering and Computer

In The Last Decade

Rankless by CCL
2025