| 2008 | ||
|---|---|---|
| 3 | EE | Slim Kallel, Anis Charfi, Mohamed Jmaiel: Using Aspects for Enforcing Formal Architectural Invariants. Electr. Notes Theor. Comput. Sci. 215: 5-21 (2008) |
| 2007 | ||
| 2 | EE | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel: Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. COORDINATION 2007: 211-230 |
| 2006 | ||
| 1 | Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel: ForMAAD Method: An Experimental Design for Air Traffic Control. ITSSA 1(4): 327-334 (2006) | |
| 1 | Anis Charfi | [2] [3] |
| 2 | Mohamed Jmaiel | [1] [2] [3] |
| 3 | Ahmed Hadj Kacem | [1] |
| 4 | Mira Mezini | [2] |
| 5 | Amira Regayeg | [1] |