Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. - Rachid Rebiha; Nadir Matringe; Arnaldo Vieira Moura (ICTAC, 2008)

Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. - Nadir Matringe; Arnaldo Vieira Moura; Rachid Rebiha (HSCC, 2009)

Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods. - Nadir Matringe; Arnaldo Vieira Moura; Rachid Rebiha (SAS, 2010)

Transcendental inductive invariants generation for non-linear differential and hybrid systems. - Rachid Rebiha; Nadir Matringe; Arnaldo Vieira Moura (HSCC, 2012)

Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. - Rachid Rebiha; Nadir Matringe; Arnaldo Vieira Moura (SCSS, 2013)

Generating Asymptotically Non-Terminating Initial Values for Linear Programs. - Rachid Rebiha; Nadir Matringe; Arnaldo Vieira Moura (CoRR, 2014)

Characterization of Termination for Linear Loop Programs. - Rachid Rebiha; Arnaldo Vieira Moura; Nadir Matringe (CoRR, 2014)

On the Termination of Linear and Affine Programs over the Integers. - Rachid Rebiha; Arnaldo Vieira Moura; Nadir Matringe (CoRR, 2014)

Generating invariants for non-linear loops by linear algebraic methods. - Rachid Rebiha; Arnaldo Vieira Moura; Nadir Matringe (Formal Aspects Comput., 2015)

Generating invariants for non-linear hybrid systems. - Rachid Rebiha; Arnaldo Vieira Moura; Nadir Matringe (Theor. Comput. Sci., 2015)