English
Related papers

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

200 papers

Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper…

Software Engineering · Computer Science 2012-02-29 Bernhard K. Aichernig , Elisabeth Jöbstl

In recent years, there has been a massive increase in the amount of Internet of Things (IoT) devices as well as the data generated by such devices. The participating devices in IoT networks can be problematic due to their…

Existing techniques for training language models can be misaligned with the truth: if we train models with imitation learning, they may reproduce errors that humans make; if we train them to generate text that humans rate highly, they may…

Computation and Language · Computer Science 2024-03-05 Collin Burns , Haotian Ye , Dan Klein , Jacob Steinhardt

One of the major open challenges in self-driving cars is the ability to detect cars and pedestrians to safely navigate in the world. Deep learning-based object detector approaches have enabled great advances in using camera imagery to…

Computer Vision and Pattern Recognition · Computer Science 2018-07-30 Manikandasriram Srinivasan Ramanagopal , Cyrus Anderson , Ram Vasudevan , Matthew Johnson-Roberson

Address Resolution Protocol (ARP) spoofing attacks severely threaten Internet of Things (IoT) networks by allowing attackers to intercept, modify, or block communications. Traditional detection methods are insufficient due to high false…

Cryptography and Security · Computer Science 2025-06-24 Taimoor Ahmad , Anas Ali

We consider the problem of recommending resilient and predictive actions for an IoT network in the presence of faulty components, considering the presence of human operators manipulating the information of the environment the agent sees for…

Machine Learning · Computer Science 2020-06-09 Maria Grammatopoulou , Aris Kanellopoulos , Kyriakos G. ~Vamvoudakis , Nathan Lau

Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately, state-of-the-art techniques leave a crucial and labor intensive task to the test engineer:…

Software Engineering · Computer Science 2022-12-16 Mike Becker , Roland Meyer , Tobias Runge , Ina Schaefer , Sören van der Wall , Sebastian Wolff

Single fault sequential change point problems have become important in modeling for various phenomena in large distributed systems, such as sensor networks. But such systems in many situations present multiple interacting faults. For…

Information Theory · Computer Science 2015-03-17 Ram Rajagopal , XuanLong Nguyen , Sinem Coleri Ergen , Pravin Varaiya

Previous research on behavior-based attack detection for networks of IoT devices has resulted in machine learning models whose ability to adapt to unseen data is limited and often not demonstrated. This paper presents IoTGeM, an approach…

Cryptography and Security · Computer Science 2026-02-24 Kahraman Kostas , Mike Just , Michael A. Lones

We present a model-agnostic federated learning method that mirrors the operation of a smart power grid: diverse local models, like energy prosumers, train independently on their own data while exchanging lightweight signals to coordinate…

Machine Learning · Computer Science 2025-05-30 S. Abdurakhmanova , Y. SarcheshmehPour , A. Jung

Detecting and adapting to catastrophic failures in robotic systems requires a robot to learn its new dynamics quickly and safely to best accomplish its goals. To address this challenging problem, we propose probabilistically-safe, online…

Robotics · Computer Science 2019-12-18 Mariah Schrum , Matthew Gombolay

We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated…

Software Engineering · Computer Science 2014-03-31 Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand

Imitation learning enables autonomous agents to learn from human examples, without the need for a reward signal. Still, if the provided dataset does not encapsulate the task correctly, or when the task is too complex to be modeled, such…

Artificial Intelligence · Computer Science 2024-06-10 Federico Malato , Ville Hautamaki

Device identification is one way to secure a network of IoT devices, whereby devices identified as suspicious can subsequently be isolated from a network. In this study, we present a machine learning-based method, IoTDevID, that recognizes…

Cryptography and Security · Computer Science 2022-07-20 Kahraman Kostas , Mike Just , Michael A. Lones

This paper critically examines the device identification process using machine learning, addressing common pitfalls in existing literature. We analyze the trade-offs between identification methods (unique vs. class based), data…

Cryptography and Security · Computer Science 2026-01-29 Kahraman Kostas , Rabia Yasa Kostas

Many safety failures in machine learning arise when models are used to assign predictions to people (often in settings like lending, hiring, or content moderation) without accounting for how individuals can change their inputs. In this…

Machine Learning · Computer Science 2025-07-04 Seung Hyun Cheon , Meredith Stewart , Bogdan Kulynych , Tsui-Wei Weng , Berk Ustun

IoT platforms, particularly smart home platforms providing significant convenience to people's lives such as Apple HomeKit and Samsung SmartThings, allow users to create automation rules through trigger-action programming. However, some…

Cryptography and Security · Computer Science 2024-11-19 Ye Cheng , Minghui Xu , Yue Zhang , Kun Li , Ruoxi Wang , Lian Yang

The IoT is a network of interconnected everyday objects called things that have been augmented with a small measure of computing capabilities. Lately, the IoT has been affected by a variety of different botnet activities. As botnets have…

Cryptography and Security · Computer Science 2018-03-20 Nickolaos Koroniotis , Nour Moustafa , Elena Sitnikova , Jill Slay

Though many deep learning-based models have made great progress in vulnerability detection, we have no good understanding of these models, which limits the further advancement of model capability, understanding of the mechanism of model…

Software Engineering · Computer Science 2024-08-15 Chao Ni , Liyu Shen , Xiaodan Xu , Xin Yin , Shaohua Wang

Machine learning based system are increasingly being used for sensitive tasks such as security surveillance, guiding autonomous vehicle, taking investment decisions, detecting and blocking network intrusion and malware etc. However, recent…

Artificial Intelligence · Computer Science 2017-07-12 Atul Kumar , Sameep Mehta