Introduction of researcher

[Name]	Ishikawa, Fuyuki
[Doctoral degrees]	2007, Doctor Degree of Information Science and Technology (The University of Tokyo)
[Affiliation / Position]	Digital Content and Media Sciences Research Division, Assistant Professor
[Room]	National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
[Telephone]	+81-3-4212-2584
[Facsimile]	+81-3-3556-1916
[E-mail]	f-ishikawa (at) nii.ac.jp
[Home page]	Go to Home
[JST ReaD]	JST ReaD Page
[Research fields]	Software Engineering, Service-Oriented Computing, Multi-Agent Systems, Ubiquitous/Pervasive Computing

• Outline of current research
• Education
• Career
• Most important publications (Top 10)
• Most important activities (Top 10)
• Teaching positions
• Academic activities
• Refereed publications, published books
• Patents / softwares / other works
• Competitive research funds

[Outline of current research]

Conducting research activities in Software Engineering, Service-Oriented Computing, Multi-Agent Systems, and Ubiquitous/Pervasive Computing involved in the Honiden Lab. and the GRACE center.

See this page about research/education activities.

[Education]

• March 2002, Bachelor of Science degree from The University of Tokyo, Japan
• March 2004, Master of Information Science and Technology degree from The University of Tokyo, Japan
• March 2007, Doctor of Information Science and Technology degree from The University of Tokyo, Japan

[Career]

• From April 2004 to March 2007, Research Assistant at Intelligent System Research Division, National Institute of Informatics, Japan (Moved to Information Systems Architecture Science Research Division in 2006)
• From April 2007, Assistant Professor at Digital Content and Media Sciences Research Division, National Institute of Informatics, Japan
• From April 2007, Assistant Professor at Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies (Sokendai University), Japan

[Most important publications (Top 10)]

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 (to appear)
2. 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
3. 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
4. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation, The 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA 2007), pp.683-700, November 2007
5. Fuyuki Ishikawa, Agreement-based Cooperative Mobility in Service-Oriented Computing, PhD Thesis, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo, Feburuary 2007
6. Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden, A Hierarchical Mobile Agent Framework and Its Application to Multimedia Contents, Systems and Computers in Japan, Vol. 38 Issue 1, pp.1-17, January 2007
7. 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
8. 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
9. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara and Shinichi Honiden, Mobile and Cooperative Compounds of Multimedia Services, IEEE International Conference on Services Computing (SCC2005), pp.129-136, July 2005
10. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, Behavior Descriptions of Mobile Agents for Web Services Integration, 2004 IEEE International Conference on Web Services (ICWS 2004), pp.342-349, July 2004

[Most important activities (Top 10)]

1. Freedia: Agent Development Framework for Service-Oriented Distribution and Provision of Multimedia Contents

[Teaching positions]

• Since 2007, Assistant Professor at National Institute of Informatics, Japan
  • Supporting Master and PhD students at the Honiden Laboratory
  • Supervised 6 intern students from abroad
  • Lecturer in the TopSE program (Educational program of Software Engineering for company developers)
    • Lectures "Formal Specification (basic, application, and security parts)"
    • Supervised 9 students for their graduate studies
• Since 2007, Assistant Professor at Sokendai University
  • Lecture "Service-Oriented Computing"
  • Lecture "Advanced Software Technology 2 (Formal Specifications)"
• Part-time lecturer
  • From 2007, Lecture "Special Lecture on Advanced Skill Development 3: Data-Oriented Modeling and Verification based on Formal Methods" at The University of Tokyo
  • From 2008, Lecture "Java Programming" at Waseda University

[Academic activities]

• Member of IEEE Computer Society，ACM
• Editorial Advisory Board
  • Book Chapter: Methodologies for Non-Functional Requirements in Service Oriented Architecture (to be published by IGI Global in 2010)
• Organization
  • Student Volunteer Co-Chair, ASE 2006: The 21st IEEE/ACM International Conference on Automated Software Engineering
  • Co-organizer, APSLA at SAC2008: Track on Agent-Oriented Programming, Systems, Languages, and Applications at The 23nd Annual ACM Symposium on Applied Computing
  • Publicity Chair, ICSOC 2009: The 7th International Conference on Service Oriented Computing
• Program Committee
  • CM at SAC 2007: Track on Coordination Models, Languages and Architectures at The 22nd Annual ACM Symposium on Applied Computing
  • SPAQu'07 at APSEC2007: The 1st International Workshop on Software Patterns and Quality, at The 14th Asia-Pacific Software Engineering Conference
  • SOA at APSEC2007: The 1st International Workshop on Service-Oriented Architecture, at The 14th Asia-Pacific Software Engineering Conference
  • COIN-AAMAS-08: The 5th Workshop on Coordination, organization, Institutions and Norms in Agent Systems, at The 7th International Conference on Autonomous Agents and Multiagent Systems
  • IEEE IRI-08: The 9th IEEE International Conference on Information Reuse and Integration
  • SPAQu'08 at PLoP 2008: The 2nd Workshop on Software Patterns and Quality, at The 15th Conference on Pattern Languages of Programs
  • ICAART 2009: The 1st International Conference on Agents and Artificial Intelligence
  • UIC-09: The 6th International Conference on Ubiquitous Intelligence and Computing
  • IEEE IRI 2009: The 10th IEEE International Conference on Information Reuse and Integration
  • COIN@IJCAI09: The 7th Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems
  • MALLOW-AWESOME009: Agents, Web Services and Ontologies, Integrated Methodologies at Multi-Agent Logics, Languages, and Organisations Federated Workshops
  • SPAQu'09: The 3rd International Workshop on Software Patterns and Quality
  • IUCS 2009: The 3rd International Universal Communication Symposium
  • ICAART 2010: The 2nd International Conference on Agents and Artificial Intelligence
  • SERA 2010: The 8th International Conference on Software Engineering Research, Management and Applications
  • IEEE IRI-2010: The 11th IEEE International Conference on Information Reuse and Integration
  • NBiS 2010: The 13th International Conference on Network-Based Information Systems, the Ubiquitous and Pervasive Computing Applications track
  • UIC 2010: The 7th International Conference on Ubiquitous Intelligence and Computing
• Journal Paper Review（The Pervasive and Mobile Computing Journal, World Wide Web Journal, IEEE Transactions on Parallel and Distributed Systems, Progress in Informatics, etc.）

[Refereed publications, published books]

1. Adrian Helmut David 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), November 2009 (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, November 2009 (to appear)
3. 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 (to appear)
4. Fuyuki Ishikawa, Kenji Taguchi, Shinichi Honiden, How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project, The 7th VDM-Overture Workshop at FM 2009, November 2009
5. Fuyuki Ishikawa, Yumiko Murakami, Challenges in Inheriting Test Cases Configurations from VDM to Implementation, The 7th VDM-Overture Workshop at FM 2009, November 2009
6. 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
7. 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
8. Basem Suleiman and Fuyuki Ishikawa, A Constraint-Based Approach for Developing Consistent Contracts in Composite Services, The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009), pp.392-399, July 2009
9. Invited Paper: Fuyuki Ishikawa and Shinichi Honiden, On Applicability of Formal Methods and Tools to Dependable Services, The Journal of The Institute of Electronics, Information and Communication Engineers, Vol. E92-B, No.01, pp.9-16, January 2009
10. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting Time and Location Concepts Related to Tags, The 1st Workshop on Incentives for the Semantic Web (INSEMTIVE 2008), October 2008
11. 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
12. Hirotaka Moriguchi, Fuyuki Ishikawa, Shinichi Honiden, Bayesian Iteration: Online Learning in Timed Zero-Sum Games with Unknown Enemy, ECAI Workshop on Artificial Intelligence in Games (AIG-08), July 2008.
13. Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox, Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach, The 2008 IEEE International Conference on Services Computing (SCC2008), vol. 2, pp.231-238, July 2008
14. Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, A Flexible Protocol Composition for Multi-Party Coordination Protocols in Multi-Agent Systems, The 1st IEEE Workshop on Agent Technologies for Pervasive Communities (ATPC2008), pp.609-614, March 2008
15. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Developing Consistent Contractual Policies in Service Composition, The 2007 IEEE Asia-Pacific Services Computing Conference (IEEE APSCC 2007), pp.527-534, December 2007
16. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation, The 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA 2007), pp.683-700, November 2007
17. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting and Utilizing Event-Context Relationships in Blogsphere, Poster/Demo Track of the 6th International Semantic Web Conference (ISWC 2007), November 2007
18. Jose Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden, Dynamic Protocol Selection alongside Service Selection and Composition, 2007 IEEE International Conference on Web Services (ICWS 2007), pp.719-726, July 2007
19. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Policy-based Runtime Partner Management in Process-Based Services, 2007 IEEE International Conference on Web Services (ICWS 2007), pp.1191-1194, July 2007
20. Khanh Quan Truong, Fuyuki Ishikawa, Shinichi Honiden, Improving Accuracy of Recommender System by Item Clustering, IEICE TRANSACTIONS, Volume E90-D-I No.9, pp.1363-1373, September 2007
21. Fuyuki Ishikawa, Agreement-based Cooperative Mobility in Service-Oriented Computing, PhD Thesis, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo, Feburuary 2007
22. Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden, A Hierarchical Mobile Agent Framework and Its Application to Multimedia Contents, Systems and Computers in Japan, Vol. 38 Issue 1, pp.1-17, January 2007
23. Satoshi Kataoka, Fuyuki Ishikawa, and Shinichi Honiden, PID-Filtered Negotiation for Decision Making in Dynamic Coverage Problem, IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), pp.481-488, November 2006
24. Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden, Smartive: Agreement-based Mobile Composite Agents for Multimedia Services, International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p.19, November 2006
25. Truong Khanh Quan, Fuyuki Ishikawa, and Shinichi Honiden, Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity, International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p.61, November 2006
26. 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
27. Jose Quenum, Fuyuki Ishikawa, and Shinichi Honiden, Interaction Design in Agent-based Service-oriented Computing Systems, AAAI Workshop on AI-Driven Technologies for Services-Oriented Computing, July 2006
28. Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden， Service-Oriented and Autonomous Distribution and Provision of Multimedia Contents, The 5th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2006), pp.949-951, May 2006
29. Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden, Incorporating Agreements on Service Options into BPEL-based Services, International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC'2005), pp.796-803, November 2005
30. Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden, Mobile Agent System for Web Service Integration in Pervasive Network, Systems and Computers in Japan, Vol. 36 Issue 11, pp.34-48, November 2005
31. 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
32. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara and Shinichi Honiden, Framework for Hierarchical Agent Synthesis and Its Multimedia Application, The 4th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS2005), pp.1267-1268, July 2005
33. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara and Shinichi Honiden, Mobile and Cooperative Compounds of Multimedia Services, IEEE International Conference on Services Computing (SCC2005), pp.129-136, July 2005
34. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Shinichi Honiden, FRAMEWORK FOR HIERARCHICAL MOBILE AGENTS: TOWARD SERVICE-ORIENTED AGENT COMPOUND, The 7th International Conference on Enterprise Information Systems (ICEIS-2005), pp.275-282, May 2005
35. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Shinichi Honiden, Toward Synthesis of Web Services and Mobile Agents, AAMAS'2004 Workshop on Web Services and Agent-based Engineering (WSABE2004), pp.48-55, July 2004
36. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, Behavior Descriptions of Mobile Agents for Web Services Integration, 2004 IEEE International Conference on Web Services (ICWS 2004), pp.342-349, July 2004
37. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Shinichi Honiden, Mobile Agent System for Web Services Integration in Pervasive Networks, International Workshop on Ubiquitous Computing (IWUC 2004), pp.38-47, April 2004
38. Fuyuki Ishikawa, Web Services Integration by Mobile Agents, Master Thesis, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo, Feburuary 2004
39. Fuyuki Ishikawa, Web Search System based on Multi-Agent Framework, Senior Thesis, Department of Information Science, School of Science, The University of Tokyo, Feburuary 2002

[Patents / softwares / other works]

1. Freedia: Agent Development Framework for Service-Oriented Distribution and Provision of Multimedia Contents (to be published)

[Speeches and oral presentations]

1. Panelist at Mini-Panel: "Research challenges in service-oriented computing: Where do we go from here?", The 1st International Workshop on Service-Oriented Architecture, at The 14th Asia-Pacific Software Engineering Conference(SOA workshop at APSEC 2007）, December 2007.

[Competitive research funds]

(1) Grant in aid for scientific research

• Grant-in-Aid for Young Scientists (B): Research and Development of a Framework to Realize Consistent Contract Management in Service Composition
• Grant-in-Aid for Young Scientists (Start-up): Research on a Tool to Check and Realize Consistency in Multiple Contracts in Service Composition
• Grant-in-Aid for Scientific Research (A): Research on Middleware for Open Wireless Sensor Network

(2) Other public funding

none

(3) Others

none