Chadlia Jerad

According to our database1, Chadlia Jerad authored at least 11 papers between 2005 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Hardware Architectures for Embedded Speaker Recognition Applications: A Survey.
ACM Trans. Embedded 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
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.
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

Time properties verification of UML/MARTE real-time systems.
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
Hierarchical Verification in Maude of L f P Software Architectures.
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


  Loading...