10 citations · 14 across the 3 of their papers we have counts for
3 papers
cs.SE2021★ 10 cited
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…
cs.SE2021★ 1 cited
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…
cs.SE2012★ 3 cited
Towards Refinement Strategy Planning for Event-B
Tsutomu Kobayashi, Shinichi Honiden
Event-B is a formal approach oriented to system modeling and analysis. It supports refinement mechanism that enables stepwise modeling and verification of a system. By using refine…