Abdelli Abdelkrim
Orcid: 0000-0002-9700-2293
According to our database1,
Abdelli Abdelkrim
authored at least 69 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
2
4
2
3
1
1
2
1
3
2
2
2
1
1
1
1
1
1
3
4
2
4
3
5
5
1
1
1
2
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Survey and classification of Dos and DDos attack detection and validation approaches for IoT environments.
Internet Things, April, 2024
Time distance-based computation of the <i>DBM</i> over-approximation of preemptive real-time systems.
J. Log. Algebraic Methods Program., January, 2024
Proceedings of the 11th International Conference on Wireless Networks and Mobile Communications, 2024
2022
J. Netw. Comput. Appl., 2022
Comput. Stand. Interfaces, 2022
CoRR, 2022
CoRR, 2022
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022
2021
IEEE Trans. Sustain. Comput., 2021
Performance evaluation of a solution for composite service selection problem with multiple consumers.
Simul. Model. Pract. Theory, 2021
Proceedings of the IEEE Symposium on Computers and Communications, 2021
2020
Formal techniques for consistency checking of orchestrations of semantic Web services.
J. Comput. Sci., 2020
J. Comput. Sci., 2020
Towards modelling and analyzing timed workflow systems with complex synchronizations.
J. King Saud Univ. Comput. Inf. Sci., 2020
Proceedings of the 8th International Conference on Wireless Networks and Mobile Communications, 2020
Proceedings of the IEEE Symposium on Computers and Communications, 2020
Wireless energy supply scheduling strategy in a combined border surveillance architecture.
Proceedings of the IEEE Global Communications Conference, 2020
2019
Concurr. Comput. Pract. Exp., 2019
Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services.
Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019
Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019
Performance Evaluation of the QoS Aware Web Service Composition with Communities of Consumers.
Proceedings of the 2019 IEEE Global Communications Conference, 2019
Proceedings of the 2019 IEEE Global Communications Conference, 2019
2018
Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018
Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018
2017
J. Comput. Sci., 2017
Int. J. Auton. Adapt. Commun. Syst., 2017
Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs.
Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017
Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017
Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017
Proceedings of the 4th International Conference on Control, 2017
2016
Proceedings of the 2016 International Wireless Communications and Mobile Computing Conference (IWCMC), 2016
Proceedings of the IEEE Symposium on Computers and Communication, 2016
Proceedings of the 2016 IEEE International Conference on Communications, 2016
2015
Proceedings of the Formalisms for Reuse and Systems Integration, 2015
EAI Endorsed Trans. Ind. Networks Intell. Syst., 2015
Comput. J., 2015
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015
Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015
Proceedings of the 2015 IEEE International Conference on Communications, 2015
Proceedings of the 2015 IEEE International Conference on Communications, 2015
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.
Stud. Inform. Univ., 2014
Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol.
J. Commun. Networks, 2014
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.
Proceedings of the IEEE Symposium on Computers and Communications, 2014
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014
Proceedings of the IEEE International Conference on Communications, 2014
Proceedings of the IEEE Global Communications Conference, 2014
2013
Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013
2012
Int. J. Crit. Comput. Based Syst., 2012
Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems.
Acta Cybern., 2012
2011
Multim. Syst., 2011
Int. J. Crit. Comput. Based Syst., 2011
2010
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.
Tech. Sci. Informatiques, 2009
Proceedings of the Advances in Software Engineering, 2009
2008
Extending the Verification of Multimedia Presentation Consistency to Resource Requirements..
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.
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).
PhD thesis, 2007
J. Comput. Inf. Technol., 2007
Proceedings of the Future Generation Communication and Networking, 2007
2006
Proceedings of the 12th International Conference on Multi Media Modeling (MMM 2006), 2006
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.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
2004
Proceedings of the Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30, 2004