Suivre
Chadlia Jerad
Chadlia Jerad
Visiting Scholar at UC Berkeley, EECS Department
Adresse e-mail validée de berkeley.edu
Titre
Citée par
Citée par
Année
A component architecture for the internet of things
C Brooks, C Jerad, H Kim, EA Lee, M Lohstroh, V Nouvelletz, B Osyk, ...
Proceedings of the IEEE 106 (9), 1527-1542, 2018
472018
On Enabling Technologies for the Internet of Important Things
M Lohstroh, H Kim, JC Eidson, C Jerad, B Osyk, EA Lee
IEEE Access 7 (1), 2019
192019
Temporal properties verification of real-time systems using UML/MARTE/OCL-RT
A Louati, K Barkaoui, C Jerad
Formalisms for Reuse and Systems Integration, 133-147, 2015
132015
Hierarchical Verification in Maude of LfP Software Architectures
C Jerad, K Barkaoui, A Grissa Touzi
European Conference on Software Architecture, 156-170, 2007
132007
Hardware architectures for embedded speaker recognition applications: a survey
H Bouraoui, C Jerad, A Chattopadhyay, NB Hadj-Alouane
ACM Transactions on Embedded Computing Systems (TECS) 16 (3), 1-28, 2017
122017
Deterministic timing for the industrial internet of things
C Jerad, EA Lee
2018 IEEE International Conference on Industrial Internet (ICII), 13-22, 2018
112018
On the use of rewriting logic for verification of distributed software architecture description based lfp
C Jerad, K Barkaoui
16th IEEE International Workshop on Rapid System Prototyping (RSP'05), 202-208, 2005
102005
Time properties verification of UML/MARTE real-time systems
A Louati, K Barkaoui, C Jerad
Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014
82014
On CPN-based verification of hierarchical formalization of UML 2 Interaction Overview Diagrams
A Louati, C Jerad, K Barkaoui
2013 5th International Conference on Modeling, Simulation and Applied …, 2013
82013
On the use of real-time maude for architecture description and verification: a case study
C Jerad, K Barkaoui, AG Touzi
Visions of Computer Science-BCS International Academic Conference, 2008
82008
Comparing dataflow and openmp programming for speaker recognition applications
H Bouraoui, J Castrillon, C Jerad
Proceedings of the 10th and 8th Workshop on Parallel Programming and Run …, 2019
62019
A JavaScript Extension Providing Deterministic Temporal Semantics for the Internet of Things
C Jerad, EA Lee
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2017/EECS-2017-136.html, 2017
42017
InterPRET: A Time-Predictable Multicore Processor
ER Jellum, S Lin, P Donovan, C Jerad, E Wang, M Lohstroh, EA Lee, ...
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 331-336, 2023
22023
Ai approaches for iot security analysis
MA Messaad, C Jerad, A Sikora
Intelligent Systems, Technologies and Applications: Proceedings of Sixth …, 2021
22021
Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés
A Grissa-Touzi, C Jerad, K Barkaoui
Annales Maghrébines de l'Ingénieur 2, 587-599, 2005
22005
STRPRO Tool for Manipulation of Stratified Programs Based on SEPN.
C Jerad, AG Touzi, H Ounelli
WEC (5), 252-255, 2005
22005
Towards building verifiable CPS using Lingua Franca
S Lin, YA Manerkar, M Lohstroh, E Polgreen, SJ Yu, C Jerad, EA Lee, ...
ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023
12023
AI Approaches for IoT Security Analysis
M Abou Messaad, C Jerad, A Sikora
Intelligent Systems, Technologies and Applications: Proceedings of Sixth …, 2021
12021
Towards Adaptive Multi-Alternative Process Network
H Bouraoui, C Jerad, J Castrillon
12th Workshop on Parallel Programming and Run-Time Management Techniques for …, 2021
12021
On-the-Fly Architecture Design and Implementation of a Real-Time Stereovision System
MBM Masmoudi, C Jerad, R Attia
Advanced Concepts for Intelligent Vision Systems: 17th International …, 2016
12016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20