Abdelli Abdelkrim

According to our database, Abdelli Abdelkrim authored at least 68 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, April, 2024

Time distance-based computation of the <i>DBM</i> over-approximation of preemptive real-time systems.

Abdelkrim Abdelli

J. Log. Algebraic Methods Program., January, 2024

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

A novel and efficient index based web service discovery approach.

Abdelkrim Abdelli, Walid Serrai, Lynda Mokdad

Comput. Stand. Interfaces, 2022

Distributed architecture for resource description and discovery in the IoT.

Meriem Achir, Abdelkrim Abdelli, Lynda Mokdad

CoRR, 2022

Time distance based computation of the state space of preemptive real time systems.

Abdelkrim Abdelli

CoRR, 2022

Dealing with complex routing requirements using an MCDM based approach.

Mohamed Redha Bouakouk, Abdelkrim Abdelli, Lynda Mokdad, Jalel Ben-Othman

Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

2021

An Efficient WSN Based Solution for Border Surveillance.

Mohamed Lamine Laouira, Abdelkrim Abdelli, Jalel Ben-Othman, Hyunbum Kim

IEEE Trans. Sustain. Comput., 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

ODM-RPL: Optimized Dual MOP RPL.

Mohamed Redha Bouakouk, Abdelkrim Abdelli, Lynda Mokdad

Proceedings of the IEEE Symposium on Computers and Communications, 2021

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

Dealing with value constraints in decision making using MCDM methods.

Abdelkrim Abdelli, Lynda Mokdad, Youcef Hammal

J. Comput. Sci., 2020

Towards modelling and analyzing timed workflow systems with complex synchronizations.

Abdia Hamdani, Abdelkrim Abdelli

J. King Saud Univ. Comput. Inf. Sci., 2020

A taxonomy of service discovery approaches in IoT.

Meriem Achir, Abdelkrim Abdelli, Lynda Mokdad

Proceedings of the 8th International Conference on Wireless Networks and Mobile Communications, 2020

Survey on the Cloud-IoT paradigms: Taxonomy and architectures.

Mohamed Redha Bouakouk, Abdelkrim Abdelli, Lynda Mokdad

Proceedings of the IEEE Symposium on Computers and Communications, 2020

Wireless energy supply scheduling strategy in a combined border surveillance architecture.

Mohamed Lamine Laouira, Abdelkrim Abdelli, Jalel Ben-Othman

Proceedings of the IEEE Global Communications Conference, 2020

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

Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services.

Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

ISOCOV: a new MCDM method to handle value constraints in Web service selection.

Abdelkrim Abdelli, Youcef Hammal, Lynda Mokdad

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

Performance Evaluation of the QoS Aware Web Service Composition with Communities of Consumers.

Lynda Mokdad, Jean-Michel Fourneau, Abdelkrim Abdelli

Proceedings of the 2019 IEEE Global Communications Conference, 2019

An Adaptive Activation Scheduling Strategy for a Border Surveillance Network.

Mohamed Lamine Laouira, Abdelkrim Abdelli, Jalel Ben-Othman, Hyunbum Kim

Proceedings of the 2019 IEEE Global Communications Conference, 2019

2018

Dealing with a non green behaviour in WSN.

Abdelkrim Abdelli, Lynda Mokdad, Jalel Ben-Othman, Youcef Hammal

Simul. Model. Pract. Theory, 2018

Failure Detection in MANETs based on geographical repartition of nodes.

Haroun Benkaouha, Abdelkrim Abdelli, Jalel Ben-Othman, Lynda Mokdad

Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018

Using the RTPN Model for the Modeling of Complex Workflow Systems.

Abdia Hamdani, Abdelkrim Abdelli

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

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

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

Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs.

Youcef Hammal, Manel Seddiki, Mahfoud Benchaïba, Abdelkrim Abdelli

Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017

Admission Control Based on WRR in WiMAX Networks.

Jean-Michel Fourneau, Lynda Mokdad, Jalel Ben-Othman, Abdelkrim Abdelli

Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017

Dealing with user constraints in MCDM based web service selection.

Walid Serrai, Abdelkrim Abdelli, Lynda Mokdad, Ashref Serrai

Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

Time Petri net with rendezvous.

Abdia Hamdani, Abdelkrim Abdelli

Proceedings of the 4th International Conference on Control, 2017

2016

Towards an efficient failure detection in MANETs.

Haroun Benkaouha, Abdelli Abdelkrim, Jalel Ben-Othman, Lynda Mokdad

Wirel. Commun. Mob. Comput., 2016

Distributed implementation of a stable storage for MANET checkpointing protocols.

Haroun Benkaouha, Abdelli Abdelkrim, Jalel Ben-Othman, Youcef Zaffoune, Lynda Mokdad

Proceedings of the 2016 International Wireless Communications and Mobile Computing Conference (IWCMC), 2016

An efficient approach for Web service selection.

Walid Serrai, Abdelli Abdelkrim, Lynda Mokdad, Youcef Hammal

Proceedings of the IEEE Symposium on Computers and Communication, 2016

EAFD, a failure detector for clustered WSN.

Haroun Benkaouha, Abdelli Abdelkrim, Mohamed Guerroumi, Jalel Ben-Othman, Lynda Mokdad

Proceedings of the 2016 IEEE International Conference on Communications, 2016

2015

Towards a General Model to Handle Multi-enabledness in Time Petri Nets.

Abdelli Abdelkrim

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

Performance evaluation of composite Web services.

Lynda Mokdad, Jalel Ben-Othman, Abdelli Abdelkrim

EAI Endorsed Trans. Ind. Networks Intell. Syst., 2015

Formal Modeling of Greedy Nodes in 802.15.4 WSN.

Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelkrim Abdelli

ICT Express, 2015

Improving the State Space Computation of the Time Stream Petri Nets Model.

Abdelli Abdelkrim

Comput. J., 2015

AFDAN: Accurate failure detection protocol for MANETs.

Haroun Benkaouha, Abdelli Abdelkrim, Nadjib Badache, Jalel Ben-Othman, Lynda Mokdad

Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015

Time Petri Nets for performance evaluation of composite web services architectures.

Abdelli Abdelkrim, Walid Serrai, Lynda Mokdad, Youcef Hammal

Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols.

Lynda Mokdad, Youcef Hammal, Jalel Ben-Othman, Abdelli Abdelkrim

Proceedings of the 2015 IEEE International Conference on Communications, 2015

An efficient transmitting strategy for image fusion in WMSN.

Mohamed Lamine Laouira, Abdelli Abdelkrim, Lynda Mokdad, Jalel Ben-Othman

Proceedings of the 2015 IEEE International Conference on Communications, 2015

Towards Improving Failure Detection in Mobile Ad Hoc Networks.

Haroun Benkaouha, Abdelli Abdelkrim, Nadjib Badache, Jalel Ben-Othman, Lynda Mokdad

Proceedings of the 2015 IEEE Global Communications Conference, 2015

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

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

Detection of Greedy Behavior in WSN Using IEEE 802.15 Protocol.

Lynda Mokdad, Abdelli Abdelkrim, Jalel Ben-Othman

Proceedings of the IEEE 22nd International Symposium on Modelling, 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

Proceedings of the IEEE Symposium on Computers and Communications, 2014

Age semantics based state space computation of time Petri nets.

Abdelli Abdelkrim

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

SAN-based modeling of fault tolerant protocols for MANETs.

Haroun Benkaouha, Lynda Mokdad, Abdelli Abdelkrim

Proceedings of the IEEE International Conference on Communications, 2014

Time Petri net based performance evaluation of traffic scheduling in WIMAX networks.

Abdelli Abdelkrim, Lynda Mokdad

Proceedings of the IEEE Global Communications Conference, 2014

2013

2PACA: Two phases algorithm of checkpointing for Ad hoc mobile networks.

Haroun Benkaouha, Lynda Mokdad, Abdelli Abdelkrim

Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013

2012

Efficient computation of quantitative properties of real-time preemptive systems.

Abdelli Abdelkrim

Int. J. Crit. Comput. Based Syst., 2012

Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems.

Abdelli Abdelkrim

Acta Cybern., 2012

2011

Context-aware adaptation of multimedia documents for consistent presentations.

Abdelli Abdelkrim, Nadjib Badache

Multim. Syst., 2011

Improving the consistency verification and the quality of multimedia presentations.

Abdelli Abdelkrim

Int. J. Crit. Comput. Based Syst., 2011

2010

FDAN: Failure Detection Protocol for Mobile Ad Hoc Networks.

Haroun Benkaouha, Abdelli Abdelkrim, Karima Bouyahia, Yasmina Kaloune

Proceedings of the Communication and Networking, 2010

2009

Optimisation de la construction d'une approximation de l'espace d'état des systèmes préemptifs.

Abdelli Abdelkrim

Tech. Sci. Informatiques, 2009

Towards a Consistent Semantics for Unsafe Time Petri Nets.

Abdelkrim Abdelli

Proceedings of the Advances in Software Engineering, 2009

2008

Towards Building the State Class Graph of the TSPN Model.

Abdelli Abdelkrim, Nadjib Badache

Fundam. Informaticae, 2008

Extending the Verification of Multimedia Presentation Consistency to Resource Requirements..

Abdelli Abdelkrim

Proceedings of the Second International Conference on Future Generation Communication and Networking, 2008

Efficient computation of state space over approximation of preemptive real time systems.

Abdelli Abdelkrim, Dahbia Yahiatene

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

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

PhD thesis, 2007

Toward Specifying Multimedia Requirements Using a New Time Petri Net Model.

Abdelli Abdelkrim, Nadjib Badache

J. Comput. Inf. Technol., 2007

Efficient Bandwidth and Buffer Management for Multimedia Data Download.

Abdelli Abdelkrim, Nadjib Badache

Proceedings of the Future Generation Communication and Networking, 2007

2006

A semantic based pre-fetch scheme for SMIL presentation proxy-delivery.

Abdelli Abdelkrim, Nadjib Badache

Proceedings of the 12th International Conference on Multi Media Modeling (MMM 2006), 2006

A Proxy Pre-fetch Scheme for Consistent SMIL Presentation Delivery.

Abdelli Abdelkrim, Nadjib Badache

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

Synchronized Transitions Preemptive Time Petri Nets: A new model towards specifying multimedia requirements.

Abdelli Abdelkrim, Nadjib Badache

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2004

Towards SMIL Document Analysis Using an Algebraic Time Net.

Abdelli Abdelkrim, M. Daoudi

Proceedings of the Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30, 2004