Zobrazeno 1 - 10
of 47
pro vyhledávání: '"Caltais, Georgiana"'
Autor:
Caltais, Georgiana, Di Giusto, Cinzia
Publikováno v:
EPTCS 412, 2024
This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational Semantics, which was held in Calgary, Canada, as an affiliated worksho
Externí odkaz:
http://arxiv.org/abs/2411.13318
Publikováno v:
EPTCS 410, 2024, pp. 84-98
Software Defined Networking (SDN) has become a new paradigm in computer networking, introducing a decoupled architecture that separates the network into the data plane and the control plane. The control plane acts as the centralized brain, managing c
Externí odkaz:
http://arxiv.org/abs/2410.23763
Publikováno v:
EPTCS 387, 2023
This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an affiliated worksh
Externí odkaz:
http://arxiv.org/abs/2309.05788
Autor:
Caltais, Georgiana, Olmezoglu, Can
In this abstract we propose a framework for explaining violations of safety properties in Software Defined Networks, using counterfactual causal reasoning.
Externí odkaz:
http://arxiv.org/abs/2211.00758
Autor:
Caltais, Georgiana, Tunc, Hunkar Can
This work introduces a concept of explanations with respect to the violation of safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is a network programming language based on a well-studied mathematical structure
Externí odkaz:
http://arxiv.org/abs/2102.12448
We introduce a formal language for specifying dynamic updates for Software Defined Networks. Our language builds upon Network Kleene Algebra with Tests (NetKAT) and adds constructs for synchronisations and multi-packet behaviour to capture the intera
Externí odkaz:
http://arxiv.org/abs/2102.10035
Autor:
Caltais, Georgiana, Krivine, Jean
Publikováno v:
EPTCS 308, 2019
The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in 5 invited speakers and 4 regular papers, whose selection was based on
Externí odkaz:
http://arxiv.org/abs/1910.13641
Autor:
Caltais, Georgiana
Publikováno v:
EPTCS 303, 2019, pp. 48-60
This work introduces a concept of explanations with respect to the violation of safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is a network programming language that is based on a well-studied mathematical s
Externí odkaz:
http://arxiv.org/abs/1909.01745
Publikováno v:
EPTCS 286, 2019, pp. 1-15
In this paper we provide a notion of causality for the violation of general Linear Temporal Logic (LTL) properties. The current work is a natural extension of the previously proposed approach handling causality in the context of LTL-definable safety
Externí odkaz:
http://arxiv.org/abs/1901.00588