On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. - Chadlia Jerad; Kamel Barkaoui (IEEE International Workshop on Rapid System Prototyping, 2005)

New Approach for Manipulation of Stratified Programs. - Amel Grissa Touzi; Chadlia Jerad; Habib Ounelli (WEC (5), 2005)

STRPRO Tool for Manipulation of Stratified Programs Based on SEPN. - Chadlia Jerad; Amel Grissa Touzi; Habib Ounelli (WEC (5), 2005)

On the Design and Analysis of Real-time Systems. - Chadlia Jerad; Kamel Barkaoui; Amel Grissa Touzi (CATA, 2007)

Hierarchical Verification in Maude of L f P Software Architectures. - Chadlia Jerad; Kamel Barkaoui; Amel Grissa Touzi (ECSA, 2007)

On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. - Chadlia Jerad; Kamel Barkaoui; Amel Grissa Touzi (BCS Int. Acad. Conf., 2008)

Time properties verification of UML/MARTE real-time systems. - Aymen Louati; Kamel Barkaoui; Chadlia Jerad (IRI, 2014)

Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams. - Aymen Louati; Chadlia Jerad; Kamel Barkaoui (CoRR, 2014)

Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. - Aymen Louati; Kamel Barkaoui; Chadlia Jerad (Formalisms for Reuse and Systems Integration, 2015)

On-the-Fly Architecture Design and Implementation of a Real-Time Stereovision System. - Mohamed B. M. Masmoudi; Chadlia Jerad; Rabah Attia (ACIVS, 2016)

Hardware Architectures for Embedded Speaker Recognition Applications: A Survey. - Hasna Bouraoui; Chadlia Jerad; Anupam Chattopadhyay; Nejib Ben Hadj-Alouane (ACM Trans. Embed. Comput. Syst., 2017)

Deterministic Timing for the Industrial Internet of Things. - Chadlia Jerad; Edward A. Lee (ICII, 2018)

A Component Architecture for the Internet of Things. - Christopher X. Brooks; Chadlia Jerad; Hokeun Kim; Edward A. Lee; Marten Lohstroh; Victor Nouvelletz; Beth Osyk; Matthew Weber (Proc. IEEE, 2018)

On Enabling Technologies for the Internet of Important Things. - Marten Lohstroh; Hokeun Kim; John C. Eidson; Chadlia Jerad; Beth Osyk; Edward A. Lee (IEEE Access, 2019)

Towards Adaptive Multi-Alternative Process Network. - Hasna Bouraoui; Chadlia Jerad; Jerónimo Castrillón (PARMA-DITAM@HiPEAC, 2021)

mAPN: Modeling, Analysis, and Exploration of Algorithmic and Parallelism Adaptivity. - Hasna Bouraoui; Chadlia Jerad; Omar Romdhani; Jerónimo Castrillón (CoRR, 2022)

InterPRET: a Time-predictable Multicore Processor. - Erling Rennemo Jellum; Shaokai Lin; Peter Donovan; Chadlia Jerad; Edward Wang; Marten Lohstroh; Edward A. Lee; Martin Schoeberl (CPS-IoT Week Workshops, 2023)

Towards Building Verifiable CPS using Lingua Franca. - Shaokai Lin; Yatin A. Manerkar; Marten Lohstroh; Elizabeth Polgreen; Sheng-Jung Yu; Chadlia Jerad; Edward A. Lee; Sanjit A. Seshia (ACM Trans. Embed. Comput. Syst., 2023)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. - 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; et al. (CoRR, 2024)

Toward Dynamism in Distributed Lingua Franca Programs. - Chadlia Jerad; Edward A. Lee (IEEE Embed. Syst. Lett., 2025)