Rachid Rebiha

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 2

Top Venues

CoRR

SCSS

HSCC

Formal Aspects Comput.

University of Campinas, Brazil (PHD)

Education History

University of Campinas, Brazil

PHD

Publications

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
Generating invariants for non-linear hybrid systems. Theor. Comput. Sci. 594 (2015)
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
Generating invariants for non-linear loops by linear algebraic methods. Formal Aspects Comput. 27 (5-6) (2015)
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
Generating Asymptotically Non-Terminating Initial Values for Linear Programs. CoRR (2014)
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
On the Termination of Linear and Affine Programs over the Integers. CoRR (2014)
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
Characterization of Termination for Linear Loop Programs. CoRR (2014)
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. SCSS (2013)
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
Transcendental inductive invariants generation for non-linear differential and hybrid systems. HSCC (2012)
Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods. SAS (2010)
Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. HSCC (2009)
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. ICTAC (2008)
Rachid Rebiha, Giovanni Luca Ciampaglia
An Ant Colony Verification Algorithm. ISDA (2007)

Rachid Rebiha.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rachid Rebiha