Follow
Khalid Sultan
Title
Cited by
Cited by
Year
Model checking temporal knowledge and commitments in multi-agent systems using reduction
F Al-Saqqar, J Bentahar, K Sultan, W Wan, EK Asl
Simulation Modelling Practice and Theory 51, 45-68, 2015
352015
Catalog of metrics for assessing security risks of software throughout the software development life cycle
K Sultan, A En-Nouaary, A Hamou-Lhadj
2008 International Conference on Information Security and Assurance (isa …, 2008
302008
On the interaction between knowledge and social commitments in multi-agent systems
F Al-Saqqar, J Bentahar, K Sultan, M El Menshawy
Applied intelligence 41 (1), 235-259, 2014
262014
Decision making under subjective uncertainty in argumentation-based agent negotiation
O Marey, J Bentahar, E Khosrowshahi-Asl, K Sultan, R Dssouli
Ambient Intelligence and Humanized Computing, 1-17, 2015
242015
Modeling and verifying probabilistic multi-agent systems using knowledge and social commitments
K Sultan, J Bentahar, W Wan, F Al-Saqqar
Expert Systems with Applications 41 (14), 6291-6304, 2014
182014
CrashSafe: a formal model for proving crash‐safety of Android applications
W Khan, H Ullah, A Ahmad, K Sultan, AJ Alzahrani, SD Khan, M Alhumaid, ...
Human-centric Computing and Information Sciences 8 (1), 21, 2018
172018
Model checking probabilistic social commitments for intelligent agent communication
K Sultan, J Bentahar, M El-Menshawy
Applied Soft Computing 22, 397-409, 2014
162014
On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems
F Al-Saqqar, J Bentahar, K Sultan
Expert Systems with applications 43, 223-236, 2016
132016
Reasoning about social commitments in the presence of uncertainty
K Sultan, M El Menshawy, J Bentahar
2013 IEEE 12th International Conference on Intelligent Software …, 2013
82013
Migration of Existing Software Systems to Mobile Computing Platforms: A Systematic Mapping Study
I ALSEADOON, A AHMAD, A ALKHALIL, K SULTAN
Frontiers of Computer Science 15 (152204), 2021
62021
A Framework for the Evolution of Legacy Software Towards Context-aware and Portable Mobile Computing Applications
A Ahmad, I Alseadoon, A Alkhalil, K Sultan
The 17th International Conference on Software Engineering Research and Practice, 2019
62019
Modernising Legacy Software as Context-sensitive and Portable Mobile-enabled Application
A Ahmad, A Alkhalil, A B. Altamimi, K Sultan, W Khan
IT Professional 23 (1), 42-50, 2021
52021
Modeling and verifying probabilistic social commitments in multi-agent systems
KI Sultan
Concordia University, 2015
52015
Model checking agent-based communities against uncertain group commitments and knowledge
K Sultan, J Bentahar, H Yahyaoui, R Mizouni
Expert Systems with Applications, 114792, 2021
42021
Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation
M Mbarki, O Marey, J Bentahar, K Sultan
IEEE 26th International Conference on Tools with Artificial Intelligence …, 2014
42014
Software Architecture for Mobile Cloud Computing Systems
A Alreshidi, A Ahmad, A B. Altamimi, K Sultan, R Mehmood
Future Internet 11 (11), 238, 2019
22019
A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs
K Sultan, J Bentahar, O Marey
SoMet 2014, 132-147, 2014
22014
Reverse Engineering of Web Based Systems
A Hamou-Lhadj, A En-Nouaary, K Sultan
2007 Innovations in Information Technologies (IIT), 193-197, 2007
12007
New measurements for building secure software
KI Sultan
Concordia University, 2007
12007
A Deep Learning Framework for COVID-19 Diagnosis from Computed Tomography
N Mansouri, K Sultan, A Ahmad, I Alseadoon, A Alkhalil
Intelligent Automation & Soft Computing (IASC) 34 (2), 1247-1264, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20