Hypervolume Approximation in Timed Automata Model Checking. - Víctor A. Braberman; Jorge Lucángeli Obes; Alfredo Olivero; Fernando Schapachnik (FORMATS, 2007)

Improving Fuzz Testing Using Game Theory. - Sheila Becker; Humberto J. Abdelnur; Jorge Lucángeli Obes; Radu State; Olivier Festor (NSS, 2010)

An algorithm to find optimal attack paths in nondeterministic scenarios. - Carlos Sarraute; Gerardo Richarte; Jorge Lucángeli Obes (AISec, 2011)

Attack Planning in the Real World. - Jorge Lucángeli Obes; Carlos Sarraute; Gerardo Richarte (CoRR, 2013)