Automated Verification by Induction with Associative-Commutative Operators. - Narjes Berregeb; Adel Bouhoula; Michaël Rusinowitch (CAV, 1996)

SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. - Narjes Berregeb; Adel Bouhoula; Michaël Rusinowitch (RTA, 1996)

Observational Proofs with Critical Contexts. - Narjes Berregeb; Adel Bouhoula; Michaël Rusinowitch (FASE, 1998)

Towards automated proofs of observational properties. - Narjes Berregeb; Riadh Robbana; Ashish Tiwari 001 (Discret. Math. Theor. Comput. Sci., 2004)

On the Verification by Approximation of Duration Systems. - Narjes Berregeb; Riadh Robbana (Int. Arab J. Inf. Technol., 2004)

Proving Properties for Behavioural Specifications with Term Observation. - Narjes Berregeb (J. Univers. Comput. Sci., 2006)

Reasoning about Cryptographic Protocols in Observational Theories. - Imen Zaabar; Narjes Berregeb (ECBS, 2007)