( en | de | ru )

 

Disambiguation of "Colón, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of Linear Ranking Functions.

, and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 67-81. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Colón Bermúdez

Virgilio Colón León

Immo Colonius

Hans Colonius

Herbert Colonius

 

Other publications of authors with the same name

Practical Methods for Proving Program Termination., and . CAV, volume 2404 of Lecture Notes in Computer Science, page 442-454. Springer, (2002)Abstraction and Modular Verification of Infinite-State Reactive Systems., , , , and . Requirements Targeting Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, page 273-292. Springer, (1997)Linear Invariant Generation using Non-linear Constraint Solving, , and . CAV, volume 2725 of LNCS, page 420--433. Springer, (July 2003)An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems., , , , , , , and . Tool Support for System Specification, Development and Verification, page 174-188. Springer, (1998)Generalizing the Template Polyhedral Domain., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 176-195. Springer, (2011)Synthesis of Linear Ranking Functions., and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 67-81. Springer, (2001)Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures., and . CAV, volume 1427 of Lecture Notes in Computer Science, page 293-304. Springer, (1998)Towards Space-Efficient Linear Relations Analysis, and . (2005)Draft available by request.Approximating the Algebraic Relational Semantics of Imperative Programs. $11^th$ Static Analysis Symposium (SAS'2004), volume 3148 of LNCS, Springer, (2004)Schema-Guided Synthesis of Imperative Programs by Constraint Solving.. LOPSTR, volume 3573 of Lecture Notes in Computer Science, page 166-181. Springer, (2004)