|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Colón, Sriram Sankaranarayanan |
Generalizing the Template Polyhedral Domain.  |
ESOP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Colón |
Polynomial approximations of the relational semantics of imperativeprograms. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna |
Efficient Strongly Relational Polyhedral Analysis. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Colón |
Approximating the Algebraic Relational Semantics of Imperative Programs. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Colón |
Schema-Guided Synthesis of Imperative Programs by Constraint Solving. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Colón, Sriram Sankaranarayanan, Henny Sipma |
Linear Invariant Generation Using Non-linear Constraint Solving. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Colón, Henny Sipma |
Practical Methods for Proving Program Termination. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Colón, Henny Sipma |
Synthesis of Linear Ranking Functions. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Colón, Tomás E. Uribe |
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")