English
Related papers

Related papers: Towards Model Checking Real-World Software-Defined…

200 papers

The evolution of software defined networking (SDN) has played a significant role in the development of next-generation networks (NGN). SDN as a programmable network having service provisioning on the fly has induced a keen interest both in…

Networking and Internet Architecture · Computer Science 2020-01-29 Sanjeev Singh , Rakesh Kumar Jha

Software Defined Networking (SDN) offers flexibility to program a network based on a set of network requirements. Programming the networks using SDN is not completely straightforward because a programmer must deal with low level details. To…

Networking and Internet Architecture · Computer Science 2018-07-09 Douglas Comer , Adib Rastegarnia

Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns about their reliability have been raised due to their…

Machine Learning · Computer Science 2021-09-17 Luiz Sena , Xidan Song , Erickson Alves , Iury Bessa , Edoardo Manino , Lucas Cordeiro , Eddie de Lima Filho

Recently, edge computing has emerged as a promising paradigm to support mobile access in IoT multinetworks. However, coexistence of heterogeneous wireless communication schemes brings about new challenges to the mobility management and…

Networking and Internet Architecture · Computer Science 2021-04-07 Di Wu , Xiang Nie , Hanhui Deng , Zhijin Qin

Software-Defined Networking (SDN) is an emerging paradigm that promises to change this state of affairs, by breaking vertical integration, separating the network's control logic from the underlying routers and switches, promoting (logical)…

Networking and Internet Architecture · Computer Science 2014-10-09 Diego Kreutz , Fernando M. V. Ramos , Paulo Verissimo , Christian Esteve Rothenberg , Siamak Azodolmolky , Steve Uhlig

The (logically) centralised architecture of the software-defined networks makes them an easy target for packet injection attacks. In these attacks, the attacker injects malicious packets into the SDN network to affect the services and…

Cryptography and Security · Computer Science 2023-01-23 Anh Tuan Phu , Bo Li , Faheem Ullah , Tanvir Ul Huque , Ranesh Naha , Ali Babar , Hung Nguyen

One of the key advantages of Software-Defined Networks (SDN) is the opportunity to integrate traffic engineering modules able to optimize network configuration according to traffic. Ideally, network should be dynamically reconfigured as…

Networking and Internet Architecture · Computer Science 2020-11-26 Davide Sanvito , Ilario Filippini , Antonio Capone , Stefano Paris , Jeremie Leguay

Software-Defined Networks have seen an increasing in their deployment because they offer better network manageability compared to traditional networks. Despite their immense success and popularity, various security issues in SDN remain open…

Networking and Internet Architecture · Computer Science 2017-11-30 Bilal Karim Mughal , Sufian Hameed , Ghulam Muhammad Shaikh

The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of wireless NCS, because of their architectural flexibility and…

Optimization and Control · Mathematics 2016-11-22 Majid Zamani , Manuel Mazo , Mahmoud Khaled , Alessandro Abate

This paper addresses the emulation-based observer design for networked control systems (NCS) with linear plants that operate at two time scales in the presence of measurement noise. The system is formulated as a hybrid singularly perturbed…

Systems and Control · Electrical Eng. & Systems 2025-12-09 Weixuan Wang , Alejandro I. Maass , Dragan Nešić , Ying Tan , Romain Postoyan , W. P. M. H. Heemels

Signature-based Intrusion Detection Systems (SIDSs) are traditionally used to detect malicious activity in networks. A notable example of such a system is Snort, which compares network traffic against a series of rules that match known…

Cryptography and Security · Computer Science 2024-02-16 Ryan Guide , Eric Pauley , Yohan Beugin , Ryan Sheatsley , Patrick McDaniel

Computer networks have become a critical infrastructure. In fact, networks should not only meet strict requirements in terms of correctness, availability, and performance, but they should also be very flexible and support fast updates,…

Networking and Internet Architecture · Computer Science 2019-03-27 Klaus-Tycho Foerster , Stefan Schmid , Stefano Vissicchio

The variety of existing cloud services creates a challenge for service providers to enforce reasonable Software Level Agreements (SLA) stating the Quality of Service (QoS) and penalties in case QoS is not achieved. To avoid such penalties…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-02-20 Rajkumar Buyya , Rodrigo N. Calheiros , Jungmin Son , Amir Vahid Dastjerdi , Young Yoon

The possibility of programming the control and data planes, enabled by the Software-Defined Networking (SDN) paradigm, represents a fertile ground on top of which novel operation and management mechanisms can be fully explored, being…

Networking and Internet Architecture · Computer Science 2020-09-24 Sebastián Gómez Macías , Luciano Paschoal Gaspary , Juan Felipe Botero

Coflow provides a key application-layer abstraction for capturing communication patterns, enabling the efficient coordination of parallel data flows to reduce job completion times in distributed systems. Modern data center networks (DCNs)…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-10 Xin Wang , Hong Shen , Hui Tian , Dong Wang

This letter proposes a deep neural network (DNN)-based neuro-adaptive sliding mode control (SMC) strategy for leader-follower tracking in multi-agent systems with higher-order, heterogeneous, nonlinear, and unknown dynamics under external…

Systems and Control · Electrical Eng. & Systems 2025-07-30 Khushal Chaudhari , Krishanu Nath , Manas Kumar Bera

SDN-enabled Integrated satellite-terrestrial networks (ISTNs), can provide several advantages including global seamless coverage, high reliability, low latency, etc. and can be a key enabler towards next generation networks. To deal with…

Networking and Internet Architecture · Computer Science 2021-08-23 Nariman Torkzaban , John S. Baras

Model predictive control (MPC) achieves stability and constraint satisfaction for general nonlinear systems, but requires computationally expensive online optimization. This paper studies approximations of such MPC controllers via neural…

Systems and Control · Electrical Eng. & Systems 2025-11-07 Henrik Hose , Johannes Köhler , Melanie N. Zeilinger , Sebastian Trimpe

Developers often spend much effort and resources to debug a program. To help the developers debug, numerous information retrieval (IR)-based and spectrum-based bug localization techniques have been devised. IR-based techniques process…

Information Retrieval · Computer Science 2018-07-27 Thong Hoang , Richard J. Oentaryo , Tien-Duy B. Le , David Lo

Distributed Denial of Service attacks have become a significant threat to industries and governments leading to substantial financial losses. With the growing reliance on internet services, DDoS attacks can disrupt services by overwhelming…

Machine Learning · Computer Science 2025-01-27 Debashis Kar Suvra