An end-to-end framework for safe software development

Autor: Hussein, Mahmoud, Nouacer, Reda, Radermacher, Ansgar, Puccetti, Armand, Gaston, Christophe, Rapin, Nicolas

Publikováno v: In Microprocessors and Microsystems October 2018 62:41-49

Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed.

Autor: Kiss, Balázs, Kosmatov, Nikolai, Pariente, Dillon, Puccetti, Armand

Publikováno v: Hardware & Software: Verification & Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings; 2015, p39-50, 12p

Experience report.

Autor: Cuoq, Pascal, Signoles, Julien, Baudin, Patrick, Bonichon, Richard, Canet, Géraud, Correnson, Loïc, Monate, Benjamin, Prevosto, Virgile, Puccetti, Armand

Publikováno v: Proceedings of the 14th ACM SIGPLAN International Conference: Functional Programming; 8/31/2009, p281-286, 6p