| 2024 | FedCSIS | Smart Assistants for Enhancing System Security and Resilience. | Andrey Sadovykh, Dragos Truscan, Martin A. Schneider, Wissam Mallouli, Ana R. Cavalli, Cristina Seceleanu, Tanwir Ahmad |
| 2024 | ICSoft | Diagnosis Automation Using Similarity Analysis: Application to Industrial Systems. | Ivan Orefice, Wissam Mallouli, Ana R. Cavalli, Filip Sebek, Alberto Lizarduy |
| 2023 | CloudCom | Towards Smarter Security Orchestration and Automatic Response for CPS and IoT. | Phu Hong Nguyen, Rustem Dautov, Hui Song, Angel Rego, Eider Iturbe, Erkuden Rios, Diego Sagasti, Gonzalo Nicolas, Valeria Valds, Wissam Mallouli, Ana R. Cavalli, Nicolas Ferry |
| 2022 | ICST | 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 | QUATIC | Digital Twin for IoT Environments: A Testing and Simulation Tool. | Luong Nguyen, Mariana Segovia, Wissam Mallouli, Edgardo Montes de Oca, Ana R. Cavalli |
| 2022 | SECRYPT | Switched-based Control Testbed to Assure Cyber-physical Resilience by Design. | Mariana Segovia, Jose Rubio-Hernan, Ana R. Cavalli, Joaqun Garca-Alfaro |
| 2021 | ICSoft | A Framework for Security Monitoring of Real IoT Testbeds. | Vinh Hoa La, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli |
| 2020 | NCA | Cyber-Resilience Evaluation of Cyber-Physical Systems. | Mariana Segovia, Jose Rubio-Hernan, Ana R. Cavalli, Joaqun Garca-Alfaro |
| 2019 | ICSoft | Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. | Raba Ameur-Boulifa, Ana R. Cavalli, Stephane Maag |
| 2019 | ICSoft | From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. | Raba Ameur-Boulifa, Ana R. Cavalli, Stephane Maag |
| 2019 | ICSoft | A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO. | Thierno Birahime Sambe, Stephane Maag, Ana R. Cavalli |
| 2018 | ICSoft | Smart Measurements and Analysis for Software Quality Enhancement. | Sarah A. Dahab, Stephane Maag, Wissam Mallouli, Ana R. Cavalli |
| 2017 | AINA | Model-Based Attack Tolerance. | Georges Ouffoue, Fatiha Zadi, Ana R. Cavalli, Mounir Lallali |
| 2017 | CRiSIS | A Study of Threat Detection Systems and Techniques in the Cloud. | Pamela Carvallo, Ana R. Cavalli, Natalia Kushik |
| 2017 | GPC | Multi-cloud Applications Security Monitoring. | Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli, Erkuden Rios |
| 2017 | ICSoft | Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. | Pamela Carvallo, Ana R. Cavalli, Natalia Kushik |
| 2017 | ICWS | How Web Services Can Be Tolerant to Intruders through Diversification. | Georges Ouffoue, Fatiha Zadi, Ana R. Cavalli, Mounir Lallali |
| 2016 | AINA | Network Monitoring Using MMT: An Application Based on the User-Agent Field in HTTP Headers. | Vinh Hoa La, Raul A. Fuentes-Samaniego, Ana R. Cavalli |
| 2016 | AINA | QoE-Driven Service Optimization Aware of the Business Model. | Diego Rivera, Ana R. Cavalli |
| 2016 | APCC | A novel monitoring solution for 6LoWPAN-based Wireless Sensor Networks. | Vinh Hoa La, Raul Fuentes, Ana R. Cavalli |
| 2016 | CRiSIS | A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory. | Rui Abreu, Csar Andrs, Ana R. Cavalli |
| 2016 | ICSoft | An Implementation of a QoE Evaluation Technique Including Business Model Parameters. | Diego Rivera, Ana R. Cavalli, Natalia Kushik, Wissam Mallouli |
| 2016 | NOMS | Opportunistic media sharing for mobile networks. | Jorge Visca, Raul Fuentes, Ana R. Cavalli, Javier Baliosian |
| 2016 | QRS | Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. | Natalia Kushik, Jorge Lpez, Ana R. Cavalli, Nina Yevtushenko |
| 2016 | SEKE | Effectively Testing of Timed Composite Systems using Test Case Prioritization. | Huu Nghia Nguyen, Fatiha Zadi, Ana R. Cavalli |
| 2016 | WiMob | Path sampling, a robust alternative to gossiping for opportunistic network routing. | Jorge Visca, Javier Baliosian, Raul A. Fuentes-Samaniego, Ana R. Cavalli |
| 2015 | AINA | Process Mining for Trust Monitoring. | Jorge Lpez, Stephane Maag, Cecilia Saint-Pierre, Javier Bustos-Jimnez, Ana R. Cavalli |
| 2015 | ICWS | QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. | Diego Rivera, Natalia Kushik, Camila Fuenzalida, Ana R. Cavalli, Nina Yevtushenko |
| 2015 | NSS | An Abstraction for the Interoperability Analysis of Security Policies. | Javier Baliosian, Ana R. Cavalli |
| 2014 | AINA | QoE Estimation for Web Service Selection Using a Fuzzy-Rough Hybrid Expert System. | Jeevan Pokhrel, Felipe Lalanne, Ana R. Cavalli, Wissam Mallouli |
| 2014 | APSEC | A Framework for Distributed Testing of Timed Composite Systems. | Huu Nghia Nguyen, Fatiha Zadi, Ana R. Cavalli |
| 2014 | CRiSIS | ISER: A Platform for Security Interoperability of Multi-source Systems. | Khalifa Toumi, Fabien Autrel, Ana R. Cavalli, Sammy Haddad |
| 2014 | ICST | On Modeling and Testing Security Properties of Vehicular Networks. | Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli |
| 2014 | NSS | How to Evaluate Trust Using MMT. | Khalifa Toumi, Wissam Mallouli, Edgardo Montes de Oca, Csar Andrs, Ana R. Cavalli |
| 2014 | QUATIC | On Testing against Partial Non-observable Specifications. | Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli |
| 2014 | SEKE | Testing Network Protocols: formally, at runtime and online. | Xiaoping Che, Stphane Maag, Jorge Lpez, Ana R. Cavalli |
| 2014 | SEKE | Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System. | Huu Nghia Nguyen, Ana R. Cavalli |
| 2014 | WEBIST | Evaluating Web Service QoE by Learning Logic Networks. | Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel |
| 2013 | AINA | An Effective Attack Detection Approach in Wireless Mesh Networks. | Felipe Barbosa Abreu, Anderson Nunes Paiva Morais, Ana R. Cavalli, Bachar Wehbi, Edgardo Montes de Oca |
| 2013 | COMPSAC | Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study. | Pramila Mouttappa, Stephane Maag, Ana R. Cavalli |
| 2013 | HPCC | Security Properties in Virtual Organizations. | Khalifa Toumi, Csar Andrs, Ana R. Cavalli |
| 2013 | ICWS | Evaluating Quality of Web Services: A Short Survey. | Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko |
| 2012 | CRiSIS | A vector based model approach for defining trust in Multi-Organization Environments. | Khalifa Toumi, Csar Andrs, Ana R. Cavalli, Mazen El Maarabani |
| 2012 | ICISS | Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. | Khalifa Toumi, Csar Andrs, Ana R. Cavalli |
| 2012 | SAC | A distributed intrusion detection scheme for wireless ad hoc networks. | Anderson Nunes Paiva Morais, Ana R. Cavalli |
| 2012 | SEKE | Testing Interoperability Security Policies. | Mazen El Maarabani, Csar Andrs, Ana R. Cavalli |
| 2011 | AINA | Route Manipulation Attack in Wireless Mesh Networks. | Anderson Nunes Paiva Morais, Ana R. Cavalli |
| 2011 | ESORICS | Using Requirements Engineering in an Automatic Security Policy Derivation Process. | Mariem Graa, Nora Cuppens-Boulahia, Fabien Autrel, Hanieh Azkia, Frdric Cuppens, Gouenou Coatrieux, Ana R. Cavalli, Amel Mammar |
| 2011 | SIN | A model-based attack injection approach for security validation. | Anderson Nunes Paiva Morais, Ana R. Cavalli, Eliane Martins |
| 2010 | ICWS | WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. | Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sbastien Salva, Fatiha Zadi |
| 2010 | ICWS | Timed Extended Invariants for the Passive Testing of Web Services. | Gerardo Morales, Stphane Maag, Ana R. Cavalli, Wissam Mallouli, Edgardo Montes de Oca, Bachar Wehbi |
| 2010 | QUATIC | A Formal Passive Testing Approach for Checking Real Time Constraints. | Fayal Bessayah, Ana R. Cavalli |
| 2010 | WCNC | Transmit and Reserve (TAR): A Coordinated Channel Access for IEEE 802.11 Networks. | Bachar Wehbi, Anis Laouiti, Ana R. Cavalli |
| 2010 | SEFM | Testing Web Service Orchestrators in Context: A Symbolic Approach. | Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli |
| 2009 | APSEC | Analysis of the OLSR Protocol by Using Formal Passive Testing. | Csar Andrs, Stphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Nez |
| 2009 | APSEC | A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. | Wissam Mallouli, Amel Mammar, Ana R. Cavalli |
| 2009 | FORTE | Modeling, Validation, and Verification of PCEP Using the IF Language. | Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchre |
| 2009 | ICFEM | A Statistical Approach to Test Stochastic and Probabilistic Systems. | Mercedes G. Merayo, Iksoon Hwang, Manuel Nez, Ana R. Cavalli |
| 2009 | PERCOM | A Formal Passive Testing Approach to test a MANET Routing Protocol. | Ana R. Cavalli, Stphane Maag, Edgardo Montes de Oca, Fatiha Zadi |
| 2009 | SAC | A passive conformance testing approach for a MANET routing protocol. | Ana R. Cavalli, Stphane Maag, Edgardo Montes de Oca |
| 2009 | SAC | Network protocol interoperability testing based on contextual signatures and passive testing. | Fatiha Zadi, Emmanuel Bayse, Ana R. Cavalli |
| 2009 | TridentCom | Interoperability testing of presence service on IMS platform. | Mazen El Maarabani, Asma Adala, Iksoon Hwang, Ana R. Cavalli |
| 2008 | GLOBECOM | Security Rules Specification and Analysis Based on Passive Testing. | Wissam Mallouli, Fayal Bessayah, Ana R. Cavalli, Azzedine Benameur |
| 2008 | ICST | Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. | Ana R. Cavalli, Eliane Martins, Anderson Nunes Paiva Morais |
| 2008 | ICST | Testing Security Policies for Web Applications. | Wissam Mallouli, Gerardo Morales, Ana R. Cavalli |
| 2008 | PIMRC | Efficient time synchronization mechanism for wireless multi hop networks. | Bachar Wehbi, Anis Laouiti, Ana R. Cavalli |
| 2007 | FORTE | Specification of Timed EFSM Fault Models in SDL. | Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. mit Uyar |
| 2007 | RTCSA | Towards an Automated Test Generation with Delayed Transitions for Timed Systems. | Elisangela Rodrigues Vieira, Ana R. Cavalli |
| 2007 | SACMAT | A formal approach for testing security rules. | Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frdric Cuppens |
| 2006 | MDM | A Security Model for OLSR MANET Protocol. | Jean-Marie Orset, Ana R. Cavalli |
| 2006 | MDM | Light Client Management Protocol for Wireless Mesh Networks. | Bachar Wehbi, Wissam Mallouli, Ana R. Cavalli |
| 2005 | ATVA | An EFSM-Based Intrusion Detection System for Ad Hoc Networks. | Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli |
| 2005 | SEFM | Experimental Evaluation of FSM-Based Testing Methods. | Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli |
| 2004 | FORTE | Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. | Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee |
| 2004 | SAC | Automated test scenarios generation for an e-barter system. | Ana R. Cavalli, Stphane Maag |
| 2002 | ICFEM | A New Algorithm for Service Interaction Detection. | Ana R. Cavalli, Stphane Maag |
| 2001 | ISCC | A Service-Component Testing Method and a Suitable CORBA Architecture. | Ana R. Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zadi |
| 1999 | FM | A GSM-MAP Protocol Experiment Using Passive Testing. | Marine Tabourier, Ana R. Cavalli, Melania Ionescu |
| 1999 | FORTE | Hit-or-Jump: An algorithm for embedded testing with applications to IN services. | Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zadi |
| 1998 | ICFEM | Application of Embedded Testing Methods to Service Validation. | Luiz A. Paula Lima Jr., Ana R. Cavalli |
| 1994 | FORTE | A modal based verification for LOTOS. | Hacne Fouchal, Ana R. Cavalli |
| 1994 | PODC | A Compositional Verification Method for LOTOS. | Hacne Fouchal, Ana R. Cavalli |
| 1993 | FORTE | Improving Conformance Testing for LOTOS. | Ana R. Cavalli, Sung Un Kim, Patrick Maigron |
| 1984 | CADE | A Decision Method for Linear Temporal Logic. | Ana R. Cavalli, Luis Farias del Cerro |