Kallel, Slim (2011):
Specifying and Monitoring Non-functional Properties.
TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-26770],
[Ph.D. Thesis]

Kallel, Slim and Charfi, Anis and Dinkelaker, Tom and Mezini, Mira and Jmaiel, Mohamed (2009):
Specifying and Monitoring Temporal Properties in Web Services Compositions.
In: Proceedings of the 7th IEEE European Conference on Web Services (ECOWS), Eindhoven, The Netherland, IEEE computer society, [Book Section]

Kallel, Slim and Charfi, Anis and Mezini, Mira and Klose, Karl and Jmaiel, Mohamed (2009):
From Formal Access Control Policies to Runtime Enforcement Aspects.
In: Proc. of the International Symposium on Engineering Secure Software and Systems (ESSOS), Springer Verlag, Leuven, Belgium, pp. 16--31, ISBN 978-3-642-00198-7,
DOI: 10.1007/978-3-642-00199-4_2,
[Conference or Workshop Item]

Kallel, Slim and Charfi, Anis and Mezini, Mira and Jmaiel, Mohamed and Klose, Karl (2009):
From Formal Access Control Policies to Runtime Enforcement Aspects.
In: Lecture Notes In Computer Science, In: Proceedings of the 1st International Symposium on Engineering Secure Software and Systems, Berlin/Heidelberg, Germany, pp. 16-31, [Online-Edition: http://www.springerlink.com/content/c0477883j1j39082/],
[Book Section]

Kallel, Slim and Charfi, Anis and Mezini, Mira and Jmaiel, Mohamed and 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/4), 3. Inderscience Publishers, pp. 337-354, ISSN 1744-1765,
[Online-Edition: http://dx.doi.org/10.1504/IJICS.2009.031044],
[Article]

Kallel, Slim and Charfi, Anis and Mezini, Mira and Jmaiel, Mohamed (2008):
Aspect-based Enforcement of Formal Delegation Policies.
IEEE, In: Third International Conference on Risks and Security of Internet and Systems (CRiSIS '08), Tozeur, Tunisia, 28.-30. Okt. 2008, pp. 9-17, [Conference or Workshop Item]

Kallel, Slim and Charfi, Anis and Jmaiel, Mohamed (2008):
Using Aspects for Enforcing Formal Architectural Invariants.
215In: Electronic Notes in Theoretical Computer Science, In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, In: 4th International Workshop on Formal Aspects of Component Software (FACS 2007), Sophia-Antipolis, France, 29. Jun. 2008, pp. 5-21, [Conference or Workshop Item]

Kallel, Slim and Charfi, Anis and Mezini, Mira and Jmaiel, Mohamed (2007):
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
In: Lecture Notes In Computer Science, In: Coordination Models and Languages, Heidelberg/Berlin, Germany, pp. 211-230, [Online-Edition: http://www.springerlink.com/content/617246q4143160q4/],
[Book Section]

Regayeg, Amira and Kallel, Slim and Kacem, Ahmed Hadj and Jmaiel, Mohamed (2006):
ForMAAD Method: An Experimental Design for Air Traffic Control.
In: International Transactions on Systems Science and Applications, (4), 1. pp. 327-334, [Article]

Kallel, Slim and Jmaiel, Mohamed (2005):
Specification d'une Solution Multi-Agent pour la Resolution des Conflits Aeriens.
In: 5 eme Journees Scientifiques des Jeunes Chercheurs en Genie Electrique et Informatique (GEI), Sousse, Tunisia, [Conference or Workshop Item]