Walid Karamti

17 papers C 3Misc 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Aczel-Alsina power bonferroni aggregation operators for picture fuzzy information and decision analysis.
Complex Intell. Syst.
Lijun Ma, Khalida Jabeen, Walid Karamti, Kifayat Ullah, Qaisar Khan, Harish Garg, Shi Yin
2024 J jnl
Scheduling analysis and correction for dependent real-time tasks upon heterogeneous multiprocessor architectures.
Computing
Faten Mrabet, Walid Karamti, Adel Mahfoudhi
2023 J jnl
Intelligent agents Model with JADE for scheduling analysis and correction of Real-Time Systems.
Int. J. Commun. Networks Inf. Secur.
Walid Karamti, Imad Al-Sgir
2023 J jnl
Monitor the Strength Status of Buildings Using Hybrid Machine Learning Technique.
IEEE Access
Vishnu Vardhana Rao M, Aparna Chaparala, Praphula Kumar Jain, Hanen Karamti, Walid Karamti
2023 J jnl
Use of QUIC for AMQP in IoT networks.
Comput. Networks
Faheem Iqbal, Moneeb Gohar, Hanen Karamti, Walid Karamti, Seok-Joo Koh, Jin-Ghoo Choi
2022 J jnl
A clustering allocation and scheduling analysis approach for multiprocessor dependent real-time tasks.
Int. J. Comput. Appl. Technol.
Faten Mrabet, Walid Karamti, Adel Mahfoudhi
2022 J jnl
IoT Based Smart Monitoring of Patients' with Acute Heart Failure.
Sensors
Muhammad Umer, Saima Sadiq, Hanen Karamti, Walid Karamti, Rizwan Majeed, Michele Nappi
2021 J jnl
Detection of Community Structures in Dynamic Social Networks Based on Message Distribution and Structural/Attribute Similarities.
IEEE Access
Hedia Zardi, Bushra Alharbi, Walid Karamti, Hanen Karamti, Eatedal Alabdulkreem
2018 C conf
SAC-Tool: A Tool for Scheduling Analysis and Correction of Multiprocessor Real Time Systems.
AICCSA
Faten Mrabet, Walid Karamti, Adel Mahfoudhi
2017 C conf
Scheduling Analysis and Correction of Periodic Real Time Systems with Tasks Migration.
ISDA
Faten Mrabet, Walid Karamti, Adel Mahfoudhi
2015 J jnl
Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets.
J. Supercomput.
Adel Mahfoudhi, Walid Karamti
2014 J jnl
Scheduling analysis based on model checking for multiprocessor real-time systems.
J. Supercomput.
Walid Karamti, Adel Mahfoudhi
2012 — conf
A Formal Method for Scheduling Analysis of a Partitioned Multiprocessor System - Dynamic Priority Time Petri Nets.
PECCS
Walid Karamti, Adel Mahfoudhi, Yessine Hadj Kacem, Mohamed Abid
2012 J jnl
Compositional specification of real time embedded systems by priority time Petri Nets.
J. Supercomput.
Adel Mahfoudhi, Yessine Hadj Kacem, Walid Karamti, Mohamed Abid
2012 C conf
Using Dynamic Priority Time Petri Nets for Scheduling Analysis via Earliest Deadline First Policy.
ISPA
Walid Karamti, Adel Mahfoudhi, Yessine Hadj Kacem
2012 — conf
Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams.
ECBS
Yessine Hadj Kacem, Adel Mahfoudhi, Amina magdich, Chokri Mraidha, Walid Karamti
2010 Misc conf
A Petri Net Extension for Schedulability Analysis of Real Time Embedded Systems.
PDPTA
Yessine Hadj Kacem, Walid Karamti, Adel Mahfoudhi, Mohamed Abid