Rchr
J-GLOBAL ID:200901006896314021   Update date: Dec. 26, 2019

Ichiro Hasuo

ハスオ イチロウ | Ichiro Hasuo
Affiliation and department:
Job title: Associate Professor
Other affiliations (2):
Homepage URL  (2): http://group-mmm.org/~ichirohttp://group-mmm.org/~ichiro
Research field  (3): Fundamental theory of informatics ,  Computer system/Network ,  Algebra
Research keywords  (3): Information Security ,  Formal Verification of Computer Systems ,  Category Theory
Research theme for competitive and other funds  (1):
  • Formal Verification of Computer Systems
Papers (78):
  • Satoshi Kura,Natsuki Urabe,Ichiro Hasuo. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceed. 2019. 135-153
  • Gidon Ernst,Sean Sedwards,Zhenya Zhang,Ichiro Hasuo. Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. 2019. 165-181
  • Yuichi Komorida,Shin-ya Katsumata,Nick Hu,Bartek Klin,Ichiro Hasuo. Codensity Games for Bisimilarity. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. 2019. 1-13
  • Juraj Kolcák,Ichiro Hasuo,Jérémy Dubut,Shin-ya Katsumata,David Sprunger,Akihisa Yamada 0002. Relational differential dynamic logic: poster abstract. Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. 2019. 284-285
  • Masaki Waga,Ichiro Hasuo. Moore-machine filtering for timed and untimed pattern matching: poster abstract. Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. 2019. 272-273
more...
Lectures and oral presentations  (7):
  • Approximating Reachability Probabilities by (Super-)Martingales
    (SynCoP 2018 2016)
  • Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems
    (ADHS 2018 (IFAC Conference on Analysis and Design of Hybrid Systems) 2018)
  • Coalgebras and Higher-Order Computation: a GoI Approach
    (Game Semantics 25 Workshop 2018)
  • Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts in Coalgebras
    (Coalgebra, Now @ FLoC 2018 Workshop 2018)
  • "理論計算機科学入門 有限と無限のあいだ -数学的理論から、AI・自動運転-"
    (国立情報学研究所 市民講座 「情報学最前線」 2019)
more...
Professional career (1):
  • PhD (Radboud University Nijmegen)
Awards (2):
  • 2018/12 - Best paper award, ICECCS 2018.
  • 2014/08 - Best paper award, CONCUR 2014
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page