dblp.uni-trier.dewww.uni-trier.de

Wissam Mallouli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
8EEWissam Mallouli, Bachar Wehbi, Ana R. Cavalli: Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. ADHOC-NOW 2008: 345-356
7EEWissam Mallouli, Amel Mammar, Ana R. Cavalli: Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. DS-RT 2008: 173-180
6EEAna 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
5EEWissam Mallouli, Fayçal Bessayah, Ana R. Cavalli, Azzedine Benameur: Security Rules Specification and Analysis Based on Passive Testing. GLOBECOM 2008: 2078-2083
2007
4EEWissam Mallouli, Ana R. Cavalli: Testing Security Rules with Decomposable Activities. HASE 2007: 149-155
3EEWissam 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
2EEBachar Wehbi, Wissam Mallouli, Ana R. Cavalli: Light Client Management Protocol for Wireless Mesh Networks. MDM 2006: 123
1EEAna 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

Coauthor Index

1Azzedine Benameur [5]
2Fayçal Bessayah [5]
3Ana R. Cavalli [1] [2] [3] [4] [5] [6] [7] [8]
4Frédéric Cuppens [3]
5Nora Cuppens-Boulahia (Nora Boulahia-Cuppens) [3]
6Mounir Lallali [6]
7Stéphane Maag [1]
8Amel Mammar [7]
9Mikael Marche [1]
10Edgardo Montes de Oca [6]
11Jean-Marie Orset [3]
12Yves-Marie Quemener [1]
13Bachar Wehbi [2] [8]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)