Kengo Kido

According to our database, Kengo Kido authored at least 6 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems.

Kengo Kido, Sean Sedwards, Ichiro Hasuo

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version).

Kengo Kido, Sean Sedwards, Ichiro Hasuo

CoRR, 2017

Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems.

Kengo Kido, Sean Sedwards, Ichiro Hasuo

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Sharper and Simpler Nonlinear Interpolants for Program Verification.

Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version).

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

CoRR, 2015

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015