( en | de | ru )

 

Disambiguation of "Petersen, Erick"

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.

Sandra Erickson

Susan J Erickson

Erick Stoll

Erick Stattner

Erick Tuiran

 

Other publications of authors with the same name

DockSDN: A Hybrid Container-Based SDN Emulation Tool., and . LATINCOM, page 1-6. IEEE, (2020)Dynamic Link Network Emulation: A Model-based Design., , , , and . ENASE, page 536-543. SCITEPRESS, (2022)An online learning based approach for CEP rule generation., , and . LATINCOM, page 1-6. IEEE, (2016)On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators., , , , and . CoRR, (2020)DockSDN: A hybrid container-based software-defined networking emulation tool., and . Int. J. Netw. Manag., (2022)On using Cellular Automata for Modeling the Evolution of Dynamic-Link Network Parameters., , , , and . NCA, page 297-301. IEEE, (2022)On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress)., , , , and . NCA, page 1-3. IEEE, (2020)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)An Unsupervised Rule Generation Approach for Online Complex Event Processing., , , and . NCA, page 1-8. IEEE, (2018)A novel online CEP learning engine for MANET IDS., , and . LATINCOM, page 1-6. IEEE, (2017)