Login / Signup
Claude Bolduc
Publication Activity (10 Years)
Years Active: 2005-2016
Publications (10 Years): 1
Top Topics
Multiscale
Cooperative
Lessons Learned
Analysis Tool
Top Venues
ISSRE Workshops
</>
Publications
</>
Claude Bolduc
Lessons Learned: Using a Static Analysis Tool within a Continuous Integration System.
ISSRE Workshops
(2016)
Claude Bolduc
,
Béchir Ktari
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra.
AMAST
(2010)
Claude Bolduc
,
Béchir Ktari
Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.
RelMiCS
(2009)
Béchir Ktari
,
François Lajeunesse-Robert
,
Claude Bolduc
Solving Linear Equations in *-continuous Action Lattices.
RelMiCS
(2008)
Claude Bolduc
,
Josée Desharnais
Static Analysis of Programs Using Omega Algebra with Tests.
RelMiCS
(2005)