Narjes Berregeb

According to our database, Narjes Berregeb authored at least 7 papers between 1996 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Reasoning about Cryptographic Protocols in Observational Theories.

Imen Zaabar, Narjes Berregeb

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Proving Properties for Behavioural Specifications with Term Observation.

Narjes Berregeb

J. Univers. Comput. Sci., 2006

2004

On the Verification by Approximation of Duration Systems.

Narjes Berregeb, Riadh Robbana

Int. Arab J. Inf. Technol., 2004

Towards automated proofs of observational properties.

Narjes Berregeb, Riadh Robbana, Ashish Tiwari

Discret. Math. Theor. Comput. Sci., 2004

1998

Observational Proofs with Critical Contexts.

Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1996

SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories.

Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Automated Verification by Induction with Associative-Commutative Operators.

Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch

Proceedings of the Computer Aided Verification, 8th International Conference, 1996