Search the dblp DataBase

Publications of Author

1. Bachar Wehbi, Wissam Mallouli, Ana R. Cavalli
   Light Client Management Protocol for Wireless Mesh Networks. [Citation Graph (0, 0)][DBLP]
   MDM, 2006, pp:123- [Conf]
   
2. Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener
   Application of Two Test Generation Tools to an Industrial Case Study. [Citation Graph (0, 0)][DBLP]
   TestCom, 2006, pp:134-148 [Conf]
   
3. Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens
   A formal approach for testing security rules. [Citation Graph (0, 0)][DBLP]
   SACMAT, 2007, pp:127-132 [Conf]
   
4. 
   Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. [Citation Graph (, )][DBLP]
   
   
5. 
   A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. [Citation Graph (, )][DBLP]
   
   
6. 
   Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. [Citation Graph (, )][DBLP]
   
   
7. 
   Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. [Citation Graph (, )][DBLP]
   
   
8. 
   Testing Security Rules with Decomposable Activities. [Citation Graph (, )][DBLP]
   
   
9. 
   Timed Extended Invariants for the Passive Testing of Web Services. [Citation Graph (, )][DBLP]
   
   
10. 
    WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. [Citation Graph (, )][DBLP]
    
    
11. 
    An Automated Passive Testing Approach for the IMS PoC Service. [Citation Graph (, )][DBLP]
    
    
12. 
    Security Rules Specification and Analysis Based on Passive Testing. [Citation Graph (, )][DBLP]