Laboratoire des Systèmes Informatiques


Année 2011

  • A.Abdelli and N. Badache « Context-aware Adaptation of Multimedia Documents for Consistent Presentations.. » to appear ACM- Multimedia Systems Journal- 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 2011- Sersc Editors.

Année 2010

  • Y. HAMMAL. “A Formal Methodology for Semantics and Time Consistency Checking Of UML Dynamic Diagrams”, Accepted on Oct.2010, Journal of the Chinese Institute of Engineers (JCIE), National Taiwan University of Science and Technology, Taipei, Taiwan.

Année 2009

  • A.ABDELLI. « A formal approach for an environment-aware verification of the consistency of a multimedia presentation » International Journal of Multimedia and Ubiquitous Engineering 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.

Année 2008

  • A. ABDELLI, N. BADACHE “Towards building the Reachability graph of the TSPN model”. In FUNDAMENTA INFORMATICAE- IOS PRESS. Vol 86 (4) : 371-409 (2008). (39 pages).

Année 2007

  • A. ABDELLI, N. BADACHE “ Toward Specifying Multimedia Requirements Using a New Time Petri Net Model” Journal of Computing and Information Technology ISSN : 1330-1136. VOL 15-3 2007 doi:10.2498/cit.1000791. September 2007 (19 pages).

Année 2006

  • S. MAZOUZ, D. DAHMANI, K. KADDOURI. "A Formal approach for the coherence control of SMIL documents". International Journal of Computer Science and Application, Vol 3 N° 2, June 2006. ISSN 0972-9038..