Browse by Person
Up a level |
Kallel, Slim (2011)
Specifying and Monitoring Non-functional Properties.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Kallel, Slim ; Charfi, Anis ; Dinkelaker, Tom ; Mezini, Mira ; Jmaiel, Mohamed (2009)
Specifying and Monitoring Temporal Properties in Web Services Compositions.
In: Proceedings of the 7th IEEE European Conference on Web Services (ECOWS)
Book Section, Bibliographie
Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Klose, Karl ; Jmaiel, Mohamed (2009)
From Formal Access Control Policies to Runtime Enforcement Aspects.
Leuven, Belgium
doi: 10.1007/978-3-642-00199-4_2
Conference or Workshop Item, Bibliographie
Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; Klose, Karl (2009)
From Formal Access Control Policies to Runtime Enforcement Aspects.
In: Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
doi: 10.1007/978-3-642-00199-4_2
Book Section, Bibliographie
Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; 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)
doi: 10.1504/IJICS.2009.031044
Article, Bibliographie
Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2008)
Aspect-based Enforcement of Formal Delegation Policies.
Third International Conference on Risks and Security of Internet and Systems (CRiSIS '08). Tozeur, Tunisia (28.-30. Okt. 2008)
doi: 10.1109/CRISIS.2008.4757459
Conference or Workshop Item, Bibliographie
Kallel, Slim ; Charfi, Anis ; Jmaiel, Mohamed (2008)
Using Aspects for Enforcing Formal Architectural Invariants.
4th International Workshop on Formal Aspects of Component Software (FACS 2007). Sophia-Antipolis, France (29. Jun. 2008)
doi: 10.1016/j.entcs.2008.06.018
Conference or Workshop Item, Bibliographie
Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2007)
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
In: Coordination Models and Languages
doi: 10.1007/978-3-540-72794-1_12
Book Section, Bibliographie
Regayeg, Amira ; Kallel, Slim ; Kacem, Ahmed Hadj ; Jmaiel, Mohamed (2006)
ForMAAD Method: An Experimental Design for Air Traffic Control.
In: International Transactions on Systems Science and Applications, 1 (4)
Article, Bibliographie
Kallel, Slim ; Jmaiel, Mohamed (2005)
Specification d'une Solution Multi-Agent pour la Resolution des Conflits Aeriens.
Sousse, Tunisia
Conference or Workshop Item, Bibliographie