Ana Rosa Cavalli

Publications

Article dans une revue (34)

A survey on cyber-resilience approaches for cyber-physical systems Mariana Segovia-Ferreira,Jose Rubio-Hernan,Ana Cavalli,Joaquin Garcia‐alfaro ACM Computing Surveys, 2024, 56 (8), pp.1-37. ⟨10.1145/3652953⟩ Article dans une revue hal-04562096v1
A network traffic mutation based ontology, and Its application to 5G networks Zujany Salazar,Fatiha Zaïdi,Huu-Nghia Nguyen,Wissam Mallouli,Ana R Cavalliet al. IEEE Access, 2023, 11, pp.43925-43944. ⟨10.1109/ACCESS.2023.3268759⟩ Article dans une revue hal-04476884v1
Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications George Amponis,Panagiotis Radoglou-Grammatikis,Thomas Lagkas,Wissam Mallouli,Ana Cavalliet al. EURASIP Journal on Wireless Communications and Networking, 2022, 2022 (1), pp.124. ⟨10.1186/s13638-022-02204-5⟩ Article dans une revue hal-04008882v1
Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications George Amponis,Panagiotis Radoglou-Grammatikis,Thomas Lagkas,Wissam Mallouli,Ana Cavalliet al. EURASIP Journal on Wireless Communications and Networking, 2022, 2022, ⟨10.1186/s13638-022-02204-5⟩ Article dans une revue hal-04007779v1
Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications George Amponis,Panagiotis Radoglou-Grammatikis,Thomas Lagkas,Wissam Mallouli,Ana R Cavalliet al. EURASIP Journal on Wireless Communications and Networking, 2022, 1, pp.124. ⟨10.1186/s13638-022-02204-5⟩ Article dans une revue hal-04476890v1
A Framework for the Attack Tolerance of Cloud Applications Based on Web Services Georges Ouffoué,Fatiha Zaïdi,Ana R Cavalli,Huu Nghia Nguyen Electronics, 2020, 10 (1), pp.6. ⟨10.3390/electronics10010006⟩ Article dans une revue hal-03113828v1
Switched-based resilient control of cyber-physical systems Mariana Segovia-Ferreira,Jose Rubio-Hernan,Ana Rosa Cavalli,Joaquin Garcia‐alfaro IEEE Access, 2020, 8 (3), pp.212194 - 212208. ⟨10.1109/ACCESS.2020.3039879⟩ Article dans une revue hal-03113904v1
A monitoring-based approach for WSN security using IEEE-802.15.4/6LowPAN and DTLS communication Raul Armando Fuentes Samaniego,Vinh Hoa La,Ana Rosa Cavalli,Juan Arturo Nolazco-Flores,Raúl Valente Ramirez Velarde International journal of autonomous and adaptive communications systems, 2019, 12 (3), pp.218-243. ⟨10.1504/IJAACS.2019.10022471⟩ Article dans une revue hal-02184618v1
Guest editorial: special issue on testing software and systems Husnu Yenigun,Nina Yevtushenko,Ana Rosa Cavalli Software Quality Journal, 2019, 27 (2), pp.497-499. ⟨10.1007/s11219-019-09447-4⟩ Article dans une revue hal-02481420v1
A framework for testing and monitoring security policies: application to an electronic voting system Khalifa Toumi,Mohamed Aouadi,Ana Rosa Cavalli,Wissam Mallouli,Jordi Puiggali Allepuzet al. The Computer Journal, 2018, 61 (8), pp.1109 - 1122. ⟨10.1093/comjnl/bxy018⟩ Article dans une revue hal-02017364v1
Modeling OMG SMM metrics using the Modelio modeling tool in the MEASURE project Alessandra Bagnato,Andrey Sadovykh,Sarah Dahab,Stephane Maag,Ana Rosa Cavalliet al. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017, 120, pp.46 - 52 Article dans une revue hal-01534818v1
On adaptive experiments for nondeterministic finite state machines Natalia Kushik,Khaled El-Fakhi,Nina Yevtushenko,Ana Rosa Cavalli International Journal on Software Tools for Technology Transfer, 2016, 18 (3), pp.251 - 264. ⟨10.1007/s10009-014-0357-7⟩ Article dans une revue hal-01354241v1
Formal framework for defining trust in multi-organisation environment Khalifa Toumi,César Andrés,Ana Rosa Cavalli International journal of autonomous and adaptive communications systems, 2016, 9 (1-2), pp.164 - 178. ⟨10.1504/IJAACS.2016.075389⟩ Article dans une revue hal-01335534v1
Analysis and influence of economical decisions on the quality of experience of OTT services Diego Arturo Rivera Villagra,Ana Rosa Cavalli IEEE Latin America Transactions, 2016, 14 (6), pp.2773 - 2776. ⟨10.1109/TLA.2016.7555253⟩ Article dans une revue hal-01433979v1
An effective attack detection approach in wireless mesh networks Felipe Barbosa Abreu,Anderson Morais,Ana Rosa Cavalli,Bachar Wehbi,Edgardo Montes de Ocaet al. International Journal of Space-Based and Situated Computing, 2015, 5 (2), pp.89 - 99. ⟨10.1504/IJSSC.2015.069204⟩ Article dans une revue hal-01262770v1
A survey on formal active and passive testing with applications to the cloud Ana Rosa Cavalli,Teruo Higashino,Manuel Nunez Annals of Telecommunications - annales des télécommunications, 2015, 70 (3), pp.85 - 93. ⟨10.1007/s12243-015-0457-8⟩ Article dans une revue hal-01262762v1
Special issue on formal active and passive testing of distributed and networked systems Ana Rosa Cavalli,Teruo Higashino,Manuel Nunez Annals of Telecommunications - annales des télécommunications, 2015, 70 (3), pp.83 - 84. ⟨10.1007/s12243-015-0459-6⟩ Article dans une revue hal-01262755v1
ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ КОНЕЧНЫХ АВТОМАТОВ С ТАЙМАУТАМИ Olga Kondratyeva,Nina Yevtushenko,Ana Rosa Cavalli Journal of Control and Computer Science (Tomsk State University), 2014, 2 (27), pp.73 - 81 Article dans une revue hal-01948353v1
Validation of a trust approach in multi-organization environments Khalifa Toumi,Ana Rosa Cavalli,Cesar Andres Sanchez International journal of secure software engineering, 2014, 5 (1), pp.1 - 18. ⟨10.4018/ijsse.2014010101⟩ Article dans une revue hal-01262565v1
Security attacks and solutions in Vehicular Ad Hoc Networks : a survey Vinh Hoa La,Ana Rosa Cavalli International journal on AdHoc networking systems (IJANS), 2014, 4 (2), pp.1 - 20. ⟨10.5121/ijans.2014.4201⟩ Article dans une revue hal-01262473v1
Testing security policies for distributed systems: vehicular networks as a case study Mohamed Aouadi,Khalifa Toumi,Ana Rosa Cavalli International Journal of Computer Science Issues, 2014, 11 (5), pp.68 - 77 Article dans une revue hal-01331562v1
Using passive testing based on symbolic execution and slicing techniques : application to the validation of communication protocols Pramila Mouttappa,Stephane Maag,Ana Rosa Cavalli Computer Networks, 2013, 57 (15), pp.2992 - 3008. ⟨10.1016/j.comnet.2013.06.019⟩ Article dans une revue istex hal-01273640v1
Generating attack scenarios for the system security validation Anderson Morais,Iksoon Hwang,Ana Rosa Cavalli,Eliane Martins Networking science, 2013, 2 (3 & 4), pp.69-80. ⟨10.1007/s13119-012-0012-0⟩ Article dans une revue hal-00848049v1
Using finite state models for quality evaluation at web service develoment steps Olga Kondratyeva,Natalia Kushik,Ana Rosa Cavalli,Nina Yevtushenko International Journal of Services Computing, 2013, 1 (1), pp.1 - 12 Article dans une revue hal-01262472v1
A systematic approach to integrate common timed security rules within a TEFSM-based system specification Amel Mammar,Wissam Mallouli,Ana Rosa Cavalli Information and Software Technology, 2012, 54 (1), pp.87-98. ⟨10.1016/j.infsof.2011.07.004⟩ Article dans une revue hal-00711778v1
InRob : an approach for testing interoperability and robustness of real-time embedded software Fatima Mattiello-Francisco,Eliane Martins,Ana Rosa Cavalli,Edgard Toshiro Yano Journal of Systems and Software, 2012, 85 (1), pp.3-15. ⟨10.1016/j.jss.2011.02.034⟩ Article dans une revue istex hal-00711774v1
Tight bound on the length of distinguishing sequences for non-observable nondeterministic finite-state machines with a polynomial number of inputs and outputs Iksoon Hwang,Nina Yevtushenko,Ana Rosa Cavalli Information Processing Letters, 2012, 112 (7), pp.298-301. ⟨10.1016/j.ipl.2011.12.012⟩ Article dans une revue istex hal-00711769v1
Applying formal methods to PCEP: an industrial case study from modeling to test generation. Hwang Iksoon,Mounir Lallali,Ana Rosa Cavalli,Dominique Verchere Journal of Software Testing, Verification and Reliability, 2012, 22 (5), pp.343--361. ⟨10.1002/stvr.445⟩ Article dans une revue istex hal-00706162v1
An advanced approach for modeling and detecting software vulnerabilities Nahid Shahmehri,Amel Mammar,Edgardo Montes de Oca,David Byers,Ana Rosa Cavalliet al. Information and Software Technology, 2012, 54 (9), pp.997-1013. ⟨10.1016/j.infsof.2012.03.004⟩ Article dans une revue hal-00739075v1
A SPIN-based approach for detecting vulnerabilities in C programs Natalia Kushik,Amel Mammar,Ana Rosa Cavalli,Nina Yevtushenko,Willy Ronald Jimenez Freitezet al. Automatic Control and Computer Sciences, 2012, 46 (7), pp.379-386. ⟨10.3103/S0146411612070115⟩ Article dans une revue hal-00772243v1
Génération de scripts d'attaque pour la validation de la sécurité Anderson Morais,Ana Rosa Cavalli,Eliane Martins Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 94, pp.39 - 44 Article dans une revue hal-01465755v1
FSM-based conformance testing methods : a survey annotated with experimental evaluation Rita Dorofeeva,Khaled El-Fakhi,Stephane Maag,Ana Rosa Cavalli,Nina Yevtushenko Information and Software Technology, 2010, 52 (12), pp.1286-1297. ⟨10.1016/j.infsof.2010.07.001⟩ Article dans une revue istex hal-00593960v1
Testing a probabilistic FSM using interval estimation Iksoon Hwang,Ana Rosa Cavalli Computer Networks, 2010, 54 (7), pp.1108 - 1125 ⟨10.1016/j.comnet.2009.10.014⟩ Article dans une revue istex hal-00472884v1
A formal validation methodology for MANET routing protocols based on nodes' self similarity Stephane Maag,Cyril Grepet,Ana Rosa Cavalli Computer Communications, 2008, 31 (4), pp.827 - 841. ⟨10.1016/j.comcom.2007.10.031⟩ Article dans une revue istex hal-01354849v1

Communication dans un congrès (149)

Knowledge Systematization for Security Orchestration in CPS and IoT Systems Phu Nguyen,Hui Song,Rustem Dautov,Nicolas Ferry,Angel Regoet al. CSR 2025 - IEEE International Conference on Cyber Security and Resilience, Aug 2025, Chania, Greece. pp.672-678, ⟨10.1109/CSR64739.2025.11130008⟩ Communication dans un congrès hal-05285485v1
Towards Smarter Security Orchestration and Automatic Response for CPS and IoT Phu Nguyen,Rustem Dautov,Hui Song,Angel Rego,Eider Iturbeet al. IEEE CloudCom 2023 - 14th IEEE International Conference on Cloud Computing Technology and Science, IEEE, Dec 2023, Naples (Napoli), Italy. pp.298-302, ⟨10.1109/CloudCom59040.2023.00055⟩ Communication dans un congrès hal-04526166v1
Towards the adoption of automated cyber threat intelligence information sharing with integrated risk assessment Valeria Valdés Ríos,Fatiha Zaidi,Ana Rosa Cavalli,Angel Rego The 19th International Conference on Availability, Reliability and Security (ARES '24), Jul 2024, Vienna (AUSTRIA), Australia. pp.1-9, ⟨10.1145/3664476.3670444⟩ Communication dans un congrès hal-04901146v1
Testing techniques to assess impact and cascading effects Valeria Valdés Ríos,Ana R Cavalli,Fatiha Zaïdi,Wissam Mallouli 2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Dec 2023, Naples, France. pp.269-272, ⟨10.1109/CloudCom59040.2023.00050⟩ Communication dans un congrès hal-04587814v1
Enhancing IoT security in 6G networks: AI-Based intrusion detection, penetration testing, and Blockchain-based trust management(work-in-progress paper ) Vinh Hoa La,Wissam Mallouli,Manh Dung Nguyen,Edgardo Montes de Oca,Ana R Cavalliet al. the 7th IFIP International Internet of Things Conference (IoT 2024), Université de Côte d'Azur, Nov 2024, Nice, France. ⟨10.1007/978-3-031-82065-6_5⟩ Communication dans un congrès hal-04902431v1
A Resilience Component for a Digital Twin Valeria Valdés,Fatiha Zaidi,Ana Rosa Cavalli,Wissam Mallouli Foundations and Practice of Security, 2023, Bordeaux, France. pp.93-104, ⟨10.1007/978-3-031-57540-2_8⟩ Communication dans un congrès hal-04901421v1
Cybersecurity, monitoring, explainability and resilience Ana Rosa Cavalli,Edgardo Montes de Oca 2023 Fourteenth International Conference on Mobile Computing and Ubiquitous Network (ICMU), Nov 2023, Kyoto, France. pp.1-7, ⟨10.23919/ICMU58504.2023.10412157⟩ Communication dans un congrès hal-04476909v1
Diagnosis automation using similarity analysis: application to industrial systems Ivan Orefice,Wissam Mallouli,Ana R Cavalli,Filip Sebek,Alberto Lizarduy 19th International Conference on Software Technologies(ICSOFT), Jul 2024, Dijon, France. pp.331-338, ⟨10.5220/0012719200003753⟩ Communication dans un congrès hal-04902424v1
The DYNABIC approach to resilience of critical infrastructures Erkuden Rios,Eider Iturbe,Angel Rego,Nicolas Ferry,Jean-Yves Tigliet al. The 18th International Conference on Availability, Reliability and Security (ARES ), Aug 2023, Benevento Italy, France. pp.1-8, ⟨10.1145/3600160.3605055⟩ Communication dans un congrès hal-04476904v1
Study on adversarial attacks techniques, learning methods and countermeasures: application to anomaly detection Anis Bouaziz,Manh-Dung Nguyen,Valeria Valdés,Ana R Cavalli,Wissam Mallouli 18th International Conference on Software Technologies (ICSOFT), Jul 2023, Rome, France. pp.510-517, ⟨10.5220/0012125100003538⟩ Communication dans un congrès hal-04476913v1
HTTP/2 attacks generation using 5Greplay Francesco Caccavale,Huu-Nghia Nguyen,Ana R Cavalli,Edgardo Montes de Oca,Wissam Mallouli The 18th International Conference on Availability, Reliability and Security (ARES ), Aug 2023, Benevento Italy, France. pp.1-7, ⟨10.1145/3600160.3605062⟩ Communication dans un congrès hal-04476907v1
Monitoring approaches for security and safety analysis: application to a load position system Zujany Salazar,Ana R Cavalli,Wissam Mallouli,Filip Sebek,Fatiha Zaïdiet al. International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Universitat Politècnica de València and Open Universiteit, Apr 2022, Valencia (Espagne), mars 2007, Spain. ⟨10.1109/ICSTW55395.2022.00021⟩ Communication dans un congrès hal-04477933v1
Digital twin for IoT environments : a testing and simulation tool Luong Nguyen,Mariana Segovia,Wissam Mallouli,Edgardo Montes de Oca,Ana R Cavalli 15th International Conference on the Quality of Information and Communications Technology(QUATIC) ·, University of Castilla-La Mancha, Sep 2022, Talavera de la Reina, Spain. pp.205-219, ⟨10.1007/978-3-031-14179-9_14⟩ Communication dans un congrès hal-04039592v1
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System Zujany Salazar,Ana Rosa Cavalli,Wissam Mallouli,Filip Sebek,Fatiha Zaïdiet al. 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2022, Valencia, Spain. pp.40-48, ⟨10.1109/ICSTW55395.2022.00021⟩ Communication dans un congrès hal-03974746v1
Switched-based control testbed to assure cyber-physical resilience by design Mariana Segovia,Jose Rubio-Hernan,Ana Cavalli,Joaquin Garcia‐alfaro SECRYPT 2022 : 19th International Conference on Security and Cryptography, Jul 2022, Lisbon, Portugal. pp.681-686, ⟨10.5220/0011327300003283⟩ Communication dans un congrès hal-03843016v1
A formal approach for complex attacks generation based on mutation of 5G network traffic Zujany Salazar,Fatiha Zaïdi,Wissam Mallouli,Ana R Cavalli,Huu Nghia Nguyenet al. 17th International Conference on Software Technologies (ICSOFT), Institute of Business Informatics Wroclaw; Department of Computing Sydney, Macquarie Univ., Sydney, Australia, Jul 2022, Lisbon (Portugal), Portugal. pp.234-241, ⟨10.5220/0011319000003266⟩ Communication dans un congrès hal-04477834v1
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks Manh-Dung Nguyen,Vinh Hoa La,Ana R Cavalli,Edgardo Montes De Oca 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mälardalen University, Apr 2022, Valencia (Espagne), Spain. ⟨10.1109/ICSTW55395.2022.00016⟩ Communication dans un congrès hal-04477901v1
A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic Zujany Salazar,Fatiha Zaïdi,Wissam Mallouli,Ana Cavalli,Huu Nguyenet al. 17th International Conference on Software Technologies, Jul 2022, Lisbon, Portugal. pp.234-241, ⟨10.5220/0011319000003266⟩ Communication dans un congrès hal-03974768v1
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks (work-in-progress paper) Manh-Dung Nguyen,Vinh Hoa La,Ana R Cavalli,Edgardo Montes de Oca 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2022, Valencia, Spain. pp.7-10, ⟨10.1109/ICSTW55395.2022.00016⟩ Communication dans un congrès hal-04016695v1
SANCUS: Multi-layers vulnerability management framework for cloud-native 5G networks Charilaos Zarakovitis,Dimitrios Klonidis,Zujany Salazar,Anna Prudnikova,Arash Bozorgchenaniet al. The 16th International Conference on Availability, Reliability and Security (ARES), Aug 2021, Vienna Austria, France. pp.1-10, ⟨10.1145/3465481.3470092⟩ Communication dans un congrès hal-04587817v1
5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection Zujany Salazar,Huu Nghia Nguyen,Wissam Mallouli,Ana R Cavalli,Edgardo Montes de Oca ARES 2021: The 16th International Conference on Availability, Reliability and Security, Aug 2021, Vienna, Austria. pp.1-8, ⟨10.1145/3465481.3470079⟩ Communication dans un congrès hal-04064212v1
SANCUS: multi-layers vulnerability management framework for cloud-native 5G networks Charilaos C. Zarakovitis,Dimitrios Klonidis,Zujany Salazar,Anna Prudnikova,Arash Bozorgchenaniet al. The 16th International Conference on Availability, Reliability and Security (ARES), Aug 2022, Vienna, Austria. pp.1-10 Communication dans un congrès hal-04478439v1
5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection Zujany Salazar,Huu Nghia Nguyen,Wissam Mallouli,Ana R Cavalli,Edgardo Montes de Oca ARES 2021: The 16th International Conference on Availability, Reliability and Security, Aug 2021, Vienna Austria, France. pp.1-8, ⟨10.1145/3465481.3470079⟩ Communication dans un congrès hal-04050929v1
A framework for security monitoring of real IoT testbeds Vinh Hoa La,Edgardo Montes De Oca,Wissam Mallouli,Ana R Cavalli 16th International Conference on Software Technologies (ICSOFT), Lisbonne University, Jul 2022, Lisbonne, Portugal. pp.645-652, ⟨10.5220/0010578506450652⟩ Communication dans un congrès hal-04478481v1
Cyber-resilience evaluation of Cyber-Physical Systems Mariana Segovia,Jose Rubio-Hernan,Ana R Cavalli,Joaquin Garcia-Alfaro International Symposium on Network Computing and Applications, Nov 2020, Cambridge, MA (online), United States. pp.1-8, ⟨10.1109/NCA51143.2020.9306741⟩ Communication dans un congrès hal-03115317v1
Metrics-driven DevSecOps Wissam Mallouli,Ana Rosa Cavalli,Alessandra Bagnato,Edgardo Montes De Oca ICSOFT, Jul 2020, On line streaming, Australia Communication dans un congrès hal-03113928v1
Smart measurements and analysis for software quality enhancement Sarah Dahab,Stephane Maag,Wissam Mallouli,Ana Cavalli ICSOFT 2018: International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.194-219, ⟨10.1007/978-3-030-29157-0_9⟩ Communication dans un congrès hal-02268574v1
A methodology for enterprise resource planning automation testing application to the Open Source ERP-ODOO Thierno Sambe,Stephane Maag,Ana Cavalli ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.407-415, ⟨10.5220/0007923004070415⟩ Communication dans un congrès hal-02268593v1
Industrial IoT security monitoring and test on Fed4Fire+ platforms Diego Rivera,Edgardo Montes de Oca,Wissam Mallouli,Ana R Cavalli,Brecht Vermeulenet al. ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.270-278, ⟨10.1007/978-3-030-31280-0_17⟩ Communication dans un congrès hal-02526342v1
Attack tolerance for services-based applications in the cloud Georges Ouffoué,Fatiha Zaïdi,Ana R Cavalli ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.242-258, ⟨10.1007/978-3-030-31280-0_15⟩ Communication dans un congrès hal-02526356v1
Reflective attenuation of cyber-physical attacks Mariana Segovia,Ana Rosa Cavalli,Nora Cuppens,Jose Rubio-Hernan,Joaquin Garcia-Alfaro CyberICPS 2019 : 5th Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, Sep 2019, Luxembourg, Luxembourg. pp.19-34, ⟨10.1007/978-3-030-42048-2_2⟩ Communication dans un congrès hal-02434486v1
Enhancing software development process quality based on metrics correlation and suggestion Sarah Dahab,Erika Fernanda Silva Balocchi,Stephane Maag,Ana Rosa Cavalli,Wissam Mallouli The 13th International Conference on Software Technologies (ICSOFT), Jul 2018, Porto, Portugal. pp.120 - 131, ⟨10.5220/0006856501540165⟩ Communication dans un congrès hal-01977133v1
A platform for security monitoring of multi-cloud applications Pamela Carvallo,Ana Rosa Cavalli,Wissam Mallouli PSI 2017 : 11th International Adrei Ershov Informatics Conference, Jun 2017, Moscou, Russia. pp.59 - 71, ⟨10.1007/978-3-319-74313-4_5⟩ Communication dans un congrès hal-01695148v1
Design of a secure shield for internet and web-based services using software reflection Ana Rosa Cavalli,Antonio M. Ortiz,Georges Ouffoué,Cesar Andres Sanchez,Fatiha Zaidi IEEE International Conference on Web Services (ICWS), Jun 2018, Seattle, United States. pp.472 - 486, ⟨10.1007/978-3-319-94289-6_30⟩ Communication dans un congrès hal-02017535v1
A study on mitigation techniques for SCADA-driven cyber-physical systems Mariana Segovia,Ana Rosa Cavalli,Nora Cuppens-Boulahia,Joaquin Garcia-Alfaro FPS 2018: 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada. pp.257 - 264, ⟨10.1007/978-3-030-18419-3_17⟩ Communication dans un congrès hal-02014254v1
A framework to reduce the cost of monitoring and diagnosis using game theory Rui Abreu,César Andrés,Ana Rosa Cavalli CRISIS 2016 : 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France. pp.169 - 182, ⟨10.1007/978-3-319-54876-0_14⟩ Communication dans un congrès hal-01487740v1
How web services can be tolerant to intruders through diversification Georges Ouffoué,Fatiha Zaidi,Ana Rosa Cavalli,Mounir Lallali ICWS 2017 : 24th IEEE International Conference on Web Services, Jun 2017, Honolulu, United States. pp.436 - 443, ⟨10.1109/ICWS.2017.50⟩ Communication dans un congrès hal-01592719v1
A study of threat detection systems and techniques in the cloud Pamela Carvallo,Ana Rosa Cavalli,Natalia Kushik CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France. pp.140 - 155, ⟨10.1007/978-3-319-76687-4_10⟩ Communication dans un congrès hal-01745762v1
Model-based attack tolerance Georges Ouffoué,Fatiha Zaidi,Ana Rosa Cavalli,Mounir Lallali FINA 2017 : 13th International Symposium on Frontiers of Information Systems and Network Applications, Mar 2017, Taipei, Taiwan. pp.68 - 73, ⟨10.1109/WAINA.2017.88⟩ Communication dans un congrès hal-01583439v1
Decreasing the complexity of deriving test suites against nondeterministic Finite State Machines Husnu Yenigun,Natalia Kushik,Jorge López,Nina Yevtushenko,Ana Rosa Cavalli EWDTS 2017 : 15th IEEE East-West Design & Test Symposium, Sep 2017, Novi Sad, Serbia. pp.1 - 4, ⟨10.1109/EWDTS.2017.8110091⟩ Communication dans un congrès hal-01669274v1
An attack-tolerant framework for web services Georges Ouffoué,Fatiha Zaidi,Ana Rosa Cavalli,Mounir Lallali SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.503 - 506, ⟨10.1109/SCC.2017.75⟩ Communication dans un congrès hal-01695155v1
Multi-cloud applications security monitoring Pamela Carvallo,Ana Rosa Cavalli,Wissam Mallouli,Erkuden Rios GPC 2017 : 12th International Conference on Green, Pervasive, and Cloud Computing, May 2017, Cetara, Italy. pp.748 - 758, ⟨10.1007/978-3-319-57186-7_54⟩ Communication dans un congrès hal-01583350v1
Automatic derivation and validation of a cloud dataset for insider threat detection Pamela Carvallo,Ana Rosa Cavalli,Natalia Kushik ICSOFT 2017 : 12th International Conference on Software Technologies, Jul 2017, Madrid, Spain. pp.480 - 487, ⟨10.5220/0006480904800487⟩ Communication dans un congrès hal-01583232v1
An analysis of secure M2M communication in WSNs using DTLS Raul Armando Fuentes Samaniego,Ana Rosa Cavalli,Juan Arturo Nolazco-Flores STAM 2016 : 2nd IEEE International Workshop on Security Testing and Monitoring, Jun 2016, Nara, Japan. pp.78 - 83, ⟨10.1109/ICDCSW.2016.13⟩ Communication dans un congrès hal-01416148v1
Effectively testing of timed composite systems using test case prioritization Huu Nghia Nguyen,Fatiha Zaidi,Ana Rosa Cavalli SEKE 2016 : 28th International Conference on Software Engineering and Knowledge Engineering, Jul 2016, San Francisco, United States. pp.1 - 6, ⟨10.18293/SEKE2016-153⟩ Communication dans un congrès hal-01358350v1
Monitoring techniques in practice: experiences and lessons learned Ana Rosa Cavalli,Wissam Mallouli SAM 2016: 9th System Analysis and Modelling Conference , Oct 2016, Saint Malo, France Communication dans un congrès hal-01586259v1
QoE-driven service optimization aware of the business model Diego Arturo Rivera Villagra,Ana Rosa Cavalli WAINA 2016 : 30th International Conference on Advanced Information Networking and Applications Workshops , Mar 2016, Crans-Montana, Switzerland. pp.725 - 730, ⟨10.1109/WAINA.2016.105⟩ Communication dans un congrès hal-01335539v1
A novel monitoring solution for 6LoWPAN-based Wireless Sensor Networks Vinh Hoa La,Raul Armando Fuentes Samaniego,Ana Rosa Cavalli APCC 2016 : 22nd Asia-Pacific Conference on Communications, Aug 2016, Yogyakarta, Indonesia. pp.230 - 237, ⟨10.1109/APCC.2016.7581493⟩ Communication dans un congrès hal-01391251v1
An implementation of a QoE evaluation technique including business model parameters Diego Arturo Rivera Villagra,Ana Rosa Cavalli,Natalia Kushik,Wissam Mallouli ICSOFT-PT 2016 : 11th International Conference on Software Paradigm Trends, Aug 2016, Lisbon, Portugal. pp.138 - 145, ⟨10.5220/0006005001380145⟩ Communication dans un congrès hal-01369532v1
Optimizing network utilization through source code state model representation Jorge Eleazar Lopez Coronado,Natalia Kushik,Ana Rosa Cavalli,Nina Yevtushenko EWDTS 2016 : 14th East-West Design & Test Symposium, Oct 2016, Yerevan, Armenia. pp.1 - 4, ⟨10.1109/EWDTS.2016.7807732⟩ Communication dans un congrès hal-01433929v1
Opportunistic media sharing for mobile networks Jorge Visca,Raul Armando Fuentes Samaniego,Ana Rosa Cavalli,Javier Ernesto Baliosian NOMS 2016 : IEEE/IFIP Network Operations and Management Symposium, Apr 2016, Istanbul, Turkey. pp.799 - 803, ⟨10.1109/NOMS.2016.7502902⟩ Communication dans un congrès hal-01348024v1
Path sampling : a robust alternative to gossiping for opportunistic network routing Jorge Visca,Javier Ernesto Baliosian,Raul Armando Fuentes Samaniego,Ana Rosa Cavalli WIMOB 2016 : 12th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, Oct 2016, New York, United States. pp.1 - 8, ⟨10.1109/WiMOB.2016.7763244⟩ Communication dans un congrès hal-01433849v1
Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach Georges Ouffoué,Antonio Ortiz,Ana Cavalli,Wissam Mallouli,Josep Domingo-Ferreret al. 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), Jun 2016, Nara, France. ⟨10.1109/ICDCSW.2016.27⟩ Communication dans un congrès hal-01767065v1
A misbehavior node detection algorithm for 6LoWPAN Wireless Sensor Networks Vinh Hoa La,Ana Rosa Cavalli STAM 2016: 2nd IEEE International Workshop on Security Testing And Monitoring, Jun 2016, Nara, Japan. pp.49 - 54, ⟨10.1109/ICDCSW.2016.11⟩ Communication dans un congrès hal-01415351v1
Optimizing protocol passive testing through 'Gedanken' experiments with Finite State Machines Natalia Kushik,Jorge Eleazar Lopez Coronado,Ana Rosa Cavalli,Nina Yevtushenko QRS 2016 : International Conference on Software Quality, Reliability and Security, Aug 2016, Vienna, Austria. pp.315 - 322, ⟨10.1109/QRS.2016.43⟩ Communication dans un congrès hal-01432412v1
Network monitoring using MMT: an application based on the user-agent field in HTTP headers Vinh Hoa La,Raul Armando Fuentes Samaniego,Ana Rosa Cavalli AINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.147 - 154, ⟨10.1109/AINA.2016.41⟩ Communication dans un congrès hal-01335530v1
An abstraction for the interoperability analysis of security policies Javier Ernesto Baliosian,Ana Rosa Cavalli NSS 2015 : 9th International Conference on Network and System Security , Nov 2015, New York, United States. pp.418 - 427, ⟨10.1007/978-3-319-25645-0_30⟩ Communication dans un congrès hal-01263746v1
A comparative evaluation of two intrusion-tolerant routing protocols for Wireless Sensor Networks Vinh Hoa La,Ana Rosa Cavalli BWCCA 2015: 10th International Conference on Broadband and Wireless Computing, Communication and Applications, Nov 2015, Krakow, Poland. pp.6 - 12, ⟨10.1109/BWCCA.2015.104⟩ Communication dans un congrès hal-01341539v1
QoE evaluation based on QoS and QoBiz parameters applied to an OTT service Diego Arturo Rivera Villagra,Natalia Kushik,Camila Fuenzalida Nunez,Ana Rosa Cavalli,Nina Yevtushenko ICWS 2015 : 22nd IEEE International Conference on Web Services, Jun 2015, New York, United States. pp.607 - 614, ⟨10.1109/ICWS.2015.86⟩ Communication dans un congrès hal-01269646v1
An active testing tool for security testing of distributed systems Mohamed Aouadi,Khalifa Toumi,Ana Rosa Cavalli ARES 2015 : 10th International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France. pp.735 - 740, ⟨10.1109/ARES.2015.97⟩ Communication dans un congrès hal-01263726v1
Process mining for trust monitoring Jorge Eleazar Lopez Coronado,Stephane Maag,Cecilia Saint-Pierre,Javier Alejandro Bustos Jimenez,Ana Rosa Cavalli WAINA 2015 : 29th International Conference on Advanced Information Networking and Applications Workshops , Mar 2015, Gwangiu, South Korea. pp.605 - 610, ⟨10.1109/WAINA.2015.71⟩ Communication dans un congrès hal-01255094v1
Monitoring-based validation of functional and performance aspects of a greedy ant colony optimization protocol Raul Armando Fuentes Samaniego,Ana Rosa Cavalli,Wissam Mallouli,Javier Ernesto Baliosian LANOMS 2015 : 8th Latin American Network Operations and Management Symposium, Oct 2015, Joao Pessoa, Brazil. pp.69 - 72, ⟨10.1109/LANOMS.2015.7332672⟩ Communication dans un congrès hal-01263742v1
QoE estimation for web service selection using a Fuzzy-Rough hybrid expert system Jeevan Pokhrel,Felipe Lalanne Rojas,Ana Rosa Cavalli,Wissam Mallouli AINA 2014 : 28th IEEE International Conference on Advanced Information Networking and Applications, May 2014, Victoria, Bc, Canada. pp.629 - 634, ⟨10.1109/AINA.2014.77⟩ Communication dans un congrès hal-01262475v1
Détection de flux de contrôle illégaux dans les Smartphones Mariem Graa,Nora Cuppens-Bouhlahia,Frédéric Cuppens,Ana Cavalli INFORSID 2014 : 32ème congrès de l'INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2014, Lyon, France Communication dans un congrès hal-01009849v1
Estimation of video QoE from MAC parameters in wireless network : a Random Neural Network approach Indira Paudel,Jeevan Pokhrel,Bachar Wehbi,Ana Rosa Cavalli,Badii Jouaber ISCIT 2014 : 14th International Symposium on Communications and Information Technologies, Sep 2014, Incheon, South Korea. pp.51 - 55, ⟨10.1109/ISCIT.2014.7011868⟩ Communication dans un congrès hal-01262789v1
A Framework for Distributed Testing of Timed Composite Systems Huu Nghia Nguyen,Fatiha Zaïdi,Ana Cavalli 2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, France. ⟨10.1109/APSEC.2014.16⟩ Communication dans un congrès hal-01760336v1
Performance evaluation of video transmission over 802.11n wireless network : a MAC layer perspective Jeevan Pokhrel,Indira Paudel,Bachar Wehbi,Ana Rosa Cavalli,Badii Jouaber SaCoNeT 2014 : 5th International Conference on Smart Communications in Network Technologies, Jun 2014, Vilanova I La Geltrú, Spain. pp.1 - 6, ⟨10.1109/SaCoNeT.2014.6867761⟩ Communication dans un congrès hal-01262788v1
On modeling and testing security properties of vehicular networks Mohamed Aouadi,Khalifa Toumi,Ana Rosa Cavalli ICSTW 2014 : 7th International Conference on Software Testing, Verification and Validation Workshops, Mar 2014, Cleveland, United States. pp.42 - 50, ⟨10.1109/ICSTW.2014.56⟩ Communication dans un congrès hal-01285747v1
On modeling and testing components of the European Train Control System Cesar Andres Sanchez,Ana Rosa Cavalli,Nina Yevtushenko,João Santos,Rui Abreu IPCT 2014 : International Conference on Advances in Information Processing And Communication Technology, Jun 2014, Rome, Italy. pp.31 - 35, ⟨10.15224/978-1-63248-021-7-72⟩ Communication dans un congrès hal-01262564v1
Detection of illegal control flow in Android System: Protecting private data used by Smartphone Apps Mariem Graa,Nora Cuppens-Bouhlahia,Frédéric Cuppens,Ana Cavalli FPS 2014 : the 7th International Symposium on Foundations & Practice of Security, Nov 2014, Montréal, Canada. pp.337 - 346, ⟨10.1007/978-3-319-17040-4_22⟩ Communication dans un congrès hal-01214033v1
How to evaluate trust using MMT Khalifa Toumi,Wissam Mallouli,Edgardo Montes de Oca,César Andrés,Ana Rosa Cavalli NSS 2014 : 8th International Conference on Network and System Security, Oct 2014, Xi'An, China. pp.484 - 492, ⟨10.1007/978-3-319-11698-3_37⟩ Communication dans un congrès hal-01262784v1
Formal verification of coordination systems' requirements : a case study on the European Train Control System Huu Nghia Nguyen,Ana Rosa Cavalli SEKE 2014 : 26th International Conference on Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.393 - 396 Communication dans un congrès hal-01262566v1
Extended Finite State Machine based test derivation strategies for telecommunication protocols Natalia Kushik,Anton Kolomeez,Ana Rosa Cavalli,Nina Yevtushenko SYRCoSE 2014 : 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering , May 2014, Saint-Pétersbourg, Russia. pp.108 - 113, ⟨10.15514/SYRCOSE-2014-8-15⟩ Communication dans un congrès hal-01262562v1
On testing against partial non-observable specifications Natalia Kushik,Nina Yevtushenko,Ana Rosa Cavalli QUATIC 2014 : 9th International Conference on the Quality of Information and Communications Technology, Sep 2014, Guimaraes, Portugal. pp.230 - 233, ⟨10.1109/QUATIC.2014.38⟩ Communication dans un congrès hal-01262783v1
Testing network protocols : formally, at runtime and online Xiaoping Che,Stephane Maag,Jorge Eleazar Lopez Coronado,Ana Rosa Cavalli SEKE 2014 : 26th International Conference on Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.90 - 93 Communication dans un congrès hal-01263332v1
Protection against Code Obfuscation Attacks based on control dependencies in Android Systems Mariem Graa,Nora Cuppens-Bouhlahia,Frédéric Cuppens,Ana Cavalli TC 2014 : 8th International Workshop on Trustworthy Computing, Jun 2014, San Francisco, United States Communication dans un congrès hal-01010902v1
Evaluating web service QoE by learning logic networks Natalia Kushik,Nina Yevtushenko,Ana Rosa Cavalli,Wissam Mallouli,Jeevan Pokhrel WEBIST 2014 : 10th International Conference on Web Information Systems and Technologies, Apr 2014, Barcelone, Spain. pp.168 - 176, ⟨10.5220/0004855801680176⟩ Communication dans un congrès hal-01262476v1
Evaluating quality of web services: a short survey Olga Kondratyeva,Ana Rosa Cavalli,Natalia Kushik,Nina Yevtushenko ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.587 - 594, ⟨10.1109/ICWS.2013.83⟩ Communication dans un congrès hal-01274984v1
An effective attack detection approach in wireless mesh networks Felipe Barbosa Abreu,Anderson Morais,Ana Rosa Cavalli,Bachar Wehbi,Edgardo Montes de Oca NetMM '13 : International Workshop on Network Management and Monitoring, Mar 2013, Barcelona, Spain. pp.1450 -1455, ⟨10.1109/WAINA.2013.1⟩ Communication dans un congrès hal-00842731v1
Formal Characterization of Illegal Control Flow in Android System Mariem Graa,Nora Cuppens-Bouhlahia,Frédéric Cuppens,Ana Cavalli SITIS 2013 : 9th International Conference on Signal Image Technology & Internet Systems, Dec 2013, Kyoto, Japan Communication dans un congrès hal-00924480v1
Ecosystem for customer experience assurance Antonio Cuadra-Sánchez,Maria del Mar Cutanda-Rodriguez,Andreas Aurelius,Kjell Brunnström,Jorge E. López de Vergaraet al. SACONET 2013 : International Conference on Smart Communications in Network Technologies, Jun 2013, Paris, France. pp.1 - 5, ⟨10.1109/SaCoNeT.2013.6654553⟩ Communication dans un congrès hal-01262114v1
Monitoring based on IOSTS for testing functional and security properties: application to an automotive case study Pramila Mouttappa,Stephane Maag,Ana Rosa Cavalli COMPSAC 2013 : 37th Annual International Computer Software & Applications Conference, Jul 2013, Kyoto, Japan. pp.1 - 10, ⟨10.1109/COMPSAC.2013.5⟩ Communication dans un congrès hal-01275006v1
Estimation of QoE of video traffic using a fuzzy expert system Jeevan Pokhrel,Bachar Wehbi,Morais Anderson,Ana Rosa Cavalli,Eric Allilaire CCNC '13 : The 10th Annual IEEE Consumer Communications and Networking Conference, Jan 2013, Las Vegas, United States. pp.224-229, ⟨10.1109/CCNC.2013.6488450⟩ Communication dans un congrès hal-00816061v1
Evaluating Web service quality using finite state models Olga Kondratyeva,Natalia Kushik,Ana Rosa Cavalli,Nina Yevtushenko QSIC 2013 : 13th International Conference on Quality Software, Jul 2013, Nanjing, China. pp.95 - 102, ⟨10.1109/QSIC.2013.52⟩ Communication dans un congrès hal-01262103v1
A distributed intrusion detection scheme for wireless ad hoc networks Anderson Morais,Ana Rosa Cavalli SAC '12 : The 27th Annual ACM Symposium on Applied Computing, Mar 2012, Trento, Italy. pp.556-562, ⟨10.1145/2245276.2245382⟩ Communication dans un congrès hal-00738916v1
Trust-OrBAC : a trust access control model in multi-organization environments Khalifa Toumi,César Andrés,Ana Rosa Cavalli ICISS '12 : 8th International Conference on Information Systems Security, Dec 2012, Guwahati, India. pp.89-103, ⟨10.1007/978-3-642-35130-3_7⟩ Communication dans un congrès hal-00767797v1
Quality of experience as a selection criterion for web services Felipe Lalanne Rojas,Ana Rosa Cavalli,Stephane Maag SITIS '12 : The 8th International Conference on Signal-Image Technology & Internet Systems, Nov 2012, Sorrento, Italy. pp.519-526, ⟨10.1109/SITIS.2012.81⟩ Communication dans un congrès hal-00772763v1
Improving protocol validation by an IOSTS-based passive testing approach Pramila Mouttappa,Stephane Maag,Ana Rosa Cavalli STV '12 : System Testing and Validation Workshop, Oct 2012, Paris, France. pp.87-95 Communication dans un congrès hal-00738521v1
Role based interoperability security policies in collaborative systems Khalifa Toumi,Ana Rosa Cavalli,Mazen El Maarabani SECOTS '12 : International Symposium on Security in Collaboration Technologies and Systems, May 2012, Denver, United States. pp.471-477, ⟨10.1109/CTS.2012.6261092⟩ Communication dans un congrès hal-00738970v1
How to reduce the cost of passive testing César Andrés,Ana Rosa Cavalli HASE '12 : 14th IEEE International High-Assurance Systems Engineering symposium, Oct 2012, Omaha, United States. pp.209-216, ⟨10.1109/HASE.2012.36⟩ Communication dans un congrès hal-00771884v1
An IOSTS based passive testing approach for the validation of data-centric protocols Pramila Mouttappa,Stephane Maag,Ana Rosa Cavalli QSIC '12 : 12th International Conference of Quality Software, Aug 2012, Xi'An, China. pp.49-58, ⟨10.1109/QSIC.2012.33⟩ Communication dans un congrès hal-00747198v1
A event-based packet dropping detection scheme for wireless mesh networks Anderson Morais,Ana Rosa Cavalli CSS '12 : The 4th International Symposium on Cyberspace Safety and Security, Dec 2012, Melbourne, Australia. pp.309-323, ⟨10.1007/978-3-642-35362-8_24⟩ Communication dans un congrès hal-00816664v1
Managing customer experience through service quality monitoring Anderson Morais,Ana Rosa Cavalli,Hai Anh Tran,Abdelhamid Mellouk,Brice Augustinet al. Conference Future Network & Mobile Summit 2012, Jul 2012, Berlín, Germany. pp.1-9 Communication dans un congrès hal-00771815v1
Detecting control flow in Smarphones: Combining static and dynamic analyses Mariem Graa,Nora Cuppens-Bouhlahia,Frédéric Cuppens,Ana Cavalli CSS 2012: The 4th International Symposium on Cyberspace Safety and Security, Dec 2012, Melbourne, Australia. pp.33 - 47, ⟨10.1007/978-3-642-35362-8_4⟩ Communication dans un congrès hal-00785180v1
A vector based model approach for defining trust in multi-organization environments Khalifa Toumi,César Andrés,Ana Rosa Cavalli,Mazen El Maarabani CRiSIS '12 : 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8, ⟨10.1109/CRISIS.2012.6378939⟩ Communication dans un congrès hal-00768221v1
Using requirements engineering in an automatic security policy derivation process Mariem Graa,Nora Cuppens-Boulahia,Fabien Autrel,Hanieh Azkia,Frédéric Cuppenset al. DPM - SETOP 2011 : 6th International Workshop on Data Privacy Management and 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. pp.155-172, ⟨10.1007/978-3-642-28879-1_11⟩ Communication dans un congrès hal-00738844v1
Setting trust evaluations with fuzzy logic in MOE Khalifa Toumi,César Andrés,Ana Rosa Cavalli STV '12: System Testing and Validation Workshop, Oct 2012, Paris, France. pp.49-58 Communication dans un congrès hal-00767987v1
Testing interoperability security policies Mazen El Maarabani,Cesar Andres,Ana Rosa Cavalli SEKE '12 : The 24th International Conference on Software Engineering and Knowledge Engineering, Jul 2012, San Francisco, United States. pp.464-469 Communication dans un congrès hal-00744694v1
Cost effective cross-layer protocol testing : a case study Marcelo Odin,Jose Pablo Escobedo,Ana Rosa Cavalli,Stephane Maag,Ariel Sabiguero CASE 2011 : Congreso Argentino de Sistemas Embebidos, Mar 2011, Buenos Aires, Argentina. pp.103 - 108 Communication dans un congrès hal-01303607v1
FSM-based test derivation strategies for systems with time-outs Maxim Zhigulin,Stephane Maag,Ana Rosa Cavalli,Nina Yevtushenko QSIC 2011 : 11th International Conference On Quality Software, Jul 2011, Madrid, Spain. pp.141 - 149, ⟨10.1109/QSIC.2011.30⟩ Communication dans un congrès hal-01303601v1
Route manipulation attack in wireless mesh networks Anderson Morais,Ana Rosa Cavalli AINA 2011 : 25th International Conference on Advanced Information Networking and Applications, Mar 2011, Biopolis, Singapore. pp.501 - 508, ⟨10.1109/AINA.2011.11⟩ Communication dans un congrès hal-01465746v1
Detection of attacks in wireless mesh networks Anderson Morais,Ana Rosa Cavalli LADC 2011 : 5th Latin-American Symposium on Dependable Computing, Apr 2011, Sao Jose Dos Campos, Brazil. pp.45 - 54, ⟨10.1109/LADC.2011.13⟩ Communication dans un congrès hal-01301634v1
Verification of interoperability security policies by model checking Mazen El Maarabani,Ana Rosa Cavalli,Iksoon Hwang,Fatiha Zaïdi HASE '11 : The 13th IEEE International High Assurance Systems Engineering Symposium, Nov 2011, Boca Raton, United States. pp.376 -381, ⟨10.1109/HASE.2011.17⟩ Communication dans un congrès hal-00738626v1
Using testing techniques for vulnerability detection in C programs Amel Mammar,Ana Rosa Cavalli,Willy Ronald Jimenez Freitez,Wissam Mallouli,Edgardo Montes de Oca 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩ Communication dans un congrès hal-01303013v1
A quality of experience based approach for wireless mesh networks Anderson Morais,Ana Rosa Cavalli 9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova I La Geltrú, Spain. pp.162-173, ⟨10.1007/978-3-642-21560-5_14⟩ Communication dans un congrès hal-01301638v1
A model-based attack injection approach for security validation Anderson Morais,Ana Rosa Cavalli,Eliane Martins SIN '11 : 4th international conference on Security of information and networks, Nov 2011, Sydney, Australia. pp.103-110, ⟨10.1145/2070425.2070443⟩ Communication dans un congrès hal-00711762v1
A SPIN-based approach for detecting vulnerabilities in C programs Natalia Kushik,Amel Mammar,Ana Rosa Cavalli,Nina Yevtushenko,Edgardo Montes de Oca PSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications, Jun 2011, St Petersburg, Russia. pp.131 - 143 Communication dans un congrès hal-01465027v1
Testing web service orchestrators in context : a symbolic approach Jose Pablo Escobedo,Christophe Gaston,Pascale Le Gall,Ana Rosa Cavalli SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩ Communication dans un congrès hal-01306744v1
A formal passive testing approach for checking real time constraints Fayçal Bessayah,Ana Rosa Cavalli QUATIC 2010 : 7th International Conference on the Quality of Information and Communications Technology, Sep 2010, Porto, Portugal. pp.274 - 279, ⟨10.1109/QUATIC.2010.55⟩ Communication dans un congrès hal-01306297v1
Timed extended invariants for the passive testing of Web services Gerardo Morales,Stephane Maag,Ana Rosa Cavalli,Wissam Mallouli,Edgardo Montes de Ocaet al. ICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.592 - 599, ⟨10.1109/ICWS.2010.17⟩ Communication dans un congrès hal-01309503v1
A formal approach for interoperability testing of security rules Mazen El Maarabani,Iksoon Hwang,Ana Rosa Cavalli SITIS 2010 : 6th International Conference on Signal-Image Technology & Internet-Based Systems, Dec 2010, Kuala Lumpur, Malaysia. pp.277 - 284, ⟨10.1109/SITIS.2010.53⟩ Communication dans un congrès hal-01305099v1
Attack scripts generation for security validation Anderson Morais,Ana Rosa Cavalli,Eliane Martins SEC-SY '10 : Sécurité des Systèmes d'Information et les Environnements Collaboratifs, May 2010, Marseille, France Communication dans un congrès hal-00727714v1
Transmit and reserve (tar) : a coordinated channel access for IEEE 802.11 networks Bachar Wehbi,Anis Laouiti,Ana Rosa Cavalli WCNC 2010 : IEEE Wireless Communications and Networking Conference, Apr 2010, Sidney, Australia. pp.1 - 6, ⟨10.1109/WCNC.2010.5506240⟩ Communication dans un congrès hal-01306741v1
Webmov : a dedicated framework for the modelling and testing of web services composition Ana Rosa Cavalli,Tien-Dung Cao,Wissam Mallouli,Eliane Martins,Andrey Sadovykhet al. ICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.377 - 384, ⟨10.1109/ICWS.2010.24⟩ Communication dans un congrès hal-01306746v1
A fault injection tool for testing web services composition Fayçal Bessayah,Ana Rosa Cavalli,William Maja,Eliane Martins,Andre Willik Valenti TAIC PART 2010 : Testing: Academic & Industrial Conference Practice and Research Techniques, Sep 2010, Windsor, United Kingdom. pp.137 - 146, ⟨10.1007/978-3-642-15585-7_13⟩ Communication dans un congrès istex hal-01306763v1
Software vulnerabilities, prevention and detection methods : a review Willy Ronald Jimenez Freitez,Amel Mammar,Ana Rosa Cavalli SEC-MDA 2009 : Security in Model Driven Architecture , Jun 2009, Enschede, Netherlands. pp.1 - 11 Communication dans un congrès hal-01367445v1
A formal passive testing approach to test a MANET routing protocol Ana Rosa Cavalli,Stephane Maag,Edgardo Montes de Oca,Fatiha Zaidi PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking , Mar 2009, Galveston, United States. pp.1 - 6, ⟨10.1109/PERCOM.2009.4912874⟩ Communication dans un congrès hal-01369686v1
Analysis of the OLSR protocol by using formal passive testing César Andrés,Stephane Maag,Ana Rosa Cavalli,Mercedes Merayo,Manuel Nunez APSEC 2009 : 16th Asia-Pacific Software Engineering Conference, Dec 2009, Penang, Malaysia. pp.152 - 159, ⟨10.1109/APSEC.2009.37⟩ Communication dans un congrès hal-01366249v1
A formal approach for specification and verification of fault injection process Fayçal Bessayah,Ana Rosa Cavalli,Eliane Martins ICIS '09 : International Conference on Interaction Sciences, Dec 2009, Phoenix, United States. pp.883-890, ⟨10.1145/1655925.1656086⟩ Communication dans un congrès hal-00771611v1
RobustWeb : development and validation of SOA applications based on Web services Eliane Martins,Ana Rosa Cavalli,Jean Arlat,Regina Moraes,Taisy Weber Colloquium of Computation : Brazil / INRIA, Cooperations, Advances and Challenges, Jul 2009, Rio Grande Do Sul, Brazil Communication dans un congrès hal-00448589v1
A passive testing approach for security checking and its practical usage for web services monitoring Ana Rosa Cavalli,Azzedine Benameur,Wissam Mallouli,Keqin Li NOTERE 2009 : 9e Conférence Internationale sur Les NOuvelles TEchnologies de la REpartition, Jun 2009, Montréal, Canada Communication dans un congrès hal-01360187v1
A formal framework to integrate timed security rules within a TEFSM-based system specification Wissam Mallouli,Amel Mammar,Ana Rosa Cavalli APSEC 2009 : 16th AsiaPacific Software Engineering Conference, Dec 2009, Batu Ferringhi, Malaysia. pp.489 - 496, ⟨10.1109/APSEC.2009.52⟩ Communication dans un congrès hal-00444089v1
Modeling, validation, and verification of PCEP using the IF language Iksoon Hwang,Mounir Lallali,Ana Rosa Cavalli,Dominique Verchère FMOODS/FORTE 2009 : 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems, Jun 2009, Lisboa, Portugal. pp.122 - 136, ⟨10.1007/978-3-642-02138-1_8⟩ Communication dans un congrès hal-00446605v1
A passive conformance testing approach for a MANET routing protocol Ana Rosa Cavalli,Stephane Maag,Edgardo Montes de Oca SAC '09 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Hawai, United States. pp.207-211, ⟨10.1145/1529282.1529326⟩ Communication dans un congrès hal-00771619v1
An automated passive testing approach for the IMS PoC service Felipe Lalanne Rojas,Stephane Maag,Edgardo Montes de Oca,Ana Rosa Cavalli,Wissam Mallouliet al. ASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering, Nov 2009, Auckland, New Zealand. pp.535 - 539, ⟨10.1109/ASE.2009.33⟩ Communication dans un congrès hal-01316417v1
Interoperability testing of presence service on IMS platform Mazen El Maarabani,Asma Adala,Iksoon Hwang,Ana Rosa Cavalli TridentCom 2009 : 5th International Conference onTestbeds and Research Infrastructures for the Development of Networks & Communities and Workshops, Apr 2009, Washington, United States. ⟨10.1109/TRIDENTCOM.2009.4976260⟩ Communication dans un congrès hal-00442192v1
Modélisation et détection formelles de vulnérabilités logicielles par le test passif Amel Mammar,Ana Rosa Cavalli,Edgardo Montes de Oca,Shanai Ardi,David Byerset al. SAR-SSI 2009 : 4eme Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information , Jun 2009, Luchon, France Communication dans un congrès hal-00444066v1
A statistical approach to test stochastic and probabilistic systems Mercedes Merayo,Iksoon Hwang,Manuel Nunez,Ana Rosa Cavalli ICFEM 2009 : 11th International Conference on Formal Engineering Methods, Dec 2009, Rio De Janeiro, Brazil. pp.186 - 205, ⟨10.1007/978-3-642-10373-5_10⟩ Communication dans un congrès istex hal-01360751v1
Network protocol interoperability testing based on contextual signatures and passive testing Fatiha Zaidi,Emmanuel Bayse,Ana Rosa Cavalli SAC 2009 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Honolulu (Hawaii), United States. pp.2 - 7, ⟨10.1145/1529282.1529284⟩ Communication dans un congrès hal-01316444v1
Prise en Compte de Règles de Sécurité Temporelles dans une Spéciﬁcation TEFSM d'un Système Wissam Mallouli,Amel Mammar,Ana Cavalli CFIP'2009, Oct 2009, Strasbourg, France Communication dans un congrès inria-00419463v1
Security protocol testing using attack trees Morais Anderson,Ana Rosa Cavalli,Eliane Martins,Willy Ronald Jimenez Freitez CSE '09 : 12th IEEE International Conference on Computational Science and Engineering, Aug 2009, Vancouver, Canada. pp.690-697, ⟨10.1109/CSE.2009.206⟩ Communication dans un congrès hal-00446770v1
Extended interoperability models for timed system robustness testing Fatima Mattiello-Francisco,Eliane Martins,André Corsetti,Ana Rosa Cavalli,Edgard Yano LATINCOM '09 : IEEE Latin-American Conference on Communications, Sep 2009, Medelin, Colombia. pp.1-6, ⟨10.1109/LATINCOM.2009.5304903⟩ Communication dans un congrès hal-00448581v1
Observability and controllability issues in conformance testing of Web service compositions Jose Pablo Escobedo,Christophe Gaston,Pascale Le Gall,Ana Rosa Cavalli TESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. pp.217 - 222, ⟨10.1007/978-3-642-05031-2_15⟩ Communication dans un congrès hal-01360755v1
Security rules specification and analysis based on passive testing Wissam Mallouli,Fayçal Bessayah,Ana Rosa Cavalli,Azzedine Benameur GLOBECOM 2008 : IEEE Global Telecommunications Conference, Nov 2008, New Orleans, United States. pp.1 - 6, ⟨10.1109/GLOCOM.2008.ECP.400⟩ Communication dans un congrès hal-01378696v1
Modeling and testing secure web-based systems : application to an industrial case study Wissam Mallouli,Mounir Lallali,Gerardo Morales,Ana Rosa Cavalli SITIS '08 : The Fourth International Conference on Signal-Image Technology & Internet-Based Systems, Nov 2012, Bali, Indonesia. pp.128-136, ⟨10.1109/SITIS.2008.58⟩ Communication dans un congrès hal-00796034v1
Une approche de test de robustesse basée sur l'injection de fautes et le monitorage Ana Cavalli,Eliane Martins,Anderson Morais,Bruno Moreira Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France Communication dans un congrès hal-00250162v1
Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations Ana Rosa Cavalli,Eliane Martins,Anderson Morais ICSTW 2008 : 1st International Conference on Software Testing Verification and Validation Workshop, Apr 2008, Lillehammer, Norway. pp.21 - 30, ⟨10.1109/ICSTW.2008.51⟩ Communication dans un congrès hal-01326406v1
A reactive wireless mesh network architecture Bachar Wehbi,Anis Laouiti,Ana Rosa Cavalli Med-Hoc-Net 2008 : Seventh Annual Mediterranean Ad Hoc Networking Workshop : Advances in Ad Hoc Networking, Jun 2008, Palma De Mallorca, Spain. pp.203 - 214, ⟨10.1007/978-0-387-09490-8_18⟩ Communication dans un congrès hal-01373149v1
Generating attack scenarios for the validation of security protocol implementations Eliane Martins,Anderson Morais,Ana Rosa Cavalli SAST '08 : 2nd Brazilian Workshop on Systematic and Automated Software Testing, Oct 2008, Campinas, Brazil. pp.21-33 Communication dans un congrès hal-00796077v1
Distributed monitoring in Ad Hoc networks : conformance and security checking Wissam Mallouli,Bachar Wehbi,Ana Rosa Cavalli AdHoc-NOW 2008 : 7th International Conference on Ad Hoc Networks and Wireless, Sep 2008, Sophia-Antipolis, France. pp.345 - 356, ⟨10.1007/978-3-540-85209-4_27⟩ Communication dans un congrès istex hal-01327393v1
Testing security policies for web applications Wissam Mallouli,Gerardo Morales,Ana Rosa Cavalli ICSTW '08 : IEEE International Conference on Software Testing Verification and Validation Workshop, Apr 2008, Lillehammer, Norway. pp.269-270, ⟨10.1109/ICSTW.2008.45⟩ Communication dans un congrès hal-00796098v1
Context ontology for secure interoperability Céline Coma,Nora Cuppens-Bouhlahia,Frédéric Cuppens,Ana Rosa Cavalli FARES 2008 : International Workshop on Frontiers in Availability, Reliability and Security, Mar 2008, Barcelona, Spain. pp.821-827, ⟨10.1109/ARES.2008.133⟩ Communication dans un congrès hal-00796516v1
Modeling system security rules with time constraints using timed extended finite state machines Wissam Mallouli,Amel Mammar,Ana Rosa Cavalli DS-RT 2008 : 12th IEEE/ACM International Symposium on Distributed Simulation an Real Time Applications, Oct 2008, Vancouver, Canada. pp.173 - 180, ⟨10.1109/DS-RT.2008.22⟩ Communication dans un congrès hal-01380237v1
ReDEx : Receiver Diversity Exploitation mechanism for 802.11 wireless networks Bachar Wehbi,Anis Laouiti,Ana Rosa Cavalli ICLAN 2008 : International Conference on the Latest Advances in Networks, Dec 2008, Toulouse, France. pp.1 - 6 Communication dans un congrès hal-01394732v1
Efficient time synchronization mechanism for wireless multi hop networks Bachar Wehbi,Anis Laouiti,Ana Rosa Cavalli PIMRC 2008 : IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2008, Cannes, France. pp.1 - 6, ⟨10.1109/PIMRC.2008.4699638⟩ Communication dans un congrès hal-01379599v1
Regression and performance testing of an e-learning Web application : dotLRN Ana Rosa Cavalli,Stephane Maag,Gerardo Morales SITIS 2007 : 3rd International Conference on Signal Image Technology and Internet-Based Systems, Dec 2007, Shangai, China. pp.369 - 376, ⟨10.1109/SITIS.2007.129⟩ Communication dans un congrès hal-01328016v1
Vérification et analyse de performance d'un protocole de gestion de session Dario Vieira,Ana Cavalli CFIP 2006: Colloque Francophone sur l'Ingénierie des Protocoles, Eric Fleury and Farouk Kamoun, Oct 2006, Tozeur, Tunisie. 12 p Communication dans un congrès inria-00111718v1
MSP: A Novel Session Maintenance Protocol Ana Cavalli,Timothy Griffin,Dario Vieira 2006 14th IEEE International Conference on Networks, Sep 2006, Singapore, France. pp.1-6, ⟨10.1109/ICON.2006.302611⟩ Communication dans un congrès hal-04085693v1
Génération de tests d'intéropérabilité pour le protocole TCP Cédric Besse,Ana Cavalli,Fatiha Zaïdi 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR '03), Oct 2003, Metz, France. pp.447-461 Communication dans un congrès hal-01530440v1

Proceedings/Recueil des communications (1)

Testing Software and Systems David Clark,Héctor D. Menéndez,Ana R Cavalli IFIP International Conference on Testing Software and Systems (ICTSS), 13045, 2022, Lecture Notes in Computer Science, 978-3-031-04673-5. ⟨10.1007/978-3-031-04673-5⟩ Proceedings/Recueil des communications hal-04478239v1

N°spécial de revue/special issue (1)

Special issue on information systems quality for digital transformation Ricardo Perez-Castillo,Ana Paiva,Ana Rosa Cavalli Software Quality Journal, 30 (4), pp.953-954, 2022, ⟨10.1007/s11219-022-09608-y⟩ N°spécial de revue/special issue hal-04476915v1

Ouvrages (1)

Testing Software and Systems Nina Yevtushenko,Ana Rosa Cavalli,Husnu Yenigun Springer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩ Ouvrages hal-01678967v1

Chapitre d'ouvrage (8)

5Greplay: a 5G network traffic fuzzer - application to attack injection Zujany Salazar,Huu Nghia Nguyen,Wissam Mallouli,Ana R Cavalli,Edgardo Montes De Oca ARES '21 : Actes de la 16e Conférence internationale sur la disponibilité, la fiabilité et la sécurité, ACM, pp.1-8, 2021, 9781450390514. ⟨10.1145/3465481.3470079⟩ Chapitre d'ouvrage hal-04478392v1
From formal test objectives to TTCN-3 for verifying ETCS complex software control systems Rabéa Ameur-Boulifa,Ana R Cavalli,Stephane Maag Communications in Computer and Information Science, 1250, Springer International Publishing; Springer, pp.156-178, 2020, Communications in Computer and Information Science (CCIS), 978-3-030-52990-1. ⟨10.1007/978-3-030-52991-8_8⟩ Chapitre d'ouvrage hal-02904831v1
Multimedia Quality of Experience Jeevan Pokhrel,Natalia Kushik,Bachar Wehbi,Nina Yevtushenko,Ana Rosa Cavalli Emerging research on networked multimedia communication systems, Information Science Reference, pp.250 - 284, 2015, Advances in multimedia and interactive technologies book series, 978-1-466-68850-6. ⟨10.4018/978-1-4666-8850-6.ch008⟩ Chapitre d'ouvrage hal-01263826v1
Symbolic-based monitoring for embedded applications Pramila Mouttappa,Stephane Maag,Ana Rosa Cavalli Handbook of research on embedded systems design, IGI Global, pp.52 - 74, 2014, Advances in Systems Analysis, Software Engineering, and High Performance Computing book series, 978-1-466-66194-3. ⟨10.4018/978-1-4666-6194-3.ch003⟩ Chapitre d'ouvrage hal-01263345v1
An ecosystem for customer experience management Antonio Cuadra Sanchez,Maria del Mar Cutanda Rodriguez,Andreas Aurelius,Kjell Brunnström,Jorge E. López de Vergaraet al. Quality of experience engineering for customer added value services: from evaluation to monitoring, Wiley, pp.1 - 256, 2014, ISTE, 978-1-84821-672-3. ⟨10.1002/9781118984352.ch2⟩ Chapitre d'ouvrage hal-01255095v1
Formal supervision of mobile ad hoc networks for security flaws detection Wissam Mallouli,Bachar Wehbi,Ana Rosa Cavalli,Stephane Maag Security engineering techniques and solutions for information systems : management and implementation, IGI Global, 2011, 978-1-615-20803-6. ⟨10.4018/978-1-61520-803-6⟩ Chapitre d'ouvrage hal-00690721v1
Modeling and testing secure web applications Wissam Mallouli,Mounir Lallali,Amel Mammar,Gerardo Morales,Ana Rosa Cavalli Web-based information technologies and distributed systems, Atlantis Press, pp.207-255, 2010, Atlantis Ambient and Pervasive Intelligence, ⟨10.1007/978-94-91216-32-9_10⟩ Chapitre d'ouvrage hal-00673835v1
Security in ad hoc networks Jean-Marie Orset,Ana Rosa Cavalli Wireless and mobile network security : security basics, security in on-the-shelf and emerging technologies, iSTE-WILEY, pp.475-524, 2009, 978-1-84821-117-9 Chapitre d'ouvrage hal-00801279v1

Rapport (1)

Cyber-resilience approaches for cyber-physical systems Mariana Segovia-Ferreira,Jose Rubio-Hernan,Ana R Cavalli,Joaquin Garcia‐alfaro Télécom SudParis (Institut Mines-Télécom). 2023 Rapport hal-04495662v1