| 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 | 49 | 2018 |
| 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 | 21 | 2019 |
| 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 | 14 | 2015 |
| 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 | 13 | 2017 |
| Hierarchical Verification in Maude of LfP Software Architectures C Jerad, K Barkaoui, A Grissa Touzi European Conference on Software Architecture, 156-170, 2007 | 13 | 2007 |
| Deterministic timing for the industrial internet of things C Jerad, EA Lee 2018 IEEE International Conference on Industrial Internet (ICII), 13-22, 2018 | 11 | 2018 |
| 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 | 10 | 2013 |
| 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 | 10 | 2005 |
| 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 | 8 | 2023 |
| 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 | 8 | 2014 |
| 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 | 8 | 2008 |
| 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 | 7 | 2023 |
| 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 | 6 | 2019 |
| 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 | 4 | 2017 |
| 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 | 2 | 2024 |
| Ai approaches for iot security analysis MA Messaad, C Jerad, A Sikora Intelligent Systems, Technologies and Applications: Proceedings of Sixth …, 2021 | 2 | 2021 |
| 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 | 2 | 2005 |
| STRPRO Tool for Manipulation of Stratified Programs Based on SEPN. C Jerad, AG Touzi, H Ounelli WEC (5), 252-255, 2005 | 2 | 2005 |
| AI Approaches for IoT Security Analysis M Abou Messaad, C Jerad, A Sikora Intelligent Systems, Technologies and Applications: Proceedings of Sixth …, 2021 | 1 | 2021 |
| Towards Adaptive Multi-Alternative Process Network H Bouraoui, C Jerad, J Castrillon 12th Workshop on Parallel Programming and Run-Time Management Techniques for …, 2021 | 1 | 2021 |
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
