( en | de | ru )

 

Disambiguation of "Poletti, Claude"

Author of the publication

copydeleteadd this publication to your clipboard
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators.

, , , , and . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elisabeth Poletti

Anna Poletti

Julius Poletti

Claude Louis

Claude Krier

 

Other publications of authors with the same name

Dynamic Link Network Emulation: A Model-based Design., , , , and . ENASE, page 536-543. SCITEPRESS, (2022)Priority Flow Admission and Routing in SDN: Exact and Heuristic Approaches., , , and . NCA, page 1-10. IEEE, (2020)On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators., , , , and . CoRR, (2020)Software defined networking flow admission and routing under minimal security constraints., , , and . CoRR, (2023)Short-Term Flow-Based Bandwidth Forecasting using Machine Learning., , , and . CoRR, (2020)On using Cellular Automata for Modeling the Evolution of Dynamic-Link Network Parameters., , , , and . NCA, page 297-301. IEEE, (2022)Satellite Communication Digital Twin for Evaluating Novel Solutions: Dynamic Link Emulation Architecture., , , , and . CoRR, (2021)WIP: Short-Term Flow-Based Bandwidth Forecasting using Machine Learning., , , and . WOWMOM, page 260-263. IEEE, (2021)On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress)., , , , and . NCA, page 1-3. IEEE, (2020)Toward Formal Data Set Verification for Building Effective Machine Learning Models., , and . KDIR, page 249-256. SCITEPRESS, (2021)