Walid Karamti

According to our database, Walid Karamti authored at least 16 papers between 2010 and 2024.

Collaborative distances:

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

2024

Scheduling analysis and correction for dependent real-time tasks upon heterogeneous multiprocessor architectures.

Faten Mrabet, Walid Karamti, Adel Mahfoudhi

Computing, 2024

2023

Use of QUIC for AMQP in IoT networks.

Faheem Iqbal, Moneeb Gohar, Hanen Karamti, Walid Karamti, Seok-Joo Koh, Jin-Ghoo Choi

Comput. Networks, April, 2023

Intelligent agents Model with JADE for scheduling analysis and correction of Real-Time Systems.

Walid Karamti, Imad Al-Sgir

Int. J. Commun. Networks Inf. Secur., 2023

Monitor the Strength Status of Buildings Using Hybrid Machine Learning Technique.

Vishnu Vardhana Rao M, Aparna Chaparala, Praphula Kumar Jain, Hanen Karamti, Walid Karamti

IEEE Access, 2023

2022

IoT Based Smart Monitoring of Patients' with Acute Heart Failure.

Muhammad Umer, Saima Sadiq, Hanen Karamti, Walid Karamti, Rizwan Majeed, Michele Nappi

Sensors, 2022

A clustering allocation and scheduling analysis approach for multiprocessor dependent real-time tasks.

Faten Mrabet, Walid Karamti, Adel Mahfoudhi

Int. J. Comput. Appl. Technol., 2022

2021

Detection of Community Structures in Dynamic Social Networks Based on Message Distribution and Structural/Attribute Similarities.

Hedia Zardi, Bushra Alharbi, Walid Karamti, Hanen Karamti, Eatedal Alabdulkreem

IEEE Access, 2021

2018

SAC-Tool: A Tool for Scheduling Analysis and Correction of Multiprocessor Real Time Systems.

Faten Mrabet, Walid Karamti, Adel Mahfoudhi

Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018

2017

Scheduling Analysis and Correction of Periodic Real Time Systems with Tasks Migration.

Faten Mrabet, Walid Karamti, Adel Mahfoudhi

Proceedings of the Intelligent Systems Design and Applications, 2017

2015

Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets.

Adel Mahfoudhi, Walid Karamti

J. Supercomput., 2015

2014

Scheduling analysis based on model checking for multiprocessor real-time systems.

Walid Karamti, Adel Mahfoudhi

J. Supercomput., 2014

2012

Compositional specification of real time embedded systems by priority time Petri Nets.

Adel Mahfoudhi, Yessine Hadj Kacem, Walid Karamti, Mohamed Abid

J. Supercomput., 2012

A Formal Method for Scheduling Analysis of a Partitioned Multiprocessor System - Dynamic Priority Time Petri Nets.

Walid Karamti, Adel Mahfoudhi, Yessine Hadj Kacem, Mohamed Abid

Proceedings of the PECCS 2012, 2012

Using Dynamic Priority Time Petri Nets for Scheduling Analysis via Earliest Deadline First Policy.

Walid Karamti, Adel Mahfoudhi, Yessine Hadj Kacem

Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams.

Yessine Hadj Kacem, Adel Mahfoudhi, Amina Magdich, Chokri Mraidha, Walid Karamti

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

2010

A Petri Net Extension for Schedulability Analysis of Real Time Embedded Systems.

Yessine Hadj Kacem, Walid Karamti, Adel Mahfoudhi, Mohamed Abid

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010