 | 2012 |
|---|
| 10 |       | Slim Kallel,
Mohamed Hadj Kacem,
Mohamed Jmaiel:
Modeling and enforcing invariants of dynamic software architectures.
Software and System Modeling 11(1): 127-149 (2012) |
| 2011 |
|---|
| 9 |  | Slim Kallel:
Specifying and monitoring non-functional properties.
Darmstadt University of Technology 2011: 1-150 |
| 2010 |
|---|
| 8 | | Sihem Loukil,
Slim Kallel,
Bechir Zalila,
Mohamed Jmaiel:
Toward an Aspect Oriented ADL for Embedded Systems.
ECSA 2010: 489-492 |
| 2009 |
|---|
| 7 | | Houssem Aloulou,
Monia Loulou,
Slim Kallel,
Ahmed Hadj Kacem:
RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems.
DPM/SETOP 2009: 237-252 |
| 6 | | Slim Kallel,
Anis Charfi,
Tom Dinkelaker,
Mira Mezini,
Mohamed Jmaiel:
Specifying and Monitoring Temporal Properties in Web Services Compositions.
ECOWS 2009: 148-157 |
| 5 | | Slim Kallel,
Anis Charfi,
Mira Mezini,
Mohamed Jmaiel,
Karl Klose:
From Formal Access Control Policies to Runtime Enforcement Aspects.
ESSoS 2009: 16-31 |
| 2008 |
|---|
| 4 | | Slim Kallel,
Anis Charfi,
Mira Mezini,
Mohamed Jmaiel:
Aspect-based enforcement of formal delegation policies.
CRiSIS 2008: 9-17 |
| 3 | | Slim Kallel,
Anis Charfi,
Mohamed Jmaiel:
Using Aspects for Enforcing Formal Architectural Invariants.
Electr. Notes Theor. Comput. Sci. 215: 5-21 (2008) |
| 2007 |
|---|
| 2 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page