Ishikawa Lab. English >

dummy

本ページでは代表的な成果・業績のみを載せています.詳細なリストについては右のリンク先をご参照下さい.

代表的な競争的資金(5件)

  1. 科学研究費補助金 基盤研究(B) 「保証付き多段階システムモデルの柔軟・継続的な洗練・進化」(H29~32年度,研究代表者)
  2. 科学技術振興機構 創造科学技術推進事業(ERATO) 「蓮尾メタ数理システムデザインプロジェクト」(H28~33年度,研究分担者・グループリーダー)
  3. 科学研究費補助金 若手研究(A) 「段階的詳細化における複雑さの分散と整合性の保証に関する研究」(H26~28年度,研究代表者)
  4. FP7/NICT FP7-EU-Japan STREP(新世代ネットワークの実現に向けた欧州との連携による共同研究開発) "ClouT: Cloud of Things for empowering the citizen clout in smart cities"(H25~27年度,プラットフォーム日本側リーダー)
  5. IPA ソフトウェア工学分野の先導的研究支援事業 「形式仕様とテスト生成の部分的・段階的な活用~探索を通したコード中心インクリメンタル型開発の支援」(H25~26年度,研究責任者)

代表的な著書・論文(10件)

  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. 石川 冬樹,荒木 啓二郎(監修),VDM++による形式仕様記述,近代科学社,ISBN 978-4764904095,2011年7月
  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

代表的な学会・社会活動(10件)

  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. [副委員長] 電子情報通信学会 情報・システムソサイエティ サービスコンピューティング時限研究専門委員会(2009年4月~2013年3月)
  6. [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
  7. [副主査] 日本科学技術連盟 2011年度(第27年度)ソフトウェア品質管理研究会 演習コースII 「形式手法と仕様記述」(2011年4月~)
  8. [Vice Director] Tokyo Regional Contest of ACM-ICPC 2010: International Collegiate Programming Contest
  9. [Publicity Chair] ICSOC 2009: The 7th International Conference on Service Oriented Computing
  10. [Student Volunteer Co-Chair] ASE 2006: The 21st IEEE/ACM International Conference on Automated Software Engineering