Michael Colón

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