| |
| 2006 | ||
|---|---|---|
| 6 | EE | Narjes Berregeb: Proving Properties for Behavioural Specifications with Term Observation. J. UCS 12(10): 1413-1425 (2006) |
| 2004 | ||
| 5 | EE | Narjes Berregeb, Riadh Robbana, Ashish Tiwari: Towards automated proofs of observational properties. Discrete Mathematics & Theoretical Computer Science 6(2): 143-162 (2004) |
| 4 | EE | Narjes Berregeb, Riadh Robbana: On the Verification by Approximation of Duration Systems. Int. Arab J. Inf. Technol. 1(2): 147-155 (2004) |
| 1998 | ||
| 3 | EE | Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch: Observational Proofs with Critical Contexts. FASE 1998: 38-53 |
| 1996 | ||
| 2 | Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch: Automated Verification by Induction with Associative-Commutative Operators. CAV 1996: 220-231 | |
| 1 | Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch: SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. RTA 1996: 428-431 | |
| 1 | Adel Bouhoula | [1] [2] [3] |
| 2 | Riadh Robbana | [4] [5] |
| 3 | Michaël Rusinowitch | [1] [2] [3] |
| 4 | Ashish Tiwari | [5] |