Laboratoire MISC

Modélisation et Implémentation des Systèmes Complexes

Publications CFSC

Publications (2009-2012)

2012

Revues

  1. Toufik Messaoud Marouk, Djamel Eddine Saïdouni and Mohamed Khergag, Towards a calculus for distributed, real-time and mobile systems. Journal of Software, Vol 7, No. 3, pp. 564-574, March 2012. Academy Publisher
  2. Abdesslem Layeb and Serial Rayene Boussalia, A novel quantum inspired cuckoo search algorithm for bin packing problem. International Journal of Information Technology and Computer Science, Vol. 4, No. 5, pp. 58-67. MECS Press. May 2012.
  3. Nabil Belala, Djamel-Eddine Saidouni, Messaouda Bouneb and Jean-Michel Ilié. Maximality semantics and Petri nets. International Journal of Computer Science and Technology (IJCST), Vol. 3, Issue. 3, pp. 687-694, Print ISSN: 2229-4333, July-September 2012. www.ijcst.com
  4. Adel Benamira and Djamel-Eddine Saidouni. Maximality-based Step Graph for Safety-Petri Nets. International Journal of Computer Science and Telecommunications (IJCST), Volume 3, Issue 9, September 2012. Ijcst.org.
  5. Souad Guellati, Ilham Kitouni and Djamel-Eddine Saïdouni. Verification of durational action timed automata using UPPAAL. International Journal of Computer Applications (IJCA), Vol. 56, No. 11, pp. 33-41, October 2012. Foundation of Computer Science, New York, USA (In press).
  6. Farid Arfi, Jean-Michel Ilié and Djamel Eddine Saïdouni, « Scheduling with RATA model». Accepted for International journal of computer Science and Telecommunications (IJCST),ISSN:2047-3338, vol(3), Issue (10), October 2012.
  7. Ilham Kitouni, Hiba Hachichi, Kenza Bouaroudj and Djamel Eddine Saïdouni: Reducing Timed Automata: A New Approach. International Journal of Information Sciences and Techniques (IJIST) Vol.2, No.4, July 2012.pp 15-27. Published by NCSIP 2012, Gandhigram Rural Institute, India
  8. Ilham Kitouni, Hiba Hachichi, Kenza Bouarroudj and Djamel-eddine Saidouni. Article: Durational Actions Timed Automata: Determinization and Expressiveness. International Journal of Applied Information Systems 4(2):1-11, September 2012. Published by Foundation of Computer Science, New York, USA
  9. Kenza Bouaroudj, Ilham Kitouni, Hiba Hachichi and Djamel-Eddine Saidouni : Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems in IJCSI Volume 9, Issue 5, September 2012.(in press)
  10. Ilham Kitouni, Hiba Hachichi, Kenza Bouarroudj and Djamel-eddine Saidouni. Timed Refusals Graph for Non-Deterministic Timed Systems.   International Journal of Computer Science and Telecommunications IJCST. Volume 3, Issue 9, September 2012.
  11. Bouzenada, M., & Bensouyad, M., & Guidoum, N., & Reghioua, A., & Saïdouni, D. (2012). A Generalized Graph Strict Strong Coloring Algorithm. International Journal of Applied Metaheuristic Computing (IJAMC), 3(1), 24-33. doi:10.4018/jamc.2012010103.
  12. Hiba Hachichi, Ilhem.Kitouni, Kenza Bouaroudj and Djamel Eddine Saïdouni. Article: A Graphical Tool for Testing Timed Systems based on Meta-Modeling and Graph Grammars. The International Journal of Computer Science Issues - IJCSI, Vol 9, Issue 4 , No 1, July 2012. 
  13. Hiba Hachichi, Ilhem.Kitouni and Djamel Eddine Saïdouni. Article: Transforming DATA* with Dotty Format to Aggregate Region Automaton. International Journal of Computer Applications 37(10):35-42, January 2012. Published by Foundation of Computer Science, New York, USA
  14. Mokdad Arous, Kenza Bouaroudj and Djamel-Eddine Saïdouni. An Environment for Modeling and Testing Stochastic Systems. To Appear in Journal of Theoretical and Applied Information Technology (JATIT). 2012. To appear. ISSN: 1992-8645.
  15. Mokdad Arous, Jean-Michel Ilié, Djamel-Eddine Saidouni “A Compact Semantic Model for Characterization of Stochastic Temporal Properties of Concurrent Systems”. To appear in IJCSI Journal, Volume 9, Issue 6, November 2012

Conférences

  1. Mokdad Arous, Jean-Michel Ilié, Djamel-Eddine Saidouni “Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems” 2nd International Conference on Computer and Software Modeling - ICCSM 2012, Cochin, India. To be published in the IPCSIT (ISSN: 2010-460X), © (2012) IACSIT Press, Singapore.
  2. Kenza Bouaroudj, Ilham Kitouni, Hiba Hachichi and Djamel-Eddine Saidouni: Stochastic Refusal Graph for Testing Non-Deterministic Systems. In: The International Arab Conference on Information Technology (ACIT'2012). In CCIS, Zarqa University, Jordan, December 10-13, 2012(in press)
  3. R.Matmat, I.Bensetira and D. E. Saïdouni, “Distributed State Space Generation based Distributed Hash Tables”, in International Arab Conference on Information Technology (ACIT'2012).
  4. Hiba Hachichi , Ilham Kitouni, Kenza Bouaroudj  and Djamel Eddine Saidouni : A Graph Transformation Approach  for Testing Timed Systems. In: The 18th International Conference on Information and Software Technologies (ICIST 2012) published as a volume of Springer-Verlag CCIS 319, pp. 123–137,  Kaunas, Lithuania ( September 13th - 14th, 2012).
  5. D. E. Saidouni, A.C. Chaouch and Jean-MICHEL Ilié : “ On the fly PSO Inspired AlgorithmFor Graph Distribution” in proceeding of Misc 2012 , Constantine, May 20-21, 2012.   
  6. D. E. Saïdouni, R.Matmat and N.Tabib,” Algorithme Distribué pour la génération des STEMs avec Agrégation des Transitions” in Proceeding of the second International Conference  on Industrial Engineering and . Manufacturing (ICIEM’2012), Batna, Algeria, May 06 – 07, 2012.
  7. Mokdad Arous, Djamel-Eddine Saidouni, Jean-Michel Ilié “Algèbre de Processus Stochastique pour l'évaluation de performances en limitant l'explosion combinatoire d'espace d'états”.  The Second International Conference on Industrial Engineering and Manufacturing (ICIEM'2012), May 06-07, 2012. Batna, Algeria. 
  8. Ilham Kitouni, Hiba Hachichi, Djamel Eddine Saidouni : A Simple Approach for Reducing Timed Automata. In: The 2nd IEEE International Conference on Information Technology and e-Services (ICITeS 2012) . Sousse, Tunisia (March 24-26, 2012).
  9. Hiba Hachichi , Ilham Kitouni, Djamel Eddine Saidouni : Utilisation de la Transformation de Graphes pour le calcul des Automates des Régions Agrégés. In: The Sixth IEEE International Conference on Sciences of Electronic, Technologies of Information and Telecommunications (SETIT 2012).  Sousse, Tunisia (March 21-24, 2012).
  10. Farid Arfi, Djamel Eddine Saïdouni and Jean-Michel Ilié, « Ordonnancement basé sur la réduction de l’espace d’exploration». International Conference on Industrial Engineering and Manufacturing (ICIEM'12), Batna (Algeria), 06 and 07 may, 2012. 
  11. Farid Arfi, Djamel Eddine Saïdouni and Jean-Michel Ilié, « A model for job-shop problem». International Conference on Information Technology and e-Services (ICITeS'12), Sousse (Tunisia), 24,25 and 26 March. pp. 640-645, ISBN: 978-9938-9511-1-0, 2012.
  12. Mohamed Zaki Chellali, Bachir Djoudi, Nabil Belala and Djmel Eddine Saïdouni, « Approche et algorithme de transformation des DATA* en automates temporisés ». In Proceedings of Premières Journées Nationales sur l’Informatique et ses Applications (JNIAK 2012), pp. 137-145, Khenchela, Algeria, April 29-30th, 2012.

2011

Revues

  1. A. Layeb, Djamel Eddine Saïdouni. A new quantum evolutionary algorithm with sifting strategy for binary decision diagram ordering problem, International Journal of Cognitive Informatics and Natural Intelligence, 4(4), pp 47-61, October – December 2010.
  2. Layeb, A., Tabib, N., and Brirem B.: Genetic Algorithm and Variable Neighbourhood search for BDD Variable Ordering Problem, to appear in INFOCOMP Journal of Computer Science, Vol.10, N.1, 2011. 
  3. A. Layeb., I. Benstira, K. Bouaroudj.: A Hybrid Genetic Algorithm for RNA Structural Alignment. International Journal of Computer Applications, ISSN 0975 – 8887 Vol. 19, N.7, pp. 41-47, 2011.

Conférences

  1. Djamel Eddine Saïdouni, Farid Arfi et Jean-Michel Ilié, « Hétérogénéité dans les modèles temps-réel ». In Proceedings of INFORMATION SYSTEMS AND TECHNOLOGIES: 1st International Conference on Information Systems and Technologies (ICIST'11), Tebessa, Algeria, 24,25 and 26 April. pp. 553-561, ISBN: 978-9931-9004-0-5.
  2. Djamel Eddine Saïdouni, Amel Boumaza, Souad Guellati, «Prise en compte des durées d’actions dans la vérification des automates temporisés ». In Proceedings of INFORMATION SYSTEMS AND TECHNOLOGIES: 1st International Conference on Information Systems and Technologies (ICIST'11), Tebessa, Algeria, 24,25 and 26 April. pp. , ISBN: 978-9931-9004-0-5.
  3. Hiba Hachichi, Ilham Kitouni, Djamel Eddine Saïdouni, « Calcul des automates de regions pour les automates temporisées avec durées d’actions ». In proceedings of Première journée doctorales du laboratoire d’informatique d’Oran, JDLIO’2011, 31 Mai et 1 Juin 2011, Oran, Algeria.
  4. Hiba Hachichi , Ilham Kitouni, Djamel Eddine Saidouni : Application de l’approche de transformation de graphes pour le calcul des Automates des Régions Agrégés. In : The Second International Conference on Complex Systems(CISC'11). pp 9. Jijel University, Algeria (December 6-8, 2011).
  5. Hiba Hachichi , Ilham Kitouni, Djamel Eddine Saidouni : A Graph Grammar Approach for calculation of Aggregate Regions Automata. In: The International Arab Conference on Information Technology (ACIT'2011). Naif Arab University for Security Science (NAUSS) Riyadh, Saudi Arabia (December 11-14, 2011).
  6. D. E. Saidouni, R. Matmat and N. Tabib, A Distributed Algorithm for  MLTS Generation with Aggregation of Transitions. In. CIIA 2011, 3rd International Conference on Computer Science and its Applications, du 13 - 15 Decembre 2011, Saida, Algeria
  7. Adel Benamira and Djamel-Eddine Saidouni, Graphe de Pas Maximaux : une solution pour la réduction des systèmes de transitions étiquetées maximales. In. CIIA 2011, 3rd International Conference on Computer Science and its Applications, du 13 - 15 Decembre 2011, Saida, Algeria

2010

Revues

  1. Djamel Eddine Saïdouni and Zine El Abidine Bouneb, Distributed maximality based CTL model checking. International of Computer Science Issues, Vol 7, Issue 3, N°1, May 2010.

Conférences

  1. Djamel Eddine Saidouni, Ilhem Kitouni, Hiba Hachichi,A Graph Grammar Approach for Durational Action Timed Automata Determinization. To appear in the proceedings of ACIT’2010 Conference – December 2010Benghazi - Libya.
  2. Djamel Eddine Saidouni, Ilhem Kitouni, Hiba Hachichi, Application de l’approche de transformation de graphes pour la déterminisation des automates temporisés avec durées d’actions. Sera publié dans les actes de la conférence nationale d’informatique de Biskra (SNIB’2010), Novembre 2010. 
  3. Arous Mokdad and Saidouni Djamel Eddine. Algèbre de Processus à base de sémantique de maximalité avec distributions générales pour l'évaluation des performances. Sera publié dans les actes de la conférence nationale d’informatique de Biskra (SNIB’2010), Novembre 2010.

2009

Revues

  1. Djamel Eddine Saïdouni, Nabil Belala, and Messaouda Bouneb, “Using maximality-based labeled transition system as a model for Petri nets”. The International Arab Journal of Information Technology (IAJIT), 6(5):440-446, Print ISSN: 1683-3198. November 2009. http://www.iajit.org
  2. Abdesslem Layeb and Djamel Eddine Saïdouni, Hill Climbing and Quantum Genetic Algorithms for MAX 3-SAT Problems. Journal of Theoretical and Applied Information Technology, Vol4. No11.pp.1033-1039, November 2008. ISSN 1992-8645, November 2008

Conférences

  1. Djamel-Eddine Saïdouni, Messaouda Bouneb and Nabil Belala. “On-the-fly Generation Algorithm of alpha-Reduced Maximality-Based Labeled Transition Systems for Petri Nets”. In Proceedings of International Arab Conference on Information Technology (ACIT'2009), University of Science and Technology (UST), Sanaa, Yemen. December 15-17th, 2009.
  2. Djamel-Eddine Saïdouni, Nabil Belala and Messaouda Bouneb, “Maximality-based structural operational semantics for Petri nets”, In Proceedings of INTELLIGENT SYSTEMS AND AUTOMATION: 2nd Mediterranean Conference on Intelligent Systems and Automation (CISA'09), Zarzis, Tunisia, March 23-25th, 2009, Volume 1107 (Issue 1) of American Institute of Physics Conference Proceedings, Melville, New York, pp. 269-274, ISBN: 978-0-7354-0642-1.
  3. Zine El-Abidine Bouneb and Djamel Eddine Saïdouni, Parallel State Space Construction for a Model Checking Based on Maximality Semantics, in the proceedings of CISA conference, Tunis, 2009.
  4. Messaoud Toufik Maarouk and Djamel Eddine Saïdouni, Prise en charge de la mobilité dans les algèbres de processus temps réel, ICAI2009, Bordj Bouaréridj.