104 citations · 447 across the 17 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…
Lifting Datalog-Based Analyses to Software Product Lines
Ramy Shahin, Marsha Chechik, Rick Salay
Applying program analyses to Software Product Lines (SPLs) has been a fundamental research problem at the intersection of Product Line Engineering and software analysis. Different…
Report on the First Workshop On the Globalization of Modeling Languages
Benoit Combemale, Julien De Antoni, Robert B. France +6
The first edition of GEMOC workshop was co-located with the MODELS 2013 conference in Miami, FL, USA. The workshop provided an open forum for sharing experiences, problems and solu…