On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier. - Frédéric Painchaud; Mourad Debbabi (WETICE, 2000)

Secure Self-certified Code for Java. - Mourad Debbabi; Josée Desharnais; M. Fourati; E. Menif; Frédéric Painchaud; Nadia Tawbi (FASec, 2002)

Source Code Verification Tools for Software Security Bugs. - Frédéric Michaud; Frédéric Painchaud (SoMeT, 2006)

ATLANTIS - Assembly Trace Analysis Environment. - Brendan Cleary; Margaret-Anne D. Storey; Laura Chan; Martin Salois; Frédéric Painchaud (WCRE, 2012)

Contemporary Peer Review in Action: Lessons from Open Source Development. - Peter C. Rigby; Brendan Cleary; Frédéric Painchaud; Margaret-Anne D. Storey; Daniel M. Germán (IEEE Softw., 2012)

Reconstructing program memory state from multi-gigabyte instruction traces to support interactive analysis. - Brendan Cleary; Patrick Gorman; Eric Verbeek 002; Margaret-Anne D. Storey; Martin Salois; Frédéric Painchaud (WCRE, 2013)