Walid Karamti
Walid Karamti
Assistant Professor, Department of Computer Science, College of Computer,Qassim University, saudi
Adresse e-mail validée de
Citée par
Citée par
IoT based smart monitoring of patients’ with acute heart failure
M Umer, S Sadiq, H Karamti, W Karamti, R Majeed, M Nappi
Sensors 22 (7), 2431, 2022
Using mde and priority time petri nets for the schedulability analysis of embedded systems modeled by uml activity diagrams
YH Kacem, A Mahfoudhi, A Magdich, C Mraidha, W Karamti
2012 IEEE 19th International Conference and Workshops on Engineering of …, 2012
Compositional specification of real time embedded systems by priority time petri nets
A Mahfoudhi, Y Hadj Kacem, W Karamti, M Abid
The Journal of Supercomputing 59, 1478-1503, 2012
Use of QUIC for AMQP in IoT networks
F Iqbal, M Gohar, H Karamti, W Karamti, SJ Koh, JG Choi
Computer Networks 225, 109640, 2023
A petri net extension for schedulability analysis of real time embedded systems
YH Kacem, W Karamti, A Mahfoudhi, M Abid
The 16th International Conference on Parallel and Distributed Processing …, 2010
Detection of community structures in dynamic social networks based on message distribution and structural/attribute similarities
H Zardi, B Alharbi, W Karamti, H Karamti, E Alabdulkreem
IEEE Access 9, 67028-67041, 2021
Scheduling analysis based on model checking for multiprocessor real-time systems
W Karamti, A Mahfoudhi
The Journal of Supercomputing 68, 1604-1629, 2014
A formal method for scheduling analysis of a partitioned multiprocessor system: dynamic priority time petri nets
W Karamti, AMYH Kacem, M Abid
PECCS, 2012
Scheduling analysis and correction for multiprocessor real-time systems based on multi-agent systems
A Mahfoudhi, W Karamti, A Zaguia
International Journal of Applied Engineering Research 13 (5), 2368-2374, 2018
Using dynamic priority time petri nets for scheduling analysis via earliest deadline first policy
W Karamti, A Mahfoudhi, YH Kacem
2012 IEEE 10th International Symposium on Parallel and Distributed …, 2012
Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets
A Mahfoudhi, W Karamti
The Journal of Supercomputing 71, 3637-3667, 2015
Hierarchical modeling with dynamic priority time petri nets for multiprocessor scheduling analysis
W Karamti, A Mahfoudhi, YH Kacem
Proceedings of the International Conference on Embedded Systems, Cyber …, 2012
Monitor the Strength Status of Buildings Using Hybrid Machine Learning Technique
A Chaparala, PK Jain, H Karamti, W Karamti
IEEE Access 11, 26441-26458, 2023
Scheduling analysis and correction of periodic real time systems with tasks migration
F Mrabet, W Karamti, A Mahfoudhi
Intelligent Systems Design and Applications: 17th International Conference …, 2018
Using model driven engineering and uml/marte for hw/sw partitioning
YH Kacem, A Mahfoudhi, W Karamti, M Abid
International Journal of Discrete Event Control Systems (IJDECS) 1 (1), 57-67, 2010
A model driven engineering based method for scheduling analysis
A Mahfoudhi, W Karamti, M Abid
2008 3rd International Design and Test Workshop, 326-330, 2008
Detecting anomalies in network communities based on structural and attribute deviation
H Zardi, H Karamti, W Karamti, NS Alghamdi
Applied Sciences 12 (22), 11791, 2022
Sac-tool: a tool for scheduling analysis and correction of multiprocessor real time systems
M Faten, K Walid, M Adel
2018 IEEE/ACS 15th International Conference on Computer Systems and …, 2018
A clustering allocation and scheduling analysis approach for multiprocessor dependent real-time tasks
F Mrabet, W Karamti, A Mahfoudhi
International Journal of Computer Applications in Technology 70 (1), 48-71, 2022
Scheduling analysis and correction for dependent real-time tasks upon heterogeneous multiprocessor architectures
F Mrabet, W Karamti, A Mahfoudhi
Computing 106 (3), 651-712, 2024
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20