Accéder directement au contenu

Ana Rosa Cavalli

187
Documents

Publications

A network traffic mutation based ontology, and Its application to 5G networks

Zujany Salazar , Fatiha Zaïdi , Huu-Nghia Nguyen , Wissam Mallouli , Ana R Cavalli
IEEE Access, 2023, 11, pp.43925-43944. ⟨10.1109/ACCESS.2023.3268759⟩
Article dans une revue hal-04476884v1
Image document

Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications

George Amponis , Panagiotis Radoglou-Grammatikis , Thomas Lagkas , Wissam Mallouli , Ana Cavalli
EURASIP Journal on Wireless Communications and Networking, 2022, 2022 (1), pp.124. ⟨10.1186/s13638-022-02204-5⟩
Article dans une revue hal-04008882v1
Image document

Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications

George Amponis , Panagiotis Radoglou-Grammatikis , Thomas Lagkas , Wissam Mallouli , Ana Cavalli
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 Cavalli
EURASIP Journal on Wireless Communications and Networking, 2022, 1, pp.124. ⟨10.1186/s13638-022-02204-5⟩
Article dans une revue hal-04476890v1
Image document

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
Image document

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

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
Image document

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

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 Allepuz
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 Cavalli
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

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

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

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

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

An effective attack detection approach in wireless mesh networks

Felipe Barbosa Abreu , Anderson Morais , Ana Rosa Cavalli , Bachar Wehbi , Edgardo Montes de Oca
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

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

ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ КОНЕЧНЫХ АВТОМАТОВ С ТАЙМАУТАМИ

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

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 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

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 hal-00706162v1

An advanced approach for modeling and detecting software vulnerabilities

Nahid Shahmehri , Amel Mammar , Edgardo Montes de Oca , David Byers , Ana Rosa Cavalli
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 Freitez
Automatic control and computer sciences, 2012, 46 (7), pp.379-386. ⟨10.3103/S0146411612070115⟩
Article dans une revue hal-00772243v1

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 hal-00711774v1

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

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 hal-00711769v1

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 hal-00472884v1

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 hal-00593960v1

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

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 hal-01354849v1
Image document

Towards Smarter Security Orchestration and Automatic Response for CPS and IoT

Phu Nguyen , Rustem Dautov , Hui Song , Angel Rego , Eider Iturbe
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

The DYNABIC approach to resilience of critical infrastructures

Erkuden Rios , Eider Iturbe , Angel Rego , Nicolas Ferry , Jean-Yves Tigli
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

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

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ïdi
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

SANCUS: multi-layers vulnerability management framework for cloud-native 5G networks

Charilaos C. Zarakovitis , Dimitrios Klonidis , Zujany Salazar , Anna Prudnikova , Arash Bozorgchenani
The 16th International Conference on Availability, Reliability and Security (ARES), Aug 2022, Vienna, Austria. pp.1-10
Communication dans un congrès hal-04478439v1

Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System

Zujany Salazar , Ana Rosa Cavalli , Wissam Mallouli , Filip Sebek , Fatiha Zaïdi
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

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 Nguyen
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
Image document

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 Cavalli , Huu Nguyen
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

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
Image document

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

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
Image document

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
Image document

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
Image document

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

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

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

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
Image document

Industrial IoT security monitoring and test on Fed4Fire+ platforms

Diego Rivera , Edgardo Montes de Oca , Wissam Mallouli , Ana R Cavalli , Brecht Vermeulen
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

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
Image document

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

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

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

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

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 Lopez , 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

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

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

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

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

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

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

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

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

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

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

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

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

Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach

Georges Ouffoué , Antonio Ortiz , Ana Cavalli , Wissam Mallouli , Josep Domingo-Ferrer
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

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

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

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

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

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

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

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

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

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
Image document

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

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

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

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

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
Image document

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

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

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
Image document

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

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

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

Ecosystem for customer experience assurance

Antonio Cuadra-Sánchez , Maria del Mar Cutanda-Rodriguez , Andreas Aurelius , Kjell Brunnström , Jorge E. López de Vergara
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
Image document

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

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

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

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

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

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

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

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

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

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

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

Managing customer experience through service quality monitoring

Anderson Morais , Ana Rosa Cavalli , Hai Anh Tran , Abdelhamid Mellouk , Brice Augustin
Conference Future Network & Mobile Summit 2012, Jul 2012, Berlín, Germany. pp.1-9
Communication dans un congrès hal-00771815v1

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

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

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

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
Image document

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 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

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

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

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

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
Image document

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

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
Image document

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

Using requirements engineering in an automatic security policy derivation process

Mariem Graa , Nora Cuppens-Boulahia , Fabien Autrel , Hanieh Azkia , Frédéric Cuppens
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

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

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

Timed extended invariants for the passive testing of Web services

Gerardo Morales , Stephane Maag , Ana Rosa Cavalli , Wissam Mallouli , Edgardo Montes de Oca
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

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

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

Webmov : a dedicated framework for the modelling and testing of web services composition

Ana Rosa Cavalli , Tien-Dung Cao , Wissam Mallouli , Eliane Martins , Andrey Sadovykh
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 hal-01306763v1

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

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
Image document

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 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

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

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
Image document

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
Image document

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

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 Mallouli
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
Image document

Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un Système

Wissam Mallouli , Amel Mammar , Ana Cavalli
CFIP'2009, Oct 2009, Strasbourg, France
Communication dans un congrès inria-00419463v1

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 Byers
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

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

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 hal-01360751v1

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

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 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

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

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

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

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

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 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

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

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

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

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
Image document

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

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
Image document

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

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

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

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 Vergara
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