André Rifaut

5 papers and 43 indexed citations i.

André Rifaut has authored 5 papers that have received a total of 43 indexed citations. This includes 4 papers in Artificial Intelligence, 3 papers in Software and 2 papers in Computational Theory and Mathematics. The topics of these papers are Advanced Software Engineering Methodologies (4 papers), Formal Methods in Verification (2 papers) and Software Reliability and Analysis Research (2 papers). André Rifaut is often cited by papers focused on Advanced Software Engineering Methodologies (4 papers), Formal Methods in Verification (2 papers) and Software Reliability and Analysis Research (2 papers) and collaborates with scholars based in Belgium, Luxembourg and Switzerland. André Rifaut's co-authors include Philippe Massonet, Axel van Lamsweerde, Christophe Ponsard and Éric Dubois and has published in prestigious journals such as Proceedings of the IEEE, Journal of Lightwave Technology and Formal Methods in System Design.