[Go Back to Home]

Koji Hasebe's Selected Publications

[dblp]

Refereed Journal Papers

  1. Koji Hasebe, Takumi Sawada, and Kazuhiko Kato. A Game Theoretic Approach to Power Reduction in Distributed Storage Systems. Journal of Information Processing, vol.24, no.1, pp.173-181, 2016. [download]
  2. Koji Hasebe, Jumpei Okoshi, and Kazuhiko Kato. Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction. IEICE Transactions, vol.E98-D, no.10, pp.1744-1754, Oct 2015. [download]
  3. Takuya Masuzawa and Koji Hasebe. Iterative Information Update and Stability of Strategies. Synthese, Springer-Verlag, vol.179 (1), pp.87-102, 2011.
  4. Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, and Kazuhiko Kato. Dynamic Grid Quorum: A Reconfigurable Grid Quorum and Its Power Optimization Algorithm. Service Oriented Computing and Applications, Springer-Verlag, vol.4 (4), pp.245-260, 2010. [pdf]

Refereed Conference Papers

  1. Koji Hasebe, Shohei Sasaki, and Kazuhiko Kato. Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service (poster presentation). 4th International Conference on Vehicle Technology and Intelligent Transportation Systems (VEHITS 2018), 6 pages, March 2018.
  2. Koji Hasebe, Sho Takai, and Kazuhiko Kato. A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems (short paper). 7th International Conference on Smart Cities and Green ICT Systems (SmartGreens 2018), 6 pages, March 2018.
  3. Koji Hasebe, Mitsuaki Tsuji, and Kazuhiko Kato. Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking. 15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2017), 8 pages, November 2017. [pdf]
  4. Koji Hasebe, Kazuhiko Kato, Hirotake Abe, Ryutaro Akiya, and Masayuki Kawamoto. Traffic Management for Last-Mile Public Transportation Systems Using Autonomous Vehicles. IEEE 3rd International Smart Cities Conference (ISC2 2017), 8 pages, September 2017. [pdf]
  5. Koji Hasebe, Naofumi Nishita, and Kazuhiko Kato. Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus. IEEE Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability (Intercloud 2014), pp.410-416, March 2014. [pdf (corrected version)]
  6. Koji Hasebe, Takumi Sawada, and Kazuhiko Kato. Using a Potential Game for Power Reduction in Distributed Storage Systems. IEEE International Workshop on Software Defined Systems (SDS 2014), pp.550-555, March 2014. [pdf]
  7. Gergei Bana, Koji Hasebe, and Mitsuhiro Okada. Computationally Complete Symbolic Attacker and Key Exchange. 20th ACM Conference on Computer and Communications Security (CCS 2013), pp.1231-1246, November 2013. [pdf (long version)]
  8. Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato. Power-Saving in Storage Systems for Internet Hosting Services with Data Access Prediction. 4th International Green Computing Conference (IGCC 2013), 10 pages, 2013. [pdf]
  9. Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato. Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms. 3rd International Conference on Cloud Computing (CloudComp 2012), Springer LNICST vol.112, pp.52-61, 2012. [pdf]
  10. Koji Hasebe and Ryuichiro Ishikawa. Belief Revision for Inductive Game Theory. European Workshop on Multi-agent Systems (EUMAS'11), 15 pages, 2011. [pdf]
  11. Koji Hasebe, Hiroaki Kawamoto, Kiyotaka Kamibayashi, Akira Matsushita, and Yoshiyuki Sankai. Stepwise Process of Clinical Trials in Safety-Conscious Development of Human Assistive Robots. IEEE International Conference on Robotics and Biomimetics (ROBIO 2011), pp.50-55, 2011.
  12. Koji Hasebe, Kei Yamatozaki, Akiyoshi Sugiki, and Kazuhiko Kato. Self-Stabilizing Passive Replication for Internet Service Platforms. 4th IFIP International Conference on New Technologies, Mobility and Security, 6 pages, 2011. [pdf]
  13. Koji Hasebe, Hiroaki Kawamoto, Akira Matsushita, Kiyotaka Kamibayashi, and Yoshiyuki Sankai. Towards a Guideline for Clinical Trials in the Development of Human Assistive Robots. IEEE International Conference on Robotics and Biomimetics (ROBIO 2010), pp. 751-756, 2010.
  14. Koji Hasebe, Tatsuya Niwa, Akiyoshi Sugiki, and Kazuhiko Kato. Power-Saving in Large-Scale Storage Systems with Data Migration. 2nd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2010), pp. 266-273, 2010. [pdf]
  15. Koji Hasebe and Mitsuhiro Mabuchi. Capability-Role-based Delegation in Workflow Systems. 6th IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom-10), pp.711-717, 2010. [pdf]
  16. Koji Hasebe, Mitsuhiro Mabuchi, and Akira Matsushita. Capability-Based Delegation Model in RBAC. 15th ACM Symposium on Access Control Models and Technologies (SACMAT 2010), pp. 109-118, 2010. [pdf]
  17. Mitsuhiro Mabuchi, Yasushi Shinjo, Koji Hasebe, Akira Sato, and Kazuhiko Kato. CapaCon: An Access Control Mechanism for Inter-Device Communications through TCP Connections. 25th Symposium on Applied Computing (ACM SAC 2010), pp.706-712, 2010.
  18. Takuya Masuzawa and Koji Hasebe. Iterative Information Update and Stability of Strategies. 7th European Workshop on Multi-Agent Systems (EUMAS'09), 15 pages, 2009. [pdf]
  19. Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, and Kazuhiko Kato. Dynamic Grid Quorum: A Novel Approach for Minimizing Power Consumption without Data Migration in Grid Quorums. IEEE International Conference on Service-Oriented Computing and Applications (SOCA'09), pp.142-149, 2009. [pdf]
  20. Gergei Bana, Koji Hasebe, and Mitsuhiro Okada. Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols. Formal to Practical Security, Springer LNCS vol. 5458, pp.33-58, 2009. [pdf]
  21. Gergei Bana, Koji Hasebe, and Mitsuhiro Okada. Computational Semantics for Basic Protocol Logic --- A Stochastic Approach. 12th Annual Asian Computing Science Conference (ASIAN'07), LNCS vol.4846, pp.86-94, Springer-Verlag, 2007.
  22. Koji Hasebe and Mitsuhiro Okada. Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic. Workshop on Foundations of Computer Security (FCS'04), pp.97-113, Turku, Finland, 2004. [pdf]
  23. Koji Hasebe and Mitsuhiro Okada. Inferences on Honesty in Compositional Logic for Security Analysis. International Symposium on Software Security 2003 (ISSS2003), Lecture Notes in Computer Science, vol. 3233, pp.65-86, Springer-Verlag, 2004. [pdf]
  24. Koji Hasebe and Mitsuhiro Okada. A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. Software Security - Theories and Systems, LNCS vol.2609, pp.417-440, Springer-Verlag, 2003.

Invited Talks

  1. Koji Hasebe and Mitsuhiro Okada. Completeness and Counter-Example Generations of a Basic Protocol Logic. 6th International Workshop on Rule-Based Programming (RULE'05), Electronic Notes in Theoretical Computer Science, vol.147 (1), pp.73-92, Elsevier Science, 2005. [pdf]
  2. Vincent Cremet, Koji Hasebe, Jean-Pierre Jouannaud, Antoine Kremer, and Mitsuhiro Okada. FATALIS: Real Time Processes as Linear Logic Specifications. International Workshop on Automated Verification of Infinite-State Systems (AVIS'03), April 2003.