9 citations · 21 across the 15 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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
Mandate-driven Networking Eco-system: A Paradigm Shift in End-to-End Communications
Ingrid Moerman, Djamal Zeghlache, Adnan Shahid +7
The wireless industry is driven by key stakeholders that follow a holistic approach of "one-system-fits-all" that leads to moving network functionality of meeting stringent E2E com…