Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. - Kengo Kido; Swarat Chaudhuri; Ichiro Hasuo (SNR@CAV, 2015)

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version). - Kengo Kido; Swarat Chaudhuri; Ichiro Hasuo (CoRR, 2015)

Sharper and Simpler Nonlinear Interpolants for Program Verification. - Takamasa Okudono; Yuki Nishida 001; Kensuke Kojima; Kohei Suenaga; Kengo Kido; Ichiro Hasuo (APLAS, 2017)

Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. - Kengo Kido; Sean Sedwards; Ichiro Hasuo (CyPhy, 2017)

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version). - Kengo Kido; Sean Sedwards; Ichiro Hasuo (CoRR, 2017)

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. - Kengo Kido; Sean Sedwards; Ichiro Hasuo (ADHS, 2018)