Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Zaïdi, Fatiha
83  Ergebnisse:
Personensuche X
?
1

Testing techniques to assess impact and cascading effects:

, In: 2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom),
Rios, Valeria Valdes ; Cavalli, Ana Rosa ; Zaidi, Fatiha. - p. 269-272 , 2023
Link: https://doi.org/10.1109/..
 
?
2

A Network Traffic Mutation Based Ontology, and Its Applicat..:

Salazar, Zujany ; Zaïdi, Fatiha ; Nguyen, Huu-Nghia...
IEEE Access.  11 (2023)  - p. 43925-43944 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Monitoring Approaches for Security and Safety Analysis: App..:

, In: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Salazar, Zujany ; Cavalli, Ana Rosa ; Mallouli, Wissam... - p. 40-48 , 2022
Link: https://doi.org/10.1109/..
 
?
4

A formal consensus-based distributed monitoring approach fo..:

Alvarez Aldana, Jose Alfredo ; Maag, Stephane ; Zaidi, Fatiha
Internet of Things.  13 (2021)  - p. 100352 , 2021
Link: https://doi.org/10.1016/..
 
?
5

Parameterized Model Checking on the TSO Weak Memory Model:

Conchon, Sylvain ; Declerck, David ; Zaïdi, Fatiha
Journal of Automated Reasoning.  64 (2020)  7 - p. 1307-1330 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Verifying Smart Contracts with Cubicle:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,
Conchon, Sylvain ; Korneva, Alexandrina ; Zaïdi, Fatiha - p. 312-324 , 2020
Link: https://doi.org/10.1007/..
 
?
7

A Framework for the Attack Tolerance of Cloud Applications ..:

Ouffoué, Georges ; Zaïdi, Fatiha ; Cavalli, Ana R..
Electronics.  10 (2020)  1 - p. 6 , 2020
Link: https://doi.org/10.3390/..
 
?
8

Attack Tolerance for Services-Based Applications in the Clo..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Ouffoué, Georges ; Zaïdi, Fatiha ; Cavalli, Ana R. - p. 242-258 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Formal Methods and Software Engineering 

17th International Conference on Formal Engineering Methods...  Lecture Notes in Computer Science ; 9407;SpringerLink, Bücher
Butler, Michael ; Conchon, Sylvain ; Zaïdi, Fatiha - 1st ed. 2015 . , 2015
Link: https://doi.org/10.1007/..
 
?
10

Passive conformance testing of service choreographies:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,
Nguyen, Huu Nghia ; Poizat, Pascal ; Zaïdi, Fatiha - p. 1528-1535 , 2012
Link: https://dl.acm.org/doi/1..
 
?
11

Testing software and systems 

23rd IFIP WG 6.1 international conference, ICTSS 2011, Pari...  Lecture notes in computer science ; 7019
Wolff, Burkhart ; Zaïdi, Fatiha , 2011
Link: http://dx.doi.org/10.100..
 
?
12

One step forward : Linking wireless self-organizing netw..:

Viana, Aline Carneiro ; Maag, Stephane ; Zaidi, Fatiha
ACM Computing Surveys (CSUR).  43 (2011)  2 - p. 1-36 , 2011
Link: https://dl.acm.org/doi/1..
 
?
13

One step forward: Linking wireless self-organizing network ..:

Viana, Aline Carneiro ; Maag, Stephane ; Zaidi, Fatiha
ACM Computing Surveys.  43 (2011)  2 - p. 1-36 , 2011
Link: https://doi.org/10.1145/..
 
?
14

Supple : a flexible probabilistic data dissemination pro..:

, In: Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems,
Carneiro Viana, Aline ; Herault, Thomas ; Largillier, Thomas.. - p. 385-392 , 2010
Link: https://dl.acm.org/doi/1..
 
?
15

Network protocol interoperability testing based on contextu..:

, In: Proceedings of the 2009 ACM symposium on Applied Computing,
Zaidi, Fatiha ; Bayse, Emmanuel ; Cavalli, Ana - p. 2-7 , 2009
Link: https://dl.acm.org/doi/1..
 
1-15