Rachid Rebiha

13 papers B 1C 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Multi-Centered Attack-Surface-Driven Threat Modeling: Securing Healthcare Systems.
NTMS
Rachid Rebiha, Sofia Rebiha Decesaro
2015 J jnl
Generating invariants for non-linear hybrid systems.
Theor. Comput. Sci.
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
2015 J jnl
Generating invariants for non-linear loops by linear algebraic methods.
Formal Aspects Comput.
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
2014 J jnl
Characterization of Termination for Linear Loop Programs.
CoRR
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
2014 J jnl
Generating Asymptotically Non-Terminating Initial Values for Linear Programs.
CoRR
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
2014 J jnl
On the Termination of Linear and Affine Programs over the Integers.
CoRR
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
2013 — conf
Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs.
SCSS
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
2012 — conf
Transcendental inductive invariants generation for non-linear differential and hybrid systems.
HSCC
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
2011 — —
Algebraic formal methods for invariant generation.
Rachid Rebiha
2010 B conf
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods.
SAS
Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha
2009 — conf
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems.
HSCC
Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha
2008 C conf
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation.
ICTAC
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
2007 C conf
An Ant Colony Verification Algorithm.
ISDA
Rachid Rebiha, Giovanni Luca Ciampaglia