- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j1 |      | Amel Mammar, Wissam Mallouli, Ana R. Cavalli: A systematic approach to integrate common timed security rules within a TEFSM-based system specification. Information & Software Technology 54(1): 87-98 (2012) |
| 2011 | ||
| c16 | | Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca: Using Testing Techniques for Vulnerability Detection in C Programs. ICTSS 2011: 80-96 |
| 2010 | ||
| c15 | | Alessandra Bagnato, Fabio Raiteri, Wissam Mallouli, Bachar Wehbi: Practical Experience Gained from Passive Testing of Web Based Systems. ICST Workshops 2010: 394-402 |
| c14 | | Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaïdi: WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. ICWS 2010: 377-384 |
| c13 | | Gerardo Morales, Stéphane Maag, Ana R. Cavalli, Wissam Mallouli, Edgardo Montes de Oca, Bachar Wehbi: Timed Extended Invariants for the Passive Testing of Web Services. ICWS 2010: 592-599 |
| 2009 | ||
| c12 | | Wissam Mallouli, Amel Mammar, Ana R. Cavalli: A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. APSEC 2009: 489-496 |
| c11 | | Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet: An Automated Passive Testing Approach for the IMS PoC Service. ASE 2009: 535-539 |
| 2008 | ||
| c10 | | Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli: Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. ADHOC-NOW 2008: 345-356 |
| c9 | | Wissam Mallouli, Amel Mammar, Ana R. Cavalli: Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. DS-RT 2008: 173-180 |
| c8 | | Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali: Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. DS-RT 2008: 315-318 |
| c7 | | Wissam Mallouli, Fayçal Bessayah, Ana R. Cavalli, Azzedine Benameur: Security Rules Specification and Analysis Based on Passive Testing. GLOBECOM 2008: 2078-2083 |
| c6 | | Wissam Mallouli, Gerardo Morales, Ana R. Cavalli: Testing Security Policies for Web Applications. ICST Workshops 2008: 269-270 |
| c5 | | Wissam Mallouli, Mounir Lallali, Gerardo Morales, Ana R. Cavalli: Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study. SITIS 2008: 128-136 |
| 2007 | ||
| c4 | | Wissam Mallouli, Ana R. Cavalli: Testing Security Rules with Decomposable Activities. HASE 2007: 149-155 |
| c3 | | Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens: A formal approach for testing security rules. SACMAT 2007: 127-132 |
| 2006 | ||
| c2 | | Bachar Wehbi, Wissam Mallouli, Ana R. Cavalli: Light Client Management Protocol for Wireless Mesh Networks. MDM 2006: 123 |
| c1 | | Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener: Application of Two Test Generation Tools to an Industrial Case Study. TestCom 2006: 134-148 |
Data released under the ODC-BY 1.0 license — See also our legal information page