Nadir Matringe

According to our database, Nadir Matringe authored at least 10 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Generating invariants for non-linear hybrid systems.

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

Theor. Comput. Sci., 2015

Generating invariants for non-linear loops by linear algebraic methods.

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

Formal Aspects Comput., 2015

2014

On the Termination of Linear and Affine Programs over the Integers.

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

CoRR, 2014

Characterization of Termination for Linear Loop Programs.

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

CoRR, 2014

Generating Asymptotically Non-Terminating Initial Values for Linear Programs.

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

CoRR, 2014

2013

Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs.

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2012

Transcendental inductive invariants generation for non-linear differential and hybrid systems.

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2010

Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods.

Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha

Proceedings of the Static Analysis - 17th International Symposium, 2010

2009

Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems.

Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008

Endomorphisms for Non-trivial Non-linear Loop Invariant Generation.

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

Proceedings of the Theoretical Aspects of Computing, 2008