Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Zaïdi, Fatiha
71  Ergebnisse:
englisch X
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

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/..
 
?
3

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/..
 
?
4

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/..
 
?
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

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/..
 
?
7

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..
 
?
8

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..
 
?
9

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/..
 
?
10

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..
 
?
11

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..
 
?
12

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..
 
?
13

Testing methodology for an ad hoc routing protocol:

, In: Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks,
Maag, Stéphane ; Zaidi, Fatiha - p. 48-55 , 2006
Link: https://dl.acm.org/doi/1..
 
?
14

A passive testing approach based on invariants: application..:

Bayse, Emmanuel ; Cavalli, Ana ; Núñez, Manuel.
Computer Networks.  48 (2005)  2 - p. 247-266 , 2005
Link: https://doi.org/10.1016/..
 
?
15

Application of a formal testing methodology to wireless tel..:

Cavalli, Ana ; Mederreg, Amel ; Zaidi, Fatiha
Journal of the Brazilian Computer Society.  10 (2004)  2 - p. 56-72 , 2004
Link: https://doi.org/10.1590/..
 
1-15