 | 2008 |
|---|
| 6 |       | Chadlia Jerad,
Kamel Barkaoui,
Amel Grissa-Touzi:
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study.
BCS Int. Acad. Conf. 2008: 305-317 |
| 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 | | Chadlia Jerad,
Kamel Barkaoui,
Amel Grissa-Touzi:
Hierarchical Verification in Maude of L f P Software Architectures.
ECSA 2007: 156-170 |
| 2005 |
|---|
| 3 | | 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 |
