ICTSS 2021: Zujany Salazar, Huu Nghia Nguyen, Wissam Mallouli, Ana Rosa Cavalli and Edgardo Montes de Oca. Attack configuration Engine for 5G networks . In the 33rd IFIP International Conference on Testing Software and Systems (ICTSS 2021), Project Report. November 10-11, 2021. PDF bibtex

ICTSS 2021: Andrey Sadovykh, Zujany Salazar, Wissam Mallouli, Ana Rosa Cavalli, Dragos Truscan, Eduard Paul Enoiu, Rosa Iglesias and Olga Hendel. NLP-based Testing and Monitoring for Security Checking . In the 33rd IFIP International Conference on Testing Software and Systems (ICTSS 2021), Project Report. November 10-11, 2021. PDF bibtex

Book Chapter: Luong Nguyen, Vinh Hoa La, Wissam Mallouli and Edgardo Montes de Oca. "Validation, Verification and Root-Cause Analysis". in DevOps for Trustworthy Smart IoT Systems. Edited by Nicolas Ferry, Hui Song, Andreas Metzger and Erkuden Rios. pp. 173-213. Now Publishers. DOI: 10.1561/9781680838251.ch8. PDF bibtex

ARES 2021: Max van Haastrecht, Injy Sarhan, Alireza Shojaifar, Louis Baumgartner, Wissam Mallouli, Marco Spruit. A Threat-Based Cybersecurity Risk Assessment Approach Addressing SME Needs. In the 16th International Conference on Availability, Reliability and Security (ARES 2021), pp 158:1-158:12. Vienna, Austria, August 23-26, 2021. PDF bibtex

ARES 2021: José Javier de Vicente Mohino, Wissam Mallouli, José Francisco Ruiz, Max van Haastrecht. GEIGER: Solution for small businesses to protect themselves against cyber-threats. In the 16th International Conference on Availability, Reliability and Security (ARES 2021), pp 157:1-157:4. Vienna, Austria, August 23-26, 2021. PDF bibtex

ARES 2021: Zujany Salazar, Huu Nghia Nguyen, Wissam Mallouli, Ana R. Cavalli, Edgardo Montes de Oca. 5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection. In the 16th International Conference on Availability, Reliability and Security (ARES 2021), pp 106:1-106:8. Vienna, Austria, August 23-26, 2021. PDF bibtex

ARES 2021: Charilaos C. Zarakovitis, Dimitrios Klonidis, Zujany Salazar, Anna Prudnikova, Arash Bozorgchenani, Qiang Ni, Charalambos Klitis, George Guirgis, Ana R. Cavalli, Nicholas Sgouros, Eftychia Makri, Antonios Lalas, Konstantinos Votis, George Amponis, Wissam Mallouli. SANCUS: Multi-layers Vulnerability Management Framework for Cloud-native 5G networks. In the 16th International Conference on Availability, Reliability and Security (ARES 2021), pp 108:1-108:10. Vienna, Austria, August 23-26, 2021. PDF bibtex

ICSOFT 2021: Vinh Hoa La, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli. A Framework for Security Monitoring of Real IoT Testbeds. In the proceedings of the 16th International Conference on Software Technologies (ICSOFT 2021), pp 645-652, July 6-8, 2021. PDF bibtex

DATE 2021: Andrey Sadovykh, Gunnar Widforss, Dragos Truscan, Eduard Paul Enoiu, Wissam Mallouli, Rosa Iglesias, Alessandra Bagnato, Olga Hendel. VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps. In the proceedings of the Design, Automation and Test in Europe Conference (DATE 2021). pp.1330-1333. Published on 01/02/2021. PDF bibtex

ICSOFT 2020: Wissam Mallouli, Ana Rosa Cavalli, Alessandra Bagnato and Edgardo Montes de Oca. Metrics-driven DevSecOps. In the proceedings of the 15th International Conference on Software Technologies (ICSOFT), pp 228--233, Lieusaint, Paris, France, July 7-9, 2020 PDF bibtex

CNSM 2019: Hoang Long Mai, Guillaume Doyen, Wissam Mallouli, Edgardo Montes de Oca, Olivier Festor. Towards Content-Centric Control Plane Supporting Efficient Anomaly Detection Functions. In the proceedings of the 15th International Conference on Network and Service Management (CNSM) Halifax, Canada. 21-25 October 2019 PDF bibtex

ICTSS 2019: Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana Cavalli, Brecht Vermeulen, and Matevz Vucnik. IoT Network Monitoring and Test of an Industrial Solution on Fed4Fire+ Platforms. In the proceedings of the 31th IFIP International Conference on Testig Software and Systems IFIP-ITCSS 2019. Paris, October 15-17, 2019. PDF bibtex

Book Chapter: Sarah Dahab, Stephane Maag, Wissam Mallouli and Ana Cavalli. "Smart measurements and analysis for software quality enhancement". In the series "Communications in Computer and Information Science" (CCIS) published by Springer. To appear. PDF bibtex

Science Direct Journal: Valentina Casola, Alessandra De Benedictis, Antonio Riccio, Diego Rivera, Wissam Mallouli, Edgardo Montes de Oca. A security monitoring system for Internet of Things . In the Direct Science journal, Internet of Things, Elsevier Editor, doi: https://doi.org/10.1016/j.iot.2019.100080 Available online 2 July 2019. PDF bibtex

IM 2019: Hoang Long Mai, Messaoud Aouadj, Guillaume Doyen, Wissam Mallouli, Edgardo Montes de Oca and Olivier Festor, Toward Content-Oriented Orchestration: SDN and NFV as Enabling Technologies for NDN . In the IFIP/IEEE International Symposium on Integrated Network Management (IM 2019). Washington DC, USA, 8-12 April 2019. PDF bibtex

IEEE TIFS Journal: Tan Nguyen, Hoang-Long Mai, Remi Cogranne, Guillaume Doyen, Wissam Mallouli, Luong Nguyen, Moustapha El Aoun, Edgardo Montes de Oca and Olivier Festor. Reliable Detection of Interest Flooding Attack in Real Deployment of Named Data Networking . In the IEEE Transactions on Information Forensics and Security (T-IFS) published by IEEE Signal Processing Society. Volume: 14, Issue:9, pages: 2470-2485, Print ISSN: 1556-6013, Online ISSN: 1556-6021, Digital Object Identifier: 10.1109/TIFS.2019.2899247, Issue Date: September 2019. PDF bibtex

IEEE Communications Magazine: Guillaume Doyen, Thibault Cholez, Wissam Mallouli, Bertrand Mathieu, Hoang-Long Mai, Xavier Marchal, Daishi Kondo, Messaoud Aouadj, Alain Ploix, Edgardo Montes-de-Oca, and Olivier Festor, An Orchestrated NDN Virtual Infrastructure Transporting Web Traffic: Design, Implementation, and First Experiments with Real End Users , IEEE Communications Magazine (CommMag), Special Issue on the quest for information centric networking, to be published soon. PDF bibtex

IET Software Journal: Erkuden Rios Velasco, Eider Iturbe, Xabier Larrucea, Massimiliano Rak, Wissam Mallouli, Jacek Dominiak, Victor Muntes, Peter Matthews and Luis Gonzalez Moctezuma. Service Level Agreement-based GDPR Compliance and Security assurance in (multi)Cloud-based systems . In the IET (Institution of Engineering and Technology) Software Journal. Special issue on Security and Privacy in Cloud-based systems. Editor-in-Chief: Hana Chockler, King's College London, UK. DOI: 10.1049/iet-sen.2018.5293 , Print ISSN 1751-8806, Online ISSN 1751-8814 Available online: 01 February 2019. PDF bibtex

ICSOFT 2018: Sarah Dahab, Erika Silva, Stephane Maag, Ana Rosa Cavalli, Wissam Mallouli. Enhancing software development process quality based on metrics correlation and suggestion. In the 13th Internation Conference on Software Technologies (ICSOFT 2018), Porto, Portugal, 26-28 July 2018. PDF bibtex

IEEE Communications Magazine: Tan Nguyen, Hoang Long Mai, Guillaume Doyen, Remi Cogranne, Wissam Mallouli, Edgardo Montes de oca and Olivier Festor, A Security Monitoring Plane for Named Data Networking Deployment , IEEE Communications Magazine (CommMag), Feature topic on Information-Centric Networking Security, Volume: 56, Issue: 11, Page(s): 88 - 94, Print ISSN: 0163-6804, Electronic ISSN: 1558-1896, INSPEC Accession Number: 18235434, DOI: 10.1109/MCOM.2018.1701135, Date of Publication: 19 November 2018. PDF bibtex

NOMS 2018: Hoang Long Mai, Tan Nguyen, Guillaume Doyen, Remi Cogranne, Wissam Mallouli, Edgardo Montes de Oca, Olivier Festor. Towards a Security Monitoring Plane for Named Data Networking and its Application against Content Poisoning Attack . In the IEEE/IFIP Network Operations and Management Symposium, Taipei, Taiwan, 23-27 April 2018. PDF bibtex

NOMS 2018: Xavier Marchal, Moustapha El Aoun, Bertrand Mathieu, Thibault Cholez, Guillaume Doyen, Wissam Mallouli, Olivier Festor. Leveraging NFV for the Deployment of NDN: Application to HTTP Traffic Transport. In the IEEE/IFIP Network Operations and Management Symposium (NOMS), Taipei, Taiwan, 23-27 April 2018. PDF bibtex

The computer journal 2018: Khalifa Toumi, Mohamed Aouadi, Ana R Cavalli, Wissam Mallouli, Jordi Puiggal Allepuz, Pol Valletb Montfort. A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System. In the Computers journal. Issue Section: Section D: Security in Computer Systems and Networks: Impact Factor: 0.711, DOI: https://doi.org/10.1093/comjnl/bxy018, 29 March 2018. PDF bibtex

ICIN 2018: Hoang Long Mai, Messaoud Aouadj, Guillaume Doyen, Daishi Kondo, Xavier Marchal, Thibault Cholez, Edgardo Montes de Oca, Wissam Mallouli. Implementation of Content Poisoning Attack Detection and Reaction in Virtualized NDN Networks. In the 21st Conference on Innovation in Clouds, Internet and Networks (ICIN 2018), Paris, France, 20-22 February 2018. PDF bibtex

SPC 2017: Erkuden Rios, Eider Iturbe, Wissam Mallouli, Massimiliano Rak, Dynamic Security Assurance in Multi-Cloud DevOps In the 3rd IEEE-CNS Workshop on Security and Privacy in the Cloud (SPC 2017). Las Vegas, NV USA. 9-11 October 2017. PDF bibtex

SecSE 2017: Erkuden Rios, Massimiliano Rak, Eider Iturbe, and Wissam Mallouli. SLA-Based Continuous Security Assurance in Multi-Cloud DevOps. In the International Workshop on Secure Software Engineering in DevOps and Agile Development (SecSE 2017) in conjunction with ESORICS 2017, European Symposium on Research in Computer Security. Oslo, Norway, September 14, 2017. PDF bibtex

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:3319646524. Published in Switzerland, October 1st, 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