Edit Profile Zaïdi, Fatiha Compute Distance To: Compute Author ID: zaidi.fatiha Published as: Zaidi, F.; Zaidi, Fatiha; Zaïdi, Fatiha Documents Indexed: 6 Publications since 1999 all top 5 Co-Authors 0 single-authored 2 Cavalli, Ana R. 2 Conchon, Sylvain 2 Declerck, David 1 Bayse, Emmanuel 1 Lee, David A. 1 Maag, Stéphane 1 Nunez, Manuel A. 1 Rinderknecht, Christian 1 Viana, Aline Carneiro Serials 1 ACM Computing Surveys 1 Journal of Automated Reasoning 1 Computer Networks Fields 5 Computer science (68-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 8 times in 8 Documents Cited by ▼ Year ▼ A passive testing approach based on invariants: application to the WAP. Zbl 1080.68534Bayse, Emmanuel; Cavalli, Ana; Núñez, Manuel; Zaïdi, Fatiha 5 2005 Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory. Zbl 06958097Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha 2 2018 Hit-or-jump: An algorithm for embedded testing with applications to IN services. Zbl 0952.68007Cavalli, Ana; Lee, David; Rinderknecht, Christian; Zaïdi, Fatiha 1 1999 Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory. Zbl 06958097Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha 2 2018 A passive testing approach based on invariants: application to the WAP. Zbl 1080.68534Bayse, Emmanuel; Cavalli, Ana; Núñez, Manuel; Zaïdi, Fatiha 5 2005 Hit-or-jump: An algorithm for embedded testing with applications to IN services. Zbl 0952.68007Cavalli, Ana; Lee, David; Rinderknecht, Christian; Zaïdi, Fatiha 1 1999 all top 5 Cited by 18 Authors 4 Merayo, Mercedes G. 4 Nunez, Manuel A. 2 Andrés, César 2 Hierons, Robert Mark 2 Rodríguez, Ismael 1 Batth, Samrat S. 1 Calvanese, Diego 1 Cavalli, Ana R. 1 Conchon, Sylvain 1 Declerck, David 1 Ghilardi, Silvio 1 Gianola, Alessandro 1 Llana, Luis 1 Montali, Marco 1 Rivkin, Andrey 1 Uyar, M. Ümit 1 Vieira, Ewerton R. 1 Zaïdi, Fatiha Cited in 5 Serials 2 The Journal of Logic and Algebraic Programming 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing 1 Journal of Logical and Algebraic Methods in Programming Cited in 1 Field 8 Computer science (68-XX) Citations by Year