Department of  Computers & Information Systems

My research interests include the following areas :

• Computer communication protocols
• Algebraic development techniques
• Rewriting logic
• Petri nets
• Z notation
• Mobile computing
• Network Security
  
  

Publications in Computer Science Journals

• "On Reusing ATNet Modules on Protocol Specification", with M. Bettaz, M. Soualmi and M. Boukebeche, Journal of Systems and Software (JSS), Volume 27, No 2, pp. 119-128, 1994
  
• "Protocol Specification Using ECATNets", with M. Bettaz, M. Soualmi, and M. Boukebeche, Networking and Distributed Computing, Hermes, Vol.3 No.l, pp.7-35, 1993.
  
• "Compact Modelling and Rapid Prototyping of Communication Software with ECATNets: a Case Study" with M. Bettaz, M. Soualmi and M. Boukebeche, Simulation Series, Vol.25, N.1, pp.149-154, 1993

Publications in Lecture Notes in Computer Science

• "How to specify non-determinism and true concurrency with algebraic term nets” with M. Bettaz, LNCS, No 655, Springer-Verlag, 1993

Publications in IEEE proceedings

• "Formal Specification of Communication Protocols with Object-Based ECATNets", with M. Bettaz and K. Barkaoui, EUROMICRO-22, IEEE, pp.492-499, 1996
  
• "Modeling of Object Based Systems With Hidden Sorted ECATNets", with M. Bettaz, MASCOTS'95, IEEE, pp. 307-311, 1995

Publications in SCS International

• “De l'héritage du cycle de vie dans les objets: une approche basée sur les ECATNets”, with Bettaz and K. Barkaoui, MOSIM'99, SCS International, pp. 125-130, 1999

Publications in Hermes

• “Une approche pour le diagnostic des pannes dans les réseaux”, with H. Bennoui and M. Bettaz, CFIP'99, Hermes, 1999.
  
• "Du vrai parallélisme dans les réseaux algébriques et de son application dans les systèmes de production " with M. Bettaz, G. Berthelot and L. Petrucci, MOSIM'97, Hermes, pp. 417-424, 1997
  
• "Vers une approche de spécification formelle des protocoles à l'aide de Troll* ", avec M. Bettaz, CFIP'97, Hermes, pp. 145-157, 1997

Presentations in international workshops

• "Object Behaviors: a Rewriting Logic Based Approach", with M. Bettaz, WADT, Genova, Italy, 3/2001
  
• "An Operational and Denotational Semantics for Event Structures Based on Rewrite Logic", with C.Bouanaka, S.Rami and M.Bettaz, 13th Workshop on Algebraic Development Techniques, Lisbon, Portugal, April 1998.
  
• "Concurrent Bisimulations in Hidden Labelled Rewriting Logics", with M. Bettaz, 1 1-th Workshop on Abstract Data Types and Compass Meeting, Oslo, Norway, 9/1995.

Research Experience

• Co- Author of the ECATNets framework cited and referenced by several known authors and researchers in their research work.

• Program Committee Member of the International Symposium on Innovation in Information and Communication Technology (ISIICT’2002).
  
• Program Committee Member of the International Symposium on Software and Systems (I3S'2001).
  
• Program Committee Member of the First Mediterranean International Conference on Computers Technologies (MICCT'99).
  
• Program Committee Member of the First Maghrebin Conference on Software Engineering and Artificial Intelligence (MCSEAI'89).

Refereeing Activities (for international CS conferences)

• MASCOTS'94 Durham USA.
  
• MASCOTS'95 Durham USA.
  
• CFIP’2002 Montreal Canada
  
• ICCI'98 Winnipeg Canada.
  
• ICCI'96 Waterloo Canada.
  
• CFIP'93 Montreal Canada.
  
• ICCI'93 Toronto Canada.
  
• CFIP'99 Nancy France.
  
• MOSIM'99 Annecy France.
  
• MOSIM'97 Rouen France.
  
• CFIP'95 Rennes France.
  
• CFIP'97 Liege Belgium.
  
• MCSEAI'98 Tunis Tunisia.
  
• CFIP'96 Rabat Morocco.
  
• ISPS'2001 Algiers Algeria
  
• I3S'2001, Constantine Algeria
  
• MICCT'99 Tizi-Ouzou Algeria.
  
• ISPS'99 Algiers Algeria.
  
• CII'99 Annaba Algeria.
  
• CP'98 Tizi-Ouzou Algeria.
  
• ISPS'97 Algiers Algeria.
  
• MCSEAI'96 Algiers Algeria.
  
• SNITO'96 Tizi-Ouzou Algeria.
  
• ISPS'95 Algiers Algeria.
  
• ISPS'91 Algiers Algeria.
  
• MCSEAI'89 Constantine Algeria.

Industry Connections

• Participation during the years 1998-1999 to an Euromaster program organised by CITCOM (France Telecom) & EEPAD Annaba (Algeria) using videoconferencing (Paris-Algiers-Annaba-Arzew-Hassi Messaoud). The Euromaster program was delivered to engineers from Petroleum, Electricity and other industrial companies.

• C.. Bouanaka Constantine University
  
• M. Chihoub Constantine university
  
• M. Betta Batna university
  
• A. Alloui Batna University

• N. Boudiaf, Towards a Formal Specification of Network Management Objects with TROLL Language, Constantine University, June 2000
  
• H. Bennoui, Network Failure Diagnostic: A Petri Net Based approach, Constantine University, June 2000
  
• Lakehal, Life Inheritance in Objects: Application to Communication Protocols, Constantine University, May 2000
  
• S. Rami, Unifying Concurrency Models through Rewriting Logic: State of the Art and Synthesis, Constantine University, December 1998
  
• Bouanaka, Unifying Concurrency Models through Rewriting Logic: Application to Event Structures, Constantine University, December 1998