Sandrine Blazy

22 papers and 214 indexed citations i.

Sandrine Blazy has authored 22 papers that have received a total of 214 indexed citations. This includes 14 papers in Artificial Intelligence, 9 papers in Software and 6 papers in Computational Theory and Mathematics. The topics of these papers are Software Testing and Debugging Techniques (9 papers), Logic, programming, and type systems (8 papers) and Formal Methods in Verification (6 papers). Sandrine Blazy is often cited by papers focused on Software Testing and Debugging Techniques (9 papers), Logic, programming, and type systems (8 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in France, United States and Spain. Sandrine Blazy's co-authors include David Pichardie, Xavier Leroy, Vincent Laporte, Frédéric Besson and Christine Paulin-Mohring and has published in prestigious journals such as ACM Computing Surveys, Lecture notes in computer science and ACM SIGPLAN Notices