| 2011 | ESOP | Generalizing the Template Polyhedral Domain. | Michael Coln, Sriram Sankaranarayanan |
| 2006 | VMCAI | Efficient Strongly Relational Polyhedral Analysis. | Sriram Sankaranarayanan, Michael Coln, Henny B. Sipma, Zohar Manna |
| 2004 | LOPSTR | Schema-Guided Synthesis of Imperative Programs by Constraint Solving. | Michael Coln |
| 2004 | SAS | Approximating the Algebraic Relational Semantics of Imperative Programs. | Michael Coln |
| 2003 | CAV | Linear Invariant Generation Using Non-linear Constraint Solving. | Michael Coln, Sriram Sankaranarayanan, Henny Sipma |
| 2002 | CAV | Practical Methods for Proving Program Termination. | Michael Coln, Henny Sipma |
| 2001 | TACAS | Synthesis of Linear Ranking Functions. | Michael Coln, Henny Sipma |
| 1998 | CAV | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. | Michael Coln, Toms E. Uribe |
| 1996 | CAV | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. | Nikolaj S. Bjrner, Anca Browne, Edward Y. Chang, Michael Coln, Arjun Kapur, Zohar Manna, Henny Sipma, Toms E. Uribe |