9 citations · 31 across the 19 of their papers we have counts for
6 papers · 1 filter
Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
Georgiana Caltais, Cinzia Di Giusto
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…
Tracer: A Tool for Race Detection in Software Defined Network Models
Georgiana Caltais, Mahboobeh Zangiabady, Ervin Zvirbulis
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 cont…
Counterfactual Causality in Networks
Georgiana Caltais, Can Olmezoglu
In this abstract we propose a framework for explaining violations of safety properties in Software Defined Networks, using counterfactual causal reasoning.
Explaining Safety Failures in NetKAT
Georgiana Caltais, Hunkar Can Tunc
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 netwo…
Explaining SDN Failures via Axiomatisations
Georgiana Caltais
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 netwo…
Causality for General LTL-definable Properties
Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue
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 propos…