Koji Hasebe

Profile Information

Affiliation: Associate Professor, Faculty of Engineering, Information and Systems, University of Tsukuba

Degree: Ph.D. in Philosophy(Keio University)

Researcher number: 80470045
J-GLOBAL ID: 201201032402429499
researchmap Member ID: 7000001004

External link: http://www.cs.tsukuba.ac.jp/~hasebe

Research Interests

Research Areas

Research History

Apr, 2017 - Present

Associate Professor, Faculty of Engineering, Information, and Systems, University of Tsukuba
Feb, 2011 - Mar, 2017

Assistant Professor, Faculty of Engineering, Information, and Systems, University of Tsukuba
Mar, 2008 - Feb, 2011

Research Fellow, University of Tsukuba
Sep, 2006 - Feb, 2008

Research Fellow, Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST)
Apr, 2004 - Sep, 2006

JSPS Research Fellow (PD), Keio University
Jan, 2003 - Mar, 2004

Research Associate, Keio University
Apr, 2001 - Jan, 2003

JSPS Research Fellow (DC2), Keio University

Education

Apr, 2000 - Mar, 2003

Department of Philosophy, Doctor Course, Graduate School of Letters, Keio University
Apr, 1998 - Mar, 2000

Department of Philosophy, Master Course, Graduate School of Letters, Keio University
Apr, 1994 - Mar, 1998

Department of Philosophy, Faculty of Letters, Keio University

Committee Memberships

2018 - Present

プログラム副委員長, 日本ソフトウェア科学会大会
2013 - Present

プログラム委員, 日本ソフトウェア科学会プログラミング論研究会（PPL）ワークショップ
2013 - Present

プログラム委員, ACM SAC
2012 - Present

Program Committee, KES-AMSTA
2012 - Present

プログラム委員, KES-AMSTA
2012 - Present

プログラム委員, 日本ソフトウェア科学会プログラミング論研究会（PPL）ワークショップ
2012 - Present

Program Committee, ACM SAC
2012 - Present

プログラム委員, ACM SAC
2011 - Present

Program Committee, ACM SAC
2011 - Present

プログラム委員, ACM SAC

Papers

Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking

Koji Hasebe, Mitsuaki Tsuji, Kazuhiko Kato

Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017, 2018- 423-430, Mar 29, 2018 Peer-reviewed
A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems

Koji Hasebe, Sho Takai, Kazuhiko Kato

7th International Conference on Smart Cities and Green ICT Systems (SmartGreens 2018), 352-357, Mar, 2018 Peer-reviewed
Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service

Koji Hasebe, Shohei Sasaki, Kazuhiko Kato

4th International Conference on Vehicle Technology and Intelligent Transportation Systems (VEHITS 2018), 552-557, Mar, 2018 Peer-reviewed
Traffic management for last-mile public transportation systems using autonomous vehicles

Koji Hasebe, Kazuhiko Kato, Hirotake Abe, Ryutaro Akiya, Masayuki Kawamoto

2017 International Smart Cities Conference, ISC2 2017, 6 pages, Oct 30, 2017 Peer-reviewed
A game theoretic approach to power reduction in distributed storage systems

Koji Hasebe, Takumi Sawada, Kazuhiko Kato

Journal of Information Processing, 24(1) 173-181, Jan 15, 2016 Peer-reviewed
Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction

Koji Hasebe, Jumpei Okoshi, Kazuhiko Kato

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E98D(10) 1744-1754, Oct, 2015 Peer-reviewed
Using a Potential Game for Power Reduction in Distributed Storage Systems

Koji Hasebe, Takumi Sawada, Kazuhiko Kato

2014 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E), 550-555, 2014 Peer-reviewed
Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus

Koji Hasebe, Naofumi Nishita, Kazuhiko Kato

2014 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E), 410-416, 2014 Peer-reviewed
Computational Soundress of cryptographic communication protocols,CCS 2013,ACM Proceedings,Des 2013

Gergery Bana, Koji Hasebe, Mitsuhiro Okada

Association for Computing Machinery, Dec, 2013 Peer-reviewed
Safety and ethical issues in the development of human assistive robots

Koji Hasebe, Hiroaki Kawamoto, Kiyotaka Kamibayashi, Akira Matsushita

Cybernics: Fusion of human, machine and information systems, 9784431541592 299-313, Sep 1, 2013 Peer-reviewed
Computationally complete symbolic attacker and key exchange

Gergei Bana, Koji Hasebe, Mitsuhiro Okada

Proceedings of the ACM Conference on Computer and Communications Security, 1231-1246, 2013 Peer-reviewed
Power-Saving in Storage Systems for Internet Hosting Services with Data Access Prediction

Jumpei Okoshi, Koji Hasebe, Kazuhiko Kato

2013 INTERNATIONAL GREEN COMPUTING CONFERENCE (IGCC), 2013 Peer-reviewed
Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms

Jumpei Okoshi, Koji Hasebe, Kazuhiko Kato

3rd International Conference on Cloud Computing (CloudComp 2012), Springer LNICST vol.112 52-61, Oct, 2012 Peer-reviewed
Belief Revision for Inductive Game Theory

Koji Hasebe, Ryuichiro Ishikawa

9th European Workshop on Multi-agent Systems (EUMAS 2011), 15 pages, Nov, 2011 Peer-reviewed
Erratum to: Iterative information update and stability of strategies (Synthese, 10.1007/s11229-010-9835-y

Takuya Masuzawa, Koji Hasebe

Synthese, 183(2) 281, Nov, 2011 Peer-reviewed
Stepwise Process of Clinical Trials in Development of Human Assistive Robots

Koji Hasebe, Hiroaki Kawamoto, Kiyotaka Kamibayashi, Akira Matsushita, Yoshiyuki Sankai

Journal of the Robotics Society of Japan, 29(3) 236-240, Apr, 2011 Invited
Iterative information update and stability of strategies

Takuya Masuzawa, Koji Hasebe

SYNTHESE, 179(1) 87-102, Apr, 2011 Peer-reviewed
耐障害性向上のための自己安定性に基づくインターネットサービス基盤の構築

大和崎啓, 長谷部浩二, 杉木章義, 加藤和彦

コンピュータソフトウェア, 28(1) 248-257, Feb, 2011 Peer-reviewed
Self-stabilizing passive replication for Internet service platforms

Koji Hasebe, Kei Yamatozaki, Akiyoshi Sugiki, Kazuhiko Kato

2011 4th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2011 - Proceedings, 6 pages, 2011 Peer-reviewed
Stepwise process of clinical trials in safety-conscious development of human assistive robots

Koji Hasebe, Hiroaki Kawamoto, Akira Matsushita, Kiyotaka Kamibayashi, Yoshiyuki Sankai

2011 IEEE International Conference on Robotics and Biomimetics, ROBIO 2011, 50-55, 2011 Peer-reviewed

Misc.

A Passenger Transport Method for Last Mile Transportation with Platooning Vehicles

33 481-488, Sep 7, 2016
A Game Theoretic Approach to Power Reduction in Distributed Storage Systems

Koji Hasebe, Takumi Sawada, Kazuhiko Kato

8(4), Nov 20, 2015
Power-Saving in Storage Systems with Distributed Hash Table

32 9p, Sep 9, 2015
Power-Saving in DHT-based Large-Scale Storage Systems

27 1-9, Sep 13, 2010
A Policy Specification Language with Control Flow for Access Control

27 1-8, Sep 13, 2010
A Power Optimization Method for Quorum Systems

ISHIKAWA Munetoshi, HASEBE Koji, SUGIKI Akiyoshi, SHINAGAWA Takahiro, KATO Kazuhiko

IEICE technical report, 108(248) 17-22, Oct 13, 2008
Logical Verifications for Security Protocols Based on Linear Logic

OKADA Mitsuhiro, HASEBE Koji

IEICE technical report. Artificial intelligence and knowledge-based processing, 102(91) 49-54, May 17, 2002

Books and Other Publications

Cybernics

Koji Hasebe, Hiroaki Kawamoto, Kiyotaka Kamibayashi, Akira Matsushita (Role: Joint author, Chapter 14. Safety and Ethical Issues in the Development of Human Assistive Robots)

Springer-Verlag, Feb, 2014
数理的技法による情報セキュリティ

長谷部浩二, 岡田光弘, バナゲルゲイ (Role: Joint author, セキュリティプロトコルの論理的検証法)

共立出版, 2010

Profile Information

Research Interests

Research Areas

Research History

Education

Committee Memberships

Papers

Misc.

Books and Other Publications

Teaching Experience

Professional Memberships

Menu

Coauthors