Towards SMIL Document Analysis Using an Algebraic Time Net. - Abdelli Abdelkrim; M. Daoudi (PCM (3), 2004)

Synchronized Transitions Preemptive Time Petri Nets: A new model towards specifying multimedia requirements. - Abdelli Abdelkrim; Nadjib Badache (AICCSA, 2006)

A Proxy Pre-fetch Scheme for Consistent SMIL Presentation Delivery. - Abdelli Abdelkrim; Nadjib Badache (AICCSA, 2006)

A semantic based pre-fetch scheme for SMIL presentation proxy-delivery. - Abdelli Abdelkrim; Nadjib Badache (MMM, 2006)

Efficient Bandwidth and Buffer Management for Multimedia Data Download. - Abdelli Abdelkrim; Nadjib Badache (FGCN (1), 2007)

Toward Specifying Multimedia Requirements Using a New Time Petri Net Model. - Abdelli Abdelkrim; Nadjib Badache (J. Comput. Inf. Technol., 2007)

Validation d'un modèle basée sur les RdPT pour la spécification et l'analyse des systèmes temps réel complexes : Application aux systèmes multimédias. (Time Petri Net based model validation for the specification of complex real time systems : application to multimedia systems). - Abdelkrim Abdelli (2007)

Efficient computation of state space over approximation of preemptive real time systems. - Abdelli Abdelkrim; Dahbia Yahiatene (AICCSA, 2008)

Extending the Verification of Multimedia Presentation Consistency to Resource Requirements.. - Abdelli Abdelkrim (FGCN (1), 2008)

Towards Building the State Class Graph of the TSPN Model. - Abdelli Abdelkrim; Nadjib Badache (Fundam. Informaticae, 2008)

Towards a Consistent Semantics for Unsafe Time Petri Nets. - Abdelkrim Abdelli (FGIT-ASEA, 2009)

Optimisation de la construction d'une approximation de l'espace d'état des systèmes préemptifs. - Abdelli Abdelkrim (Tech. Sci. Informatiques, 2009)

FDAN: Failure Detection Protocol for Mobile Ad Hoc Networks. - Haroun Benkaouha; Abdelli Abdelkrim; Karima Bouyahia; Yasmina Kaloune (FGIT-FGCN (1), 2010)

Improving the consistency verification and the quality of multimedia presentations. - Abdelli Abdelkrim (Int. J. Crit. Comput. Based Syst., 2011)

Context-aware adaptation of multimedia documents for consistent presentations. - Abdelli Abdelkrim; Nadjib Badache (Multim. Syst., 2011)

Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems. - Abdelli Abdelkrim (Acta Cybern., 2012)

Efficient computation of quantitative properties of real-time preemptive systems. - Abdelli Abdelkrim (Int. J. Crit. Comput. Based Syst., 2012)

2PACA: Two phases algorithm of checkpointing for Ad hoc mobile networks. - Haroun Benkaouha; Lynda Mokdad; Abdelli Abdelkrim (IWCMC, 2013)

Time Petri net based performance evaluation of traffic scheduling in WIMAX networks. - Abdelli Abdelkrim; Lynda Mokdad (GLOBECOM, 2014)

SAN-based modeling of fault tolerant protocols for MANETs. - Haroun Benkaouha; Lynda Mokdad; Abdelli Abdelkrim (ICC, 2014)

Age semantics based state space computation of time Petri nets. - Abdelli Abdelkrim (IRI, 2014)

Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. - Youcef Hammal; Jalel Ben-Othman; Lynda Mokdad; Abdelli Abdelkrim (ISCC, 2014)

Detection of Greedy Behavior in WSN Using IEEE 802.15 Protocol. - Lynda Mokdad; Abdelli Abdelkrim; Jalel Ben-Othman (MASCOTS, 2014)

Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. - Youcef Hammal; Jalel Ben-Othman; Lynda Mokdad; Abdelli Abdelkrim (J. Commun. Networks, 2014)

Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks. - Youcef Hammal; Quentin Monnet; Lynda Mokdad; Jalel Ben-Othman; Abdelli Abdelkrim (Stud. Inform. Univ., 2014)

Towards Improving Failure Detection in Mobile Ad Hoc Networks. - Haroun Benkaouha; Abdelli Abdelkrim; Nadjib Badache; Jalel Ben-Othman; Lynda Mokdad (GLOBECOM, 2015)

An efficient transmitting strategy for image fusion in WMSN. - Mohamed Lamine Laouira; Abdelli Abdelkrim; Lynda Mokdad; Jalel Ben-Othman (ICC, 2015)

Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols. - Lynda Mokdad; Youcef Hammal; Jalel Ben-Othman; Abdelli Abdelkrim (ICC, 2015)

Time Petri Nets for performance evaluation of composite web services architectures. - Abdelli Abdelkrim; Walid Serrai; Lynda Mokdad; Youcef Hammal (ISCC, 2015)

AFDAN: Accurate failure detection protocol for MANETs. - Haroun Benkaouha; Abdelli Abdelkrim; Nadjib Badache; Jalel Ben-Othman; Lynda Mokdad (IWCMC, 2015)

Improving the State Space Computation of the Time Stream Petri Nets Model. - Abdelli Abdelkrim (Comput. J., 2015)

Formal Modeling of Greedy Nodes in 802.15.4 WSN. - Youcef Hammal; Jalel Ben-Othman; Lynda Mokdad; Abdelkrim Abdelli (ICT Express, 2015)

Performance evaluation of composite Web services. - Lynda Mokdad; Jalel Ben-Othman; Abdelli Abdelkrim (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2015)

Towards a General Model to Handle Multi-enabledness in Time Petri Nets. - Abdelli Abdelkrim (Formalisms for Reuse and Systems Integration, 2015)

EAFD, a failure detector for clustered WSN. - Haroun Benkaouha; Abdelli Abdelkrim; Mohamed Guerroumi; Jalel Ben-Othman; Lynda Mokdad (ICC, 2016)

An efficient approach for Web service selection. - Walid Serrai; Abdelli Abdelkrim; Lynda Mokdad; Youcef Hammal (ISCC, 2016)

Distributed implementation of a stable storage for MANET checkpointing protocols. - Haroun Benkaouha; Abdelli Abdelkrim; Jalel Ben-Othman; Youcef Zaffoune; Lynda Mokdad (IWCMC, 2016)

Towards an efficient failure detection in MANETs. - Haroun Benkaouha; Abdelli Abdelkrim; Jalel Ben-Othman; Lynda Mokdad (Wirel. Commun. Mob. Comput., 2016)

Time Petri net with rendezvous. - Abdia Hamdani; Abdelkrim Abdelli (CoDIT, 2017)

Dealing with user constraints in MCDM based web service selection. - Walid Serrai; Abdelkrim Abdelli; Lynda Mokdad; Ashref Serrai (ISCC, 2017)

Admission Control Based on WRR in WiMAX Networks. - Jean-Michel Fourneau; Lynda Mokdad; Jalel Ben-Othman; Abdelkrim Abdelli (WCNC, 2017)

Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs. - Youcef Hammal; Manel Seddiki; Mahfoud Benchaïba; Abdelkrim Abdelli (WCNC, 2017)

A novel hybrid protocol of checkpointing and rollback recovery for flat MANETs. - Haroun Benkaouha; Nadjib Badache; Abdelli Abdelkrim; Lynda Mokdad; Jalel Ben-Othman (Int. J. Auton. Adapt. Commun. Syst., 2017)

Towards an efficient and a more accurate web service selection using MCDM methods. - Walid Serrai; Abdelkrim Abdelli; Lynda Mokdad; Youcef Hammal (J. Comput. Sci., 2017)

Using the RTPN Model for the Modeling of Complex Workflow Systems. - Abdia Hamdani; Abdelkrim Abdelli (ICAASE, 2018)

Failure Detection in MANETs based on geographical repartition of nodes. - Haroun Benkaouha; Abdelkrim Abdelli; Jalel Ben-Othman; Lynda Mokdad (ISCC, 2018)

Dealing with a non green behaviour in WSN. - Abdelkrim Abdelli; Lynda Mokdad; Jalel Ben-Othman; Youcef Hammal (Simul. Model. Pract. Theory, 2018)

An Adaptive Activation Scheduling Strategy for a Border Surveillance Network. - Mohamed Lamine Laouira; Abdelkrim Abdelli; Jalel Ben-Othman; Hyunbum Kim (GLOBECOM, 2019)

Performance Evaluation of the QoS Aware Web Service Composition with Communities of Consumers. - Lynda Mokdad; Jean-Michel Fourneau; Abdelkrim Abdelli (GLOBECOM, 2019)

ISOCOV: a new MCDM method to handle value constraints in Web service selection. - Abdelkrim Abdelli; Youcef Hammal; Lynda Mokdad (ISCC, 2019)

Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services. - Youcef Hammal; Khadidja Salah-Mansour; Abdelkrim Abdelli; Lynda Mokdad (ISCC, 2019)

How to deal with QoS value constraints in MCDM based Web service selection. - Walid Serrai; Abdelkrim Abdelli; Lynda Mokdad; Ashref Serrai (Concurr. Comput. Pract. Exp., 2019)

Wireless energy supply scheduling strategy in a combined border surveillance architecture. - Mohamed Lamine Laouira; Abdelkrim Abdelli; Jalel Ben-Othman (GLOBECOM, 2020)

Survey on the Cloud-IoT paradigms: Taxonomy and architectures. - Mohamed Redha Bouakouk; Abdelkrim Abdelli; Lynda Mokdad (ISCC, 2020)

A taxonomy of service discovery approaches in IoT. - Meriem Achir; Abdelkrim Abdelli; Lynda Mokdad (WINCOM, 2020)

Towards modelling and analyzing timed workflow systems with complex synchronizations. - Abdia Hamdani; Abdelkrim Abdelli (J. King Saud Univ. Comput. Inf. Sci., 2020)

Dealing with value constraints in decision making using MCDM methods. - Abdelkrim Abdelli; Lynda Mokdad; Youcef Hammal (J. Comput. Sci., 2020)

Formal techniques for consistency checking of orchestrations of semantic Web services. - Youcef Hammal; Khadidja Salah-Mansour; Abdelkrim Abdelli; Lynda Mokdad (J. Comput. Sci., 2020)

ODM-RPL: Optimized Dual MOP RPL. - Mohamed Redha Bouakouk; Abdelkrim Abdelli; Lynda Mokdad (ISCC, 2021)

Performance evaluation of a solution for composite service selection problem with multiple consumers. - Lynda Mokdad; Jean-Michel Fourneau; Abdelkrim Abdelli; Jalel Ben-Othman (Simul. Model. Pract. Theory, 2021)

An Efficient WSN Based Solution for Border Surveillance. - Mohamed Lamine Laouira; Abdelkrim Abdelli; Jalel Ben-Othman; Hyunbum Kim (IEEE Trans. Sustain. Comput., 2021)

Dealing with complex routing requirements using an MCDM based approach. - Mohamed Redha Bouakouk; Abdelkrim Abdelli; Lynda Mokdad; Jalel Ben-Othman (IWCMC, 2022)

Time distance based computation of the state space of preemptive real time systems. - Abdelkrim Abdelli (CoRR, 2022)

Distributed architecture for resource description and discovery in the IoT. - Meriem Achir; Abdelkrim Abdelli; Lynda Mokdad (CoRR, 2022)

A novel and efficient index based web service discovery approach. - Abdelkrim Abdelli; Walid Serrai; Lynda Mokdad (Comput. Stand. Interfaces, 2022)

Service discovery and selection in IoT: A survey and a taxonomy. - Meriem Achir; Abdelkrim Abdelli; Lynda Mokdad; Jalel Benothman (J. Netw. Comput. Appl., 2022)

Extending TOPSIS to Ideal References and Value Constraints. - Abdelkrim Abdelli (ICAASE, 2024)

AOF-RPL: Towards an MCDM Based Adaptive Objective Function in RPL. - Mohamed Redha Bouakouk; Abdelli Abdelkrim; Lynda Mokdad; Jalel Ben-Othman (WINCOM, 2024)

Time distance-based computation of the DBM over-approximation of preemptive real-time systems. - Abdelkrim Abdelli (J. Log. Algebraic Methods Program., 2024)

Survey and classification of Dos and DDos attack detection and validation approaches for IoT environments. - Mohamed Riadh Kadri; Abdelkrim Abdelli; Jalel Ben-Othman; Lynda Mokdad (Internet Things, 2024)

A QoS-Aware Data Collection Protocol for the IoT. - Mohamed Redha Bouakouk; Abdelkrim Abdelli; Lynda Mokdad; Jalel Ben-Othman (IWCMC, 2025)