Showing cs.SEShow all
2 papers · 1 filter
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…