Publications indexed by DBLP

Theses

[2] Specifying and monitoring Non-functional Properties,
PhD thesis, Darmstadt University of Technology, Germany, July 2011. [Link]

[1] Formal Specification and Verification of Multi-agent Solution for Resolving Air Conflicts,
Master thesis, National School of Engineers of Sfax, University od Sfax, Tunisia. July 2005. [ PDF (French)]

Refereed Journal Articles

[4] Slim Kallel, Mohamed hadj Kacem, and Mohamed Jmaiel.
Modeling and enforcing invariants of dynamic software architectures,
Software and System Modeling (SoSyM), Volume 11, Number 1, 127-149, 2012, Springer. [Bibtex, DOI ]

[3] 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]

[2] Slim Kallel, 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]

[1] 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

[9] Slim Kallel, Molka Rekik, Monia Loulou, Ahmed Hadj kacem
MDA-based Approach for Implementing Secure Mobile Agent Systems,
In Proceedings of 13th International Workshop on Agent-Oriented Software Engineering (AOSE),
LNCS, Springer, 12 pages, Valencia, Spain, June 2012. [BibteX, DOI] (to appear)

[8] Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj kacem
Modeling Secure Mobile Agent Systems,
In Proceedings of 6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications,
LNCS 7327, Springer, 10 pages, Dubrovnik, Croatia, June 2012. [BibteX, DOI] (to appear)

[7] Mohamed Jmaiel and Slim Kallel
AROSA: Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures,
In Proceedings of the 21th International Conference on Collaboration Technologies and Infrastructures (WETICE),
IEEE Computer Society, Toulouse, France, June 2012. [BibteX, DOI] (to appear)

[6] 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]

[5] 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]

[4] 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]

[3] 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]

[2] 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]

[1] 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]

Other publications

[3] Slim Kallel, and Mohamed Hadj Kacem
Poster - MEIDYA: Modeling and Enforcing Invariants of Dynamic Software Architectures,
International Conference on New Technologies of Distributed Systems (NOTERE), 2010. [PDF]

[2] Sihem Loukil, Slim Kallel, Bechir Zalila, and Mohamed Jmaiel
Poster - AO4AADL: Aspect Oriented ADL for Embedded Systems,
International Conference on New Technologies of Distributed Systems (NOTERE), 2010. [PDF]

[1] Mira Mezini, Slim Kallel, and Tom Dinkelaker
Poster - Von formaler Spezifikation von Richtlinien für Zugriffskontrolle hin zur aspektunterstützen Realisierung,
(German). CASED, 2008. [PDF]