| 2009 |
|---|
| 4 | EE | Slim Kallel,
Anis Charfi,
Mira Mezini,
Mohamed Jmaiel,
Karl Klose:
From Formal Access Control Policies to Runtime Enforcement Aspects.
ESSoS 2009: 16-31 |
| 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) |
