Claude Poletti
YOU?
Author Swipe
View article: Software defined networking flow admission and routing under minimal security constraints
Software defined networking flow admission and routing under minimal security constraints Open
In recent years, computer networks and telecommunications in general have been shifting paradigms to adopt software-centric approaches. Software Defined Networking (SDN) is one of such paradigms that centralizes control and intelligent app…
View article: On using Cellular Automata for Modeling the Evolution of Dynamic-Link Network Parameters
On using Cellular Automata for Modeling the Evolution of Dynamic-Link Network Parameters Open
International audience
View article: Dynamic Link Network Emulation: A Model-based Design
Dynamic Link Network Emulation: A Model-based Design Open
This paper presents the design and architecture of a network emulator whose\nlinks' parameters (such as delay and bandwidth) vary at different time\ninstances. The emulator can thus be used in order to test and evaluate novel\nsolutions fo…
View article: Toward Formal Data Set Verification for Building Effective Machine\n Learning Models
Toward Formal Data Set Verification for Building Effective Machine\n Learning Models Open
In order to properly train a machine learning model, data must be properly\ncollected. To guarantee a proper data collection, verifying that the collected\ndata set holds certain properties is a possible solution. For example,\nguaranteein…
View article: Dynamic Link Network Emulation: a Model-based Design
Dynamic Link Network Emulation: a Model-based Design Open
This paper presents the design and architecture of a network emulator whose links' parameters (such as delay and bandwidth) vary at different time instances. The emulator can thus be used in order to test and evaluate novel solutions for s…
View article: Satellite Communication Digital Twin for Evaluating Novel Solutions: Dynamic Link Emulation Architecture
Satellite Communication Digital Twin for Evaluating Novel Solutions: Dynamic Link Emulation Architecture Open
This paper presents the design and architecture of a network emulator whose links' parameters (such as delay and bandwidth) vary at different time instances. The emulator is used as a digital twin for satellite communication systems, in or…
View article: Toward Formal Data Set Verification for Building Effective Machine Learning Models
Toward Formal Data Set Verification for Building Effective Machine Learning Models Open
In order to properly train a machine learning model, data must be properly collected. To guarantee a proper data collection, verifying that the collected data set holds certain properties is a possible solution. For example, guaranteeing t…
View article: Short-Term Flow-Based Bandwidth Forecasting using Machine Learning
Short-Term Flow-Based Bandwidth Forecasting using Machine Learning Open
This paper proposes a novel framework to predict traffic flows' bandwidth ahead of time. Modern network management systems share a common issue: the network situation evolves between the moment the decision is made and the moment when acti…
View article: Priority Flow Admission and Routing in SDN: Exact and Heuristic Approaches
Priority Flow Admission and Routing in SDN: Exact and Heuristic Approaches Open
This paper proposes a novel admission and routing scheme which takes into account arbitrarily assigned priorities for network flows. The presented approach leverages the centralized Software Defined Networking (SDN) capabilities in order t…
View article: On using SMT-solvers for Modeling and Verifying Dynamic Network\n Emulators
On using SMT-solvers for Modeling and Verifying Dynamic Network\n Emulators Open
A novel model-based approach to verify dynamic networks is proposed; the\napproach consists in formally describing the network topology and dynamic link\nparameters. A many sorted first order logic formula is constructed to check the\nmode…
View article: On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators Open
A novel model-based approach to verify dynamic networks is proposed; the approach consists in formally describing the network topology and dynamic link parameters. A many sorted first order logic formula is constructed to check the model w…