TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 7.

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 ; 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 , pp. 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) pp. 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
[Konferenz- oder Workshop-Beitrag], (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 .
[Konferenz- oder Workshop-Beitrag], (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 , pp. 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) pp. 327-334.
[Artikel], (2006)

Diese Liste wurde am Tue Jan 16 07:01:40 2018 CET generiert.