|
 
|
A. Grissa-Touzi
Publications
2008
- [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,
Conférence Internationale avec comité de lecture
2007
- [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 ,
Conférence Internationale avec comité de lecture
2005
- [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
