Fatiha Zaïdi

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