SoftwareHardware Hybrid Systems Verification. - Neelesh Bhattacharya (ICST, 2011)

Divide-by-Zero Exception Raising via Branch Coverage. - Neelesh Bhattacharya; Abdelilah Sakti; Giuliano Antoniol; Yann-Gaël Guéhéneuc; Gilles Pesant (SSBSE, 2011)

Support vector machines for anti-pattern detection. - Abdou Maiga; Nasir Ali; Neelesh Bhattacharya; Aminata Sabané; Yann-Gaël Guéhéneuc; Giuliano Antoniol; Esma Aïmeur (ASE, 2012)

Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern. - Neelesh Bhattacharya; Olfat El-Mahi; Etienne Duclos; Giovanni Beltrame; Giuliano Antoniol; Sébastien Le Digabel; Yann-Gaël Guéhéneuc (SSBSE, 2012)

SMURF: A SVM-based Incremental Anti-pattern Detection Approach. - Abdou Maiga; Nasir Ali; Neelesh Bhattacharya; Aminata Sabané; Yann-Gaël Guéhéneuc; Esma Aïmeur (WCRE, 2012)