| 2025 |
J |
jnl |
Softw. Test. Verification Reliab.
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
|
| 2025 |
C |
conf |
ICTAC
Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia
|
| 2024 |
B |
conf |
CONCUR
Jesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia
|
| 2024 |
J |
jnl |
CoRR
Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia
|
| 2024 |
— |
conf |
FormaliSE@ICSE
David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens
|
| 2023 |
J |
jnl |
CoRR
Joan S. Betancourt, Jesús Aranda, Juan Francisco Díaz, Frank Valencia
|
| 2023 |
— |
conf |
FTSCS
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz
|
| 2023 |
— |
conf |
ICSTW
Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
|
| 2014 |
C |
conf |
CLEI
Liliana Rosero, Michel Riguidel, Jesús Aranda
|
| 2013 |
— |
conf |
DCM
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz
|
| 2009 |
B |
conf |
ICLP
Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
|
| 2009 |
B |
conf |
FoSSaCS
Jesús Aranda, Frank D. Valencia, Cristian Versari
|
| 2009 |
— |
— |
Jesús Aranda
|
| 2008 |
B |
conf |
ICLP
Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
|
| 2007 |
B |
conf |
APLAS
Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia
|
| 2007 |
— |
conf |
EXPRESS
Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia
|
| 2006 |
— |
conf |
FMCO
Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
|
| 2004 |
— |
conf |
MOZ
Jesús Aranda, Juan Francisco Díaz, V. James Ortiz
|