 | 2011 |
| 4 |  | Amel Mammar,
Ana R. Cavalli,
Willy Jimenez,
Wissam Mallouli,
Edgardo Montes de Oca:
Using Testing Techniques for Vulnerability Detection in C Programs.
ICTSS 2011: 80-96 |
| 2009 |
| 3 |  | Anderson Nunes Paiva Morais,
Eliane Martins,
Ana R. Cavalli,
Willy Jimenez:
Security Protocol Testing Using Attack Trees.
CSE (2) 2009: 690-697 |
| 2008 |
| 2 |  | Éric Renault,
Charles Ancelin,
Oscar Botero,
Willy Jimenez:
Executing OpenMP Programs on Distributed Resources using a Source-to-Source Transformation Tool.
ISCA PDCCS 2008: 199-204 |
| 1 |  | É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: 197-204 |