Chadlia Jerad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2005–2016
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ACIVS | On-the-Fly Architecture Design and Implementation of a Real-Time Stereovision System. | Mohamed B. M. Masmoudi, Chadlia Jerad, Rabah Attia |
| 2014 | IRI | Time properties verification of UML/MARTE real-time systems. | Aymen Louati, Kamel Barkaoui, Chadlia Jerad |
| 2007 | CATA | On the Design and Analysis of Real-time Systems. | Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi |
| 2007 | ECSA | Hierarchical Verification in Maude of L | Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi |
| 2005 | RSP | On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. | Chadlia Jerad, Kamel Barkaoui |