Nadir Matringe

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Top Venues

Formal Aspects Comput.

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)