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. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, QoS-Aware Automatic Service Composition by Applying Functional Clustering, The 9th International Conference on Web Services (ICWS 2011), pp.89-96, July 2011
  9. 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
  10. Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer, A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, The 7th International Conference on Service-Oriented Computing (ICSOC 2009), pp.253-268, November 2009

Selected 10 Professional Activities

  1. [Co-Organizer] Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD at ICFEM 2016) at The 18th International Conference on Formal Engineering Methods
  2. [Co-Organizer] The 13th Overture Workshop (Overture-13 at FM 2015) at The 20th International Symposium on Formal Methods
  3. [Co-Organizer] Shonan Meeting on Trustworthy Cyber-Physical Systems (TCPS), October 2014
  4. [Program Co-Chair] Web Intelligence Track at International Workshop on Web Intelligence and Smart Sensing (IWWISS 2014)
  5. [Co-Chair] DS-Event-B 2012 at ICFEM 2012: Workshop on experience and advances in developing dependable systems in Event-B at The 14th International Conference on Formal Engineering Methods
  6. [Vice Director] Tokyo Regional Contest of ACM-ICPC 2010: International Collegiate Programming Contest
  7. [Publicity Chair] ICSOC 2009: The 7th International Conference on Service Oriented Computing
  8. [Student Volunteer Co-Chair] ASE 2006: The 21st IEEE/ACM International Conference on Automated Software Engineering