Chadlia Jerad

According to our database, Chadlia Jerad authored at least 18 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

InterPRET: a Time-predictable Multicore Processor.

Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

mAPN: Modeling, Analysis, and Exploration of Algorithmic and Parallelism Adaptivity.

Hasna Bouraoui, Chadlia Jerad, Omar Romdhani, Jerónimo Castrillón

CoRR, 2022

2021

Towards Adaptive Multi-Alternative Process Network.

Hasna Bouraoui, Chadlia Jerad, Jerónimo Castrillón

Proceedings of the 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2021

2019

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

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

Deterministic Timing for the Industrial Internet of Things.

Chadlia Jerad, Edward A. Lee

Proceedings of the IEEE International Conference on Industrial Internet, 2018

2017

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

2016

On-the-Fly Architecture Design and Implementation of a Real-Time Stereovision System.

Mohamed B. M. Masmoudi, Chadlia Jerad, Rabah Attia

Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2016

2015

Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.

Aymen Louati, Kamel Barkaoui, Chadlia Jerad

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

2014

Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams.

Aymen Louati, Chadlia Jerad, Kamel Barkaoui

CoRR, 2014

Time properties verification of UML/MARTE real-time systems.

Aymen Louati, Kamel Barkaoui, Chadlia Jerad

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2008

On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study.

Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi

Proceedings of the Visions of Computer Science, 2008

2007

Hierarchical Verification in Maude of L <i>f</i> P Software Architectures.

Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi

Proceedings of the Software Architecture, First European Conference, 2007

On the Design and Analysis of Real-time Systems.

Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi

Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

2005

STRPRO Tool for Manipulation of Stratified Programs Based on SEPN.

Chadlia Jerad, Amel Grissa Touzi, Habib Ounelli

Proceedings of the Third World Enformatika Conference, 2005

New Approach for Manipulation of Stratified Programs.

Amel Grissa Touzi, Chadlia Jerad, Habib Ounelli

Proceedings of the Third World Enformatika Conference, 2005

On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.

Chadlia Jerad, Kamel Barkaoui

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005