2011

Kallel, Slim (2011)
Specifying and Monitoring Non-functional Properties.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2009

Kallel, Slim ; Charfi, Anis ; Dinkelaker, Tom ; Mezini, Mira ; Jmaiel, Mohamed (2009)
Specifying and Monitoring Temporal Properties in Web Services Compositions.
In: Proceedings of the 7th IEEE European Conference on Web Services (ECOWS)
Buchkapitel, Bibliographie

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Klose, Karl ; Jmaiel, Mohamed (2009)
From Formal Access Control Policies to Runtime Enforcement Aspects.
Leuven, Belgium
doi: 10.1007/978-3-642-00199-4_2
Konferenzveröffentlichung, Bibliographie

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; Klose, Karl (2009)
From Formal Access Control Policies to Runtime Enforcement Aspects.
In: Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
doi: 10.1007/978-3-642-00199-4_2
Buchkapitel, Bibliographie

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; Sewe, Andreas (2009)
A holistic approach for access control policies: from formal specification to aspect-based enforcement.
In: International Journal of Information and Computer Security, 3 (3/4)
doi: 10.1504/IJICS.2009.031044
Artikel, Bibliographie

2008

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2008)
Aspect-based Enforcement of Formal Delegation Policies.
Third International Conference on Risks and Security of Internet and Systems (CRiSIS '08). Tozeur, Tunisia (28.10.2008-30.10.2008)
doi: 10.1109/CRISIS.2008.4757459
Konferenzveröffentlichung, Bibliographie

Kallel, Slim ; Charfi, Anis ; Jmaiel, Mohamed (2008)
Using Aspects for Enforcing Formal Architectural Invariants.
4th International Workshop on Formal Aspects of Component Software (FACS 2007). Sophia-Antipolis, France (29.06.2008-29.06.2008)
doi: 10.1016/j.entcs.2008.06.018
Konferenzveröffentlichung, Bibliographie

2007

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2007)
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
In: Coordination Models and Languages
doi: 10.1007/978-3-540-72794-1_12
Buchkapitel, Bibliographie

2006

Regayeg, Amira ; Kallel, Slim ; Kacem, Ahmed Hadj ; Jmaiel, Mohamed (2006)
ForMAAD Method: An Experimental Design for Air Traffic Control.
In: International Transactions on Systems Science and Applications, 1 (4)
Artikel, Bibliographie

2005

Kallel, Slim ; Jmaiel, Mohamed (2005)
Specification d'une Solution Multi-Agent pour la Resolution des Conflits Aeriens.
Sousse, Tunisia
Konferenzveröffentlichung, Bibliographie