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