On the Termination of Linear and Affine Programs over the Integers
Morphisms for Non-trivial Non-Linear Invariant Generation for Algebraic Hybrid Systems
Multivariate Formal Power Series Invariants Generation for Non Linear Hybrid Systems
Transcendental Inductive Invariants Generation for Non-linear Hybrid Systems
Generating Invariants for Non-linear Loops by Linear Algebraic Methods
Generating Invariants for Non-linear Hybrid Systems
IC Technical Reports 2013
IC Technical Reports 2014
IC Technical Reports 2008
IC Technical Reports 2012
IC Technical Reports 2009
Rachid Rebiha
Arnaldo V. Moura
Arnaldo Vieira-Moura