Get started
Author

Chadlia Jerad

A Component Architecture for the Internet of Things
2018 · Christopher Brooks, Chadlia Jerad, et al. · Proceedings of the IEEE · 45
PDF
Towards Building Verifiable CPS using Lingua Franca
2023 · Shaokai Lin, Yatin A. Manerkar, et al. · ACM Transactions on Embedded Computing Systems · 22
PDF
InterPRET: a Time-predictable Multicore Processor
2023 · Erling R. Jellum, Shaokai Lin, et al. · Cyber-Physical Systems and Internet of Things Week (CPS-IoT Week) · 18
PDF
On Enabling Technologies for the Internet of Important Things
2019 · Marten Lohstroh, Hokeun Kim, et al. · IEEE Access · 17
PDF
Hierarchical Verification in Maude of LfP Software Architectures
2007 · Chadlia Jerad, Kamel Barkaoui, et al. · Lecture notes in computer science · 13
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT
2015 · Aymen Louati, Kamel Barkaoui, et al. · Advances in intelligent systems and computing · 10
On CPN-based verification of hierarchical formalization of UML 2 Interaction Overview Diagrams
2013 · Aymen Louati, Chadlia Jerad, et al. · International Conference on Modeling, Simulation, and Applied Optimization · 10
Deterministic Timing for the Industrial Internet of Things
2018 · Chadlia Jerad, Edward A. Lee · IEEE International Conference on Industrial Internet (ICII) · 9
Hardware Architectures for Embedded Speaker Recognition Applications: A Survey
2017 · Hasna Bouraoui, Chadlia Jerad, et al. · ACM Transactions on Embedded Computing Systems · 8
Time properties verification of UML/MARTE real-time systems
2014 · Aymen Louati, Kamei Barkaoui, et al. · IEEE International Conference on Information Reuse and Integration (IRI) · 8
On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP
2006 · C. Jerad, K. Barkaoui · International Workshop on Rapid System Prototyping (RSP) · 7
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware
2025 · Shaokai Lin, Erling Jellum, et al. · ACM Transactions on Embedded Computing Systems · 6
PDF
Worst-Case Performance for Real-Time Systems
2025 · Martin Schoeberl, Erling Jellum, et al. · Research Directions Cyber-Physical Systems · 5
PDF
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study
2008 · Chadlia Jerad, Kamel Barkaoui, et al. · Electronic workshops in computing · 5
PDF
AI Approaches for IoT Security Analysis
2021 · Mohamed Abou Messaad, Chadlia Jerad, et al. · Advances in intelligent systems and computing · 4
Comparing Dataflow and OpenMP Programming for Speaker Recognition Applications
2019 · Hasna Bouraoui, Jeronimo Castrillon, et al. · 4
Combining Early Exit and Selective Prediction for Convolutional Neural Networks
2025 · Hasna Bouraoui, Chadlia Jerad, et al. · IEEE Embedded Systems Letters · 3
Toward Dynamism in Distributed Lingua Franca Programs
2024 · Chadlia Jerad, Edward A. Lee · IEEE Embedded Systems Letters · 3
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
2024 · Lin, Shaokai, Jellum, Erling, et al. · arXiv (Cornell University) · 3
PDF
On the Design and Analysis of Real-time Systems
2007 · Jerad, Chadlia, Barkaoui, Kamel, et al. · HAL · 2
Towards Adaptive Multi-Alternative Process Network
2021 · Bouraoui, Hasna, Jerad, Chadlia, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
PDF
On-the-Fly Architecture Design and Implementation of a Real-Time Stereovision System
2016 · Mohamed B. M. Masmoudi, Chadlia Jerad, et al. · Lecture notes in computer science · 1
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.
2015 · Aymen Louati, Kamel Barkaoui, et al. · 1
Strpro Tool For Manipulation Of Stratified Programs Based On Sepn
2007 · Chadlia Jerad, Grissa-Touzi, Amel, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
PDF
New Approach For Manipulation Of Stratified Programs
2007 · Grissa-Touzi, Amel, Chadlia Jerad, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Works count: 36
Citation count: 207
H-index: 8
I10-index: 7
Year
Topic
Type