414 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- The University of TokyoJP12 papers
- Kyoto UniversityJP9 papers
- National Astronomical Observatory of JapanJP5 papers
- Tohoku UniversityJP3 papers
- National Institute of InformaticsJP2 papers
- Princeton UniversityUS2 papers
- Space Telescope Science InstituteUS2 papers
- Subaru (Japan)JP2 papers
- University of LeicesterGB2 papers
- University of Maryland, College ParkUS2 papers
- California Institute of TechnologyUS1 paper
- Centre for Research in Engineering Surface TechnologyIE1 paper
3 papers · 1 filter
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound…
Causality-Aided Falsification
Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo
Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce…
Categorical Liveness Checking by Corecursive Algebras
Natsuki Urabe, Masaki Hara, Ichiro Hasuo
Final coalgebras as "categorical greatest fixed points" play a central role in the theory of coalgebras. Somewhat analogously, most proof methods studied therein have focused on gr…