PSI 2017: Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli. A platform for security monitoring of multi-cloud applications. In the A.P. Ershov Informatics Conference, the 11th edition of PSI Conference Series, Moscow, Russia. June 27-29, 2017. PDF bibtex

Book Chapter: Alessandra Bagnato, Andrey Sadovykh, Sarah Dahab, Stéphane Maag, Ana R. Cavalli, Alin Stefanescu, Jérome Rocheteau, Sana Mallouli, Wissam Mallouli. Modeling OMG SMM metrics using the Modelio modeling tool in the MEASURE project. Revue Génie Logiciel, 120, pp. 46-52, 2017. PDF bibtex

Book Chapter: Théo Combe, Wissam Mallouli, Thibault Cholez, Guillaume Doyen, Bertrand Mathieu, and Edgardo Montes de Oca. A SDN and NFV use-case: NDN implementation and security monitoring. Book chapter in "Guide to Security in SDN and NFV - Challenges, Opportunities, and Applications", Editors Dr. Shao Ying Zhu, Dr. Sandra Scott-Hayward, Professor Richard Hill, Dr. Ludovic Jacquin. Publisher: published by Springer in the Computer Communications and Networks Series. ISBN: . To be published 2017. PDF bibtex

CS3M 2017: Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli, Erkuden Rios. Multi-cloud Applications Security Monitoring. In the cloud security modeling, monitoring and management workshop in conjunction with the 12th International Conference on Green, Pervasive and Cloud Computing (GPC 2017), pp 748-758. Cetara, Amalfi Coast, Italy, May 12th, 2017. PDF bibtex

ACM ICN 2016: Xavier Marchal, Moustapha El Aoun, Bertrand Mathieu, Wissam Mallouli, Thibault Cholez,Guillaume Doyen, Patrick Truong, Alain Ploix and Edgardo Montes De Oca. A virtualized and monitored NDN infrastructure featuring a NDN/HTTP gateway. In the 3rd ACM Conference on Information-Centric Networking (ICN 2016) Demo Session, Kyoto, Japan, Sept. 26-28, 2016. PDF bibtex

ICSOFT-PT 2016: Diego Rivera, Ana R. Cavalli, Natalia Kushik, Wissam Mallouli. An Implementation of a QoE Evaluation Technique Including Business Model Parameters. In the 11th International Conference on Software Paradigm Trends (ICSOFT 2016), Lisbon, Portugal, 24-26 July, 2016. PDF bibtex

STAM 2016: Erkuden Rios, Wissam Mallouli, Massimiliano Rak, Valentina Casola and Antonio M. Ortiz. SLA-driven Monitoring of Multi-Cloud Application Components using the MUSA framework . In the Second IEEE International Workshop on Security Testing and Monitoring STAM 2016. Nara, Japan. June 27, 2016. PDF bibtex

STAM 2016: Georges Ouffoué, Antonio M. Ortiz, Ana Cavalli, Wissam Mallouli, Josep Domingo-Ferrer, David Sanchez and Fatiha Zaidi. Intrusion detection and attack tolerance for cloud environments: the CLARUS approach . In the Second IEEE International Workshop on Security Testing and Monitoring STAM 2016. Nara, Japan. June 27, 2016. PDF bibtex

Computers & Security Journal: Jose-Miguel Horcas, Monica Pinto, Lidia Fuentes, Wissam Mallouli, and Edgardo Montes de Oca. An approach for deploying and monitoring dynamic security policies. In the Computers & Security journal, Volume 58, Pages 20-38, Impact Factor: 1.03, DOI: 10.1016/j.cose.2015.11.007, May 2016. PDF bibtex

LANOMS 2015: Raul Fuentes, Ana Cavalli, Wissam Mallouli, and Javier Baliosian. Monitoring-based Validation of Functional and Performance Aspects of a Greedy Ant Colony Optimization Protocol . In the 8th Latin American Network Operations and Management Symposium. Joao Pessoa, Brazil. October 1-3, 2015. PDF bibtex

SPC 2015: Antonio M. Ortiz, Erkuden Rios, Wissam Mallouli, Eider Iturbe, Edgardo Montes de Oca. Self-protecting Multi-Cloud Applications . In the first IEEE International Workshop on Security and Privacy in the Cloud. Florance, Italy, September 30, 2015. PDF bibtex

TrustBus 2015: Jose-Miguel Horcas, Monica Pinto, Lidia Fuentes, Wissam Mallouli, and Edgardo Montes de Oca. Dynamic Deployment and Monitoring of Security Policies. In the 12th International Conference on Trust, Privacy & Security in Digital Business. Valencia, Spain. September 1-2, 2015. PDF bibtex

STAM 2015: Bertrand Mathieu, Guillaume Doyen, Wissam Mallouli, Thomas Silverston, Olivier Bettan, François-Xavier Aguessy, Thibault Cholez, Abdelkader Lahmadi, Patrick Truong, Edgardo Montes de Oca. Monitoring and Securing New Functions Deployed in a Virtualized Networking Environment. In the first International Workshop on Security Testing And Monitoring - topic: Secure Interoperability (STAM 2015). Toulouse, France. August 24, 2015. PDF bibtex

Book Chapter: Edgardo Montes de Oca, Wissam Mallouli. Security aspects of SDMN. Book chapter in "Software Defined Mobile Networks (SDMN): Beyond LTE Network Architecture", edited by Madhusanka Liyanage, Andrei Gurtov and Mika Yliantilla. ISBN-13: 978-1118900284 ISBN-10: 1118900286 Edition: 1st. Published on August 17, 2015. PDF bibtex

IJSSC Journal: Felipe Barbosa Abreu, Anderson Morais, Ana Cavalli, Bachar Wehbi, Wissam Mallouli, Edgardo Montes de Oca. An Effective Attack Detection Approach in Wireless Mesh Networks . In the International Journal of Space-Based and Situated Computing. Vol. 5 No. 2 Special Issue on Network Management and Monitoring. Guest Editor: Professor Stephane Maag IJSSC-74845. pages 89,99. DOI: 10.1504/IJSSC.2015.069204. 2015. PDF bibtex

NSS 2014: Khalifa Toumi, Wissam Mallouli, Ana Cavalli, Edgardo Montes De Oca and Cesar Andres. How to Evaluate Trust Using MMT. In the 8th International Conference on Network and System Security (NSS 2014). Xi'an, China, October 15-17, 2014. PDF bibtex

IJOCI Journal: Natalia Kushik, Jeevan Pokhrel, Nina Yevtushenko, Ana Cavalli, Wissam Mallouli, QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches . In the International Journal of Organizational and Collective Intelligence, 4(3), pages 44-65, July-September 2014. PDF bibtex

AINA 2014: Jeevan Pokhrel, Felipe Lalanne,Ana Cavalli, Wissam Mallouli, QoE estimation for web service selection using a Fuzzy-Rough hybrid expert system, in the 28th IEEE International Conference on Advanced Information Networking and Applications (AINA-2014) Victoria, Canada, May 13-16, 2014. PDF bibtex

WEBIST 2014: Natalia Kushik, Nina Yevtushenko, Ana Cavalli, Wissam Mallouli, and Jeevan Pokhrel, Evaluating web service QoE by learning logic networks, In the 10th international conference on Web Information Systems and Technologies (WEBIST 2014), Barcelona, Spain, April 2014. PDF bibtex

SASSI 2013: Wissam Mallouli, Passive testing for security checking using MMT. Workshop on Security Assessment for Systems, Services and Infrastructures at the Technical University (TU) in Berlin. Sept 19-20. PDF bibtex

RCIS 2013: Wissam Mallouli, Network Monitoring for Security Checking Using MMT. In the RCIS workshop on testing and maintenance of Future Internet applications. Paris, France, May 2013. PDF bibtex

STV 2012: Wissam Mallouli, Bachar Wehbi, Edgardo Montes de Oca, Michel Bourdelles, Online Network Traffic Security Inspection Using MMT Tool. In the 9th workshop on system testing and validation (STV). Paris, France, October 2012. PDF bibtex

IST Journal: Amel Mammar, Wissam Mallouli, and Ana Cavalli. A systematic approach to integrate common timed security rules within a TEFSM-based system specification. Publiched in Information and Software Technology Journal. ISSN = 0950-5849, Elsevier Editor, January 2012. PDF bibtex

ICTSS 2011: Amel Mammar, Ana Cavalli, Willy Jimenez, Wissam Mallouli and Edgardo Montes de Oca. Using testing techniques for vulnerability detection in C programs. In the 23th IFIP International Conference on Testing Software and Systems (ICTSS'11). Paris, France, November 7-10, 2011. (Best Paper Award !) PDF bibtex

JISIS Journal: Wissam Mallouli, Amel Mammar, Ana Cavalli and Willy Jimenez. VDC-Based Dynamic Code Analysis: Application to C Programs . Published in the international Journal of Internet Services and Information Security (JISIS). Volume 1, Issue 2/3, pages 4-20, August 2011. PDF bibtex

Book Chapter: Wissam Mallouli, Bachar Wehbi, Ana Cavalli and Stéphane Maag, Formal Supervision of Mobile Ad hoc Networks for Security Flaws Detection. Book chapter in "Security Engineering Techniques and Solutions for Information Systems: Management and Implementation", Editors Pr. Noureddine Boudriga and Pr. Mohamed Hamdi. Publisher: Information Science Reference - IGI Global. ISBN: 9781615208036. Published on 15 May 2011. PDF bibtex

ICWS 2010: Gerardo Morales, Stephane Maag, Ana Cavalli, Wissam Mallouli, Edgardo Montes de Oca, and Bachar Wehbi. Timed Extended Invariants for the Passive Testing of Web Services . The 8th International Conference on Web Services (ICWS 2010), Miami, Florida, USA, July 5-10, 2010. PDF bibtex

ICWS 2010: Ana Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sebastien Salva and Fatiha Zaidi, WebMov: A dedicated framework for the modelling and testing of Web Services composition . The 8th International Conference on Web Services (ICWS 2010), Miami, Florida, USA, July 5-10, 2010. PDF bibtex

Book Chapter: Wissam Mallouli, Mounir Lallali, Amel Mammar, Gerardo Morales and Ana Rosa Cavalli, Modeling and Testing Secure Web Applications. Book chapter in "Web-Based Information Technologies and Distributed Systems", Edited by Alban Gabillon (University of Polynésie Française, Polynésie Française), Quan Z Sheng (University of Adelaide, Australia), & Wathiq Mansoor (American University in Dubai, UAE). pages 207-256. ISBN: 978-90-78677-28-4. Published on June 2010. PDF bibtex

SEC-MDA: Bachar Wehbi and Wissam Mallouli, Functional and Security Test Automation with TestGen (TEG) Suite. The Second International Workshop on Security in Model Driven Architecture (SEC-MDA 2010) in conjunction with ECMFA 2010 Sixth European Conference on Modelling Foundations and Applications. Paris, France, June 16, 2010. PDF bibtex

MDA4ServiceCloud 2010: Lina Bentakouk, Fayçal Bessayah, Mounir Lallali, Wissam Mallouli and Andrey Sadovykh. A Framework for Modeling and Testing of Web Services Orchestration. The fourth workshop on Modeling, Design, and Analysis for the Service Cloud (MDA4ServiceCloud 2010), Paris, France, June 15, 2010. PDF bibtex

MDV 2010: Alessandra Bagnato, Fabio Raiteri, Wissam Mallouli and Bachar Wehbi, Practical experience gained from passive testing of Web based systems The 1st International Workshop on Modelling and Detection of Vulnerabilities (MDV 2010) in conjunction with ICST 2010 Third International Conference on Software Testing, Verification and Validation. Paris, France, April 10, 2010. PDF bibtex

APSEC: Wissam Mallouli, Amel Mammar and Ana Rosa Cavalli, A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. 16th Asia-Pacific Software Engineering Conference (ASPEC'09). Bayview Beach Resort, Penang, Malaysia, December 1-3, 2009. PDF bibtex

ASE: Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana Cavalli, Wissam Mallouli and Arnaud Gonguet, An Automated Passive Testing Approach for the IMS PoC Service . 24th IEEE/ACM International Conference Automated Software Engineering 2009 (ASE'09). Auckland, New Zealand, November 16-20, 2009. PDF bibtex

CFIP: Wissam Mallouli, Amel Mammar et Ana Rosa Cavalli, Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un Système. Colloque francophone sur l'ingénierie des protocoles, Strasbourg, France, 12-15 octobre 2009. PDF bibtex

NOTERE: Ana Rosa Cavalli, Azzedine Benameur, Wissam Mallouli, Keqin Li, A Passive Testing Approach for Security Checking and its Practical Usage for Web Services Monitoring ,9ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition (NOTERE'09), Montréal, Canada, June 29 - July 3, 2009. PDF bibtex

SEC-MDA: Erkoden Rios, Per Håkon Meland, Shanai Ardi, Alessandra Bagnato, Jostein Jensen, Wissam Malouli, Fabio Raiteri, Txus Sanchez, Inger Anne TØndel, Bachar Wehbi, A qualitative evaluation of model-based security activities for software development. SEC-MDA'09 Workshop on Security in Model Driven Architecture, Enschede, The Netherlands, June 24, 2009. PDF bibtex

GLOBECOM: Wissam Mallouli, Fayçal Bessayah, Ana Rosa Cavalli and Azzedine Benameur, Security Rules Specification and Analysis Based on Passive Testing, The IEEE Global Communications Conference (GLOBECOM 2008), New Orleans, USA, November 30 - December 04, 2008. PDF bibtex

SITIS: Wissam Mallouli, Mounir Lallali, Gerardo Morales, Ana Rosa Cavalli, Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study, The Fourth International Conference on Signal-Image technology & Internet-Based Systems (SITIS 2008), Bali, Indonesia, November 30 - December 03, 2008. PDF bibtex

DS-RT Demo: Ana Rosa Cavalli, Edgardo Montes De Oca, Wissam Mallouli, Mounir Lallali, Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints, The 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2008), Vancouver, Canada, October 27-29, 2008. PDF bibtex

DS-RT: Wissam Mallouli, Amel Mammar, Ana Rosa Cavalli, Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines, The 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2008), Vancouver, Canada, October 27-29, 2008. PDF bibtex

ADHOC-NOW: Wissam Mallouli, Bachar Wehbi, Ana Rosa Cavalli, Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking, The 7th International Conference on AD-HOC Networks & Wireless (ADHOC-Now 2008), Sophia Antipolis, France, September 10-12, 2008. PDF bibtex

SECTEST: Wissam Mallouli, Gerardo Morales and Ana Rosa Cavalli,Testing Security Policies for Web Applications, the 1st International ICST workshop on Security Testing (SECTEST'08), Lillehammer, Norway, April 09, 2008 PDF bibtex

HASE: Wissam Mallouli and Ana Rosa Cavalli,Testing Security Rules with Decomposable Activities, the 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), Dallas, Texas, November 14-16, 2007 PDF bibtex

SACMAT: Wissam Mallouli, Jean-Marie Orset, Ana Rosa Cavalli, Nora Cuppens and Frédéric Cuppens, A Formal Approach for Testing Security Rules, the 12th ACM symposium on access control models and technologies (SACMAT'07), SAP Labs, Sophia Antipolis, France, June 20-22, 2007 PDF bibtex

NOTERE: Bachar Wehbi, Anis Laouiti, Wissam Mallouli and Ana Rosa Cavalli, Un Mécanisme de Synchronisation pour les Réseaux Sans Fil Multi-Sauts , 7ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition (NOTERE'07), Marrakech, Maroc, Juin 4-8, 2007. PDF bibtex

TESTCOM: Ana Rosa Cavalli, Stéphane Maag, Wissam Mallouli, Mickael Marche and Yves-Marie Quemener, Application of Two Test Generation Tools to an Industrial Case Study, The 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006), New York, USA. May 2006. PDF bibtex

MDM: Bachar Wehbi, Wissam Mallouli and Ana Rosa Cavalli, Light Client Management Protocol for Wireless Mesh Networks, the 7th International Conference on Mobile Data Management (MDM'06), page 123, Nara, Japan. May 2006. PDF bibtex