Nicolas Schnepf

12 papers A 1B 7Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Vulnerability-Aware Secure Service Deployment in Cloud-Edge Continuum.
IEEE Trans. Netw. Serv. Manag.
Ruslan Bondaruc, Nicolas Schnepf, Rémi Badonnel, Claudio A. Ardagna, Marco Anisetti
2025 B conf
Eagle: Vulnerability and Congestion Aware Software Update Synthesis in Softwarized Networks with a 5G Network Case Study.
NOMS
Nicolas Schnepf, Remi Badonnel, Damien Saucez, Stefan Schmid, Jirí Srba
2025 B conf
Enhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services.
NetSoft
Mohamed Oulaaffart, Rémi Badonnel, Nicolas Schnepf, Christophe Bianco
2022 A conf
The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures.
DSN
Pieter J. L. Cuijpers, Stefan Schmid, Nicolas Schnepf, Jirí Srba
2021 — conf
Resilient Capacity-Aware Routing.
TACAS (1)
Stefan Schmid, Nicolas Schnepf, Jirí Srba
2019 B conf
A Tool Suite for the Automated Synthesis of Security Function Chains.
IM
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
2019 B conf
Automated Factorization of Security Chains in Software-Defined Networks.
IM
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
2019 — —
Orchestration et vérification de fonctions de sécurité pour des environnements intelligents. (Orchestration and verification of security functions for smart devices).
Nicolas Schnepf
2018 B conf
Generation of SDN policies for protecting android environments based on automata learning.
NOMS
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
2018 J jnl
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
2018 B conf
Synaptic: A formal checker for SDN-based security policies.
NOMS
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
2017 B conf
Automated verification of security chains in software-defined networks with synaptic.
NetSoft
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz