Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael Colón
2010 – today
- 2011
[c11]Michael Colón, Sriram Sankaranarayanan: Generalizing the Template Polyhedral Domain. ESOP 2011: 176-195
2000 – 2009
- 2007
- [j2]Michael Colón: Polynomial approximations of the relational semantics of imperativeprograms. Sci. Comput. Program. 64(1): 76-96 (2007)
- 2006
- [c10]Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna: Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006: 111-125
- 2004
- [c9]Michael Colón: Schema-Guided Synthesis of Imperative Programs by Constraint Solving. LOPSTR 2004: 166-181
- [c8]Michael Colón: Approximating the Algebraic Relational Semantics of Imperative Programs. SAS 2004: 296-311
- 2003
- [c7]Michael Colón, Sriram Sankaranarayanan, Henny Sipma: Linear Invariant Generation Using Non-linear Constraint Solving. CAV 2003: 420-432
- 2002
- [c6]
- 2001
- [c5]
- 2000
- [j1]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)
1990 – 1999
- 1998
- [c4]Michael Colón, Tomás E. Uribe: Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. CAV 1998: 293-304
- 1997
- [c3]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
- [c2]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
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:32 CET by the dblp team