| 2025 | ESORICS | AI-Guided Test Case Prioritization from Network Traffic in Cyber-Physical Systems. | Valeria Valds Ros, Fatiha Zadi, Ana Rosa Cavalli |
| 2023 | CloudCom | Testing techniques to assess impact and cascading effects. | Valeria Valds, Ana Rosa Cavalli, Fatiha Zadi, Wissam Mallouli |
| 2022 | ICSoft | A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic. | Zujany Salazar, Fatiha Zadi, Wissam Mallouli, Ana Rosa Cavalli, Huu Nghia Nguyen, Edgardo Montes de Oca |
| 2022 | ICST | Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System. | Zujany Salazar, Ana Rosa Cavalli, Wissam Mallouli, Filip Sebek, Fatiha Zadi, Monika Ewa Rakoczy |
| 2020 | APSEC | A Coloured Petri Nets Based Attack Tolerance Framework. | Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zadi |
| 2019 | FM | Verifying Smart Contracts with Cubicle. | Sylvain Conchon, Alexandrina Korneva, Fatiha Zadi |
| 2018 | AINA | MANETs Interoperability: Current Trends and Open Research. | Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zadi |
| 2018 | CADE | Cubicle- | Sylvain Conchon, David Declerck, Fatiha Zadi |
| 2017 | AINA | Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture. | Jose Alvarez, Stephane Maag, Fatiha Zadi |
| 2017 | AINA | Model-Based Attack Tolerance. | Georges Ouffoue, Fatiha Zadi, Ana R. Cavalli, Mounir Lallali |
| 2017 | ICFEM | Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- | Sylvain Conchon, David Declerck, Fatiha Zadi |
| 2017 | ICWS | How Web Services Can Be Tolerant to Intruders through Diversification. | Georges Ouffoue, Fatiha Zadi, Ana R. Cavalli, Mounir Lallali |
| 2016 | NCA | MANETs monitoring with a distributed hybrid architecture. | Jose Alvarez, Stphane Maag, Fatiha Zadi |
| 2016 | SEKE | Effectively Testing of Timed Composite Systems using Test Case Prioritization. | Huu Nghia Nguyen, Fatiha Zadi, Ana R. Cavalli |
| 2015 | FM | Certificates for Parameterized Model Checking. | Sylvain Conchon, Alain Mebsout, Fatiha Zadi |
| 2014 | APSEC | A Framework for Distributed Testing of Timed Composite Systems. | Huu Nghia Nguyen, Fatiha Zadi, Ana R. Cavalli |
| 2013 | FMCAD | Invariants for finite instances and beyond. | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi |
| 2013 | ISSRE | Automatic skeleton generation for data-aware service choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |
| 2012 | CAV | Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi |
| 2012 | ICSOC | A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |
| 2012 | SAC | Passive conformance testing of service choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |
| 2011 | TAP | Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. | Lina Bentakouk, Pascal Poizat, Fatiha Zadi |
| 2010 | AICCSA | A component based testing technique for a MANET routing protocol. | Fatiha Zadi, Mounir Lallali, Stphane Maag |
| 2010 | ICWS | 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, Sbastien Salva, Fatiha Zadi |
| 2010 | MSWIM | Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks. | Aline Carneiro Viana, Thomas Hrault, Thomas Largillier, Sylvain Peyronnet, Fatiha Zadi |
| 2009 | PERCOM | A Formal Passive Testing Approach to test a MANET Routing Protocol. | Ana R. Cavalli, Stphane Maag, Edgardo Montes de Oca, Fatiha Zadi |
| 2009 | SAC | Network protocol interoperability testing based on contextual signatures and passive testing. | Fatiha Zadi, Emmanuel Bayse, Ana R. Cavalli |
| 2006 | MSWIM | Testing methodology for an ad hoc routing protocol. | Stphane Maag, Fatiha Zadi |
| 2001 | ISCC | A Service-Component Testing Method and a Suitable CORBA Architecture. | Ana R. Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zadi |
| 1999 | FORTE | Hit-or-Jump: An algorithm for embedded testing with applications to IN services. | Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zadi |