17 citations · 59 across the 12 of their papers we have counts for
6 papers · 1 filter
An Experience Report on Regression-Free Repair of Deep Neural Network Model
Takao Nakagawa, Susumu Tokumoto, Shogo Tokui +1
Systems based on Deep Neural Networks (DNNs) are increasingly being used in industry. In the process of system operation, DNNs need to be updated in order to improve their performa…
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
Ensuring the safety of autonomous vehicles (AVs) is the key requisite for their acceptance in society. This complexity is the core challenge in formally proving their safety condit…
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…
Architecture-Guided Test Resource Allocation Via Logic
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits +4
We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree represe…
A Mutation-based Approach for Assessing Weight Coverage of a Path Planner
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa +1
Autonomous cars are subjected to several different kind of inputs (other cars, road structure, etc.) and, therefore, testing the car under all possible conditions is impossible. To…
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
Fuyuki Ishikawa, Alexander Romanovsky
These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the…