3 papers
cs.SE2021
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…
cs.SE2020
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…
cs.NI2020
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…