Fatiha Zaïdi

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 26

Top Topics

Hybrid Architecture

Temporal Properties

Coloured Petri Nets

Top Venues

Publications

Valeria Valdés Ríos, Fatiha Zaïdi, Ana Rosa Cavalli, Angel Rego
Towards the adoption of automated cyber threat intelligence information sharing with integrated risk assessment. ARES (2024)
Valeria Valdés, Fatiha Zaïdi, Ana Rosa Cavalli, Wissam Mallouli
A Resilience Component for a Digital Twin. FPS (2) (2023)
Zujany Salazar, Fatiha Zaïdi, Huu Nghia Nguyen, Wissam Mallouli, Ana Rosa Cavalli, Edgardo Montes de Oca
A Network Traffic Mutation Based Ontology, and Its Application to 5G Networks. IEEE Access 11 (2023)
Valeria Valdés, Ana Rosa Cavalli, Fatiha Zaïdi, Wissam Mallouli
Testing techniques to assess impact and cascading effects. CloudCom (2023)
Zujany Salazar, Fatiha Zaïdi, Wissam Mallouli, Ana Rosa Cavalli, Huu Nghia Nguyen, Edgardo Montes de Oca
A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic. ICSOFT (2022)
Zujany Salazar, Ana Rosa Cavalli, Wissam Mallouli, Filip Sebek, Fatiha Zaïdi, Monika Ewa Rakoczy
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System. ICST Workshops (2022)
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi
A formal consensus-based distributed monitoring approach for mobile IoT networks. Internet Things 13 (2021)
Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi
A Coloured Petri Nets Based Attack Tolerance Framework. APSEC (2020)
Sylvain Conchon, David Declerck, Fatiha Zaïdi
Parameterized Model Checking on the TSO Weak Memory Model. J. Autom. Reason. 64 (7) (2020)
Georges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli
Attack Tolerance for Services-Based Applications in the Cloud. ICTSS (2019)
Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi
Verifying Smart Contracts with Cubicle. FM Workshops (1) (2019)
Jose Alvarez, Stéphane Maag, Fatiha Zaïdi
MANETs monitoring with a distributed hybrid architecture. CoRR (2018)
Ana R. Cavalli, Antonio M. Ortiz, Georges Ouffoué, Cesar A. Sanchez, Fatiha Zaïdi
Design of a Secure Shield for Internet and Web-Based Services Using Software Reflection. ICWS (2018)
Jose Alvarez, Stephane Maag, Fatiha Zaïdi
Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture. CoRR (2018)
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi
MANETs Interoperability: Current Trends and Open Research. AINA Workshops (2018)
Sylvain Conchon, David Declerck, Fatiha Zaïdi
: Parameterized Model Checking on Weak Memory. IJCAR (2018)
Georges L. A. Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
An Attack-Tolerant Framework for Web Services. SCC (2017)
Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
How Web Services Can Be Tolerant to Intruders through Diversification. ICWS (2017)
Jose Alvarez, Stephane Maag, Fatiha Zaïdi
Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture. AINA (2017)
Sylvain Conchon, David Declerck, Fatiha Zaïdi
Parameterized Model Checking Modulo Explicit Weak Memory Models. IMPEX/FM&MDD (2017)
Jose Alvarez, Stephane Maag, Fatiha Zaïdi
DHYMON: a Continuous Decentralized Hybrid Monitoring Architecture for MANETs. CoRR (2017)
Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
Model-Based Attack Tolerance. AINA Workshops (2017)
Sylvain Conchon, David Declerck, Fatiha Zaïdi
. ICFEM (2017)
Georges Ouffoue, Antonio M. Ortiz, Ana R. Cavalli, Wissam Mallouli, Josep Domingo-Ferrer, David Sánchez, Fatiha Zaïdi
Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach. ICDCS Workshops (2016)
Jose Alvarez, Stéphane Maag, Fatiha Zaïdi
MANETs monitoring with a distributed hybrid architecture. NCA (2016)
Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli
Effectively Testing of Timed Composite Systems using Test Case Prioritization. SEKE (2016)
Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi
Certificates for Parameterized Model Checking. FM (2015)
Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP. ICTSS (2015)
Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli
A Framework for Distributed Testing of Timed Composite Systems. APSEC (1) (2014)
Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
Automatic skeleton generation for data-aware service choreographies. ISSRE (2013)
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
Invariants for finite instances and beyond. FMCAD (2013)
Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. ICSOC (2012)
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. CAV (2012)
Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. HASE (2012)
Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
Passive conformance testing of service choreographies. SAC (2012)
Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi
Verification of Interoperability Security Policies by Model Checking. HASE (2011)
Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. TAP@TOOLS (2011)
Aline Carneiro Viana, Stephane Maag, Fatiha Zaïdi
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches. ACM Comput. Surv. 43 (2) (2011)
Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaïdi
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. ICWS (2010)
Aline Carneiro Viana, Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Fatiha Zaïdi
Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks. MSWiM (2010)
Fatiha Zaïdi, Mounir Lallali, Stéphane Maag
A component based testing technique for a MANET routing protocol. AICCSA (2010)
Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES (2009)
Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca, Fatiha Zaïdi
A Formal Passive Testing Approach to test a MANET Routing Protocol. PerCom Workshops (2009)
Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli
Network protocol interoperability testing based on contextual signatures and passive testing. SAC (2009)
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli, Iksoon Hwang
Automatic Timed Test Case Generation for Web Services Composition. ECOWS (2008)
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli
Timed Modeling of Web Services Composition for Automatic Testing. SITIS (2007)
Stéphane Maag, Fatiha Zaïdi
Testing methodology for an ad hoc routing protocol. PM2HW2N (2006)
Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi
A passive testing approach based on invariants: application to the WAP Comput. Networks 48 (2) (2005)
Pierre Combes, Wei Monin, Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Richard Castanet, Marcien MacKaya, Patrice Laurençot
Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation. Ann. des Télécommunications 60 (5-6) (2005)
Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi
Application of a Formal Testing Methodology to Wireless Telephony Networks. J. Braz. Comput. Soc. 10 (2) (2004)
Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot
A Multi-service and Multi-protocol Validation Platform-Experimentation Results. TestCom (2004)
Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis, Fatiha Zaïdi
A Testing Methodology for an Open Software E-learning Platform. EDUTECH (2004)
Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi
Automated Generation of Interoperability Tests. TestCom (2002)
Ana R. Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zaïdi
A Service-Component Testing Method and a Suitable CORBA Architecture. ISCC (2001)
Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi
Hit-or-Jump: An algorithm for embedded testing with applications to IN services. FORTE (1999)