Kallel, Slim (2011):
Specifying and Monitoring Non-functional Properties.
TU Darmstadt,
[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), pp. 16--31,
Springer Verlag, Leuven, Belgium, 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, 5429, In: Proceedings of the 1st International Symposium on Engineering Secure Software and Systems, pp. 16-31, Berlin/Heidelberg, Germany, [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 (3/4), pp. 337-354. Inderscience Publishers, ISSN 1744-1765,
[Article]

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

Kallel, Slim and Charfi, Anis and Jmaiel, Mohamed (2008):
Using Aspects for Enforcing Formal Architectural Invariants.
In: Electronic Notes in Theoretical Computer Science, 215, In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, pp. 5-21,
4th International Workshop on Formal Aspects of Component Software (FACS 2007), Sophia-Antipolis, France, 29. Jun. 2008, [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, 4467, In: Coordination Models and Languages, pp. 211-230, Heidelberg/Berlin, Germany, [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, 1 (4), 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]