Ichiro Hasuo

J-GLOBAL         Last updated: Mar 5, 2019 at 16:49
 
Avatar
Name
Ichiro Hasuo
URL
http://group-mmm.org/~ichiro
Affiliation
National Institute of Informatics
Section
The Graduate School of Information Science and Technology Department of Computer Science
Job title
Associate Professor
Degree
PhD(Radboud University Nijmegen)
Other affiliation
JST ERATO Metamathematics for Systems Design ProjectThe Graduate University for Advanced Studies
Research funding number
60456762

Research Areas

 
 

Awards & Honors

 
Dec 2018
Best paper award, ICECCS 2018.
Winner: Étienne André, Masaki Waga and Ichiro Hasuo
 
Aug 2014
Best paper award, CONCUR 2014
Winner: Natsuki Urabe and Ichiro Hasuo
 

Published Papers

 
Shaukat Ali 0001,Paolo Arcaini,Ichiro Hasuo,Fuyuki Ishikawa,Nian-Ze Lee
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019, Leuven, Belgium, February 06-08, 2019   12:1-12:6   2019   [Refereed]
Étienne André,Ichiro Hasuo,Masaki Waga
23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018   10-20   2018   [Refereed]
Masaki Waga, Ichiro Hasuo,Kohei Suenaga
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018   14-15   2018   [Refereed]
Zhenya Zhang,Gidon Ernst,Ichiro Hasuo,Sean Sedwards
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018   3-4   2018   [Refereed]
Ichiro Hasuo
29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China   5:1-5:2   2018   [Refereed]
Natsuki Urabe,Ichiro Hasuo
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers   214-234   2018   [Refereed]
David Sprunger,Shin-ya Katsumata,Jérémy Dubut,Ichiro Hasuo
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers   190-213   2018   [Refereed]
Toru Takisaka,Yuichiro Oyabu,Natsuki Urabe,Ichiro Hasuo
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings   476-493   2018   [Refereed]
Kengo Kido,Sean Sedwards,Ichiro Hasuo
6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018   247-252   2018   [Refereed]
Adel Dokhanchi,Shakiba Yaghoubi,Bardh Hoxha,Georgios Fainekos,Gidon Ernst,Zhenya Zhang,Paolo Arcaini,Ichiro Hasuo,Sean Sedwards
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018   104-109   2018   [Refereed]
Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo
IEEE Trans. on CAD of Integrated Circuits and Systems   37(11) 2894-2905   2018   [Refereed]
Masaki Waga, Ichiro Hasuo
IEEE Trans. on CAD of Integrated Circuits and Systems   37(11) 2649-2660   2018   [Refereed]
Ichiro Hasuo,Toshiki Kataoka,Kenta Cho 0002
Mathematical Structures in Computer Science   28(4) 562-611   2018   [Refereed]
Natsuki Urabe,Ichiro Hasuo
Logical Methods in Computer Science   14(3)    2018   [Refereed]
Ichiro Hasuo
J. Log. Algebr. Meth. Program.   94 183   2018   [Refereed]
Takumi Akazaki,Yoshihiro Kumazawa,Ichiro Hasuo
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.   3-18   2017   [Refereed]
Natsuki Urabe,Masaki Hara,Ichiro Hasuo
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017   1-12   2017   [Refereed]
Masaki Waga,Ichiro Hasuo,Kohei Suenaga
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings   224-243   2017   [Refereed]
Corina Cîrstea,Shunsuke Shimizu,Ichiro Hasuo
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia   7:1-7:18   2017   [Refereed]
Takamasa Okudono,Yuki Nishida,Kensuke Kojima,Kohei Suenaga,Kengo Kido,Ichiro Hasuo
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings   491-513   2017   [Refereed]
0000-0002-8300-4650,Ichiro Hasuo
New Generation Comput.   35(3) 271-305   2017   [Refereed]
Natsuki Urabe,Ichiro Hasuo
Logical Methods in Computer Science   13(3)    2017   [Refereed]
Natsuki Urabe,Ichiro Hasuo
Inf. Comput.   252 110-137   2017   [Refereed]
Ichiro Hasuo,Naohiko Hoshino
Ann. Pure Appl. Logic   168(2) 404-469   2017   [Refereed]
Kengo Kido,Swarat Chaudhuri,Ichiro Hasuo
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings   229-249   2016   [Refereed]
Ichiro Hasuo
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal   2:1-2:2   2016   [Refereed]
Koko Muroya,Naohiko Hoshino,Ichiro Hasuo
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016   748-760   2016   [Refereed]
Ichiro Hasuo,Shunsuke Shimizu,Corina Cîrstea
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016   718-732   2016   [Refereed]
Wataru Hino,Hiroki Kobayashi,Ichiro Hasuo,Bart Jacobs 0001
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016   682-691   2016   [Refereed]
Masaki Waga,Takumi Akazaki,Ichiro Hasuo
Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings   121-139   2016   [Refereed]
Natsuki Urabe,Shunsuke Shimizu,Ichiro Hasuo
27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada   24:1-24:15   2016   [Refereed]
Ichiro Hasuo,Prakash Panangaden
New Generation Comput.   34(1-2) 1-2   2016   [Refereed]
Shota Nakagawa,Ichiro Hasuo
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers   112-130   2015   [Refereed]
Takumi Akazaki,Ichiro Hasuo
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II   356-374   2015   [Refereed]
Kengo Kido,Swarat Chaudhuri,Ichiro Hasuo
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015   11-22   2015   [Refereed]
Natsuki Urabe,Ichiro Hasuo
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands   320-335   2015   [Refereed]
Ichiro Hasuo
Theor. Comput. Sci.   604 2-29   2015   [Refereed]
Takumi Akazaki,Ichiro Hasuo,Kohei Suenaga
Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014.   22-39   2014   [Refereed]
Akira Yoshimizu,Ichiro Hasuo,Claudia Faggian,Ugo Dal Lago
Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings   371-391   2014   [Refereed]
Naohiko Hoshino,Koko Muroya,Ichiro Hasuo
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014   52:1-52:10   2014   [Refereed]
Ugo Dal Lago,Claudia Faggian,Ichiro Hasuo,Akira Yoshimizu
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014   35:1-35:10   2014   [Refereed]
Natsuki Urabe,Ichiro Hasuo
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings   451-466   2014   [Refereed]
Ichiro Hasuo
Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers   10-32   2014   [Refereed]
Kohei Suenaga,Hiroyoshi Sekine,Ichiro Hasuo
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013   417-430   2013   [Refereed]
Ichiro Hasuo,Kenta Cho 0002,Toshiki Kataoka,Bart Jacobs 0001
Electr. Notes Theor. Comput. Sci.   298 197-214   2013   [Refereed]
Ichiro Hasuo,Kohei Suenaga
Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings   462-478   2012   [Refereed]
Ichiro Hasuo,Naohiko Hoshino
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada   237-246   2011   [Refereed]
Kohei Suenaga,Ichiro Hasuo
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II   392-403   2011   [Refereed]
Ichiro Hasuo
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings   222-236   2011   [Refereed]
Ichiro Hasuo,Bart Jacobs 0001
Mathematical Structures in Computer Science   21(2) 267-320   2011   [Refereed]
Ichiro Hasuo
CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings   447-461   2010   [Refereed]
Ichiro Hasuo,Yoshinobu Kawabe,Hideki Sakurada
Theor. Comput. Sci.   411(22-24) 2239-2259   2010   [Refereed]
Ichiro Hasuo,Bart Jacobs 0001,Milad Niqui
Electr. Notes Theor. Comput. Sci.   265 351-368   2010   [Refereed]
Kazuyuki Asada,Ichiro Hasuo
Electr. Notes Theor. Comput. Sci.   264(2) 25-45   2010   [Refereed]
Ichiro Hasuo,Chris Heunen,Bart Jacobs 0001,Ana Sokolova
Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings   64-80   2009   [Refereed]
Bart Jacobs 0001,Chris Heunen,Ichiro Hasuo
J. Funct. Program.   19(3-4) 403-438   2009   [Refereed]
Bart Jacobs 0001,Ichiro Hasuo
Journal of Computer Security   17(6) 909-944   2009   [Refereed]
Ichiro Hasuo,Bart Jacobs 0001,Ana Sokolova
Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi   246-260   2008   [Refereed]
Ichiro Hasuo,Bart Jacobs 0001,Tarmo Uustalu
Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings   619-630   2007   [Refereed]
Ichiro Hasuo,Yoshinobu Kawabe
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings   379-394   2007   [Refereed]
Ichiro Hasuo,Bart Jacobs 0001,Ana Sokolova
Logical Methods in Computer Science   3(4)    2007   [Refereed]
Bart Jacobs 0001,Ichiro Hasuo
Workshop on Mathematically Structured Functional Programming, MSFP@MPC 2006, Kuressaare, Estonia, July 2, 2006.      2006   [Refereed]
Nuttapong Attrapadung,Yang Cui, David Galindo, Goichiro Hanaoka,Ichiro Hasuo,Hideki Imai,Kanta Matsuura,Peng Yang 0002,Rui Zhang 0002
LATIN 2006: Theoretical Informatics, 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings   130-141   2006   [Refereed]
Ichiro Hasuo
CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings   406-420   2006   [Refereed]
Ichiro Hasuo,Bart Jacobs 0001,Ana Sokolova
Electr. Notes Theor. Comput. Sci.   164(1) 47-65   2006   [Refereed]
Flavio D. Garcia,Ichiro Hasuo,Wolter Pieters,Peter van Rossum
Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005   63-72   2005   [Refereed]
Ichiro Hasuo,Bart Jacobs 0001
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings   213-231   2005   [Refereed]
Ichiro Hasuo,Ryo Kashima
Logic Journal of the IGPL   11(6) 615-646   2003   [Refereed]

Conference Activities & Talks

 
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems
Ichiro Hasuo
ADHS 2018 (IFAC Conference on Analysis and Design of Hybrid Systems)   12 Jul 2018   
Coalgebras and Higher-Order Computation: a GoI Approach
Ichiro Hasuo
Game Semantics 25 Workshop   8 Jul 2018   
Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts in Coalgebras
Ichiro Hasuo
Coalgebra, Now @ FLoC 2018 Workshop   8 Jul 2018   
Approximating Reachability Probabilities by (Super-)Martingales
Ichiro Hasuo
SynCoP 2018   15 Apr 2016   

Research Grants & Projects

 
Formal Verification of Computer Systems