Ichiro Hasuo
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
Verified email at - Homepage
Cited by
Cited by
Generic trace semantics via coinduction
I Hasuo, B Jacobs, A Sokolova
Logical Methods in Computer Science 3, 2007
Time robustness in MTL and expressivity in hybrid system falsification
T Akazaki, I Hasuo
International Conference on Computer Aided Verification, 356-374, 2015
Provable anonymity
FD Garcia, I Hasuo, W Pieters, P van Rossum
Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005
Semantics of higher-order quantum computation via geometry of interaction
I Hasuo, N Hoshino
Annals of pure and applied logic 168 (2), 404-469, 2017
Two-layered falsification of hybrid systems guided by monte carlo tree search
Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
Categorical semantics for arrows
B Jacobs, C Heunen, I Hasuo
Journal of functional programming 19 (3-4), 403-438, 2009
Generic forward and backward simulations
I Hasuo
International Conference on Concurrency Theory, 406-420, 2006
Memoryful geometry of interaction: from coalgebraic components to algebraic effects
N Hoshino, K Muroya, I Hasuo
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
Programming with Infinitesimals: A While-Language for Hybrid System Modeling
K Suenaga, I Hasuo
International Colloquium on Automata, Languages, and Programming, 392-403, 2011
Weighted automata extraction from recurrent neural networks via regression on state spaces
T Okudono, M Waga, T Sekiyama, I Hasuo
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5306-5314, 2020
Generic weakest precondition semantics from monads enriched with order
I Hasuo
Theoretical Computer Science 604, 2-29, 2015
Fast falsification of hybrid systems using probabilistically adaptive input
G Ernst, S Sedwards, Z Zhang, I Hasuo
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
Efficient online timed pattern matching by automata-based skipping
M Waga, I Hasuo, K Suenaga
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
Tail probabilities for randomized program runtimes via martingales for higher moments
S Kura, N Urabe, I Hasuo
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
Exercises in Nonstandard Static Analysis of Hybrid Systems
I Hasuo, K Suenaga
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
Generic trace theory
I Hasuo, B Jacobs, A Sokolova
Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006
Coinductive predicates and final sequences in a fibration
I Hasuo, K Cho, T Kataoka, B Jacobs
Electronic Notes in Theoretical Computer Science 298, 197-214, 2013
Multi-armed bandits for boolean connectives in hybrid system falsification
Z Zhang, I Hasuo, P Arcaini
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao
International Conference on Computer Aided Verification, 595-618, 2021
The geometry of synchronization
U Dal Lago, C Faggian, I Hasuo, A Yoshimizu
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
The system can't perform the operation now. Try again later.
Articles 1–20