Journal Articles

Slim Kallel, Mohamed hadj Kacem, and Mohamed Jmaiel.
Modeling and enforcing invariants of dynamic software architectures,
Software and System Modeling (SoSyM), 23 pages, 2010
Springer.
[Bibtex, DOI ]

Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, and Andreas Sewe.
A Holistic Approach for Access Control Policies : From Formal Specification to Aspect-based Enforcement,
International Journal of Information and Computer Security (IJICS), volume 3 (3/4), pages 337-354,2009
Inderscience publishers.
[Bibtex, DOI] 

Slim Kallell, Anis Charfi and Mohamed Jmaiel.
Using Aspects for Enforcing Formal Architectural Invariants,
In Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS),
ENTCS,  Elsevier, volume 215, pages 5-21, Sophia-Antipolis, France, September 2007.
[BibteX, DOI]

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

Refereed Conference Publications

Sihem Loukil, Slim Kallel, Bechir Zalila and Mohamed Jmaiel,
Toward an Aspect Oriented ADL for Embedded Systems,
In Proceedings of the 4th European Conference on Software Architecture (ECSA),
LNCS 6285, Springer, pages 489-492, Copenhagen, Denmark, August 2010
[BibteX, DOI]

Houssem Aloulou, Monia Loulou, Slim Kallel and Ahmed Hadj Kacem,
RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems,
In Proceedings of the 2nd International Workshop on Autonomous and Spontaneous Security (SETOP),
LNCS 5939, Springer, pages 237-252, Saint Malo, France, September 2009
[BibteX, DOI]

Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, and Karl Klose.
From Formal Access Control Policies to Runtime Enforcement Aspects,
In Proceedings of the 1st International Symposium on Engineering Secure Software and Systems (ESSoS),
LNCS 5429, Springer, pages 16-31, Leuven, Belgium, February 2009.
[BibteX, DOI]

Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini and Mohamed Jmaiel,
Specifying and Monitoring Temporal Properties in Web services Compositions,
In Proceedings of the 7th IEEE European Conference on Web Services (ECOWS),
IEEE computer society, pages 148--157, Eindhoven, The Netherland, November 2009
[BibteX, DOI]

Slim Kallel, Anis Charfi, Mira Mezini, and Mohamed Jmaiel.
Aspect-based Enforcement of Formal Delegation Policies,
In Proceedings of the 3rd International Conference on Risks and Security of Internet and Systems (CRiSIS),
IEEE Computer Society, pages 9-17, Tozeur, Tunisia, October 2008.
[BibteX, DOI]

Slim Kallel, Anis Charfi, Mira Mezini, and Mohamed Jmaiel.
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants,
In Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination),
LNCS 4467, Springer, pages 211-230, Paphos, Cyprus, June 2007.
[BibteX, DOI]