Laboratoire des Systèmes Informatiques

Communications

Année 2010

  • 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".
  • A. ABDELLI. “Time Analysis of the state space of Real time Premmptive systems” in International conference of computing technology – Dec 2010 – Bhubhaneswar - India

Année 2009

  • Y. HAMMAL « A formal Methodology for Semantics and Time Consistency of UML Dynamic Diagrams », in proceedings of ASEA’09 Conference, South Korea, 10-12 December 2009 (in LNCS/CCIS series).
  • A. ABDELLI. "Towards a consistent semantics for unsafe Time Petri nets.", In LNCS Springer. ASEA 2009" 8p.
  • A. ABDELLI AND Y.HAMMAL. “A TPN based framework for the specification of real time embeded systems”, the 4th IEEE International Conference on Embedded and Multimedia Computing (EM-Com 2009), South Korea, 10-12 December 2009.

Année 2008

  • Y. HAMMAL. "A Modular State Exploration and Compatibility Checking of UML Dynamic Diagrams". In proc of IEEE/ACS AICCSA Doha Qatar April 2008 8p.
  • A. ABDELLI, D. YAHIATENE. "Efficient Computation of state space over approximation of preemptive Real time systems"In proc of IEEE/ACS AICCSA Doha Qatar April 2008 8p.
  • S. MAZOUZ, D.DAHMANI, M.IOUALALEN. « Analysing SMIL Documents Using Time Recursive Petri Net », ICCTA’08, Egypte, Octobre 2008.
  • A. ABDELLI. "Extending the verification of multimedia presentation consistency to resource requirements". In IEEE/CS FGCN (2)- , Sanya- China , December 2008" 4p.

Année 2007

  • A. ABDELLI. "Dealing with resource requirement in multimedia document consistency verification"In proc of British Computer Society EWIC series of 1Th VECoS First International workshop on verification and Evaluation of computer and communication systems. Algiers MAY 2007.
  • A. ABDELLI, N. BADACHE. "Efficient Bandwidth and buffer Management for multimedia Data download"In proc of IEEE/CS FGCN07 Future Generation Communication and Networking communication. Jeju island South Korea December 2007 6p.
  • Y. HAMMAL. "A Component-Based Approach for Consistency Checking of UML Dynamic Diagrams"In IASTED proceedings of the International Conference on Software Engineering and Applications (SEA 2007), Massachusetts, USA, 19-21 November 2007.
  • Y. HAMMAL. "Substitutability Relations for Active Components"Formal Aspects of Component Software, Sophia-Antipolis, France, 19-21 September 2007..

Année 2006

  • A. ABDELLI, N.BADACHE. "Une Approche pour la Construction de l’Espace d’Etat d’un TSPN"9ieme conférence Maghrébine MCSEAI, Agadir Maroc Décembre 2006.
  • Y. HAMMAL. "Branching Time Semantics for UML 2.0 Sequence Diagrams"In proc FORTE 2006, Springer LNCS 4229,Paris, France.
  • S. MAZOUZ, L. PETRUCCI. "Modular Discrete Pseudo-State Graphs for Time Petri Net"In MOCA’06 - International Workshop on Modelling of Objects, Components, and Agents, June 2006.
  • A. ABDELLI, 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, N. BADACHE. "Synchronized Transitions Preemptive Time Petri Nets : A new model towards specifying multimedia requirements"IEEE ACS/ AICCSSA March 8, 2006 Page(s):17 – 24.
  • A. ABDELL, N. BADACHE. "A Semantic based pre-fetch scheme for SMIL presentation Proxy-delivery."In proc of IEEE/CS MultiMedia Modelling MMM’06 Beijin, China january-2006, 8p.

Année 2005

  • A. ABDELLI, N. BADACHE. "An adaptive proxy Prefetching Scheme for SMIL consistent presentation."In proc of ACIT ’05 December 2005 – Jordan.
  • Y. HAMMAL. "Separation of Concurrency Models Using Languages Embeddings."International Arab Conference on Information Technology ACIT’2005 Amman, Jordanie, 6-8 December 2005.
  • Y. HAMMAL. "A formal Semantics of UML Statecharts by means of Timed Petri Nets."FORTE’05- Springer LNCS -International Conference on Formal Techniques for Networked and Distributed Systems), National Taiwan University, 2-5 October 2005 (in LNCS 3731-0038 proceeding).
  • S. MAZOUZ, D. DAHMANI, K. KADDOURI. "A formal approach for the coherence control of SMIL documents."In proc of ICTIS’05, Maroc, Juin 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 SETIT-2005, Mars 2005, ISBN : 9973-51- 546-3.

Année 2004

  • A. ABDELLI, M. DAOUDI. "Towards. SMIL Document Analysis Using an Algebraic Time Net."LNCS – Springer-Verlag Heidelberg PCM Volume 3333 / 2004 - 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, B. LAICHI. "A formal approach for SMIL1.0 consistent presentation."In Proc of IEEE/CS ICICT’2004 International Conference on Information and Communication Technologies – Cairo Egypt December 2004.
  • Y. HAMMAL. "Towards consistency analysis of UML dynamic diagrams."In proc ACIT’2004, Constantine, Algeria 2004, ISBN : 1812-0857.
  • A. ABDELLI. "Managing a pre-fetching scheduling into a SMIL presentation."In proceedings of International Arab conference in technology. ACIT’2004, Constantine, Algeria, 2004, ISBN : 1812-0857.
  • A. ABDELLI. "Managing a pre-fetching scheduling into a SMIL presentation."In proceedings of International Arab conference in technology. ACIT’2004, Constantine, Algeria, 2004, ISBN : 1812-0857.
  • 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."Proc de SNIB’04 Biskra Algérie mai 2004.

Année 2001

  • B. LAICHI, Y. SAMI. "Actors with temporal constraints."In proc of IEEE CS 4th ISORC-2001 ISBN 0-7695-1089-2, Germany May 2001.
  • B. LAICHI, Y. SAMI. "Formalisation du modèle ATC par les réseaux de Petri colorés."In proc of 5ieme ISPS 2001 Algiers May 2001.
  • A. ABDELLI. "Constructing the contracted accessibility graph of real time systems modelled by a language based on timed Petri nets."In Proc of first International symposium on Software and Systems - I3S’2001 - Fevrier 2001.