 | 2007 |
|---|
| 7 |       | Imen Zaabar,
Narjes Berregeb:
Reasoning about Cryptographic Protocols in Observational Theories.
ECBS 2007: 539-548 |
| 2006 |
|---|
| 6 | | Narjes Berregeb:
Proving Properties for Behavioural Specifications with Term Observation.
J. UCS 12(10): 1413-1425 (2006) |
| 2004 |
|---|
| 5 | | Narjes Berregeb,
Riadh Robbana,
Ashish Tiwari:
Towards automated proofs of observational properties.
Discrete Mathematics & Theoretical Computer Science 6(2): 143-162 (2004) |
| 4 | | Narjes Berregeb,
Riadh Robbana:
On the Verification by Approximation of Duration Systems.
Int. Arab J. Inf. Technol. 1(2): 147-155 (2004) |
| 1998 |
|---|
| 3 | | 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 |
