Narjes Berregeb

Publication Activity (10 Years)

Years Active: 1996-2007
Publications (10 Years): 0

Publications

Imen Zaabar, Narjes Berregeb
Reasoning about Cryptographic Protocols in Observational Theories. ECBS (2007)
Narjes Berregeb
Proving Properties for Behavioural Specifications with Term Observation. J. Univers. Comput. Sci. 12 (10) (2006)
Narjes Berregeb, Riadh Robbana
On the Verification by Approximation of Duration Systems. Int. Arab J. Inf. Technol. 1 (2) (2004)
Narjes Berregeb, Riadh Robbana, Ashish Tiwari
Towards automated proofs of observational properties. Discret. Math. Theor. Comput. Sci. 6 (2) (2004)
Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
Observational Proofs with Critical Contexts. FASE (1998)
Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
Automated Verification by Induction with Associative-Commutative Operators. CAV (1996)
Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. RTA (1996)