Secure Self-Certified COTS. - Mourad Debbabi; E. Giasson; Béchir Ktari; Frédéric Michaud; Nadia Tawbi (WETICE, 2000)

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

Hydro power plant modeling for generation control applications. - Gerard Robert; Frédéric Michaud (ACC, 2012)

A Testing Model for Dynamic Malware Analysis Systems. - Frédéric Massicotte; Mathieu Couture; Hugues Normandin; Frédéric Michaud (ICST, 2012)

Blueprints of an Automated Android Test-Bed. - François Gagnon; Jérémie Poisson; Simon Frenette; Frédéric Lafrance; Simon Hallé; Frédéric Michaud (ICETE (Selected Papers), 2014)

QuantiNemo 2: a Swiss knife to simulate complex demographic and genetic scenarios, forward and backward in time. - Samuel Neuenschwander; Frédéric Michaud; Jérôme Goudet (Bioinform., 2019)