Chadlia Jerad
Orcid: 0000-0002-5442-3098Affiliations:
- University of Manouba, ENSI, Tunisia
- University of Carthage, Sercom Laboratory, Tunis, Tunisia
According to our database1,
Chadlia Jerad
authored at least 19 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
ACM Trans. Embed. Comput. Syst., October, 2023
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023
2022
CoRR, 2022
2021
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
2018
Proceedings of the IEEE International Conference on Industrial Internet, 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
2016
On-the-Fly Architecture Design and Implementation of a Real-Time Stereovision System.
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2016
2015
Proceedings of the Formalisms for Reuse and Systems Integration, 2015
2014
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams.
CoRR, 2014
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.
Proceedings of the Visions of Computer Science, 2008
2007
Proceedings of the Software Architecture, First European Conference, 2007
On the Design and Analysis of Real-time Systems.
Proceedings of the 22nd International Conference on Computers and Their Applications, 2007
2005
STRPRO Tool for Manipulation of Stratified Programs Based on SEPN.
Proceedings of the Third World Enformatika Conference, 2005
New Approach for Manipulation of Stratified Programs.
Proceedings of the Third World Enformatika Conference, 2005
On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.
Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005