BibSonomy :: author  ::

bookmarks

publications

(25)

• A Specification and Validation Technique Based on STATEMATE and FNLOG.
  Olfa Mosbahi and Leila Jemni Ben Ayed and Samir Ben Ahmed and Jacques Jaray ICFEM 216-220 (2002)
  to dblp by dblp on 2008-11-12 00:00:00
  | URL | BibTeX  
• On a Novel Dynamic Parallel Hardware Architecture for Lifting-Based DWT.
  Sami Khanfir and Mohamed Jemni Euro-Par 846-855 (2008)
  to dblp by dblp on 2008-08-25 00:00:00
  | URL | BibTeX  
• An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.
  Leila Jemni Ben Ayed and Fatma Siala MSVVEIS 190-198 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.
  Leila Jemni Ben Ayed and Fatma Siala COMPSAC 581-584 (2008)
  to dblp by dblp on 2008-08-05 00:00:00
  | URL | BibTeX  
• From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.
  Ahlem Ben Younes and Leila Jemni Ben Ayed COMPSAC 643-648 (2008)
  to dblp by dblp on 2008-08-05 00:00:00
  | URL | BibTeX  
• Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.
  Leila Jemni Ben Ayed and Fatma Siala DSV-IS 102-107 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• A System to Make Signs Using Collaborative Approach.
  Mohamed Jemni and Oussama Elghoul ICCHP 670-677 (2008)
  to dblp by dblp on 2008-07-18 00:00:00
  | URL | BibTeX  
• Geometrical Interpretation for Data partitioning on a Grid Architecture.
  Dominique Bernardi and Christophe Cérin and Hazem Fkaier and Mohamed Jemni and Michel Koskas HPDC 355-356 (2006)
  to dblp by dblp on 2008-05-07 00:00:00
  | URL | BibTeX  
• Étude de performance des systèmes de découverte de ressources
  Heithem Abbes and Christophe Cérin and Jean-Christophe Dubacq and Mohamed Jemni CoRR abs/0804.4590 (2008)
  to dblp by dblp on 2008-05-05 00:00:00
  | URL | BibTeX  
• Parallel out-of-core sorting and fast accesses to disks.
  Christophe Cérin and Olivier Cozette and Gil Utard and Hazem Fkaier and Mohamed Jemni IJHPCN 3 188-202 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX