Folgen
Ichiro Hasuo
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
Bestätigte E-Mail-Adresse bei acm.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Generic trace semantics via coinduction
I Hasuo, B Jacobs, A Sokolova
Logical Methods in Computer Science 3, 2007
2342007
Time robustness in MTL and expressivity in hybrid system falsification
T Akazaki, I Hasuo
International Conference on Computer Aided Verification, 356-374, 2015
1212015
Provable anonymity
FD Garcia, I Hasuo, W Pieters, P van Rossum
Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005
1162005
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
732018
Categorical semantics for arrows
B Jacobs, C Heunen, I Hasuo
Journal of functional programming 19 (3-4), 403-438, 2009
652009
Generic forward and backward simulations
I Hasuo
International Conference on Concurrency Theory, 406-420, 2006
592006
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
572014
Semantics of higher-order quantum computation via geometry of interaction
I Hasuo, N Hoshino
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 237-246, 2011
532011
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
522020
Programming with Infinitesimals: A While-Language for Hybrid System Modeling
K Suenaga, I Hasuo
International Colloquium on Automata, Languages, and Programming, 392-403, 2011
512011
Generic weakest precondition semantics from monads enriched with order
I Hasuo
Theoretical Computer Science 604, 2-29, 2015
482015
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
462019
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
432019
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
422021
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
402017
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
38*2013
Exercises in Nonstandard Static Analysis of Hybrid Systems
I Hasuo, K Suenaga
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
372012
Generic trace theory
I Hasuo, B Jacobs, A Sokolova
Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006
372006
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
342019
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
332017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20