| 2007 |
|---|
| 12 | EE | Michael Colón:
Polynomial approximations of the relational semantics of imperativeprograms.
Sci. Comput. Program. 64(1): 76-96 (2007) |
| 2006 |
|---|
| 11 | EE | Sriram Sankaranarayanan,
Michael Colón,
Henny B. Sipma,
Zohar Manna:
Efficient Strongly Relational Polyhedral Analysis.
VMCAI 2006: 111-125 |
| 2004 |
|---|
| 10 | EE | Michael Colón:
Schema-Guided Synthesis of Imperative Programs by Constraint Solving.
LOPSTR 2004: 166-181 |
| 9 | EE | Michael Colón:
Approximating the Algebraic Relational Semantics of Imperative Programs.
SAS 2004: 296-311 |
| 2003 |
|---|
| 8 | EE | Michael Colón,
Sriram Sankaranarayanan,
Henny Sipma:
Linear Invariant Generation Using Non-linear Constraint Solving.
CAV 2003: 420-432 |
| 2002 |
|---|
| 7 | EE | Michael Colón,
Henny Sipma:
Practical Methods for Proving Program Termination.
CAV 2002: 442-454 |
| 2001 |
|---|
| 6 | EE | 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 |
