| 2025 | NetSoft | Enhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services. | Mohamed Oulaaffart, Rmi Badonnel, Nicolas Schnepf, Christophe Bianco |
| 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 | DSN | The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures. | Pieter J. L. Cuijpers, Stefan Schmid, Nicolas Schnepf, Jir Srba |
| 2021 | TACAS | Resilient Capacity-Aware Routing. | Stefan Schmid, Nicolas Schnepf, Jir Srba |
| 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 | 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 |