( 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: (Work in Progress).

, , , , and . NCA, page 1-3. IEEE, (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 Krier

Claude Bouvy

 

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)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)Software defined networking flow admission and routing under minimal security constraints., , , and . TrustCom, page 2636-2643. IEEE, (2023)On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress)., , , , and . NCA, page 1-3. IEEE, (2020)WIP: Short-Term Flow-Based Bandwidth Forecasting using Machine Learning., , , and . WOWMOM, page 260-263. IEEE, (2021)Dynamic Link Network Emulation and Validation of Execution Datasets., , , , , and . ENASE (Selected Papers), volume 1829 of Communications in Computer and Information Science, page 116-138. Springer, (2022)Toward Formal Data Set Verification for Building Effective Machine Learning Models., , and . KDIR, page 249-256. SCITEPRESS, (2021)