Michael Colón

	2007
12		Michael Colón: Polynomial approximations of the relational semantics of imperativeprograms. Sci. Comput. Program. 64(1): 76-96 (2007)
	2006
11		Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna: Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006: 111-125
	2004
10		Michael Colón: Schema-Guided Synthesis of Imperative Programs by Constraint Solving. LOPSTR 2004: 166-181
9		Michael Colón: Approximating the Algebraic Relational Semantics of Imperative Programs. SAS 2004: 296-311
	2003
8		Michael Colón, Sriram Sankaranarayanan, Henny Sipma: Linear Invariant Generation Using Non-linear Constraint Solving. CAV 2003: 420-432
	2002
7		Michael Colón, Henny Sipma: Practical Methods for Proving Program Termination. CAV 2002: 442-454
	2001
6		Michael Colón, Henny Sipma: Synthesis of Linear Ranking Functions. TACAS 2001: 67-81
	2000
5		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 in System Design 16(3): 227-270 (2000)
	1998
4		Michael Colón, Tomás E. Uribe: Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. CAV 1998: 293-304
	1997
3		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: 273-292
	1996
2		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: 415-418
	1995
1		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: 793-794

Coauthor Index

1	Luca de Alfaro	[1]
2	Nikolaj Bjørner	[1] [2] [5]
3	Anca Browne (I. A. Draghicescu)	[1] [2] [5]
4	Edward Y. Chang	[1] [2]
5	Harish Devarajan	[1]
6	Bernd Finkbeiner	[3] [5]
7	Arjun Kapur	[1] [2]
8	Jaejin Lee	[1]
9	Zohar Manna	[1] [2] [3] [5] [11]
10	Sriram Sankaranarayanan	[8] [11]
11	Henny B. Sipma (Henny Sipma)	[1] [2] [3] [5] [6] [7] [8] [11]
12	Tomás E. Uribe	[1] [2] [3] [4] [5]