Distributed Maintenance of a Spanning Tree of k-Connected Graphs
Hamid, Brahim, Rouland, Quentin, Jaskolka, Jason
Published in 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) (01.12.2019)
Published in 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) (01.12.2019)
Get full text
Conference Proceeding
Formalizing the Relationship between Security Policies and Objectives in Software Architectures
Rouland, Quentin, Hamid, Brahim, Bodeveix, Jean-Paul, Jaskolka, Jason
Published in 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C) (01.03.2023)
Published in 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C) (01.03.2023)
Get full text
Conference Proceeding