Ana R. Cavalli

214 papers A* 3A 7B 23C 38Misc 9Journal 40Unranked 92

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Survey on Cyber-Resilience Approaches for Cyber-Physical Systems. ACM Comput. Surv. Mariana Segovia-Ferreira, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García-Alfaro
2024	—	`conf`	An Information-Theoretic Approach for Anomaly Detection in RPL-Based Internet of Things. IFIPIoT (1) Vinh Hoa La, Edgardo Montes de Oca, Ana R. Cavalli
2024	C	`conf`	Diagnosis Automation Using Similarity Analysis: Application to Industrial Systems. ICSOFT Ivan Orefice, Wissam Mallouli, Ana R. Cavalli, Filip Sebek, Alberto Lizarduy
2024	—	`conf`	Enhancing IoT Security in 6G Networks: AI-Based Intrusion Detection, Penetration Testing, and Blockchain-Based Trust Management (Work-in-Progress Paper). IFIPIoT (2) Vinh Hoa La, Wissam Mallouli, Manh-Dung Nguyen, Edgardo Montes de Oca, Ana R. Cavalli, Péter Vörös, Károly Kecskeméti, Mohammed B. Alshawki, Sándor Laki, Antonios Lalas, Sarantis Kalafatidis, Asterios Mpatziakas, Nikolaos Makris, Anastasios Drosou
2024	—	`conf`	Smart Assistants for Enhancing System Security and Resilience. FedCSIS (Communication Papers) Andrey Sadovykh, Dragos Truscan, Martin A. Schneider, Wissam Mallouli, Ana R. Cavalli, Cristina Seceleanu, Tanwir Ahmad
2023	J	`jnl`	5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection. CoRR Zujany Salazar, Huu Nghia Nguyen, Wissam Mallouli, Ana R. Cavalli, Edgardo Montes de Oca
2023	J	`jnl`	Cyber-Resilience Approaches for Cyber-Physical Systems. CoRR Mariana Segovia-Ferreira, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García-Alfaro
2023	B	`conf`	HTTP/2 Attacks Generation using 5Greplay. ARES Francesco G. Caccavale, Huu Nghia Nguyen, Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli
2023	C	`conf`	Towards Smarter Security Orchestration and Automatic Response for CPS and IoT. CloudCom Phu Hong Nguyen, Rustem Dautov, Hui Song, Angel Rego, Eider Iturbe, Erkuden Rios, Diego Sagasti, Gonzalo Nicolas, Valeria Valdés, Wissam Mallouli, Ana R. Cavalli, Nicolas Ferry
2022	Misc	`conf`	Digital Twin for IoT Environments: A Testing and Simulation Tool. QUATIC Luong Nguyen, Mariana Segovia, Wissam Mallouli, Edgardo Montes de Oca, Ana R. Cavalli
2022	C	`conf`	Switched-based Control Testbed to Assure Cyber-physical Resilience by Design. SECRYPT Mariana Segovia, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García-Alfaro
2022	J	`jnl`	Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications. EURASIP J. Wirel. Commun. Netw. George Amponis, Panagiotis I. Radoglou-Grammatikis, Thomas Lagkas, Wissam Mallouli, Ana R. Cavalli, Dimitrios Klonidis, Evangelos Markakis, Panagiotis G. Sarigiannidis
2022	—	`conf`	Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks (work-in-progress paper). ICST Workshops Manh-Dung Nguyen, Vinh Hoa La, Ana R. Cavalli, Edgardo Montes de Oca
2021	B	`conf`	5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection. ARES Zujany Salazar, Huu Nghia Nguyen, Wissam Mallouli, Ana R. Cavalli, Edgardo Montes de Oca
2021	C	`conf`	A Framework for Security Monitoring of Real IoT Testbeds. ICSOFT Vinh Hoa La, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli
2021	B	`conf`	SANCUS: Multi-layers Vulnerability Management Framework for Cloud-native 5G networks. ARES Charilaos C. Zarakovitis, Dimitrios Klonidis, Zujany Salazar, Anna Prudnikova, Arash Bozorgchenani, Qiang Ni, Charalambos Klitis, George Guirgis, Ana R. Cavalli, Nicholas Sgouros, Eftychia Makri, Antonios Lalas, Konstantinos Votis, George Amponis, Wissam Mallouli
2020	B	`conf`	Cyber-Resilience Evaluation of Cyber-Physical Systems. NCA Mariana Segovia, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García-Alfaro
2020	J	`jnl`	Switched-Based Resilient Control of Cyber-Physical Systems. IEEE Access Mariana Segovia-Ferreira, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García
2019	C	`conf`	A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO. ICSOFT Thierno Birahime Sambe, Stephane Maag, Ana R. Cavalli
2019	C	`conf`	Attack Tolerance for Services-Based Applications in the Cloud. ICTSS Georges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli
2019	—	`conf`	From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. ICSOFT (Selected Papers) Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag
2019	C	`conf`	Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms. ICTSS Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli, Brecht Vermeulen, Matevz Vucnik
2019	C	`conf`	Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. ICSOFT Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag
2018	J	`jnl`	A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System. Comput. J. Khalifa Toumi, Mohamed H. E. Aouadi, Ana R. Cavalli, Wissam Mallouli, Jordi Puiggalí Allepuz, Pol Valletb Montfort
2018	A	`conf`	Design of a Secure Shield for Internet and Web-Based Services Using Software Reflection. ICWS Ana R. Cavalli, Antonio M. Ortiz, Georges Ouffoué, Cesar A. Sanchez, Fatiha Zaïdi
2018	—	`conf`	Smart Measurements and Analysis for Software Quality Enhancement. ICSOFT (Selected Papers) Sarah A. Dahab, Stephane Maag, Wissam Mallouli, Ana R. Cavalli
2017	—	`conf`	A Platform for Security Monitoring of Multi-cloud Applications. Ershov Informatics Conference Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli
2017	C	`conf`	A Study of Threat Detection Systems and Techniques in the Cloud. CRiSIS Pamela Carvallo, Ana R. Cavalli, Natalia Kushik
2017	—	`conf`	An Attack-Tolerant Framework for Web Services. SCC Georges L. A. Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
2017	C	`conf`	Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. ICSOFT Pamela Carvallo, Ana R. Cavalli, Natalia Kushik
2017	—	`conf`	Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS Hüsnü Yenigün, Natalia Kushik, Jorge López, Nina Yevtushenko, Ana R. Cavalli
2017	A	`conf`	How Web Services Can Be Tolerant to Intruders through Diversification. ICWS Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
2017	—	`conf`	Model-Based Attack Tolerance. AINA Workshops Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
2017	C	`conf`	Multi-cloud Applications Security Monitoring. GPC Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli, Erkuden Rios
2016	C	`conf`	A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory. CRiSIS Rui Abreu, César Andrés, Ana R. Cavalli
2016	—	`conf`	A Misbehavior Node Detection Algorithm for 6LoWPAN Wireless Sensor Networks. ICDCS Workshops Vinh Hoa La, Ana R. Cavalli
2016	C	`conf`	A novel monitoring solution for 6LoWPAN-based Wireless Sensor Networks. APCC Vinh Hoa La, Raul Fuentes, Ana R. Cavalli
2016	—	`conf`	An Analysis of Secure M2M Communication in WSNs Using DTLS. ICDCS Workshops Raul A. Fuentes-Samaniego, Ana R. Cavalli, Juan Arturo Nolazco-Flores
2016	—	`conf`	An Implementation of a QoE Evaluation Technique Including Business Model Parameters. ICSOFT-PT Diego Rivera, Ana R. Cavalli, Natalia Kushik, Wissam Mallouli
2016	C	`conf`	Effectively Testing of Timed Composite Systems using Test Case Prioritization. SEKE Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli
2016	J	`jnl`	Formal framework for defining trust in multi-organisation environment. Int. J. Auton. Adapt. Commun. Syst. Khalifa Toumi, César Andrés, Ana R. Cavalli
2016	C	`conf`	Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. QRS Natalia Kushik, Jorge López, Ana R. Cavalli, Nina Yevtushenko
2016	—	`conf`	Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach. ICDCS Workshops Georges Ouffoue, Antonio M. Ortiz, Ana R. Cavalli, Wissam Mallouli, Josep Domingo-Ferrer, David Sánchez, Fatiha Zaïdi
2016	B	`conf`	Network Monitoring Using MMT: An Application Based on the User-Agent Field in HTTP Headers. AINA Vinh Hoa La, Raul A. Fuentes-Samaniego, Ana R. Cavalli
2016	J	`jnl`	On adaptive experiments for nondeterministic finite state machines. Int. J. Softw. Tools Technol. Transf. Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli
2016	B	`conf`	Opportunistic media sharing for mobile networks. NOMS Jorge Visca, Raul Fuentes, Ana R. Cavalli, Javier Baliosian
2016	—	`conf`	Optimizing network utilization through source code state model representation. EWDTS Jorge López, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
2016	B	`conf`	Path sampling, a robust alternative to gossiping for opportunistic network routing. WiMob Jorge Visca, Javier Baliosian, Raul A. Fuentes-Samaniego, Ana R. Cavalli
2016	—	`conf`	QoE-Driven Service Optimization Aware of the Business Model. AINA Workshops Diego Rivera, Ana R. Cavalli
2015	J	`jnl`	A survey on formal active and passive testing with applications to the cloud. Ann. des Télécommunications Ana R. Cavalli, Teruo Higashino, Manuel Núñez
2015	B	`conf`	An Abstraction for the Interoperability Analysis of Security Policies. NSS Javier Baliosian, Ana R. Cavalli
2015	B	`conf`	An Active Testing Tool for Security Testing of Distributed Systems. ARES Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
2015	J	`jnl`	An effective attack detection approach in wireless mesh networks. Int. J. Space Based Situated Comput. Felipe Barbosa Abreu, Anderson Nunes Paiva Morais, Ana R. Cavalli, Bachar Wehbi, Edgardo Montes de Oca, Wissam Mallouli
2015	—	`conf`	Monitoring-based validation of functional and performance aspects of a greedy ant colony optimization protocol. LANOMS Raul A. Fuentes-Samaniego, Ana R. Cavalli, Wissam Mallouli, Javier Baliosian
2015	—	`conf`	Process Mining for Trust Monitoring. AINA Workshops Jorge López, Stephane Maag, Cecilia Saint-Pierre, Javier Bustos-Jiménez, Ana R. Cavalli
2015	A	`conf`	QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. ICWS Diego Rivera, Natalia Kushik, Camila Fuenzalida, Ana R. Cavalli, Nina Yevtushenko
2015	J	`jnl`	Special issue on formal active and passive testing of distributed and networked systems. Ann. des Télécommunications Ana R. Cavalli, Teruo Higashino, Manuel Núñez
2014	J	`jnl`	A Distributed and Collaborative Intrusion Detection Architecture for Wireless Mesh Networks. Mob. Networks Appl. Anderson Morais Paiva Morais, Ana R. Cavalli
2014	—	`conf`	A Formal Approach to Automatic Testing of Security Policies Specified in XACML. FPS Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
2014	—	`conf`	A Framework for Distributed Testing of Timed Composite Systems. APSEC (1) Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli
2014	—	`conf`	Detection of Illegal Control Flow in Android System: Protecting Private Data Used by Smartphone Apps. FPS Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
2014	—	`conf`	Détection de flux de contrôle illégaux dans les Smartphones. INFORSID Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
2014	—	`conf`	Estimation of video QoE from MAC parameters in wireless network: A Random Neural Network approach. ISCIT Indira Paudel, Jeevan Pokhrel, Bachar Wehbi, Ana R. Cavalli, Badii Jouaber
2014	—	`conf`	Evaluating Web Service QoE by Learning Logic Networks. WEBIST (1) Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel
2014	C	`conf`	Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System. SEKE Huu Nghia Nguyen, Ana R. Cavalli
2014	B	`conf`	How to Evaluate Trust Using MMT. NSS Khalifa Toumi, Wissam Mallouli, Edgardo Montes de Oca, César Andrés, Ana R. Cavalli
2014	C	`conf`	ISER: A Platform for Security Interoperability of Multi-source Systems. CRiSIS Khalifa Toumi, Fabien Autrel, Ana R. Cavalli, Sammy Haddad
2014	—	`conf`	On Modeling and Testing Security Properties of Vehicular Networks. ICST Workshops Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
2014	Misc	`conf`	On Testing against Partial Non-observable Specifications. QUATIC Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli
2014	—	`conf`	Protection against Code Obfuscation Attacks Based on Control Dependencies in Android Systems. SERE (Companion) Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
2014	B	`conf`	QoE Estimation for Web Service Selection Using a Fuzzy-Rough Hybrid Expert System. AINA Jeevan Pokhrel, Felipe Lalanne, Ana R. Cavalli, Wissam Mallouli
2014	J	`jnl`	QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches. Int. J. Organ. Collect. Intell. Natalia Kushik, Jeevan Pokhrel, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli
2014	C	`conf`	Testing Network Protocols: formally, at runtime and online. SEKE Xiaoping Che, Stéphane Maag, Jorge López, Ana R. Cavalli
2014	J	`jnl`	Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study. CoRR Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
2014	J	`jnl`	Validation of a Trust Approach in Multi-Organization Environments. Int. J. Secur. Softw. Eng. Khalifa Toumi, Ana R. Cavalli, César Andrés
2013	—	`conf`	An Effective Attack Detection Approach in Wireless Mesh Networks. AINA Workshops Felipe Barbosa Abreu, Anderson Nunes Paiva Morais, Ana R. Cavalli, Bachar Wehbi, Edgardo Montes de Oca
2013	—	`conf`	Estimation of QoE of video traffic using a fuzzy expert system. CCNC Jeevan Pokhrel, Bachar Wehbi, Anderson Nunes Paiva Morais, Ana R. Cavalli, Eric Allilaire
2013	A	`conf`	Evaluating Quality of Web Services: A Short Survey. ICWS Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
2013	—	`conf`	Evaluating Web Service Quality Using Finite State Models. QSIC Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
2013	—	`conf`	Formal Characterization of Illegal Control Flow in Android System. SITIS Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
2013	J	`jnl`	ICST 2010 Special Issue. Softw. Test. Verification Reliab. Ana R. Cavalli, Sudipto Ghosh
2013	B	`conf`	Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study. COMPSAC Pramila Mouttappa, Stephane Maag, Ana R. Cavalli
2013	—	`conf`	Security Properties in Virtual Organizations. HPCC/EUC Khalifa Toumi, César Andrés, Ana R. Cavalli
2013	—	`conf`	Trust Ontology Based on Access Control Parameters in Multi-organization Environments. SITIS Khalifa Toumi, César Andrés, Ana R. Cavalli
2013	J	`jnl`	Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols. Comput. Networks Pramila Mouttappa, Stephane Maag, Ana R. Cavalli
2012	J	`jnl`	A SPIN-based approach for detecting vulnerabilities in C programs. Autom. Control. Comput. Sci. Natalia Kushik, Amel Mammar, Ana R. Cavalli, Nina Yevtushenko, Willy Jimenez, Edgardo Montes de Oca
2012	Misc	`conf`	A distributed intrusion detection scheme for wireless ad hoc networks. SAC Anderson Nunes Paiva Morais, Ana R. Cavalli
2012	J	`jnl`	A systematic approach to integrate common timed security rules within a TEFSM-based system specification. Inf. Softw. Technol. Amel Mammar, Wissam Mallouli, Ana R. Cavalli
2012	C	`conf`	A vector based model approach for defining trust in Multi-Organization Environments. CRiSIS Khalifa Toumi, César Andrés, Ana R. Cavalli, Mazen El Maarabani
2012	—	`conf`	An Event-Based Packet Dropping Detection Scheme for Wireless Mesh Networks. CSS Anderson Nunes Paiva Morais, Ana R. Cavalli
2012	—	`conf`	An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols. QSIC Pramila Mouttappa, Stéphane Maag, Ana R. Cavalli
2012	J	`jnl`	An advanced approach for modeling and detecting software vulnerabilities. Inf. Softw. Technol. Nahid Shahmehri, Amel Mammar, Edgardo Montes de Oca, David Byers, Ana R. Cavalli, Shanai Ardi, Willy Jimenez
2012	J	`jnl`	Applying formal methods to PCEP: an industrial case study from modeling to test generation. Softw. Test. Verification Reliab. Iksoon Hwang, Ana R. Cavalli, Mounir Lallali, Dominique Verchère
2012	—	`conf`	Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses. CSS Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
2012	—	`conf`	How to Reduce the Cost of Passive Testing. HASE César Andrés, Ana R. Cavalli
2012	J	`jnl`	InRob: An approach for testing interoperability and robustness of real-time embedded software. J. Syst. Softw. Maria de Fátima Mattiello-Francisco, Eliane Martins, Ana R. Cavalli, Edgar Toshiro Yano
2012	—	`conf`	Quality of Experience as a Selection Criterion for Web Services. SITIS Felipe Lalanne, Ana R. Cavalli, Stephane Maag
2012	—	`conf`	Role based interoperability security policies in collaborative systems. CTS Khalifa Toumi, Ana R. Cavalli, Mazen El Maarabani
2012	C	`conf`	Testing Interoperability Security Policies. SEKE Mazen El Maarabani, César Andrés, Ana R. Cavalli
2012	J	`jnl`	Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs. Inf. Process. Lett. Iksoon Hwang, Nina Yevtushenko, Ana R. Cavalli
2012	Misc	`conf`	Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. ICISS Khalifa Toumi, César Andrés, Ana R. Cavalli
2011	—	`conf`	A Quality of Experience Based Approach for Wireless Mesh Networks. WWIC Anderson Nunes Paiva Morais, Ana R. Cavalli
2011	C	`conf`	A model-based attack injection approach for security validation. SIN Anderson Nunes Paiva Morais, Ana R. Cavalli, Eliane Martins
2011	—	`ed.`	Data Privacy Management and Autonomous Spontaneous Security - 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers DPM/SETOP Joaquín García-Alfaro, Guillermo Navarro-Arribas, Ana R. Cavalli, Jean Leneutre
2011	—	`conf`	Detection of Attacks in Wireless Mesh Networks. LADC Anderson Nunes Paiva Morais, Ana R. Cavalli
2011	—	`conf`	FSM-Based Test Derivation Strategies for Systems with Time-Outs. QSIC Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli
2011	B	`conf`	Route Manipulation Attack in Wireless Mesh Networks. AINA Anderson Nunes Paiva Morais, Ana R. Cavalli
2011	—	`conf`	Using Requirements Engineering in an Automatic Security Policy Derivation Process. DPM/SETOP Mariem Graa, Nora Cuppens-Boulahia, Fabien Autrel, Hanieh Azkia, Frédéric Cuppens, Gouenou Coatrieux, Ana R. Cavalli, Amel Mammar
2011	C	`conf`	Using Testing Techniques for Vulnerability Detection in C Programs. ICTSS Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca
2011	J	`jnl`	VDC-Based Dynamic Code Analysis: Application to C Programs. J. Internet Serv. Inf. Secur. Wissam Mallouli, Amel Mammar, Ana R. Cavalli, Willy Jimenez
2011	—	`conf`	Verification of Interoperability Security Policies by Model Checking. HASE Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi
2010	—	`conf`	A Fault Injection Tool for Testing Web Services Composition. TAIC PART Fayçal Bessayah, Ana R. Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti
2010	—	`conf`	A Formal Approach for Interoperability Testing of Security Rules. SITIS Mazen El Maarabani, Iksoon Hwang, Ana R. Cavalli
2010	Misc	`conf`	A Formal Passive Testing Approach for Checking Real Time Constraints. QUATIC Fayçal Bessayah, Ana R. Cavalli
2010	J	`jnl`	FSM-based conformance testing methods: A survey annotated with experimental evaluation. Inf. Softw. Technol. Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko
2010	B	`conf`	Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
2010	J	`jnl`	Testing a probabilistic FSM using interval estimation. Comput. Networks Iksoon Hwang, Ana R. Cavalli
2010	A	`conf`	Timed Extended Invariants for the Passive Testing of Web Services. ICWS Gerardo Morales, Stéphane Maag, Ana R. Cavalli, Wissam Mallouli, Edgardo Montes de Oca, Bachar Wehbi
2010	B	`conf`	Transmit and Reserve (TAR): A Coordinated Channel Access for IEEE 802.11 Networks. WCNC Bachar Wehbi, Anis Laouiti, Ana R. Cavalli
2010	A	`conf`	WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. ICWS Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaïdi
2009	C	`conf`	A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. APSEC Wissam Mallouli, Amel Mammar, Ana R. Cavalli
2009	—	`conf`	A Formal Passive Testing Approach to test a MANET Routing Protocol. PerCom Workshops Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca, Fatiha Zaïdi
2009	C	`conf`	A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli
2009	C	`conf`	A formal approach for specification and verification of fault injection process. ICIS Fayçal Bessayah, Ana R. Cavalli, Eliane Martins
2009	Misc	`conf`	A passive conformance testing approach for a MANET routing protocol. SAC Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca
2009	A*	`conf`	An Automated Passive Testing Approach for the IMS PoC Service. ASE Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet
2009	C	`conf`	Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez
2009	Misc	`conf`	Interoperability testing of presence service on IMS platform. TRIDENTCOM Mazen El Maarabani, Asma Adala, Iksoon Hwang, Ana R. Cavalli
2009	—	`conf`	Modeling, Validation, and Verification of PCEP Using the IF Language. FMOODS/FORTE Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère
2009	Misc	`conf`	Network protocol interoperability testing based on contextual signatures and passive testing. SAC Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli
2009	—	`conf`	Observability and Controllability Issues in Conformance Testing of Web Service Compositions. TestCom/FATES Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
2009	—	`conf`	Security Protocol Testing Using Attack Trees. CSE (2) Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez
2008	—	`conf`	A Reactive Wireless Mesh Network Architecture. Med-Hoc-Net Bachar Wehbi, Anis Laouiti, Ana R. Cavalli
2008	J	`jnl`	A formal validation methodology for MANET routing protocols based on nodes' self similarity. Comput. Commun. Stéphane Maag, Cyril Grepet, Ana R. Cavalli
2008	—	`conf`	Automatic Timed Test Case Generation for Web Services Composition. ECOWS Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli, Iksoon Hwang
2008	B	`conf`	Context Ontology for Secure Interoperability. ARES Céline Coma, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
2008	—	`conf`	Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. ADHOC-NOW Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli
2008	B	`conf`	Efficient time synchronization mechanism for wireless multi hop networks. PIMRC Bachar Wehbi, Anis Laouiti, Ana R. Cavalli
2008	—	`conf`	Interoperability of Context Based System Policies Using O2O Contract. SITIS Céline Coma, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
2008	C	`conf`	Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. DS-RT Wissam Mallouli, Amel Mammar, Ana R. Cavalli
2008	—	`conf`	Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study. SITIS Wissam Mallouli, Mounir Lallali, Gerardo Morales, Ana R. Cavalli
2008	B	`conf`	Security Rules Specification and Analysis Based on Passive Testing. GLOBECOM Wissam Mallouli, Fayçal Bessayah, Ana R. Cavalli, Azzedine Benameur
2008	—	`conf`	Testing Security Policies for Web Applications. ICST Workshops Wissam Mallouli, Gerardo Morales, Ana R. Cavalli
2008	C	`conf`	Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. DS-RT Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali
2008	—	`conf`	Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. ICST Workshops Ana R. Cavalli, Eliane Martins, Anderson Nunes Paiva Morais
2007	C	`conf`	A formal approach for testing security rules. SACMAT Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens
2007	—	`conf`	Regression and Performance Testing of an e-Learning Web Application: dotLRN. SITIS Ana R. Cavalli, Stéphane Maag, Gerardo Morales
2007	C	`conf`	Specification of Timed EFSM Fault Models in SDL. FORTE Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar
2007	—	`conf`	Testing Security Rules with Decomposable Activities. HASE Wissam Mallouli, Ana R. Cavalli
2007	—	`conf`	Timed Modeling of Web Services Composition for Automatic Testing. SITIS Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli
2007	B	`conf`	Towards an Automated Test Generation with Delayed Transitions for Timed Systems. RTCSA Elisangela Rodrigues Vieira, Ana R. Cavalli
2006	—	`conf`	A Reliable Approach for Transport Session Management. AICT/ICIW Ana R. Cavalli, Dario Vieira
2006	B	`conf`	A Security Model for OLSR MANET Protocol. MDM Jean-Marie Orset, Ana R. Cavalli
2006	—	`conf`	An Enhanced Passive Testing Approach for Network Protocols. ICN/ICONS/MCL Ana R. Cavalli, Dario Vieira
2006	—	`conf`	Application of Two Test Generation Tools to an Industrial Case Study. TestCom Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener
2006	—	`conf`	Implementation Analysis of MSP. ICN/ICONS/MCL Ana R. Cavalli, Dario Vieira, Timothy G. Griffin
2006	B	`conf`	Light Client Management Protocol for Wireless Mesh Networks. MDM Bachar Wehbi, Wissam Mallouli, Ana R. Cavalli
2006	—	`conf`	MSP: A Novel Session Maintenance Protocol. ICON Ana R. Cavalli, Timothy G. Griffin, Dario Vieira
2006	—	`conf`	Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach. ICN/ICONS/MCL Baptiste Alcalde, Ana R. Cavalli
2006	—	`conf`	Working Around BGP: An Improvement of BGP Session Maintenance. ICNS Ana R. Cavalli, Dario Vieira
2005	—	`conf`	A Comparison between Two Maintenance Session Protocols. AICT/SAPIR/ELETE Ana R. Cavalli, Timothy G. Griffin, Dario Vieira
2005	J	`jnl`	A passive testing approach based on invariants: application to the WAP Comput. Networks Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi
2005	B	`conf`	An EFSM-Based Intrusion Detection System for Ad Hoc Networks. ATVA Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli
2005	B	`conf`	Experimental Evaluation of FSM-Based Testing Methods. SEFM Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli
2005	—	`conf`	Passive Testing - A Constrained Invariant Checking Approach. TestCom Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli
2005	J	`jnl`	Secure hosts auto-configuration in mobile ad hoc networks. Ad Hoc Networks Ana R. Cavalli, Jean-Marie Orset
2005	J	`jnl`	Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation. Ann. des Télécommunications Pierre Combes, Wei Monin, Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Richard Castanet, Marcien MacKaya, Patrice Laurençot
2004	—	`conf`	A Multi-service and Multi-protocol Validation Platform-Experimentation Results. TestCom Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot
2004	—	`conf`	A Testing Methodology for an Open Software E-learning Platform. EDUTECH Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis, Fatiha Zaïdi
2004	—	`conf`	A Validation Model for the DSR Protocol. ICDCS Workshops Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada
2004	J	`jnl`	Application of a Formal Testing Methodology to Wireless Telephony Networks. J. Braz. Comput. Soc. Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi
2004	Misc	`conf`	Automated test scenarios generation for an e-barter system. SAC Ana R. Cavalli, Stéphane Maag
2004	—	`conf`	From UML models to automatic generated tests for the dotLRN e-learning platform. TACoS Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis
2004	C	`conf`	Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. FORTE Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee
2004	—	`conf`	Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks. ICDCS Workshops Ana R. Cavalli, Jean-Marie Orset
2003	—	`conf`	Fast Testing of Critical Properties through Passive Testing. TestCom José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez
2003	J	`jnl`	New approaches for passive testing using an Extended Finite State Machine specification. Inf. Softw. Technol. Ana R. Cavalli, Caroline Gervy, Svetlana Prokopenko
2003	J	`jnl`	Test suite minimization for testing in context. Softw. Test. Verification Reliab. Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko
2003	—	`conf`	TestNet: Let's Test Together!. TestCom Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez
2002	C	`conf`	A New Algorithm for Service Interaction Detection. ICFEM Ana R. Cavalli, Stéphane Maag
2002	—	`conf`	Automated Generation of Interoperability Tests. TestCom Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi
2002	—	`conf`	Fault Detection within a Component of a System of Communicating FSMs. TestCom Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
2001	—	`conf`	A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. ICOIN Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli
2001	C	`conf`	A Service-Component Testing Method and a Suitable CORBA Architecture. ISCC Ana R. Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zaïdi
2001	—	`conf`	Partial Validation of a Design Specification with Respect to Requirements. APAQS Cédric Besse, Ana R. Cavalli, Ferhat Khendek
2000	—	`conf`	Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. TestCom Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
2000	J	`jnl`	Validation of the GSM-map protocol. Ann. des Télécommunications Ana R. Cavalli, Melania Ionescu
1999	—	`conf`	A GSM-MAP Protocol Experiment Using Passive Testing. World Congress on Formal Methods Marine Tabourier, Ana R. Cavalli, Melania Ionescu
1999	J	`jnl`	Advanced Topics on SDL and MSC. Comput. Networks Ana R. Cavalli
1999	A*	`conf`	An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. ASE Cédric Besse, Ana R. Cavalli, David Lee
1999	—	`conf`	Different Approaches to Protocol and Service Testing. IWTCS Ana R. Cavalli
1999	—	`conf`	Generating Test Cases for a Timed I/O Automaton Model. IWTCS Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli
1999	C	`conf`	Hit-or-Jump: An algorithm for embedded testing with applications to IN services. FORTE Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi
1999	J	`jnl`	Passive testing and application to the GSM-MAP protocol. Inf. Softw. Technol. Marine Tabourier, Ana R. Cavalli
1999	—	`conf`	Test Suite Minimization for Embedded Nondeterministic Finite State Machines. IWTCS Nina Yevtushenko, Ana R. Cavalli, Ricardo Anido
1998	C	`conf`	Application of Embedded Testing Methods to Service Validation. ICFEM Luiz A. Paula Lima Jr., Ana R. Cavalli
1998	C	`ed.`	Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France FORTE Stanislaw Budkowski, Ana R. Cavalli, Elie Najm
1998	—	`conf`	Test Suite Minimization for Testing in Context. IWTCS Nina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr.
1997	—	`ed.`	SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings SDL Forum Ana R. Cavalli, Amardeo Sarma
1997	—	`conf`	Test generation for the SSCOP-ATM networks protocol. SDL Forum Ana R. Cavalli, Boo-Ho Lee, Toma Macavei
1996	J	`jnl`	Standardization of Formal Methods in Conformance Testing of Communication Protocols. Comput. Networks ISDN Syst. Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou
1996	J	`jnl`	Testing Methods for SDL Systems. Comput. Networks ISDN Syst. Ana R. Cavalli, Byoung-Moon Chin, Kilnam Chon
1994	A*	`conf`	A Compositional Verification Method for LOTOS. PODC Hacène Fouchal, Ana R. Cavalli
1994	C	`conf`	A modal based verification for LOTOS. FORTE Hacène Fouchal, Ana R. Cavalli
1993	—	`conf`	Formal Methods for Conformance Testing: Results and Perspectives. Protocol Test Systems Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou
1993	C	`conf`	Improving Conformance Testing for LOTOS. FORTE Ana R. Cavalli, Sung Un Kim, Patrick Maigron
1992	—	`conf`	Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. Protocol Test Systems Ana R. Cavalli, Patrick Maigron, Sung Un Kim
1991	—	`conf`	Protocol Conformance Test Generation Using a Graph Rewriting System. Protocol Test Systems Ana R. Cavalli, Sung Un Kim
1988	J	`jnl`	Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin. Distributed Comput. Ana R. Cavalli, Etienne Paul
1987	—	`conf`	Proof of Specification Properties by Using Finite State Machines and Temporal Logic. PSTV Ana R. Cavalli, François Horn
1984	A	`conf`	A Decision Method for Linear Temporal Logic. CADE Ana R. Cavalli, Luis Fariñas del Cerro
1984	J	`jnl`	A method of automatic proof for the specification and verification of protocols. Comput. Commun. Rev. Ana R. Cavalli
1984	—	`conf`	Specification and Verification of Networks Protocols Using. Symposium on Programming Ana R. Cavalli, Luis Fariñas del Cerro
1984	—	`conf`	Temporal Logic Specification of a Virtual Ring LAN Access Protocol. PSTV Daniel Schwabe, Ana R. Cavalli