88 citations · 339 across the 67 of their papers we have counts for
5 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…
Sharper and Simpler Nonlinear Interpolants for Program Verification
Takamasa Okudono, Yuki Nishida, Kensuke Kojima +3
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent resul…
Efficient Online Timed Pattern Matching by Automata-Based Skipping
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
The timed pattern matching problem is an actively studied topic because of its relevance in monitoring of real-time systems. There one is given a log and a specification $\math…
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…