Search the dblp DataBase

Publications of Author

1. Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
   Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2007, pp:211-230 [Conf]
   
2. Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel
   ForMAAD Method: An Experimental Design for Air Traffic Control. [Citation Graph (0, 0)][DBLP]
   ITSSA, 2006, v:1, n:4, pp:327-334 [Journal]
   
3. 
   Specifying and Monitoring Temporal Properties in Web Services Compositions. [Citation Graph (, )][DBLP]
   
   
4. 
   RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Toward an Aspect Oriented ADL for Embedded Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   From Formal Access Control Policies to Runtime Enforcement Aspects. [Citation Graph (, )][DBLP]
   
   
7. 
   Aspect-based enforcement of formal delegation policies. [Citation Graph (, )][DBLP]
   
   
8. 
   Using Aspects for Enforcing Formal Architectural Invariants. [Citation Graph (, )][DBLP]