Willy Jimenez

According to our database, Willy Jimenez authored at least 8 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

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

PhD thesis, 2013

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

A SPIN-based approach for detecting vulnerabilities in C programs.

Natalia Kushik, Amel Mammar, Ana R. Cavalli, Nina Yevtushenko, Willy Jimenez, Edgardo Montes de Oca

Autom. Control. Comput. Sci., 2012

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

Using Testing Techniques for Vulnerability Detection in C Programs.

Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca

Proceedings of the Testing Software and Systems, 2011

2009

Security Protocol Testing Using Attack Trees.

Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

Using Source-to-Source Transformation Tools to Provide Distributed Parallel Applications from OpenMP Source Code.

Éric Renault, Charles Ancelin, Willy Jimenez, Oscar Botero

Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008

Executing OpenMP Programs on Distributed Resources using a Source-to-Source Transformation Tool.

Éric Renault, Charles Ancelin, Oscar Botero, Willy Jimenez

Proceedings of the ISCA 21st International Conference on Parallel and Distributed Computing and Communication Systems, 2008