Claude Bolduc

According to our database, Claude Bolduc authored at least 5 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Lessons Learned: Using a Static Analysis Tool within a Continuous Integration System.

Claude Bolduc

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2010

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra.

Claude Bolduc, Béchir Ktari

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.

Claude Bolduc, Béchir Ktari

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Solving Linear Equations in *-continuous Action Lattices.

Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2005

Static Analysis of Programs Using Omega Algebra with Tests.

Claude Bolduc, Josée Desharnais

Proceedings of the Relational Methods in Computer Science, 2005