Research and Education Activities

Representative Topics

1. Fuyuki Ishikawa, Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle, The 8th International Conference on Service-Oriented Computing (ICSOC 2010 Short Paper, acceptance rate 24%), pp.579-586, December 2010
2. Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems, The 12th IEEE International EDOC Conference (EDOC 2008), pp.372-378, September 2008
3. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, Formal Model of Mobile BPEL4WS Process, International Journal of Business Process Integration and Management (IJBPIM), Vol. 1 Issue 3, pp.192-209, September 2006
4. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, A Framework for Synthesis of Web Services and Mobile Agents, International Journal of Pervasive Computing and Communications (JPCC), Vol.1 Issue3, pp.227-245, September 2005

Representative Topics

1. Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden, Service Selection with Combinational Use of Functionally-Equivalent Services, The 9th International Conference on Web Services (ICWS 2011, acceptance rate 14%), July 2011 (to appear)
2. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, QoS-aware Automatic Service Composition by Applying Functional Clustering, The 9th International Conference on Web Services (ICWS 2011, acceptance rate 14%), July 2011 (to appear)
3. Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden, Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures, The 8th International Conference on Services Computing (SCC 2011, acceptance rate 17%), July 2011 (to appear)
4. 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, acceptance rate 15%), pp.182-196, December 2010

Representative Topics

1. Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden, What Top-Level Software Engineers Tackles after Learning Formal Methods - Experiences from the Top SE Project, The 2nd International FME Conference on Teaching Formal Methods (TFM 2009), pp.57-71, November 2009

Representative Topics

1. Fuyuki Ishikawa, Toward Customizable and Bi-directionally Traceable Transformation between VDM++ and Java, The 9th Overture/VDM Workshop at FM 2011, June 2011 (to appear)
2. Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden, Specifying and Checking Refinement Relationships in VDM++, The 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), pp.220-227, November 2009
3. Fuyuki Ishikawa, Yumiko Murakami, Challenges in Inheriting Test Cases Configurations from VDM to Implementation, The 7th VDM-Overture Workshop at FM 2009, November 2009

Representative Topics

1. Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden, Physical Interaction in Pervasive Computing: Formal Modeling, Analysis and Verification, The ACM International Conference on Pervasive Services (ICPS 2009), pp.133-140, July 2009

Representative Topics

• Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extraction of Places Related to Flickr Tags, The 19th European Conference on Artificial Intelligence (ECAI 2010), August 2010
• Fuyuki Ishikawa, Rihoko Inoue, Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering, The 2nd International Workshop on Requirements Engineering and Law (RELAW 2009) at RE 2009, September 2009