5 citations · 5 across the 4 of their papers we have counts for
7 papers
Toward Formal Data Set Verification for Building Effective Machine Learning Models
Jorge López, Maxime Labonne, Claude Poletti
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 pro…
Dynamic Link Network Emulation: a Model-based Design
Erick Petersen, Jorge López, Natalia Kushik +2
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…
Short-Term Flow-Based Bandwidth Forecasting using Machine Learning
Maxime Labonne, Jorge López, Claude Poletti +1
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 betwe…
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators
Erick Petersen, Jorge López, Natalia Kushik +2
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 fi…
Priority Flow Admission and Routing in SDN: Exact and Heuristic Approaches
Jorge López, Maxime Labonne, Claude Poletti +1
This paper proposes a novel admission and routing scheme which takes into account arbitrarily assigned priorities for network flows. The presented approach leverages the centralize…
A generalization of Marstrand's theorem
Jorge Erick López, Carlos Gustavo Moreira, Waliston Luiz Silva
In this paper we prove two general results related to Marstrand's projection theorem in a quite general formulation over separable metric spaces under a suitable transversality hyp…