Demo Data from EDBT 2026 / reviewers in the wild / expert
Michael Colón
dblp:78/1656
· DBLP profile ↗
11ranked-venue papers
8as first author
0since 2021 · last 2011
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 10 · 8 first-authorTheory of computation · 6 · 4 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
4 papers |
Automated reasoning and model checking · 100% | |
| Software engineering, system software, and programming languages
3 papers |
Program verification · 100% |
Topics — the 12 heaviest of 12, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification
invariant generation |
0.0 | 1 | 2003 | Linear Invariant Generation Using Non-linear Constraint Solving · CAV 2003 |
Automated reasoning and model checking
constraint solving |
0.0 | 1 | 2003 | Linear Invariant Generation Using Non-linear Constraint Solving · CAV 2003 |
Program verification
termination analysis |
0.0 | 1 | 2002 | Practical Methods for Proving Program Termination · CAV 2002 |
Automated reasoning and model checking › program verification
program invariants |
0.0 | 1 | 2002 | Practical Methods for Proving Program Termination · CAV 2002 |
Program verification
decision procedure |
0.0 | 1 | 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998 |
Program verification
reactive system verification |
0.0 | 1 | 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998 |
Automated reasoning and model checking › abstraction
finite-state machine abstraction |
0.0 | 1 | 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998 |
Automated reasoning and model checking › abstraction
predicate abstraction |
0.0 | 1 | 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998 |
Automated reasoning and model checking › program verification
deductive verification |
0.0 | 1 | 1996 | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996 |
Automated reasoning and model checking
model checking |
0.0 | 1 | 1996 | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996 |
Automated reasoning and model checking
reactive system verification |
0.0 | 1 | 1996 | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996 |
Automated reasoning and model checking
real-time verification |
0.0 | 1 | 1996 | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996 |
Methods — techniques the papers use, named apart from their topics
non-linear constraint solving · 0.1linear invariant generation · 0.1theorem proving · 0.1ranking functions · 0.1SMT · 0.0decision procedures · 0.0decision procedure · 0.0deductive-algorithmic verification · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2011 | Generalizing the Template Polyhedral Domain
Michael Colón, Sriram Sankaranarayanan 0001 |
ESOP | 1 |
| 2007 | Polynomial approximations of the relational semantics of imperativeprograms
Michael Colón |
Sci. Comput. Program. | 1 |
| 2006 | Efficient Strongly Relational Polyhedral Analysis
Sriram Sankaranarayanan 0001, Michael Colón, Henny B. Sipma, Zohar Manna |
VMCAI | 2 |
| 2004 | Schema-Guided Synthesis of Imperative Programs by Constraint Solving
Michael Colón |
LOPSTR | 1 |
| 2004 | Approximating the Algebraic Relational Semantics of Imperative Programs
Michael Colón |
SAS | 1 |
| 2003 | Linear Invariant Generation Using Non-linear Constraint Solving
Michael Colón, Sriram Sankaranarayanan 0001, Henny B. Sipma |
CAV | 1 |
| 2002 | Practical Methods for Proving Program Termination
Michael Colón, Henny B. Sipma |
CAV | 1 |
| 2001 | Synthesis of Linear Ranking Functions
Michael Colón, Henny B. Sipma |
TACAS | 1 |
| 2000 | Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe |
Formal Methods Syst. Des. | 3 |
| 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
Michael Colón, Tomás E. Uribe |
CAV | 1 |
| 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 B. Sipma, Tomás E. Uribe |
CAV | 4 |