Laboratoire des Systèmes Informatiques

Abdelli

Current Role :

  • Associate Professor at the Computer Science Department- USTHB university. Research Member at the LSI laboratory.

Contact information :

  • Email : Abdelli@lsi-usthb.dz, Akabdelli@gmail.com
  • Postal mail : Computer Science Department- Bp 32 el Alia Babezzouer Algiers Algeria. 16111.
  • FAX : +213 21 24 76 07

Profile

  • Family Name : Abdelli
  • Surname : Abdelkrim
  • Old : 39 years
  • Gender : Male
  • Occupation : Lectuer at Computer Science Department
  • Diploma : PHD.

Publications

Journals

  • Abdelli and N. Badache « Context-aware Adaptation of Multimedia Documents for Consistent Presentations.. » to appear ACM- Multimedia Systems - Springer Verlag.
  • A.Abdelli « A Much compact abstraction of the state space of real time Preemptive Systems » In international journal of Advanced Science and technology - Vol 27 FEBRUARY - Sersc Editors.
  • A.Abdelli « A formal approach for an environment-aware verification of the consistency of a multimedia presentation. » SERSC Editors- International Journal of Multimedia and Ubiquitous Engeeniring Vol.4, No.2, 2009.
  • A.Abdelli « Optimisation de la construction d’une approximation de l’espace d’état des systèmes préemptifs » Techniques et Sciences Informatiques - Hermes Lavoisier : Numéro Spécial Réseaux de Petri et algorithmes– Vol 28/9- 2009 (28 pages).
  • A.Abdelli and N.Badache « Towards building the reachability graph of the TSPN model ». In FUNDAMENTA INFORMATICAE- IOS PRESS. VOL 86-4 (2008) Pages 371-409 (39 pages).
  • A.Abdelli and N.Badache Toward Specifying Multimedia Requirements Using a New Time Petri Net Model” CIT : Journal of Computing and Information Technology ISSN : 1330-1136. VOL 15-2007 doi:10.2498/cit.1000791, (19 pages).

International Conferences

  • H. Benkaouha, A. Abdelli, K. Bouyahia,Y . Kaloune. « FDAN : Failure Detection Protocol for Mobile Ad hoc Networks. », FGCN’2010, LNCS- Korea, Décembre 2010.
  • A. ABDELLI, "Contracting the state space of real time preemptive systems", In ICACSIS Bali- Indonesia, Nov 2010" (to appear).
  • A. Abdelli, " Time Analysis of the state space of Real Time Preemptive Systems ", In ICCT - Bubaneswar India, December 2010" 6p.
  • A. Abdelli, Y.Hammal " TPN based framework for the specificationof real time embeded systems.",In IEEE/CS EM-COM- , Jeju- South Korea , December 2009" 6p.
  • A. Abdelli, "Towards a consistent semantics for unsafe Time Petri nets.", In LNCS springer. ASEA conference , Jeju- South Korea, December 2009" 8p.
  • A. Abdelli, " Extending the verification of multimedia presentation consistency to resource requirements.", In IEEE/CS FGCN (2)- , Sanya- China , December 2008" 4p.
  • A. Abdelli, and D. Yahiatene "Efficient Computation of State Space Over Approximation of Preemptive Real Time Systems", In IEEE/ACS AICCSA - ", Doha- Qatar ", April 2008" 8p.
  • A. Abdelli, N. Badache “Efficient Bandwidth and Buffer Management for Multimedia Data Download. IEEE CS -FGCN (1) South Korea -2007 : 424-429.
  • A.Abdelli. “Dealing with resource requirement in multimedia document consistency verification" In proc of British Computer Society EWIC of 1Th VECoS First International workshop on verification and Evaluation of computer and communication systems. Algiers MAY 2007.
  • A.Abdelli and N.badache. « Une Approche pour la Construction de l’Espace d’Etat d’un Réseau de Petri à Flux. In proc of 7Th MCSEAI International Conference on software engineering and Artificial intelligence. Agadir Morocco December 2006.
  • A.Abdelli and N.badache. “A Proxy Pre-fetch Scheme for Consistent SMIL Presentation Delivery”. In proc of IEEE ACS/AICCSA Dubai(EAU) March 2006 Page(s):968 – 975
  • A.Abdelli and N.badache. "Synchronised transitions pre-emptive time Petri nets : A new model towards modelling multimedia requirements. In proc of IEEE ACS/AICCSA Dubai(EAU) March 2006 Page(s):17-24.
  • A.Abdelli and N.badache. A Semantic based pre-fetch scheme for SMIL presentation Proxy-delivery. 12th IEEE.CS Multimedia modelling conference, MMM Beigin China 4-6 Jan. 2006 Page(s):8 pp.
  • A. Abdelli and N.Badache "An adaptive proxy prefetch scheme for a consistent SMIL presentation" In proc of international arab conference ACIT 2005 Amman Jordan 6-8 december 2005
  • A.Abdelli. Un nouveau Mécanisme pour la résolution du non déterminisme dans les réseaux de Petri temporels. In proc of the second Symposium of Sciences of Electronic, Technologies and Information Telecommunications- Sousse Mars 2005 ISBN : 9973-51-546-3
  • A.Abdelli and M.Daoudi "Towards a SMIL document analysis using an algebraic time net " LNCS – Publisher : Springer-Verlag Heidelberg PCM Volume 3333 / 2004 Advances in Multimedia Information Processing - PCM 2004 : 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004. Part III ISBN : 3-540-23985-5 Chapter : p. 273 October 2004.
  • A.Abdelli and B.Laichi " A formal approach for SMIL1.0 consistent presentation" In proc of IEEE ICICT’2004 International conference on information and communication technologies – Cairo Egypt December 2004.
  • A.Abdelli, " Managing a Pre fetching Scheduling into a SMIL presentation " In proc of ACIT’2004 Arab conference on information and technology- Constantine Algeria december 2004 - ISSN : 1812-085.
  • A.Abdelli "Une méthode formelle pour la vérification de la consistance temporelle et la gestion prédictive de la qualité de service pour la présentation des documents SMIL". In proc the second Symposium of Sciences of Electronic, Technologies and Information Telecommunications- Sousse Tunisie- Mars 2004 ISBN : 9973-41902-2.
  • A.Abdelli “Constructing the contracted accessibility graph of real time systems modelled by a language based on timed Petri nets". In Proceedings of first International symposium on Software and systems I3S’2001 - Fevrier 2001.
  • A.Abdelli « Specifying a real time system using the ATN model » Proceedings of fourth International symposium on programming and systems ISPS’1999 Algiers OCT 1999.
  • H.Boucheneb, A.Abdelli & G.Berthelot « L’automate temporisé d’une spécification TC-LOTOS » in Proc du 3iéme colloque Africain sur la recherche informatique CARI’98 Dakar Sénégal – INRIA ORASTROM.

National conferences

  • A.Abdelli « Les réseaux de Petri à priorité temporelle : Un nouveau modèle pour la modélisation et la simulation déterministes des systèmes temps réel » seconde école de printemps sur l’informatique industrielle INI -LRIA, 5-7 juin 2004 Alger Algérie
  • A.Abdelli, Y.Bouabdellah, M.Dahmani « Conception d’une plate forme de simulation distribuée pour un langage à base de réseaux de Petri temporels » In proc of SNIB’04 Biskra Algéria may 2004

Portfolio

IMG/jpg/063.jpg