English
Related papers

Related papers: Model-Based Testing IoT Communication via Active A…

200 papers

With the proliferation of network devices and rapid development in information technology, networks such as Internet of Things are increasing in size and becoming more complex with heterogeneous wired and wireless links. In such networks,…

Networking and Internet Architecture · Computer Science 2019-03-28 Srinikethan Madapuzi Srinivasan , Tram Truong-Huu , Mohan Gurusamy

Model-based reinforcement learning is an effective approach for controlling an unknown system. It is based on a longstanding pipeline familiar to the control community in which one performs experiments on the environment to collect a…

Systems and Control · Electrical Eng. & Systems 2024-08-14 Bruce D. Lee , Ingvar Ziemann , George J. Pappas , Nikolai Matni

Machine learning models are essential tools in various domains, but their performance can degrade over time due to changes in data distribution or other factors. On one hand, detecting and addressing such degradations is crucial for…

Machine Learning · Computer Science 2023-09-28 Florian Heinrichs

With its growing number of deployed devices and applications, the Internet of Things (IoT) raises significant challenges for network maintenance procedures. In this work we address a problem of active fault detection in an IoT scenario,…

Networking and Internet Architecture · Computer Science 2022-02-03 George Stamatakis , Nikolaos Pappas , Alexandros Fragkiadakis , Apostolos Traganitis

Towards realizing an intelligent networked society, enabling low-cost low-energy connectivity for things, also known as Internet of Things (IoT), is of crucial importance. While the existing wireless access networks require centralized…

Signal Processing · Electrical Eng. & Systems 2020-08-05 Amin Azari , Mahmoud Abbasi

The acceptance of Internet of Things (IoT) applications and services has seen an enormous rise of interest in IoT. Organizations have begun to create various IoT based gadgets ranging from small personal devices such as a smart watch to a…

Machine Learning · Computer Science 2021-04-07 Satish Pokhrel , Robert Abbas , Bhulok Aryal

Automata learning is a technique to automatically infer behavioral models of black-box systems. Today's learning algorithms enable the deduction of models that describe complex system properties, e.g., timed or stochastic behavior. Despite…

Formal Languages and Automata Theory · Computer Science 2023-05-25 Andrea Pferscher , Bernhard K. Aichernig

In trigger-action IoT platforms, IoT devices report event conditions to IoT hubs notifying their cyber states and let the hubs invoke actions in other IoT devices based on functional dependencies defined as rules in a rule engine. These…

Cryptography and Security · Computer Science 2024-01-17 Md Morshed Alam , Israt Jahan , Weichao Wang

Models play an essential role in the design process of cyber-physical systems. They form the basis for simulation and analysis and help in identifying design problems as early as possible. However, the construction of models that comprise…

This paper presents the detection of DDoS attacks in IoT networks using machine learning models. Their rapid growth has made them highly susceptible to various forms of cyberattacks, many of whose security procedures are implemented in an…

Cryptography and Security · Computer Science 2024-11-12 Sushil Shakya , Robert Abbas

The proliferation of Internet of Things (IoT) devices has grown exponentially in recent years, introducing significant security challenges. Accurate identification of the types of IoT devices and their associated actions through network…

Cryptography and Security · Computer Science 2025-12-17 Reza Ryan , Napoleon Paciente , Cahil Youngs , Nickson Karie , Qian Li , Nasim Ferdosian

Internet of Things (IoT) systems allow software to directly interact with the physical world. Recent IoT failures can be attributed to recurring software design flaws, suggesting IoT software engineers may not be learning from past…

Software Engineering · Computer Science 2023-03-21 Dharun Anandayuvaraj , Pujita Thulluri , Justin Figueroa , Harshit Shandilya , James C. Davis

Over the last decade, IoT platforms have been developed into a global giant that grabs every aspect of our daily lives by advancing human life with its unaccountable smart services. Because of easy accessibility and fast-growing demand for…

Cryptography and Security · Computer Science 2020-04-14 Syeda Manjia Tahsien , Hadis Karimipour , Petros Spachos

Internet of things (IoT) that integrate a variety of devices into networks to provide advanced and intelligent services have to protect user privacy and address attacks such as spoofing attacks, denial of service attacks, jamming and…

Cryptography and Security · Computer Science 2018-01-22 Liang Xiao , Xiaoyue Wan , Xiaozhen Lu , Yanyong Zhang , Di Wu

When faced with an execution failure, an intelligent robot should be able to identify the likely reasons for the failure and adapt its execution policy accordingly. This paper addresses the question of how to utilise knowledge about the…

Robotics · Computer Science 2021-05-21 Alex Mitrevski , Paul G. Plöger , Gerhard Lakemeyer

Log analysis is a relevant research field in cybersecurity as they can provide a source of information for the detection of threats to networks and systems. This paper presents a pipeline to use fine-tuned Large Language Models (LLMs) for…

Cryptography and Security · Computer Science 2025-07-04 Jorge J. Tejero-Fernández , Alfonso Sánchez-Macián

Botnet detection based on machine learning have witnessed significant leaps in recent years, with the availability of large and reliable datasets that are extracted from real-life scenarios. Consequently, adversarial attacks on machine…

Cryptography and Security · Computer Science 2023-10-03 Mohammed M. Alani , Atefeh Mashatan , Ali Miri

NetKAT is a domain-specific programming language and logic that has been successfully used to specify and verify the behavior of packet-switched networks. This paper develops techniques for automatically learning NetKAT models of unknown…

Programming Languages · Computer Science 2025-05-26 Mark Moeller , Tiago Ferreira , Thomas Lu , Nate Foster , Alexandra Silva

Modern distributed applications are moving toward a microservice architecture, in which each service is developed and managed independently, and new features and updates are delivered continuously. A guiding principle of microservice…

Software Engineering · Computer Science 2019-08-21 Chengxu Cui , Guoquan Wu , Wei Chen , Jiaxing Zhu , Jun Wei

The rapid expansion of the Internet of Things (IoT) and its integration with backbone networks have heightened the risk of security breaches. Traditional centralized approaches to anomaly detection, which require transferring large volumes…

Machine Learning · Computer Science 2026-03-24 Devashish Chaudhary , Sutharshan Rajasegarar , Shiva Raj Pokhrel , Lei Pan , Ruby D