by Wolff, Burkhart, Zaidi, Fatiha
Year of Publication 2011

by Wolff, Burkhart, Zaidi, Fatiha
Year of Publication 2011

by Conchon, Sylvain, Declerck, David, Zaïdi, Fatiha
Published in Journal of automated reasoning (01.10.2020)

by Nguyen, H. N., Poizat, P., Zaidi, F.
Published in 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (01.10.2012)

by Alvarez Aldana, Jose Alfredo, Maag, Stephane, Zaidi, Fatiha
Published in Internet of things (Amsterdam. Online) (01.03.2021)

by Salazar, Zujany, Zaidi, Fatiha, Nguyen, Huu-Nghia, Mallouli, Wissam, Cavalli, Ana R., De Oca, Edgardo Montes
Published in IEEE access (01.01.2023)

by Ouffoué, Georges, Zaïdi, Fatiha, Cavalli, Ana R., Nguyen, Huu Nghia
Published in Electronics (Basel) (01.01.2021)

by Bayse, Emmanuel, Cavalli, Ana, Núñez, Manuel, Zaïdi, Fatiha
Published in Computer networks (Amsterdam, Netherlands : 1999) (06.06.2005)

by Ouffoué, Georges, Zaïdi, Fatiha, Cavalli, Ana R.
Published in Testing Software and Systems (2019)

by Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha
Year of Publication 2015

by Conchon, Sylvain, Mebsout, Alain, Zaïdi, Fatiha
Published in FM 2015: Formal Methods (2015)

by Conchon, Sylvain, Declerck, David, Zaïdi, Fatiha
Published in Electronic proceedings in theoretical computer science (12.05.2018)

by Huu Nghia Nguyen, Zaidi, Fatiha, Cavalli, Ana
Published in 2014 21st Asia-Pacific Software Engineering Conference (01.12.2014)

by Ouffoue, Georges, Ortiz, Antonio M., Cavalli, Ana R., Mallouli, Wissam, Domingo-Ferrer, Josep, Sanchez, David, Zaidi, Fatiha
Published in 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW) (01.06.2016)

by Zhou, Wenbo, Dague, Philippe, Liu, Lei, Ye, Lina, Zaidi, Fatiha
Published in 2020 27th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2020)

by Che, Xiaoping, Maag, Stephane, Nguyen, Huu Nghia, Zaïdi, Fatiha
Published in Testing Software and Systems (2015)

by Nguyen, Huu Nghia, Poizat, Pascal, Zaidi, Fatiha
Published in 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (01.11.2013)

by Alvarez, Jose, Maag, Stephane, Zaidi, Fatiha
Published in 2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA) (01.03.2017)

by Lallali, M., Zaidi, F., Cavalli, A., Iksoon Hwang
Published in 2008 Sixth European Conference on Web Services (01.11.2008)

by Rios, Valeria Valdes, Cavalli, Ana Rosa, Zaidi, Fatiha, Mallouli, Wissam
Published in 2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom) (04.12.2023)