Hit-or-Jump: An algorithm for embedded testing with applications to IN services. - Ana R. Cavalli; David Lee 001; Christian Rinderknecht; Fatiha Zaïdi (FORTE, 1999)

A Service-Component Testing Method and a Suitable CORBA Architecture. - Ana R. Cavalli; Bruno Defude; Christian Rinderknecht; Fatiha Zaïdi (ISCC, 2001)

Automated Generation of Interoperability Tests. - Cédric Besse; Ana R. Cavalli; Myungchul Kim; Fatiha Zaïdi (TestCom, 2002)

A Testing Methodology for an Open Software E-learning Platform. - Ana R. Cavalli; Stéphane Maag; Sofia Papagiannaki; Georgios Verigakis; Fatiha Zaïdi (EDUTECH, 2004)

A Multi-service and Multi-protocol Validation Platform-Experimentation Results. - Ana R. Cavalli; Amel Mederreg; Fatiha Zaïdi; Pierre Combes; Wei Monin; Richard Castanet; Marcien MacKaya; Patrice Laurençot (TestCom, 2004)

Application of a Formal Testing Methodology to Wireless Telephony Networks. - Ana R. Cavalli; Amel Mederreg; Fatiha Zaïdi (J. Braz. Comput. Soc., 2004)

Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation. - Pierre Combes; Wei Monin; Ana R. Cavalli; Amel Mederreg; Fatiha Zaïdi; Richard Castanet; Marcien MacKaya; Patrice Laurençot (Ann. des Télécommunications, 2005)

A passive testing approach based on invariants: application to the WAP - Emmanuel Bayse; Ana R. Cavalli; Manuel Núñez 001; Fatiha Zaïdi (Comput. Networks, 2005)

Testing methodology for an ad hoc routing protocol. - Stéphane Maag; Fatiha Zaïdi (PM2HW2N, 2006)

Timed Modeling of Web Services Composition for Automatic Testing. - Mounir Lallali; Fatiha Zaïdi; Ana R. Cavalli (SITIS, 2007)

Automatic Timed Test Case Generation for Web Services Composition. - Mounir Lallali; Fatiha Zaïdi; Ana R. Cavalli; Iksoon Hwang (ECOWS, 2008)

A Formal Passive Testing Approach to test a MANET Routing Protocol. - Ana R. Cavalli; Stéphane Maag; Edgardo Montes de Oca; Fatiha Zaïdi (PerCom Workshops, 2009)

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. - Lina Bentakouk; Pascal Poizat; Fatiha Zaïdi (TestCom/FATES, 2009)

Network protocol interoperability testing based on contextual signatures and passive testing. - Fatiha Zaïdi; Emmanuel Bayse; Ana R. Cavalli (SAC, 2009)

A component based testing technique for a MANET routing protocol. - Fatiha Zaïdi; Mounir Lallali; Stéphane Maag (AICCSA, 2010)

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. - Ana R. Cavalli; Tien-Dung Cao; Wissam Mallouli; Eliane Martins; Andrey Sadovykh; Sébastien Salva; Fatiha Zaïdi (ICWS, 2010)

Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks. - Aline Carneiro Viana; Thomas Hérault; Thomas Largillier; Sylvain Peyronnet; Fatiha Zaïdi (MSWiM, 2010)

Verification of Interoperability Security Policies by Model Checking. - Mazen El Maarabani; Ana R. Cavalli; Iksoon Hwang; Fatiha Zaïdi (HASE, 2011)

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. - Lina Bentakouk; Pascal Poizat; Fatiha Zaïdi (TAP@TOOLS, 2011)

One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches. - Aline Carneiro Viana; Stephane Maag; Fatiha Zaïdi (ACM Comput. Surv., 2011)

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. - Sylvain Conchon; Amit Goel; Sava Krstic; Alain Mebsout; Fatiha Zaïdi (CAV, 2012)

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (HASE, 2012)

A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (ICSOC, 2012)

Passive conformance testing of service choreographies. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (SAC, 2012)

Invariants for finite instances and beyond. - Sylvain Conchon; Amit Goel; Sava Krstic; Alain Mebsout; Fatiha Zaïdi (FMCAD, 2013)

Automatic skeleton generation for data-aware service choreographies. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (ISSRE, 2013)

A Framework for Distributed Testing of Timed Composite Systems. - Huu Nghia Nguyen; Fatiha Zaïdi; Ana R. Cavalli (APSEC (1), 2014)

Certificates for Parameterized Model Checking. - Sylvain Conchon; Alain Mebsout; Fatiha Zaïdi (FM, 2015)

Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP. - Xiaoping Che; Stephane Maag; Huu Nghia Nguyen; Fatiha Zaïdi (ICTSS, 2015)

Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach. - Georges Ouffoue; Antonio M. Ortiz; Ana R. Cavalli; Wissam Mallouli; Josep Domingo-Ferrer; David Sánchez 001; Fatiha Zaïdi (ICDCS Workshops, 2016)

MANETs monitoring with a distributed hybrid architecture. - Jose Alvarez; Stéphane Maag; Fatiha Zaïdi (NCA, 2016)

Effectively Testing of Timed Composite Systems using Test Case Prioritization. - Huu Nghia Nguyen; Fatiha Zaïdi; Ana R. Cavalli (SEKE, 2016)

An Attack-Tolerant Framework for Web Services. - Georges L. A. Ouffoue; Fatiha Zaïdi; Ana R. Cavalli; Mounir Lallali (SCC, 2017)

Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture. - Jose Alvarez; Stephane Maag; Fatiha Zaïdi (AINA, 2017)

Model-Based Attack Tolerance. - Georges Ouffoue; Fatiha Zaïdi; Ana R. Cavalli; Mounir Lallali (AINA Workshops, 2017)

Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W. - Sylvain Conchon; David Declerck; Fatiha Zaïdi (ICFEM, 2017)

How Web Services Can Be Tolerant to Intruders through Diversification. - Georges Ouffoue; Fatiha Zaïdi; Ana R. Cavalli; Mounir Lallali (ICWS, 2017)

DHYMON: a Continuous Decentralized Hybrid Monitoring Architecture for MANETs. - Jose Alvarez; Stephane Maag; Fatiha Zaïdi (CoRR, 2017)

Parameterized Model Checking Modulo Explicit Weak Memory Models. - Sylvain Conchon; David Declerck; Fatiha Zaïdi (IMPEX/FM&MDD, 2017)

MANETs Interoperability: Current Trends and Open Research. - Jose Alfredo Alvarez Aldana; Stephane Maag; Fatiha Zaïdi (AINA Workshops, 2018)

Cubicle- W : Parameterized Model Checking on Weak Memory. - Sylvain Conchon; David Declerck; Fatiha Zaïdi (IJCAR, 2018)

Design of a Secure Shield for Internet and Web-Based Services Using Software Reflection. - Ana R. Cavalli; Antonio M. Ortiz; Georges Ouffoué; Cesar A. Sanchez; Fatiha Zaïdi (ICWS, 2018)

Verifying Smart Contracts with Cubicle. - Sylvain Conchon; Alexandrina Korneva; Fatiha Zaïdi (FM Workshops (1), 2019)

Attack Tolerance for Services-Based Applications in the Cloud. - Georges Ouffoué; Fatiha Zaïdi; Ana R. Cavalli (ICTSS, 2019)

A Coloured Petri Nets Based Attack Tolerance Framework. - Wenbo Zhou; Philippe Dague; Lei Liu 040; Lina Ye; Fatiha Zaïdi (APSEC, 2020)

Parameterized Model Checking on the TSO Weak Memory Model. - Sylvain Conchon; David Declerck; Fatiha Zaïdi (J. Autom. Reason., 2020)

A formal consensus-based distributed monitoring approach for mobile IoT networks. - Jose Alfredo Alvarez Aldana; Stephane Maag; Fatiha Zaïdi (Internet Things, 2021)

A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic. - Zujany Salazar; Fatiha Zaïdi; Wissam Mallouli; Ana Rosa Cavalli; Huu Nghia Nguyen; Edgardo Montes de Oca (ICSOFT, 2022)

Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System. - Zujany Salazar; Ana Rosa Cavalli; Wissam Mallouli; Filip Sebek; Fatiha Zaïdi; Monika Ewa Rakoczy (ICST Workshops, 2022)

Testing techniques to assess impact and cascading effects. - Valeria Valdés; Ana Rosa Cavalli; Fatiha Zaïdi; Wissam Mallouli (CloudCom, 2023)

A Resilience Component for a Digital Twin. - Valeria Valdés; Fatiha Zaïdi; Ana Rosa Cavalli; Wissam Mallouli (FPS (2), 2023)

A Network Traffic Mutation Based Ontology, and Its Application to 5G Networks. - Zujany Salazar; Fatiha Zaïdi; Huu Nghia Nguyen; Wissam Mallouli; Ana Rosa Cavalli; Edgardo Montes de Oca (IEEE Access, 2023)

Towards the adoption of automated cyber threat intelligence information sharing with integrated risk assessment. - Valeria Valdés Ríos; Fatiha Zaïdi; Ana Rosa Cavalli; Angel Rego (ARES, 2024)

Detecting Cyber Attacks on Electric Vehicles Charging Stations. - Valeria Valdés Ríos; Fatiha Zaïdi; Ana Rosa Cavalli (FPS (1), 2024)