Walid Karamti

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 10

Top Topics

Ischemic Stroke

Workflow Process

Real Time Systems

Top Venues

J. Supercomput.

Int. J. Commun. Networks Inf. Secur.

Publications

Faten Mrabet, Walid Karamti, Adel Mahfoudhi
Scheduling analysis and correction for dependent real-time tasks upon heterogeneous multiprocessor architectures. Computing 106 (3) (2024)
Walid Karamti, Imad Al-Sgir
Intelligent agents Model with JADE for scheduling analysis and correction of Real-Time Systems. Int. J. Commun. Networks Inf. Secur. 15 (1) (2023)
Vishnu Vardhana Rao M, Aparna Chaparala, Praphula Kumar Jain, Hanen Karamti, Walid Karamti
Monitor the Strength Status of Buildings Using Hybrid Machine Learning Technique. IEEE Access 11 (2023)
Faheem Iqbal, Moneeb Gohar, Hanen Karamti, Walid Karamti, Seok-Joo Koh, Jin-Ghoo Choi
Use of QUIC for AMQP in IoT networks. Comput. Networks 225 (2023)
Faten Mrabet, Walid Karamti, Adel Mahfoudhi
A clustering allocation and scheduling analysis approach for multiprocessor dependent real-time tasks. Int. J. Comput. Appl. Technol. 70 (1) (2022)
Muhammad Umer, Saima Sadiq, Hanen Karamti, Walid Karamti, Rizwan Majeed, Michele Nappi
IoT Based Smart Monitoring of Patients' with Acute Heart Failure. Sensors 22 (7) (2022)
Hedia Zardi, Bushra Alharbi, Walid Karamti, Hanen Karamti, Eatedal Alabdulkreem
Detection of Community Structures in Dynamic Social Networks Based on Message Distribution and Structural/Attribute Similarities. IEEE Access 9 (2021)
Faten Mrabet, Walid Karamti, Adel Mahfoudhi
SAC-Tool: A Tool for Scheduling Analysis and Correction of Multiprocessor Real Time Systems. AICCSA (2018)
Faten Mrabet, Walid Karamti, Adel Mahfoudhi
Scheduling Analysis and Correction of Periodic Real Time Systems with Tasks Migration. ISDA (2017)
Adel Mahfoudhi, Walid Karamti
Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets. J. Supercomput. 71 (10) (2015)
Walid Karamti, Adel Mahfoudhi
Scheduling analysis based on model checking for multiprocessor real-time systems. J. Supercomput. 68 (3) (2014)
Walid Karamti, Adel Mahfoudhi, Yessine Hadj Kacem, Mohamed Abid
A Formal Method for Scheduling Analysis of a Partitioned Multiprocessor System - Dynamic Priority Time Petri Nets. PECCS (2012)
Adel Mahfoudhi, Yessine Hadj Kacem, Walid Karamti, Mohamed Abid
Compositional specification of real time embedded systems by priority time Petri Nets. J. Supercomput. 59 (3) (2012)
Walid Karamti, Adel Mahfoudhi, Yessine Hadj Kacem
Using Dynamic Priority Time Petri Nets for Scheduling Analysis via Earliest Deadline First Policy. ISPA (2012)
Yessine Hadj Kacem, Adel Mahfoudhi, Amina Magdich, Chokri Mraidha, Walid Karamti
Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams. ECBS (2012)
Yessine Hadj Kacem, Walid Karamti, Adel Mahfoudhi, Mohamed Abid
A Petri Net Extension for Schedulability Analysis of Real Time Embedded Systems. PDPTA (2010)