![]() | Ebene hoch |
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)