The Effectiveness of Statistical Testing when Applied to Logic Systems. - Silke Kuball; Gordon Hughes; John H. R. May; Julio Gallardo; Andrew D. John; Roy B. Carter (SAFECOMP, 2001)

Use of Graphical Probabilistic Models to build SIL claims based on software safety standards such as IEC61508-3. - Mário Brito; John May; Julio Gallardo; Ed Fergus (SSS, 2006)

A scalable distributed search engine for images : partitioning the image database for optimal retrieval. - Julio Gallardo (2007)

Towards the Automatic Identification of Faulty Multi-Agent Based Simulation Runs Using MASTER. - Chris J. Wright; Phil McMinn; Julio Gallardo (MABS, 2012)