A Petri Net Extension for Schedulability Analysis of Real Time Embedded Systems. - Yessine Hadj Kacem; Walid Karamti; Adel Mahfoudhi; Mohamed Abid (PDPTA, 2010)

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 (ECBS, 2012)

Using Dynamic Priority Time Petri Nets for Scheduling Analysis via Earliest Deadline First Policy. - Walid Karamti; Adel Mahfoudhi; Yessine Hadj Kacem (ISPA, 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 (PECCS, 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)

Scheduling analysis based on model checking for multiprocessor real-time systems. - Walid Karamti; Adel Mahfoudhi (J. Supercomput., 2014)

Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets. - Adel Mahfoudhi; Walid Karamti (J. Supercomput., 2015)

Scheduling Analysis and Correction of Periodic Real Time Systems with Tasks Migration. - Faten Mrabet; Walid Karamti; Adel Mahfoudhi (ISDA, 2017)

SAC-Tool: A Tool for Scheduling Analysis and Correction of Multiprocessor Real Time Systems. - Faten Mrabet; Walid Karamti; Adel Mahfoudhi (AICCSA, 2018)

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)

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)

IoT Based Smart Monitoring of Patients' with Acute Heart Failure. - Muhammad Umer; Saima Sadiq; Hanen Karamti; Walid Karamti; Rizwan Majeed; Michele Nappi (Sensors, 2022)

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)

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)

Use of QUIC for AMQP in IoT networks. - Faheem Iqbal; Moneeb Gohar; Hanen Karamti; Walid Karamti; Seok-Joo Koh; Jin-Ghoo Choi (Comput. Networks, 2023)

Scheduling analysis and correction for dependent real-time tasks upon heterogeneous multiprocessor architectures. - Faten Mrabet; Walid Karamti; Adel Mahfoudhi (Computing, 2024)