Abdelli Abdelkrim

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 5

Top Topics

Service Selection

Failure Detection

Top Venues

Publications

Haroun Benkaouha, Nadjib Badache, Abdelli Abdelkrim, Lynda Mokdad, Jalel Ben-Othman
A novel hybrid protocol of checkpointing and rollback recovery for flat MANETs. Int. J. Auton. Adapt. Commun. Syst. 10 (1) (2017)
Haroun Benkaouha, Abdelli Abdelkrim, Jalel Ben-Othman, Lynda Mokdad
Towards an efficient failure detection in MANETs. Wirel. Commun. Mob. Comput. 16 (17) (2016)
Haroun Benkaouha, Abdelli Abdelkrim, Mohamed Guerroumi, Jalel Ben-Othman, Lynda Mokdad
EAFD, a failure detector for clustered WSN. ICC (2016)
Haroun Benkaouha, Abdelli Abdelkrim, Jalel Ben-Othman, Youcef Zaffoune, Lynda Mokdad
Distributed implementation of a stable storage for MANET checkpointing protocols. IWCMC (2016)
Walid Serrai, Abdelli Abdelkrim, Lynda Mokdad, Youcef Hammal
An efficient approach for Web service selection. ISCC (2016)
Abdelli Abdelkrim
Improving the State Space Computation of the Time Stream Petri Nets Model. Comput. J. 58 (7) (2015)
Abdelli Abdelkrim, Walid Serrai, Lynda Mokdad, Youcef Hammal
Time Petri Nets for performance evaluation of composite web services architectures. ISCC (2015)
Haroun Benkaouha, Abdelli Abdelkrim, Nadjib Badache, Jalel Ben-Othman, Lynda Mokdad
AFDAN: Accurate failure detection protocol for MANETs. IWCMC (2015)
Mohamed Lamine Laouira, Abdelli Abdelkrim, Lynda Mokdad, Jalel Ben-Othman
An efficient transmitting strategy for image fusion in WMSN. ICC (2015)
Haroun Benkaouha, Abdelli Abdelkrim, Nadjib Badache, Jalel Ben-Othman, Lynda Mokdad
Towards Improving Failure Detection in Mobile Ad Hoc Networks. GLOBECOM (2015)
Lynda Mokdad, Jalel Ben-Othman, Abdelli Abdelkrim
Performance evaluation of composite Web services. EAI Endorsed Trans. Ind. Networks Intell. Syst. 2 (4) (2015)
Lynda Mokdad, Youcef Hammal, Jalel Ben-Othman, Abdelli Abdelkrim
Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols. ICC (2015)
Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelli Abdelkrim
Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. ISCC (2014)
Lynda Mokdad, Abdelli Abdelkrim, Jalel Ben-Othman
Detection of Greedy Behavior in WSN Using IEEE 802.15 Protocol. MASCOTS (2014)
Abdelli Abdelkrim
Age semantics based state space computation of time Petri nets. IRI (2014)
Abdelli Abdelkrim, Lynda Mokdad
Time Petri net based performance evaluation of traffic scheduling in WIMAX networks. GLOBECOM (2014)
Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelli Abdelkrim
Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. J. Commun. Networks 16 (4) (2014)
Haroun Benkaouha, Lynda Mokdad, Abdelli Abdelkrim
SAN-based modeling of fault tolerant protocols for MANETs. ICC (2014)
Youcef Hammal, Quentin Monnet, Lynda Mokdad, Jalel Ben-Othman, Abdelli Abdelkrim
Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks. Stud. Inform. Univ. 12 (1) (2014)
Haroun Benkaouha, Lynda Mokdad, Abdelli Abdelkrim
2PACA: Two phases algorithm of checkpointing for Ad hoc mobile networks. IWCMC (2013)
Abdelli Abdelkrim
Efficient computation of quantitative properties of real-time preemptive systems. Int. J. Crit. Comput. Based Syst. 3 (3) (2012)
Abdelli Abdelkrim
Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems. Acta Cybern. 20 (3) (2012)
Abdelli Abdelkrim, Nadjib Badache
Context-aware adaptation of multimedia documents for consistent presentations. Multim. Syst. 17 (6) (2011)
Abdelli Abdelkrim
Improving the consistency verification and the quality of multimedia presentations. Int. J. Crit. Comput. Based Syst. 2 (3/4) (2011)
Haroun Benkaouha, Abdelli Abdelkrim, Karima Bouyahia, Yasmina Kaloune
FDAN: Failure Detection Protocol for Mobile Ad Hoc Networks. FGIT-FGCN (1) (2010)
Abdelli Abdelkrim
Optimisation de la construction d'une approximation de l'espace d'état des systèmes préemptifs. Tech. Sci. Informatiques 28 (9) (2009)
Abdelli Abdelkrim, Nadjib Badache
Towards Building the State Class Graph of the TSPN Model. Fundam. Informaticae 86 (4) (2008)
Abdelli Abdelkrim
Extending the Verification of Multimedia Presentation Consistency to Resource Requirements.. FGCN (1) (2008)
Abdelli Abdelkrim, Dahbia Yahiatene
Efficient computation of state space over approximation of preemptive real time systems. AICCSA (2008)
Abdelli Abdelkrim, Nadjib Badache
Toward Specifying Multimedia Requirements Using a New Time Petri Net Model. J. Comput. Inf. Technol. 15 (3) (2007)
Abdelli Abdelkrim, Nadjib Badache
Efficient Bandwidth and Buffer Management for Multimedia Data Download. FGCN (1) (2007)
Abdelli Abdelkrim, Nadjib Badache
Synchronized Transitions Preemptive Time Petri Nets: A new model towards specifying multimedia requirements. AICCSA (2006)
Abdelli Abdelkrim, Nadjib Badache
A Proxy Pre-fetch Scheme for Consistent SMIL Presentation Delivery. AICCSA (2006)
Abdelli Abdelkrim, Nadjib Badache
A semantic based pre-fetch scheme for SMIL presentation proxy-delivery. MMM (2006)
Abdelli Abdelkrim, M. Daoudi
Towards SMIL Document Analysis Using an Algebraic Time Net. PCM (3) (2004)