دنبال کردن
Chadlia Jerad
Chadlia Jerad
University of Manouba, Tunisia
ایمیل تأیید شده در ensi-uma.tn
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
502018
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‏
262019
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‏
142017
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‏
142015
Hierarchical Verification in Maude of LfP Software Architectures‏
C Jerad, K Barkaoui, A Grissa Touzi‏
European Conference on Software Architecture, 156-170, 2007‏
132007
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‏
122023
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 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‏
102013
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
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‏
92023
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 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‏
72008
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
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency‏
S Lin, E Jellum, M Theile, T Tanneberger, B Sun, C Jerad, R Xu, G Feng, ...‏
arXiv preprint arXiv:2406.06253, 2024‏
22024
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
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
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20