STeP: The Stanford Temporal Prover. - Zohar Manna; Nikolaj S. Bjørner; Anca Browne; Edward Y. Chang; Michael Colón; Luca de Alfaro; Harish Devarajan; Arjun Kapur; Jaejin Lee; Henny Sipma; Tomás E. Uribe (TAPSOFT, 1995)

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. - Nikolaj S. Bjørner; Anca Browne; Edward Y. Chang; Michael Colón; Arjun Kapur; Zohar Manna; Henny Sipma; Tomás E. Uribe (CAV, 1996)

Abstraction and Modular Verification of Infinite-State Reactive Systems. - Zohar Manna; Michael Colón; Bernd Finkbeiner; Henny Sipma; Tomás E. Uribe (Requirements Targeting Software and Systems Engineering, 1997)

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. - Michael Colón; Tomás E. Uribe (CAV, 1998)

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. - Zohar Manna; Nikolaj S. Bjørner; Anca Browne; Michael Colón; Bernd Finkbeiner; Mark C. Pichora; Henny B. Sipma; Tomás E. Uribe (Tool Support for System Specification, Development and Verification, 1998)

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. - Nikolaj S. Bjørner; Anca Browne; Michael Colón; Bernd Finkbeiner; Zohar Manna; Henny Sipma; Tomás E. Uribe (Formal Methods Syst. Des., 2000)

Synthesis of Linear Ranking Functions. - Michael Colón; Henny Sipma (TACAS, 2001)

Practical Methods for Proving Program Termination. - Michael Colón; Henny Sipma (CAV, 2002)

Linear Invariant Generation Using Non-linear Constraint Solving. - Michael Colón; Sriram Sankaranarayanan 001; Henny Sipma (CAV, 2003)

Deductive techniques for program analysis. - Michael Colón (2003)

Schema-Guided Synthesis of Imperative Programs by Constraint Solving. - Michael Colón (LOPSTR, 2004)

Approximating the Algebraic Relational Semantics of Imperative Programs. - Michael Colón (SAS, 2004)

Efficient Strongly Relational Polyhedral Analysis. - Sriram Sankaranarayanan 001; Michael Colón; Henny B. Sipma; Zohar Manna (VMCAI, 2006)

Polynomial approximations of the relational semantics of imperativeprograms. - Michael Colón (Sci. Comput. Program., 2007)

Generalizing the Template Polyhedral Domain. - Michael Colón; Sriram Sankaranarayanan 001 (ESOP, 2011)