Chadlia Jerad

22 papers B 2C 1Misc 2Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware.
ACM Trans. Embed. Comput. Syst.
Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Yimo Xu, Guangyu Feng, Magnus Mæhlum, Jian-Jia Chen, Martin Schoeberl, Linh Thi Xuan Phan, Jerónimo Castrillón, Sanjit A. Seshia, Edward A. Lee
2025 J jnl
Toward Dynamism in Distributed Lingua Franca Programs.
IEEE Embed. Syst. Lett.
Chadlia Jerad, Edward A. Lee
2025 J jnl
Tradeoffs in Reactive Systems Design (Dagstuhl Seminar 25091).
Dagstuhl Reports
Jerónimo Castrillón Mazo, Chadlia Jerad, Edward A. Lee, Claire Pagetti, Shaokai Jerry Lin
2024 J jnl
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency.
CoRR
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 A. Seshia, Edward A. Lee
2023 — conf
InterPRET: a Time-predictable Multicore Processor.
CPS-IoT Week Workshops
Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl
2023 J jnl
Towards Building Verifiable CPS using Lingua Franca.
ACM Trans. Embed. Comput. Syst.
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
2022 J jnl
mAPN: Modeling, Analysis, and Exploration of Algorithmic and Parallelism Adaptivity.
CoRR
Hasna Bouraoui, Chadlia Jerad, Omar Romdhani, Jerónimo Castrillón
2021 — conf
Towards Adaptive Multi-Alternative Process Network.
PARMA-DITAM@HiPEAC
Hasna Bouraoui, Chadlia Jerad, Jerónimo Castrillón
2019 J jnl
On Enabling Technologies for the Internet of Important Things.
IEEE Access
Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee
2018 J jnl
A Component Architecture for the Internet of Things.
Proc. IEEE
Christopher X. Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvelletz, Beth Osyk, Matthew Weber
2018 — conf
Deterministic Timing for the Industrial Internet of Things.
ICII
Chadlia Jerad, Edward A. Lee
2017 J jnl
Hardware Architectures for Embedded Speaker Recognition Applications: A Survey.
ACM Trans. Embed. Comput. Syst.
Hasna Bouraoui, Chadlia Jerad, Anupam Chattopadhyay, Nejib Ben Hadj-Alouane
2016 B conf
On-the-Fly Architecture Design and Implementation of a Real-Time Stereovision System.
ACIVS
Mohamed B. M. Masmoudi, Chadlia Jerad, Rabah Attia
2015 — ch.
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.
Formalisms for Reuse and Systems Integration
Aymen Louati, Kamel Barkaoui, Chadlia Jerad
2014 J jnl
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams.
CoRR
Aymen Louati, Chadlia Jerad, Kamel Barkaoui
2014 Misc conf
Time properties verification of UML/MARTE real-time systems.
IRI
Aymen Louati, Kamel Barkaoui, Chadlia Jerad
2008 — conf
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study.
BCS Int. Acad. Conf.
Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi
2007 B conf
Hierarchical Verification in Maude of L
ECSA
Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi
2007 Misc conf
On the Design and Analysis of Real-time Systems.
CATA
Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi
2005 — conf
New Approach for Manipulation of Stratified Programs.
WEC (5)
Amel Grissa Touzi, Chadlia Jerad, Habib Ounelli
2005 C conf
On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.
IEEE International Workshop on Rapid System Prototyping
Chadlia Jerad, Kamel Barkaoui
2005 — conf
STRPRO Tool for Manipulation of Stratified Programs Based on SEPN.
WEC (5)
Chadlia Jerad, Amel Grissa Touzi, Habib Ounelli