Blättern nach Person

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

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

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Klose, Karl ; Jmaiel, Mohamed :
From Formal Access Control Policies to Runtime Enforcement Aspects.
Proc. of the International Symposium on Engineering Secure Software and Systems (ESSOS) Springer Verlag
[ Konferenzveröffentlichung] , (2009)

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

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; Sewe, Andreas :
A holistic approach for access control policies: from formal specification to aspect-based enforcement.
[Online-Edition: http://dx.doi.org/10.1504/IJICS.2009.031044]
In: International Journal of Information and Computer Security, 3 (3/4) S. 337-354. ISSN 1744-1765
[Artikel] , (2009)

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

Kallel, Slim ; Charfi, Anis ; Jmaiel, Mohamed :
Using Aspects for Enforcing Formal Architectural Invariants.
In: 4th International Workshop on Formal Aspects of Component Software (FACS 2007), 29. Jun. 2008, Sophia-Antipolis, France. In: Electronic Notes in Theoretical Computer Science , 215 .
[ Konferenzveröffentlichung] , (2008)

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

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

Kallel, Slim ; Jmaiel, Mohamed :
Specification d'une Solution Multi-Agent pour la Resolution des Conflits Aeriens.
5 eme Journees Scientifiques des Jeunes Chercheurs en Genie Electrique et Informatique (GEI)
[ Konferenzveröffentlichung] , (2005)