E-LIB Suche - Ergebnisse für: Schnepf, Nicolas

1

The Hazard Value: A Quantitative Network Connectivity Measu..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),

Cuijpers, Pieter ; Schmid, Stefan ; Schnepf, Nicolas. - p. 239-250 , 2022

Link: https://doi.org/10.1109/..

2

Resilient Capacity-Aware Routing:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Schmid, Stefan ; Schnepf, Nicolas ; Srba, Jiří - p. 411-429 , 2021

Link: https://doi.org/10.1007/..

3

The Hazard Value: A Quantitative Network Connectivity Measu..:

Cuijpers, Pieter ; Schmid, Stefan ; Schnepf, Nicolas.
info:eu-repo/semantics/altIdentifier/doi/10.1109/DSN53405.2022.00034. , 2022

Link: https://inria.hal.scienc..

4

The Hazard Value: A Quantitative Network Connectivity Measu..:

Cuijpers, Pieter ; Schmid, Stefan ; Schnepf, Nicolas.
info:eu-repo/semantics/altIdentifier/doi/10.1109/DSN53405.2022.00034. , 2022

Link: https://inria.hal.scienc..

5

Resilient Capacity-Aware Routing:

Schmid, Stefan ; Schnepf, Nicolas ; Srba, Jiri
https://vbn.aau.dk/da/publications/553484b7-c74e-4244-9d6f-6cbaff1bd4ca. , 2021

Link: https://vbn.aau.dk/da/pu..

6

Resilient Capacity-Aware Routing:

Schmid, Stefan ; Schnepf, Nicolas ; Srba, Jiří
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7979162/. , 2021

Link: http://www.ncbi.nlm.nih...

7

Automated Factorization of Security Chains in Software-Defi..:

Schnepf, Nicolas ; Badonnel, Rémi ; Lahmadi, Abdelkader.
hal-02111656. , 2019

Link: https://hal.inria.fr/hal..

8

Rule-Based Synthesis of Chains of Security Functions for So..:

Schnepf, Nicolas ; Badonnel, Rémi ; Lahmadi, Abdelkader.
info:eu-repo/semantics/altIdentifier/doi/10.14279/tuj.eceasst.76.1075.1042. , 2019

Link: https://hal.inria.fr/hal..

9

Orchestration et vérification de fonctions de sécurité pour..:

Schnepf, Nicolas
http://www.theses.fr/2019LORR0088/document. , 2019

Link: http://www.theses.fr/201..

10

Rule-Based Synthesis of Chains of Security Functions for So..:

Schnepf, Nicolas ; Badonnel, Rémi ; Lahmadi, Abdelkader.
info:eu-repo/semantics/altIdentifier/doi/10.14279/tuj.eceasst.76.1075.1042. , 2019

Link: https://inria.hal.scienc..

11

Automated Factorization of Security Chains in Software-Defi..:

Schnepf, Nicolas ; Badonnel, Rémi ; Lahmadi, Abdelkader.
hal-02111656. , 2019

Link: https://inria.hal.scienc..

12

A Tool Suite for the Automated Synthesis of Security Functi..:

Schnepf, Nicolas ; Badonnel, Rémi ; Lahmadi, Abdelkader.
hal-02111658. , 2019

Link: https://hal.inria.fr/hal..

13

A Tool Suite for the Automated Synthesis of Security Functi..:

Schnepf, Nicolas ; Badonnel, Rémi ; Lahmadi, Abdelkader.
hal-02111658. , 2019

Link: https://inria.hal.scienc..

14

Automated Factorization of Security Chains in Software-Defi..:

Schnepf, Nicolas ; Badonnel, Rémi ; Lahmadi, Abdelkader.
hal-02111656. , 2019

Link: https://inria.hal.scienc..

15

A Tool Suite for the Automated Synthesis of Security Functi..:

Schnepf, Nicolas ; Badonnel, Rémi ; Lahmadi, Abdelkader.
hal-02111658. , 2019

Link: https://inria.hal.scienc..