| |
| 2009 | ||
|---|---|---|
| 2 | EE | Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha: Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. HSCC 2009: 445-449 |
| 2008 | ||
| 1 | EE | Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura: Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. ICTAC 2008: 425-439 |
| 1 | Arnaldo Vieira Moura | [1] [2] |
| 2 | Rachid Rebiha | [1] [2] |