Static Analysis of Programs Using Omega Algebra with Tests. - Claude Bolduc; Josée Desharnais (RelMiCS, 2005)

Solving Linear Equations in *-continuous Action Lattices. - Béchir Ktari; François Lajeunesse-Robert; Claude Bolduc (RelMiCS, 2008)

Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. - Claude Bolduc; Béchir Ktari (RelMiCS, 2009)

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra. - Claude Bolduc; Béchir Ktari (AMAST, 2010)

Lessons Learned: Using a Static Analysis Tool within a Continuous Integration System. - Claude Bolduc (ISSRE Workshops, 2016)