Chadlia Jerad

Doctorant(e)
Equipe SYS
Parti depuis le 30/03/2008
Mail : jerad.chadlia

gawab.com
Tel : 0140272852
Fax : 0140272709
http://cedric.cnam.fr/~jerad
Directeur de thèse : Kamel Barkaoui
Co-Directeur(s) : Nebrasse Ellouze

Chadlia's Tag-Cloud :

[LBJ15] A. Louati, K. Barkaoui, C. Jerad. "Temporal Properties Verication of Real-Time Systems Using UML/MARTE/OCL-RT; ", Advances in Intelligence Systems and Computing, Springer Verlag., vol. 346, pp. 133-147, 2015, (doi:2194-5357)

[LBJ14] A. Louati, K. Barkaoui, C. Jerad. "Time properties Verification of UML/MARTE Real-Time Systems", Proceedings of the 15th {IEEE} International Conference on Information Reuse and Integration, {IRI} 2014, August 2014, pp.386-393, Redwood City CA, USA,

[LJB13] A. Louati, C. Jerad, K. Barkaoui. "Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams", International Journal of Soft Computing and Software Engineering [JSCSE], 2013, vol. 3(3), pp. 205-211, 2013, (doi:10.732)
[LJBa13] A. Louati, C. Jerad, K. Barkaoui. "Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams", The International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, , Special Issue:, vol. 3(No. 3), pp. 205-211, 2013, (doi:10.7321/jscse.v3.n3.31 )

[LJBb13] A. Louati, C. Jerad, K. Barkaoui. "On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams", 5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013), April 2013, pp.1-6,

[JBG08] C. Jerad, K. Barkaoui, A. Grissa-Touzi. "On the use of real-time Maude for architecture description and verification : a case study", 1st International Academic Conference on Visions of Computer Science, London, UK, January 2008, pp.305-317, Series eWiC Series,

[JBG07] C. Jerad, K. Barkaoui, A. Grissa-Touzi. "On the Design and Analysis of Real-time Systems", CATA'07, 22th Int. Conf. on Computers and Their Applications, Honolulu, Hawaii, USA, January 2007, pp.380-386, Series ISCA,
[JBGa07] C. Jerad, K. Barkaoui, A. Grissa-Touzi. "Hierarchical Verification in Maude of LfP Software Architectures", ECSA'07, 1st European Conference on Software Architecture, Aranjuez (Madrid), Spain, January 2007, pp.156-170, Series LNCS ,

[GJB05] A. Grissa-Touzi, C. Jerad, K. Barkaoui. "Nouvelle Approche pour la DÃ©finition et la Manipulation de la NÃ©gation par les Programmes StratifiÃ©s", Les Annales MaghrÃ©bines de l'IngÃ©nieur, vol. 2(1), pp. 587-599, 2005

[JB05] C. Jerad, K. Barkaoui. "On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP", RSP'05, 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada, January 2005, pp.202-208, Series IEEE,