Willy Jimenez

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Automatic Detection

Computer Systems

Security Vulnerabilities

Top Venues

Inf. Softw. Technol.

Autom. Control. Comput. Sci.

Telecom & Management SudParis, Évry, Essonne, France (PHD)

Education History

Telecom & Management SudParis, Évry, Essonne, France

PHD

Publications

Nahid Shahmehri, Amel Mammar, Edgardo Montes de Oca, David Byers, Ana R. Cavalli, Shanai Ardi, Willy Jimenez
An advanced approach for modeling and detecting software vulnerabilities. Inf. Softw. Technol. 54 (9) (2012)
Natalia Kushik, Amel Mammar, Ana R. Cavalli, Nina Yevtushenko, Willy Jimenez, Edgardo Montes de Oca
A SPIN-based approach for detecting vulnerabilities in C programs. Autom. Control. Comput. Sci. 46 (7) (2012)
Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca
Using Testing Techniques for Vulnerability Detection in C Programs. ICTSS (2011)
Wissam Mallouli, Amel Mammar, Ana R. Cavalli, Willy Jimenez
VDC-Based Dynamic Code Analysis: Application to C Programs. J. Internet Serv. Inf. Secur. 1 (2/3) (2011)
Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez
Security Protocol Testing Using Attack Trees. CSE (2) (2009)
Éric Renault, Charles Ancelin, Oscar Botero, Willy Jimenez
Executing OpenMP Programs on Distributed Resources using a Source-to-Source Transformation Tool. PDCCS (2008)
Éric Renault, Charles Ancelin, Willy Jimenez, Oscar Botero
Using Source-to-Source Transformation Tools to Provide Distributed Parallel Applications from OpenMP Source Code. ISPDC (2008)