Michael Colón

According to our database, Michael Colón authored at least 15 papers between 1995 and 2011.

Collaborative distances:

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

2011

Generalizing the Template Polyhedral Domain.

Michael Colón, Sriram Sankaranarayanan

Proceedings of the Programming Languages and Systems, 2011

2007

Polynomial approximations of the relational semantics of imperativeprograms.

Michael Colón

Sci. Comput. Program., 2007

2006

Efficient Strongly Relational Polyhedral Analysis.

Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna

Proceedings of the Verification, 2006

2004

Approximating the Algebraic Relational Semantics of Imperative Programs.

Michael Colón

Proceedings of the Static Analysis, 11th International Symposium, 2004

Schema-Guided Synthesis of Imperative Programs by Constraint Solving.

Michael Colón

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

2003

Deductive techniques for program analysis.

Michael Colón

PhD thesis, 2003

Linear Invariant Generation Using Non-linear Constraint Solving.

Michael Colón, Sriram Sankaranarayanan, Henny Sipma

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Practical Methods for Proving Program Termination.

Michael Colón, Henny Sipma

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Synthesis of Linear Ranking Functions.

Michael Colón, Henny Sipma

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

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

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

Proceedings of the International Workshop Tool Support for System Specification, 1998

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures.

Michael Colón, Tomás E. Uribe

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Abstraction and Modular Verification of Infinite-State Reactive Systems.

Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

1996

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

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

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

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995