235 citations · 850 across the 47 of their papers we have counts for
4 papers · 1 filter
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki +3
Machine Vision Components (MVC) are becoming safety-critical. Assuring their quality, including safety, is essential for their successful deployment. Assurance relies on the availa…
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo +3
Formal reasoning on the safety of controller systems interacting with plants is complex because developers need to specify behavior while taking into account perceptual uncertainty…
SAT-based Analysis of Large Real-world Feature Models is Easy
Jia Hui Liang, Vijay Ganesh, Venkatesh Raman +1
Modern conflict-driven clause-learning (CDCL) Boolean SAT solvers provide efficient automatic analysis of real-world feature models (FM) of systems ranging from cars to operating s…
DCLfix: A Recommendation System for Repairing Architectural Violations
Ricardo Terra, Marco Tulio Valente, Roberto Bigonha +1
Architectural erosion is a recurrent problem in software evolution. Despite this fact, the process is usually tackled in ad hoc ways, without adequate tool support at the architect…