Michael Colón

Publication Activity (10 Years)

Years Active: 1995-2011
Publications (10 Years): 0

Publications

Michael Colón, Sriram Sankaranarayanan
Generalizing the Template Polyhedral Domain. ESOP (2011)
Michael Colón
Polynomial approximations of the relational semantics of imperativeprograms. Sci. Comput. Program. 64 (1) (2007)
Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna
Efficient Strongly Relational Polyhedral Analysis. VMCAI (2006)
Michael Colón
Schema-Guided Synthesis of Imperative Programs by Constraint Solving. LOPSTR (2004)
Michael Colón
Approximating the Algebraic Relational Semantics of Imperative Programs. SAS (2004)
Michael Colón, Sriram Sankaranarayanan, Henny Sipma
Linear Invariant Generation Using Non-linear Constraint Solving. CAV (2003)
Michael Colón, Henny Sipma
Practical Methods for Proving Program Termination. CAV (2002)
Michael Colón, Henny Sipma
Synthesis of Linear Ranking Functions. TACAS (2001)
Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods Syst. Des. 16 (3) (2000)
Michael Colón, Tomás E. Uribe
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. CAV (1998)
Zohar Manna, Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification (1998)
Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering (1997)
Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV (1996)
Zohar Manna, Nikolaj 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
STeP: The Stanford Temporal Prover. TAPSOFT (1995)