English
Related papers

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

200 papers

Imitation learning for robotic tasks has relied primarily on policies trained only on successful demonstrations, although failures are unavoidable during human data collection. Many existing approaches for exploiting failure data require…

Robotics · Computer Science 2026-05-21 Kana Miyamoto , Kanata Suzuki , Tetsuya Ogata

Model-based testing (MBT), whereby a model of the system under test is analyzed to generate high-coverage test cases, has been used to test protocol implementations. A key barrier to the use of MBT is the need for users to understand…

Networking and Internet Architecture · Computer Science 2025-07-17 Rajdeep Mondal , Rathin Singha , Todd Millstein , George Varghese , Ryan Beckett , Siva Kesava Reddy Kakarla

As the internet continues to be populated with new devices and emerging technologies, the attack surface grows exponentially. Technology is shifting towards a profit-driven Internet of Things market where security is an afterthought.…

Agent-based Internet of Things (IoT) applications have recently emerged as applications that can involve sensors, wireless devices, machines and software that can exchange data and be accessed remotely. Such applications have been proposed…

Artificial Intelligence · Computer Science 2019-01-08 Nathalia Nascimento , Paulo Alencar , Carlos Lucena , Donald Cowan

Machine learning has emerged as a promising paradigm for enabling connected, automated vehicles to autonomously cruise the streets and react to unexpected situations. A key challenge, however, is to collect and select real-time and reliable…

Networking and Internet Architecture · Computer Science 2020-02-19 Alaa Awad Abdellatif , Carla Fabiana Chiasserini , Francesco Malandrino

We might hope that when faced with unexpected inputs, well-designed software systems would fire off warnings. Machine learning (ML) systems, however, which depend strongly on properties of their inputs (e.g. the i.i.d. assumption), tend to…

Machine Learning · Statistics 2019-10-29 Stephan Rabanser , Stephan Günnemann , Zachary C. Lipton

Retriever-augmented instruction-following models are attractive alternatives to fine-tuned approaches for information-seeking tasks such as question answering (QA). By simply prepending retrieved documents in its input along with an…

Computation and Language · Computer Science 2024-04-18 Vaibhav Adlakha , Parishad BehnamGhader , Xing Han Lu , Nicholas Meade , Siva Reddy

The Internet of Things (IoT) is becoming an indispensable part of everyday life, enabling a variety of emerging services and applications. However, the presence of rogue IoT devices has exposed the IoT to untold risks with severe…

Cryptography and Security · Computer Science 2021-01-26 Yongxin Liu , Jian Wang , Jianqiang Li , Shuteng Niu , Houbing Song

ML models are increasingly deployed in settings with real world interactions such as vehicles, but unfortunately, these models can fail in systematic ways. To prevent errors, ML engineering teams monitor and continuously improve these…

Artificial Intelligence · Computer Science 2020-03-13 Daniel Kang , Deepti Raghavan , Peter Bailis , Matei Zaharia

The widespread use of Internet-of-Things (IoT) across different application domains leads to an increased concern regarding their dependability, especially as the number of potentially mission-critical systems becomes considerable.…

Software Engineering · Computer Science 2022-03-25 Miguel Duarte , João Pedro Dias , Hugo Sereno Ferreira , André Restivo

Testing of machine learning (ML) models is a known challenge identified by researchers and practitioners alike. Unfortunately, current practice for ML model testing prioritizes testing for model performance, while often neglecting the…

Software Engineering · Computer Science 2024-06-14 Rachel Brower-Sinning , Grace A. Lewis , Sebastían Echeverría , Ipek Ozkaya

Testing network protocol implementations is critical for ensuring the reliability, security, and interoperability of distributed systems. Faults in protocol behavior can lead to vulnerabilities and system failures, especially in real-time…

Cryptography and Security · Computer Science 2025-08-05 Changze Huang , Di Wang , Zhi Quan Zhou

As large language models are deployed as autonomous agents with tool execution privileges, a critical assumption underpins their security architecture: that model errors are detectable at runtime. We present empirical evidence that this…

Artificial Intelligence · Computer Science 2026-03-24 Gregory M. Ruddell

Model-free learning has been considered as an efficient tool for designing control mechanisms when the model of the system environment or the interaction between the decision-making entities is not available as a-priori knowledge. With…

Networking and Internet Architecture · Computer Science 2016-03-10 Wenbo Wang , Andres Kwasinski , Dusit Niyato , Zhu Han

After decades of research, the Internet of Things (IoT) is finally permeating real-life and helps improve the efficiency of infrastructures and processes as well as our health. As a massive number of IoT devices are deployed, they naturally…

Networking and Internet Architecture · Computer Science 2020-11-25 Gregor Cerar , Halil Yetgin , Blaž Bertalanič , Carolina Fortuna

Smart homes, enterprises, and cities are increasingly being equipped with a plethora of Internet of Things (IoT), ranging from smart-lights to security cameras. While IoT networks have the potential to benefit our lives, they create privacy…

Networking and Internet Architecture · Computer Science 2020-01-30 Arunan Sivanathan

Facilitated by messaging protocols (MP), many home devices are connected to the Internet, bringing convenience and accessibility to customers. However, most deployed MPs on IoT platforms are fragmented and are not implemented carefully to…

Cryptography and Security · Computer Science 2022-08-19 Qinying Wang , Shouling Ji , Yuan Tian , Xuhong Zhang , Binbin Zhao , Yuhong Kan , Zhaowei Lin , Changting Lin , Shuiguang Deng , Alex X. Liu , Raheem Beyah

Fault detection and isolation is an area of engineering dealing with designing on-line protocols for systems that allow one to identify the existence of faults, pinpoint their exact location, and overcome them. We consider the case of…

Systems and Control · Electrical Eng. & Systems 2021-07-19 Miel Sharf , Daniel Zelazo

We propose a method that can leverage unlabeled data to learn a matching model for response selection in retrieval-based chatbots. The method employs a sequence-to-sequence architecture (Seq2Seq) model as a weak annotator to judge the…

Computation and Language · Computer Science 2018-05-11 Yu Wu , Wei Wu , Zhoujun Li , Ming Zhou

Internet of Things (IoT) devices have grown in popularity since they can directly interact with the real world. Home automation systems automate these interactions. IoT events are crucial to these systems' decision-making but are often…

Cryptography and Security · Computer Science 2024-07-30 Uzma Maroof , Gustavo Batista , Arash Shaghaghi , Sanjay Jha