Ishikawa Lab. 日本語 >

dummy

This page only includes key publications and activities. Please refer to the links for the full list.

Selected 5 Funded Projects

  1. Grants-in-Aid (Kakenhi) for Scientific Research (B) "Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models"(Primary Investigator)
  2. Japan Science and Technology Agency Exploratory Research for Advanced Technology (ERATO) "Metamathematics for Systems Design Project" (Group Leader)
  3. Grants-in-Aid (Kakenhi) for Young Scientists (A) "Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement" (Primary Investigator)
  4. IPA "Partial and Gradual Application of Formal Specification and Test Generation - Support of Code-Centric Incremental Development through Exploration" (Primary Investigator)
  5. FP7/NICT FP7-EU-Japan STREP "ClouT: Cloud of Things for empowering the citizen clout in smart cities" (Japan-side Platform Leader)

Selected 10 Publications

  1. Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia, Junhao Wen, Deadline-constrained Cost Optimization Approaches for Workflow Scheduling in Clouds, IEEE Transactions on Parallel and Distributed Systems, Vol.28 No.12, pp.3401-3412, August 2017
  2. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden, Refactoring Refinement Structures of Event-B Machines, The 21st International Symposium on Formal Methods (FM 2016), pp.444-459, November 2016
  3. Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia, Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters, IEEE Transactions on Services Computing, Preprint, October 2016
  4. Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa, The Effects of Developer Dynamics on Fitness in an Evolutionary Ecosystem Model of the App Store, IEEE Transactions on Evolutionary Computation, Vol.20 No.4, pp.529-545, August 2016
  5. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, Robust Service Compositions with Functional and Location Diversity, IEEE Transactions on Services Computing, Vol.9 No.2, pp.277-290, April 2016
  6. Soo Ling Lim, Peter Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden, Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering, IEEE Transactions on Software Engineering, Vol.41 No.1, pp.40-64, January 2015
  7. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, SanGA: A Self-Adaptive Network-Aware Approach to Service Composition, IEEE Transactions on Services Computing, Vol.7 No.3, pp.452-464, July 2014
  8. Florian Wagner, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden, Towards Robust Service Compositions in the Context of Functionally Diverse Services, The 21st International World Wide Web Conference (WWW 2012), pp.969-978, April 2012
  9. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Towards Network-Aware Service Composition in the Cloud, The 21st International World Wide Web Conference (WWW 2012), pp.959-968, April 2012
  10. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy, The 8th International Conference on Service-Oriented Computing (ICSOC 2010), pp.182-196, December 2010

Selected Professional Activities

  1. [Posters Co-Chair] The 39th International Conference on Software Engineering (ICSE 2017)
  2. [Vice Director] Tokyo Regional Contest of ACM-ICPC 2010: International Collegiate Programming Contest
  3. [Publicity Chair] ICSOC 2009: The 7th International Conference on Service Oriented Computing
  4. [Student Volunteer Co-Chair] ASE 2006: The 21st IEEE/ACM International Conference on Automated Software Engineering