Fatiha Zaïdi
Orcid: 0000-0003-3414-8815
According to our database1,
Fatiha Zaïdi
authored at least 51 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
IEEE Access, 2023
Proceedings of the IEEE International Conference on Cloud Computing Technology and Science, 2023
2022
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022
A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic.
Proceedings of the 17th International Conference on Software Technologies, 2022
2021
Internet Things, 2021
2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Proceedings of the Testing Software and Systems, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Design of a Secure Shield for Internet and Web-Based Services Using Software Reflection.
Proceedings of the Web Services - ICWS 2018, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018
2017
Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017
CoRR, 2017
Proceedings of the 2017 IEEE International Conference on Web Services, 2017
Proceedings of the Formal Methods and Software Engineering, 2017
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017
Proceedings of the 31st IEEE International Conference on Advanced Information Networking and Applications, 2017
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017
2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach.
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems Workshops, 2016
2015
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP.
Proceedings of the Testing Software and Systems, 2015
Proceedings of the FM 2015: Formal Methods, 2015
2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches.
ACM Comput. Surv., 2011
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver.
Proceedings of the Tests and Proofs - 5th International Conference, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
2010
Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks.
Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2010
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition.
Proceedings of the IEEE International Conference on Web Services, 2010
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010
2009
Network protocol interoperability testing based on contextual signatures and passive testing.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.
Proceedings of the Testing of Software and Communication Systems, 2009
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009
2008
Proceedings of the ECOWS 2008, 2008
2007
Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007
2006
Proceedings of the 1st ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2006
2005
Comput. Networks, 2005
Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation.
Ann. des Télécommunications, 2005
2004
J. Braz. Comput. Soc., 2004
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004
Proceedings of the EDUTECH, 2004
2002
Automated Generation of Interoperability Tests.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002
2001
Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 2001
1999
Hit-or-Jump: An algorithm for embedded testing with applications to IN services.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999