19 citations · 40 across the 10 of their papers we have counts for
11 papers
Don't Make Models Guess Security and Safety: Symbolic Guardrails for Domain-Specific AI Agents
Yining Hong, Yining She, Eunsuk Kang +2
There is increasing interest in integrating AI agents that invoke tools into domain-specific commercial software, where unintended tool calls can cause serious security and safety…
From Hazard Identification to Controller Design: Proactive and LLM-Supported Safety Engineering for ML-Powered Systems
Yining Hong, Christopher S. Timperley, Christian Kästner
Machine learning (ML) components are increasingly integrated into software products, yet their complexity and inherent uncertainty often lead to unintended and hazardous consequenc…
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Paulo Canelas, Bradley Schmerl, Alcides Fonseca +1
The Robot Operating System (ROS) is a popular framework and ecosystem that allows developers to build robot software systems from reusable, off-the-shelf components. Systems are of…
ROBUST: 221 Bugs in the Robot Operating System
Christopher S. Timperley, Gijs van der Hoorn, André Santos +2
As robotic systems such as autonomous cars and delivery drones assume greater roles and responsibilities within society, the likelihood and impact of catastrophic software failure…
Industry Experiences with Large-Scale Refactoring
James Ivers, Robert L. Nord, Ipek Ozkaya +3
Software refactoring plays an important role in software engineering. Developers often turn to refactoring when they want to restructure software to improve its quality without cha…
Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software
Deborah S. Katz, Christopher S. Timperley, Claire Le Goues
Autonomous and Robotics Systems (ARSs) are widespread, complex, and increasingly coming into contact with the public. Many of these systems are safety-critical, and it is vital to…