Search the dblp DataBase

Publications of Author

1. Chadlia Jerad, Kamel Barkaoui
   On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2005, pp:202-208 [Conf]
   
2. Amel Grissa-Touzi, Chadlia Jerad, Habib Ounelli
   New Approach for Manipulation of Stratified Programs. [Citation Graph (0, 0)][DBLP]
   WEC (5), 2005, pp:256-259 [Conf]
   
3. Chadlia Jerad, Amel Grissa-Touzi, Habib Ounelli
   STRPRO Tool for Manipulation of Stratified Programs Based on SEPN. [Citation Graph (0, 0)][DBLP]
   WEC (5), 2005, pp:252-255 [Conf]
   
4. Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi
   On the Design and Analysis of Real-time Systems. [Citation Graph (0, 0)][DBLP]
   Computers and Their Applications, 2007, pp:380-386 [Conf]
   
5. Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi
   Hierarchical Verification in Maude of L f P Software Architectures. [Citation Graph (0, 0)][DBLP]
   ECSA, 2007, pp:156-170 [Conf]
   
6. 
   On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. [Citation Graph (, )][DBLP]