Ana R. Cavalli
发表
Ana R. Cavalli,
Patrick Maigron,
Sung Un Kim,
1992,
Protocol Test Systems.
Ana R. Cavalli,
Eliane Martins,
Anderson Nunes Paiva Morais,
2008,
2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
Ana R. Cavalli,
Jean-Marie Orset,
Baptiste Alcalde,
2005,
ATVA.
Ana R. Cavalli,
Baptiste Alcalde,
2006,
International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06).
Ana R. Cavalli,
Stéphane Maag,
Wissam Mallouli,
2006,
TestCom.
Ana R. Cavalli,
Fatiha Zaïdi,
Antonio M. Ortiz,
2018,
ICWS.
Ana R. Cavalli,
Hacène Fouchal,
A. Cavalli,
1994,
FORTE.
Ana R. Cavalli,
1984,
Computer Communication Review.
Ana R. Cavalli,
Raul A. Fuentes-Samaniego,
Javier Baliosian,
2016,
2016 IEEE 12th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).
Josep Domingo-Ferrer,
Ana R. Cavalli,
David Sánchez,
2016,
2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW).
Ana R. Cavalli,
Anderson Nunes Paiva Morais,
2011,
2011 IEEE International Conference on Advanced Information Networking and Applications.
Ana R. Cavalli,
Anderson Morais Paiva Morais,
A. Cavalli,
2013,
Mobile Networks and Applications.
Ana R. Cavalli,
Timothy G. Griffin,
Dario Vieira,
2005,
Advanced Industrial Conference on Telecommunications/Service Assurance with Partial and Intermittent Resources Conference/E-Learning on Telecommunications Workshop (AICT/SAPIR/ELETE'05).
Ana R. Cavalli,
Iksoon Hwang,
Mazen El Maarabani,
2010,
2010 Sixth International Conference on Signal-Image Technology and Internet Based Systems.
Ana R. Cavalli,
Wissam Mallouli,
Bachar Wehbi,
2006,
7th International Conference on Mobile Data Management (MDM'06).
Ana R. Cavalli,
César Andrés,
Khalifa Toumi,
2013,
2013 International Conference on Signal-Image Technology & Internet-Based Systems.
Ana R. Cavalli,
Alessandra Bagnato,
Wissam Mallouli,
2020,
ICSOFT.
Ana R. Cavalli,
Raul A. Fuentes-Samaniego,
Vinh Hoa La,
2016,
2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA).
Ana R. Cavalli,
Vinh Hoa La,
2015,
2015 10th International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA).
Ana R. Cavalli,
Natalia Kushik,
Pamela Carvallo,
2017,
CRiSIS.
Ana R. Cavalli,
Wissam Mallouli,
Gerardo Morales,
2008,
2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
Ana R. Cavalli,
Anderson Nunes Paiva Morais,
Jeevan Pokhrel,
2013,
2013 IEEE 10th Consumer Communications and Networking Conference (CCNC).
Ana R. Cavalli,
Khalifa Toumi,
Mohamed H. E. Aouadi,
2015,
2015 10th International Conference on Availability, Reliability and Security.
Ana R. Cavalli,
Nina Yevtushenko,
Ricardo Anido,
1999,
IWTCS.
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens,
2008,
2008 Third International Conference on Availability, Reliability and Security.
Ana R. Cavalli,
Christophe Gaston,
Pascale Le Gall,
2009,
TestCom/FATES.
Ana R. Cavalli,
Hacèie Fouchal,
1995
.
Ana R. Cavalli,
Luiz A. Paula Lima,
1998,
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Ana R. Cavalli,
César Andrés,
Khalifa Toumi,
2012,
ICISS.
Amel Mammar,
Ana R. Cavalli,
Wissam Mallouli,
2009,
2009 16th Asia-Pacific Software Engineering Conference.
Ana R. Cavalli,
Anis Laouiti,
Bachar Wehbi,
2008,
Med-Hoc-Net.
Ana R. Cavalli,
Baptiste Alcalde,
Behrouz Tork Ladani,
2005,
TestCom.
Ana R. Cavalli,
Wissam Mallouli,
Brecht Vermeulen,
2019,
ICTSS.
Ana R. Cavalli,
Fatiha Zaïdi,
Georges Ouffoue,
2017,
2017 IEEE International Conference on Web Services (ICWS).
Ana R. Cavalli,
Dominique Verchère,
Iksoon Hwang,
2009,
FMOODS/FORTE.
Ana R. Cavalli,
Azzedine Benameur,
Wissam Mallouli,
2008,
IEEE GLOBECOM 2008 - 2008 IEEE Global Telecommunications Conference.
Ana R. Cavalli,
Patrick Maigron,
Sung Un Kim,
1993,
FORTE.
Ana R. Cavalli,
Nina Yevtushenko,
Wissam Mallouli,
2014,
Int. J. Organ. Collect. Intell..
Ana R. Cavalli,
A. Cavalli,
1999,
IWTCS.
Ana R. Cavalli,
Huu Nghia Nguyen,
2014,
SEKE.
Ana R. Cavalli,
Fatiha Zaïdi,
Huu Nghia Nguyen,
2014,
2014 21st Asia-Pacific Software Engineering Conference.
Ana R. Cavalli,
Luis Fariñas del Cerro,
1984,
Symposium on Programming.
Ana R. Cavalli,
Nina Yevtushenko,
Khaled El-Fakih,
2014,
International Journal on Software Tools for Technology Transfer.
Ana R. Cavalli,
Jorge López,
Stéphane Maag,
2014,
SEKE.
Ana R. Cavalli,
Stéphane Maag,
Wissam Mallouli,
2018,
ICSOFT.
Ana R. Cavalli,
Eliane Martins,
Anderson Nunes Paiva Morais,
2009,
2009 International Conference on Computational Science and Engineering.
Ana R. Cavalli,
Raul Fuentes,
Vinh Hoa La,
2016,
2016 22nd Asia-Pacific Conference on Communications (APCC).
Ana R. Cavalli,
Javier Baliosian,
Raul Fuentes,
2016,
NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium.
Teruo Higashino,
Ana R. Cavalli,
Manuel Núñez,
2015,
Ann. des Télécommunications.
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens,
2007,
SACMAT '07.
Ana R. Cavalli,
Nina Yevtushenko,
Hüsnü Yenigün,
2019,
Software Quality Journal.
Ana R. Cavalli,
Jean Philippe Favreau,
Marc Phalippou,
1996,
Comput. Networks ISDN Syst..
Ana R. Cavalli,
Manuel Núñez,
José Antonio Arnedo,
2003,
TestCom.
Ana R. Cavalli,
Nina Yevtushenko,
Iksoon Hwang,
2012,
Inf. Process. Lett..
Ana R. Cavalli,
Amardeo Sarma,
A. Cavalli,
1997,
SDL Forum.
Ana R. Cavalli,
Nina Yevtushenko,
Natalia Kushik,
2015,
2015 IEEE International Conference on Web Services.
Ana R. Cavalli,
Dominique Verchère,
Iksoon Hwang,
2012,
Softw. Test. Verification Reliab..
Ana R. Cavalli,
Wissam Mallouli,
César Andrés,
2014,
NSS.
Ana R. Cavalli,
Fatiha Zaïdi,
Amel Mederreg,
2010,
Journal of the Brazilian Computer Society.
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens,
2008,
2008 IEEE International Conference on Signal Image Technology and Internet Based Systems.
Ana R. Cavalli,
Daniel Schwabe,
D. Schwabe,
1984,
PSTV.
Ana R. Cavalli,
Badii Jouaber,
Jeevan Pokhrel,
2014,
2014 14th International Symposium on Communications and Information Technologies (ISCIT).
Ana R. Cavalli,
Javier Baliosian,
2015,
NSS.
Ana R. Cavalli,
Fatiha Zaïdi,
Georges Ouffoue,
2017,
2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA).
Ana R. Cavalli,
Svetlana Prokopenko,
Nina Yevtushenko,
2000,
TestCom.
Ana R. Cavalli,
Timothy G. Griffin,
Dario Vieira,
2006,
2006 14th IEEE International Conference on Networks.
Ana R. Cavalli,
1999,
Comput. Networks.
Ana R. Cavalli,
Juan Arturo Nolazco-Flores,
Raul A. Fuentes-Samaniego,
2016,
2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW).
Ana R. Cavalli,
Wissam Mallouli,
Felipe Lalanne,
2014,
2014 IEEE 28th International Conference on Advanced Information Networking and Applications.
Detection of Illegal Control Flow in Android System: Protecting Private Data Used by Smartphone Apps
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens,
2014,
FPS.
Ana R. Cavalli,
Khalifa Toumi,
Mohamed H. E. Aouadi,
2014,
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Joaquín García,
2018,
FPS.
Ana R. Cavalli,
Fayçal Bessayah,
2010,
2010 Seventh International Conference on the Quality of Information and Communications Technology.
Ana R. Cavalli,
Jean-Marie Orset,
A. Cavalli,
2004,
ICDCS Workshops.
Ana R. Cavalli,
Rui Abreu,
César Andrés,
2016,
CRiSIS.
Ana R. Cavalli,
Stéphane Maag,
Wissam Mallouli,
2010,
2010 IEEE International Conference on Web Services.
Ana R. Cavalli,
Fatiha Zaïdi,
Stéphane Maag,
2009,
2009 IEEE International Conference on Pervasive Computing and Communications.
Ana R. Cavalli,
Timothy G. Griffin,
Dario Vieira,
2006,
International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06).
Amel Mammar,
Ana R. Cavalli,
Nina Yevtushenko,
2012,
Automatic Control and Computer Sciences.
Amel Mammar,
Ana R. Cavalli,
Nahid Shahmehri,
2012,
Inf. Softw. Technol..
Ana R. Cavalli,
Stéphane Maag,
Javier Bustos-Jiménez,
2015,
2015 IEEE 29th International Conference on Advanced Information Networking and Applications Workshops.
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens,
2014,
2014 IEEE Eighth International Conference on Software Security and Reliability-Companion.
Amel Mammar,
Ana R. Cavalli,
Wissam Mallouli,
2011,
ICTSS.
Ana R. Cavalli,
Stéphane Maag,
Cyril Grepet,
2008,
Comput. Commun..
Ana R. Cavalli,
Nina Yevtushenko,
Natalia Kushik,
2014,
2014 9th International Conference on the Quality of Information and Communications Technology.
Ana R. Cavalli,
Manuel Núñez,
Edgardo Montes de Oca,
2003,
TestCom.
Ana R. Cavalli,
Dario Vieira,
A. Cavalli,
2006,
International conference on Networking and Services (ICNS'06).
Ana R. Cavalli,
David Lee,
Fatiha Zaïdi,
1999,
FORTE.
Ana R. Cavalli,
Dario Vieira,
A. Cavalli,
2006,
Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).
Ana R. Cavalli,
Anderson Nunes Paiva Morais,
A. Cavalli,
2012,
SAC '12.
Ana R. Cavalli,
David Lee,
Cédric Besse,
1999,
14th IEEE International Conference on Automated Software Engineering.
Ana R. Cavalli,
Christophe Gaston,
Pascale Le Gall,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Ana R. Cavalli,
Jean-Marie Orset,
2006,
7th International Conference on Mobile Data Management (MDM'06).
Ana R. Cavalli,
Edgar Toshiro Yano,
Eliane Martins,
2012,
J. Syst. Softw..
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Joaquín García,
2019,
CyberICPS/SECPRE/SPOSE/ADIoT@ESORICS.
Ana R. Cavalli,
Dario Vieira,
A. Cavalli,
2006,
International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06).
Ana R. Cavalli,
Sung Un Kim,
1991,
Protocol Test Systems.
Ana R. Cavalli,
Anis Laouiti,
Bachar Wehbi,
2008,
2008 IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications.
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens,
2012,
CSS.
Ana R. Cavalli,
Myungchul Kim,
Fatiha Zaïdi,
2002,
TestCom.
Ana R. Cavalli,
Nina Yevtushenko,
Natalia Kushik,
2013,
2013 IEEE 20th International Conference on Web Services.
Teruo Higashino,
Ana R. Cavalli,
Akio Nakata,
1999,
IWTCS.
Ana R. Cavalli,
Fatiha Zaïdi,
Iksoon Hwang,
2011,
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.
Ana R. Cavalli,
Anderson Nunes Paiva Morais,
Wissam Mallouli,
2013,
2013 27th International Conference on Advanced Information Networking and Applications Workshops.
Ana R. Cavalli,
Fatiha Zaïdi,
Wei Monin,
2005,
Ann. des Télécommunications.
Ana R. Cavalli,
Rabéa Ameur-Boulifa,
Stéphane Maag,
2019,
ICSOFT.
Ana R. Cavalli,
Rabéa Ameur-Boulifa,
Stéphane Maag,
2019,
ICSOFT.
Ana R. Cavalli,
Stéphane Maag,
Edgardo Montes de Oca,
2009,
SAC '09.
Ana R. Cavalli,
Stéphane Maag,
Cyril Grepet,
2004,
24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings..
Ana R. Cavalli,
Eliane Martins,
Fayçal Bessayah,
2009,
ICIS '09.
Ana R. Cavalli,
Mercedes G. Merayo,
Manuel Núñez,
2009,
ICFEM.
Ana R. Cavalli,
Stéphane Maag,
2002,
ICFEM.
Ana R. Cavalli,
Diego Rivera,
2016,
2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA).
Ana R. Cavalli,
Nina Yevtushenko,
Jorge López,
2016,
2016 IEEE East-West Design & Test Symposium (EWDTS).
Ana R. Cavalli,
Anderson Nunes Paiva Morais,
Edgardo Montes de Oca,
2013,
AINA Workshops.
Ana R. Cavalli,
Etienne Paul,
2005,
Distributed Computing.
Ana R. Cavalli,
Stéphane Maag,
Felipe Lalanne,
2012,
2012 Eighth International Conference on Signal Image Technology and Internet Based Systems.
Ana R. Cavalli,
Wissam Mallouli,
2007,
10th IEEE High Assurance Systems Engineering Symposium (HASE'07).
Ana R. Cavalli,
Melania Ionescu,
2000,
Ann. des Télécommunications.
Ana R. Cavalli,
Iksoon Hwang,
A. Cavalli,
2010,
Comput. Networks.
Ana R. Cavalli,
Khaled El-Fakih,
Nina Yevtushenko,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Ana R. Cavalli,
Kilnam Chon,
Byoung-Moon Chin,
1996,
Comput. Networks ISDN Syst..
Ana R. Cavalli,
Juan Arturo Nolazco-Flores,
Raul A. Fuentes-Samaniego,
2015,
WWIC.
Ana R. Cavalli,
Wissam Mallouli,
Stephane Maag,
2018
.
Ana R. Cavalli,
Samrat S. Batth,
M. Ümit Uyar,
2007,
FORTE.
Amel Mammar,
Ana R. Cavalli,
Wissam Mallouli,
2011,
J. Internet Serv. Inf. Secur..
Ana R. Cavalli,
Joaquín García,
Jose Rubio-Hernan,
2020,
2020 IEEE 19th International Symposium on Network Computing and Applications (NCA).
Ana R. Cavalli,
Fatiha Zaïdi,
Emmanuel Bayse,
2009,
SAC '09.
Teruo Higashino,
Ana R. Cavalli,
Manuel Núñez,
2015,
Ann. des Télécommunications.
Ana R. Cavalli,
Wissam Mallouli,
Edgardo Montes de Oca,
2008,
2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications.
Ana R. Cavalli,
Fabien Autrel,
Khalifa Toumi,
2014,
CRiSIS.
Ana R. Cavalli,
Amardeo Sarma,
1997
.
Ana R. Cavalli,
Vinh Hoa La,
2016,
2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW).
Ana R. Cavalli,
Fatiha Zaïdi,
Iksoon Hwang,
2008,
2008 Sixth European Conference on Web Services.
Ana R. Cavalli,
César Andrés,
Khalifa Toumi,
2012,
2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS).
Ana R. Cavalli,
Wissam Mallouli,
Erkuden Rios,
2017,
GPC.
Ana R. Cavalli,
Juan Arturo Nolazco-Flores,
Raul A. Fuentes-Samaniego,
2019,
Int. J. Auton. Adapt. Commun. Syst..
Ana R. Cavalli,
Natalia Kushik,
Pamela Carvallo,
2017,
ICSOFT.
Ana R. Cavalli,
Elisangela Rodrigues Vieira,
2007,
13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).
Ana R. Cavalli,
Raul A. Fuentes-Samaniego,
Javier Baliosian,
2015,
2015 Latin American Network Operations and Management Symposium (LANOMS).
Ana R. Cavalli,
Wissam Mallouli,
Pamela Carvallo,
2017,
Ershov Informatics Conference.
Ana R. Cavalli,
César Andrés,
Mazen El Maarabani,
2012,
International Conference on Software Engineering and Knowledge Engineering.
Amel Mammar,
Ana R. Cavalli,
Wissam Mallouli,
2008,
2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications.
Ana R. Cavalli,
Ferhat Khendek,
Cédric Besse,
2001,
Proceedings Second Asia-Pacific Conference on Quality Software.
Arnaud Gonguet,
Ana R. Cavalli,
Stéphane Maag,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Ana R. Cavalli,
François Horn,
1987,
PSTV.
Ana R. Cavalli,
Wissam Mallouli,
Gerardo Morales,
2008,
2008 IEEE International Conference on Signal Image Technology and Internet Based Systems.
Ana R. Cavalli,
Jean-Marie Orset,
2004,
24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings..
Ana R. Cavalli,
Nina Yevtushenko,
Natalia Kushik,
2013,
2013 13th International Conference on Quality Software.
Ana R. Cavalli,
Anis Laouiti,
Bachar Wehbi,
2010,
2010 IEEE Wireless Communication and Networking Conference.
Ana R. Cavalli,
Stéphane Maag,
2004,
SAC '04.
Ana R. Cavalli,
Khalifa Toumi,
Mohamed H. E. Aouadi,
2014,
ArXiv.
Ana R. Cavalli,
Khalifa Toumi,
Mohamed H. E. Aouadi,
2014,
FPS.
Ana R. Cavalli,
Stéphane Maag,
Gerardo Morales,
2007,
2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System.
Ana R. Cavalli,
César Andrés,
Khalifa Toumi,
2013,
2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing.
Ana R. Cavalli,
Stéphane Maag,
Pramila Mouttappa,
2013,
Comput. Networks.
Ana R. Cavalli,
Anderson Nunes Paiva Morais,
2011,
2011 5th Latin-American Symposium on Dependable Computing.
Ana R. Cavalli,
Marine Tabourier,
A. Cavalli,
1999,
Inf. Softw. Technol..
Ana R. Cavalli,
Hacène Fouchal,
1994,
PODC '94.
Ana R. Cavalli,
Manuel Núñez,
Fatiha Zaïdi,
2005,
Comput. Networks.
Ana R. Cavalli,
Luis Fariñas del Cerro,
L. F. D. Cerro,
1984,
CADE.
Ana R. Cavalli,
Eliane Martins,
Fayçal Bessayah,
2010,
TAIC PART.
Ana R. Cavalli,
Stephane Maag,
Thierno Sambe,
2019,
ICSOFT.
Ana R. Cavalli,
Sébastien Salva,
Tien-Dung Cao,
2010,
2010 IEEE International Conference on Web Services.
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens,
2013,
2013 International Conference on Signal-Image Technology & Internet-Based Systems.
Ana R. Cavalli,
Wissam Mallouli,
Bachar Wehbi,
2008,
ADHOC-NOW.
Ana R. Cavalli,
Fatiha Zaïdi,
Mounir Lallali,
2007,
2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System.
Ana R. Cavalli,
Asma Adala,
Iksoon Hwang,
2009,
2009 5th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities and Workshops.
Ana R. Cavalli,
David Lee,
Baptiste Alcalde,
2004,
FORTE.
Ana R. Cavalli,
Eliane Martins,
Anderson Nunes Paiva Morais,
2011,
SIN '11.
Amel Mammar,
Ana R. Cavalli,
Nora Cuppens-Boulahia,
2011,
DPM/SETOP.
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens,
2014,
INFORSID.
Ana R. Cavalli,
César Andrés,
Khalifa Toumi,
2014,
Int. J. Secur. Softw. Eng..
Ana R. Cavalli,
Stéphane Maag,
Wissam Mallouli,
2018,
ICSOFT.
Ana R. Cavalli,
Stéphane Maag,
Pramila Mouttappa,
2013,
2013 IEEE 37th Annual Computer Software and Applications Conference.
Ana R. Cavalli,
Fatiha Zaïdi,
Wei Monin,
2004,
TestCom.
Ana R. Cavalli,
Anderson Nunes Paiva Morais,
A. Cavalli,
2011,
WWIC.
Ana R. Cavalli,
Nina Yevtushenko,
Stéphane Maag,
2011,
2011 11th International Conference on Quality Software.
Ana R. Cavalli,
Fatiha Zaïdi,
Georges Ouffoué,
2019,
ICTSS.
Ana R. Cavalli,
Nina Yevtushenko,
Wissam Mallouli,
2014,
WEBIST.
Amel Mammar,
Ana R. Cavalli,
Wissam Mallouli,
2012,
Inf. Softw. Technol..
Ana R. Cavalli,
Jean Philippe Favreau,
Marc Phalippou,
1993,
Protocol Test Systems.
Ana R. Cavalli,
Svetlana Prokopenko,
Caroline Gervy,
2003,
Inf. Softw. Technol..
Ana R. Cavalli,
Fatiha Zaïdi,
Mounir Lallali,
2017,
2017 IEEE International Conference on Services Computing (SCC).
Ana R. Cavalli,
Marc Phalippou,
Marc Phalippou,
1995
.
Ana R. Cavalli,
Fatiha Zaïdi,
Huu Nghia Nguyen,
2016,
SEKE.
Ana R. Cavalli,
Melania Ionescu,
Marine Tabourier,
1999,
World Congress on Formal Methods.
Ana R. Cavalli,
Wissam Mallouli,
Natalia Kushik,
2016,
ICSOFT-PT.
Ana R. Cavalli,
Stéphane Maag,
Pramila Mouttappa,
2012,
2012 12th International Conference on Quality Software.
Ana R. Cavalli,
Stéphane Maag,
Georgios Verigakis,
2005,
Electron. Notes Theor. Comput. Sci..
Ana R. Cavalli,
Nina Yevtushenko,
Hüsnü Yenigün,
2017,
2017 IEEE East-West Design & Test Symposium (EWDTS).
Ana R. Cavalli,
Boo-Ho Lee,
Toma Macavei,
1997,
SDL Forum.
Ana R. Cavalli,
Fatiha Zaïdi,
Stéphane Maag,
2004,
EDUTECH.
A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System
Ana R. Cavalli,
Wissam Mallouli,
Khalifa Toumi,
2018,
Comput. J..
Ana R. Cavalli,
Mercedes G. Merayo,
Manuel Núñez,
2009,
2009 16th Asia-Pacific Software Engineering Conference.
Ana R. Cavalli,
Nina Yevtushenko,
Stéphane Maag,
2010,
Inf. Softw. Technol..
Ana R. Cavalli,
2021,
ICST Workshops.
Ana R. Cavalli,
Wissam Mallouli,
Edgardo Montes de Oca,
2021,
ICSOFT.
Ana R. Cavalli,
Wissam Mallouli,
Huu Nghia Nguyen,
2021,
ARES.
Teruo Higashino,
Ana R. Cavalli,
Akio Nakata,
2001,
Proceedings 15th International Conference on Information Networking.