| 2025 | NOMS | Eagle: Vulnerability and Congestion Aware Software Update Synthesis in Softwarized Networks with a 5G Network Case Study. | Nicolas Schnepf, Remi Badonnel, Damien Saucez, Stefan Schmid, Jir Srba |
| 2022 | NOMS | An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services. | Mohamed Oulaaffart, Remi Badonnel, Christophe Bianco |
| 2021 | CNSM | An Ensemble Learning-Based Architecture for Security Detection in IoT Infrastructures. | Adrien Hemmer, Mohamed Abderrahim, Remi Badonnel, Isabelle Chrisment |
| 2021 | IM | Towards Automating Security Enhancement for Cloud Services. | Mohamed Oulaaffart, Remi Badonnel, Olivier Festor |
| 2019 | IM | Automated Factorization of Security Chains in Software-Defined Networks. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2019 | IM | A Tool Suite for the Automated Synthesis of Security Function Chains. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2018 | NOMS | Demo: On-the-fly generation of unikernels for software-defined security in cloud infrastructures. | Maxime Compasti, Remi Badonnel, Olivier Festor, Ruan He |
| 2018 | NOMS | Unikernel-based approach for software-defined security in cloud infrastructures. | Maxime Compasti, Remi Badonnel, Olivier Festor, Ruan He, Mohamed Kassi-Lahlou |
| 2018 | NOMS | Synaptic: A formal checker for SDN-based security policies. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2018 | NOMS | Generation of SDN policies for protecting android environments based on automata learning. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2017 | NetSoft | Automated verification of security chains in software-defined networks with synaptic. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2016 | CloudCom | A Software-Defined Security Strategy for Supporting Autonomic Security Enforcement in Distributed Cloud. | Maxime Compasti, Remi Badonnel, Olivier Festor, Ruan He, Mohamed Kassi-Lahlou |
| 2016 | CNSM | Detecting version number attacks in RPL-based networks using a distributed monitoring architecture. | Antha Mayzaud, Remi Badonnel, Isabelle Chrisment |
| 2016 | NOMS | Using the RPL protocol for supporting passive monitoring in the Internet of Things. | Antha Mayzaud, Anuj Sehgal, Remi Badonnel, Isabelle Chrisment, Jrgen Schnwlder |
| 2015 | CNSM | Behavioral and dynamic security functions chaining for Android devices. | Gaetan Hurel, Remi Badonnel, Abdelkader Lahmadi, Olivier Festor |
| 2015 | IJCAI | Machine-assisted Cyber Threat Analysis Using Conceptual Knowledge Discovery. | Martn Barrre, Gustavo Betarte, Vctor Codocedo, Marcelo Rodrguez, Hernn Astudillo, Marcelo Aliquintuy, Javier Baliosian, Remi Badonnel, Olivier Festor, Carlos Raniery Paula dos Santos, Jferson Campos Nobre, Lisandro Zambenedetti Granville, Amedeo Napoli |
| 2015 | IM | Towards cloud-based compositions of security functions for mobile devices. | Gaetan Hurel, Remi Badonnel, Abdelkader Lahmadi, Olivier Festor |
| 2014 | NOMS | A SAT-based autonomous strategy for security vulnerability management. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2013 | CNSM | A probabilistic cost-efficient approach for mobile security assessment. | Martn Barrre, Gaetan Hurel, Remi Badonnel, Olivier Festor |
| 2013 | IM | Improving present security through the detection of past hidden vulnerable states. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2013 | IM | Ovaldroid: An OVAL-based vulnerability assessment framework for Android. | Martn Barrre, Gaetan Hurel, Remi Badonnel, Olivier Festor |
| 2012 | CNSM | Collaborative remediation of configuration vulnerabilities in autonomic networks and systems. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2012 | NOMS | Towards the assessment of distributed vulnerabilities in autonomic networks and systems. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2012 | NOMS | Dynamic exposure control in P2PSIP networks. | Oussema Dabbebi, Remi Badonnel, Olivier Festor |
| 2011 | CNSM | Supporting vulnerability awareness in autonomic networks and systems with OVAL. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2011 | IM | A broad-spectrum strategy for runtime risk management in VoIP enterprise architectures. | Oussema Dabbebi, Remi Badonnel, Olivier Festor |
| 2010 | CNSM | Risk management in VoIP infrastructures using support vector machines. | Mohamed Nassar, Oussema Dabbebi, Remi Badonnel, Olivier Festor |
| 2010 | NOMS | Automated runtime risk management for voice over IP networks and services. | Oussema Dabbebi, Remi Badonnel, Olivier Festor |
| 2009 | IM | Monitoring and counter-profiling for Voice over IP networks and services. | Remi Badonnel, Olivier Festor, Khaled Hamlaoui |
| 2008 | NOMS | Dynamic pull-based load balancing for autonomic servers. | Remi Badonnel, Mark Burgess |
| 2006 | Networking | Fault Monitoring in Ad-Hoc Networks Based on Information Theory. | Remi Badonnel, Radu State, Olivier Festor |
| 2006 | NOMS | Probabilistic Management of Ad-Hoc Networks. | Remi Badonnel, Radu State, Olivier Festor |
| 2005 | IM | Management of mobile ad-hoc networks: evaluating the network behavior. | Remi Badonnel, Radu State, Olivier Festor |