Chadlia Jerad

Publication Activity (10 Years)

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

Top Topics

Hardware Architecture

Exploratory Analysis

Enabling Technologies

Top Venues

ACM Trans. Embed. Comput. Syst.

CPS-IoT Week Workshops

PARMA-DITAM@HiPEAC

Publications

Shaokai Lin, Erling Rennemo Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jerónimo Castrillón, Sanjit Seshia, Edward A. Lee
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. CoRR (2024)
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
Towards Building Verifiable CPS using Lingua Franca. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl
InterPRET: a Time-predictable Multicore Processor. CPS-IoT Week Workshops (2023)
Hasna Bouraoui, Chadlia Jerad, Omar Romdhani, Jerónimo Castrillón
mAPN: Modeling, Analysis, and Exploration of Algorithmic and Parallelism Adaptivity. CoRR (2022)
Hasna Bouraoui, Chadlia Jerad, Jerónimo Castrillón
Towards Adaptive Multi-Alternative Process Network. PARMA-DITAM@HiPEAC (2021)
Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee
On Enabling Technologies for the Internet of Important Things. IEEE Access 7 (2019)
Christopher X. Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvelletz, Beth Osyk, Matthew Weber
A Component Architecture for the Internet of Things. Proc. IEEE 106 (9) (2018)
Chadlia Jerad, Edward A. Lee
Deterministic Timing for the Industrial Internet of Things. ICII (2018)
Hasna Bouraoui, Chadlia Jerad, Anupam Chattopadhyay, Nejib Ben Hadj-Alouane
Hardware Architectures for Embedded Speaker Recognition Applications: A Survey. ACM Trans. Embed. Comput. Syst. 16 (3) (2017)
Mohamed B. M. Masmoudi, Chadlia Jerad, Rabah Attia
On-the-Fly Architecture Design and Implementation of a Real-Time Stereovision System. ACIVS (2016)
Aymen Louati, Kamel Barkaoui, Chadlia Jerad
Time properties verification of UML/MARTE real-time systems. IRI (2014)
Aymen Louati, Chadlia Jerad, Kamel Barkaoui
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams. CoRR (2014)
Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. BCS Int. Acad. Conf. (2008)
Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi
On the Design and Analysis of Real-time Systems. CATA (2007)
Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi
P Software Architectures. ECSA (2007)
Chadlia Jerad, Kamel Barkaoui
On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. IEEE International Workshop on Rapid System Prototyping (2005)
Chadlia Jerad, Amel Grissa Touzi, Habib Ounelli
STRPRO Tool for Manipulation of Stratified Programs Based on SEPN. WEC (5) (2005)
Amel Grissa Touzi, Chadlia Jerad, Habib Ounelli
New Approach for Manipulation of Stratified Programs. WEC (5) (2005)