Nicolas Schnepf

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 8

Top Topics

Spiking Neural Networks

Security Policies

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Pieter Cuijpers, Stefan Schmid, Nicolas Schnepf, Jirí Srba
The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures. DSN (2022)
Stefan Schmid, Nicolas Schnepf, Jirí Srba
Resilient Capacity-Aware Routing. TACAS (1) (2021)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
A Tool Suite for the Automated Synthesis of Security Function Chains. IM (2019)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Automated Factorization of Security Chains in Software-Defined Networks. IM (2019)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Synaptic: A formal checker for SDN-based security policies. NOMS (2018)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Generation of SDN policies for protecting android environments based on automata learning. NOMS (2018)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Automated verification of security chains in software-defined networks with synaptic. NetSoft (2017)