Executing OpenMP Programs on Distributed Resources using a Source-to-Source Transformation Tool. - Éric Renault; Charles Ancelin; Oscar Botero; Willy Jimenez (PDCCS, 2008)

Using Source-to-Source Transformation Tools to Provide Distributed Parallel Applications from OpenMP Source Code. - Éric Renault; Charles Ancelin; Willy Jimenez; Oscar Botero (ISPDC, 2008)

Security Protocol Testing Using Attack Trees. - Anderson Nunes Paiva Morais; Eliane Martins; Ana R. Cavalli; Willy Jimenez (CSE (2), 2009)

Using Testing Techniques for Vulnerability Detection in C Programs. - Amel Mammar; Ana R. Cavalli; Willy Jimenez; Wissam Mallouli; Edgardo Montes de Oca (ICTSS, 2011)

VDC-Based Dynamic Code Analysis: Application to C Programs. - Wissam Mallouli; Amel Mammar; Ana R. Cavalli; Willy Jimenez (J. Internet Serv. Inf. Secur., 2011)

A SPIN-based approach for detecting vulnerabilities in C programs. - Natalia Kushik; Amel Mammar; Ana R. Cavalli; Nina Yevtushenko 001; Willy Jimenez; Edgardo Montes de Oca (Autom. Control. Comput. Sci., 2012)

An advanced approach for modeling and detecting software vulnerabilities. - Nahid Shahmehri; Amel Mammar; Edgardo Montes de Oca; David Byers; Ana R. Cavalli; Shanai Ardi; Willy Jimenez (Inf. Softw. Technol., 2012)

Two complementary approaches to detecting vulnerabilities in C programs. (Deux approches complémentaires pour la détection de vulnérabilités dans les programmes C). - Willy Jimenez (2013)