335 citations · 488 across the 26 of their papers we have counts for
8 papers · 1 filter
Developing a Strong CPS Defender: An Evolutionary Approach
Qingyuan Hu, Christopher M. Poskitt, Jun Sun +1
Cyber-physical systems (CPSs) are used extensively in critical infrastructure, underscoring the need for anomaly detection systems that are able to catch even the most motivated at…
Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool
Oka Kurniawan, Erick Chandra, Christopher M. Poskitt +3
Debugging is a fundamental skill that novice programmers must develop. Numerous tools have been created to assist novice programmers in this process. Recently, large language model…
Bayesian and Multi-Objective Decision Support for Incident Mitigation in Cyber-Physical Systems
Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar
Cyber-physical systems increasingly rely on interconnected physical and digital systems whose security incidents can escalate rapidly into safety and operational failures. Existing…
ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction
Haoyu Wang, Christopher M. Poskitt, Jiali Wei +1
Large Language Model (LLM) agents increasingly operate across domains such as robotics, virtual assistants, and web automation. However, their stochastic decision-making introduces…
Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach
Ivan Tan, Wei Minn, Christopher M. Poskitt +2
UAVs, commonly referred to as drones, have witnessed a remarkable surge in popularity due to their versatile applications. These cyber-physical systems depend on multiple sensor in…
AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents
Haoyu Wang, Christopher M. Poskitt, Jun Sun
Agents built on LLMs are increasingly deployed across diverse domains, automating complex decision-making and task execution. However, their autonomy introduces safety risks, inclu…