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 | 49 | 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 | 18 | 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 | 11 | 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 | 10 | 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 | 10 | 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 | 7 | 2021 |
Scheduling analysis based on model checking for multiprocessor real-time systems W Karamti, A Mahfoudhi The Journal of Supercomputing 68, 1604-1629, 2014 | 7 | 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 | 6 | 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 | 5 | 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 | 5 | 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 | 4 | 2023 |
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 | 4 | 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 | 4 | 2012 |
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 | 3 | 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 | 3 | 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 | 3 | 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 | 2 | 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 | 2 | 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 | 1 | 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 | | 2024 |