Abdelli Abdelkrim

37 papers B 7C 7Misc 1Journal 13Unranked 8

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