Content
Primary Information
- Name: Fuyuki Ishikawa
- Position: Associate Professor
- Affiliation: Digital Content and Media Sciences Research Division, National Institute of Informatics
- Degree: Doctor Degree of Information Science and Technology (The University of Tokyo, 2007)
Career
- Mar 2002: Bachelor of Science, The University of Tokyo
- Mar 2004: Master of Information Science and Technology, The University of Tokyo
- Mar 2007: Doctor of Information Science and Technology, The University of Tokyo
- Apr 2007 - Oct 2011: Assistant Professor, Digital Content and Media Sciences Research Division, National Institute of Informatics, Japan
- Nov 2011 - Present: Associate Professor, Digital Content and Media Sciences Research Division, National Institute of Informatics, Japan
- Apr 2007 - Present: Assistant Professor, Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies (Sokendai University), Japan
- Adjunct Jobs
- Research Assistant, National Institute of Informatics, Japan (JFY 2004 - 2006)
- Adjunct Lecturer, The University of Tokyo, Japan (JFY 2007, 2009, 2012)
- Adjunct Lecturer, Waseda University, Japan (JFY 2008, 2012)
- Adjunct Lecturer, JAIST (Japan Advanced Institute for Science and Technology) (JFY 2009 - Present)
Primary Publications
- 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
- 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
- Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden, Service Selection with Combinational Use of Functionally-Equivalent Services, The 9th International Conference on Web Services (ICWS 2011), July 2011
- 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
- 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
- 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
- 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
- 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
- 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
Primary Activities
- [Vice Chair] IEICE Technical Group on Services Computing (Apr 2009 - Present)
Research
Journals
- Kazunori Sakamoto, Fuyuki Ishikawa, Hironori Washizaki, Yoshiaki Fukazawa, Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages, IEICE Transactions on Information and Systems, E94.D No. 12, pp.2418-2430, December 2011
- Fuyuki Ishikawa, Shinichi Honiden, On Applicability of Formal Methods and Tools to Dependable Services, The Journal of The Institute of Electronics, Information and Communication Engineers (Invited Paper), Vol. E92-B, No.01, pp.9-16, January 2009
- 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
- Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden, A Hierarchical Mobile Agent Framework and its Application to Multimedia Contents, Systems and Computers in Japan, Vol.38 No.1, pp.1-17, January 2007
- 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
- Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Mobile Agent System for Web Service Integration in Pervasive Network, Systems and Computers in Japan, Vol.36 No.11, pp.34-48, November 2005
- 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
Conferences/Workshops
- Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden, Multi-objective Service Composition with Time- and Input-Dependent QoS, The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), June 2012 (to appear)
- Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, A Probabilistic Approach for Long-Term B2B Service Compositions, The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), June 2012 (to appear)
- Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Web Service Selection Algorithm using Vickrey Auction, The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), June 2012 (to appear)
- Mohammad Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden, Trust Computation in Web Service Compositions Using Bayesian Networks, The 10th International Conference on Web Services (ICWS 2012) (Work-in-Progress Track), June 2012 (to appear)
- Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden, Supporting View Transition Design of Smartphone Applications Using Web Templates, The 12th International Conference on Web Engineering (ICWE 2012) (Short Paper), July 2012 (to appear)
- 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
- 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
- Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden, Trust in Web Service Compositions Using Bayesian Networks, AAAI Spring Symposium 2012: Intelligent Web Services Meet Social Computing, March 2012
- Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden, Applying QoS-aware Service Selection on Functionally Diverse Services, The 5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC'11) at ICSOC 2011, December 2011
- Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi, Formal Verification of Business Processes with Temporal and Resource Constraints, The 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011), pp.1173-1180, October 2011
- Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden, Service Selection with Combinational Use of Functionally-Equivalent Services, The 9th International Conference on Web Services (ICWS 2011), pp.97-104, July 2011
- 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
- Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Efficient Heuristic Approach with Improved Time Complexity for QoS-aware Service Composition, The 9th International Conference on Web Services (ICWS 2011) (Application & Experience Track), pp.436-443, July 2011
- 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), pp.152-159, July 2011
- Fuyuki Ishikawa, Toward Customizable and Bi-directionally Traceable Transformation between VDM++ and Java, The 9th Overture/VDM Workshop at FM 2011, June 2011
- 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
- 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), pp.579-586, December 2010
- Benjamin Klopper, Fuyuki Ishikawa, Shinichi Honiden, Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes, The 8th International Conference on Service-Oriented Computing (ICSOC 2010) (short paper), pp.635-640, December 2010
- [Best PhD Poster] Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, Effcient, Failure-Resilient Semantic Web Service Planning, The 8th International Conference on Service-Oriented Computing (ICSOC 2010) (PhD Symposium / Poster Track), pp.686-689, December 2010
- 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, Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods, The 7th International Conference on Services Computing (SCC 2010) (Work-in-Progress Track), pp.635-636, July 2010
- Fuyuki Ishikawa, Description and Matching of Triggering Capabilities in Event-Driven Services, The 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010) at The 2010 IEEE 6th World Congress on Services (SERVICES 2010), pp.197-204, July 2010
- Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden, Business Semantics Centric Reliability Testing for Web Services in BPEL, The 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010) at The 2010 IEEE 6th World Congress on Services (SERVICES 2010), pp.237-244, July 2010
- 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
- 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
- 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
- Fuyuki Ishikawa, Yumiko Murakami, Challenges in Inheriting Test Cases Configurations from VDM to Implementation, The 7th VDM-Overture Workshop at FM 2009, November 2009
- 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
- Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden, Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering, The 2nd International Workshop on Requirements Engineering and Law (RELAW'09) at RE 2009, September 2009
- 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
- Basem Suleiman, 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
Show All
Talks
- 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.
Funds
- Grants-in-Aid for Challenging Exploratory Research: Modeling and Analysis of Laws and their Interpretations by Leveraging Requirements Engineering
- Grants-in-Aid for Scientific Research (A): Analysis, Design and Verification of Spatial Control Software Prepared for the Unexpected
- Grants-in-Aid for Young Scientists (B): Research and Development of a Framework to Realize Consistent Contract Management in Service Composition
- Grants-in-Aid for Young Scientists (Start-up): Research on a Tool to Check and Realize Consistency in Multiple Contracts in Service Composition
- Grants-in-Aid for Scientific Research (A): Research on Middleware for Open Wireless Sensor Network
Thesis
- 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
- 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
- Fuyuki Ishikawa, Web Search System based on Multi-Agent Framework, Senior Thesis, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo, Feburuary 2002
Japanese Publications
- [Book] Formal Specification with VDM++, ISBN 4764904098, 2011
- 13 research journal papers
- 7 invited talks and tutorials on formal methods or services/cloud computing
- [Web Site] Portal Site for Formal Methods Application
Educational Activities
Supervision
- Support of Senior/Master/PhD Students at Honiden Laboratory at The University of Tokyo
- Sub-Supervisor: The University of Tokyo (1 PhD student)
- Supervisor: International Internship Program at National Institute of Informatics (13 students, among which 6 were for their master degrees)
- Supervisor: Top SE Graduation Studies (3- or 6- month studies in an educational course for industial developers/researchers) (32 people)
Lecture Courses
- Service-Oriented Computing (Sokendai)
- Formal Specification (Top SE, Sokendai, The Univ. of Tokyo, JAIST)
- Java Programming (Waseda Univ.)
Community Activities
- [Member] IEEE CS, ACM (and Japanese societies: IPSJ, IEICE, JSSST)
- [Vice Chair] IEICE Technical Group on Services Computing (Apr 2009 - Present)
- [Editorial Advisory Board] Book Chapter: Methodologies for Non-Functional Requirements in Service Oriented Architecture
- Organization
- [Vice Director] Tokyo Regional Contest of ACM-ICPC 2010: International Collegiate Programming Contest
- [Publicity Chair] ICSOC 2009: The 7th International Conference on Service Oriented Computing
- [Co-organizer] APSLA at SAC2008: Track on Agent-Oriented Programming, Systems, Languages, and Applications at The 23nd Annual ACM Symposium on Applied Computing
- [Student Volunteer Co-Chair] ASE 2006: The 21st IEEE/ACM International Conference on Automated Software Engineering
- [Program Committee]
- CLOSER 2011-2012: The 1st-2nd International Conference on Cloud Computing and Services Science
- UIC 2009-2012: The 6th-8th International Conference on Ubiquitous Intelligence and Computing
- COIN (@AAMAS2008, @IJCAI2009, @AAMAS2010): The 5th,7th,9th Workshop on Coordination, organization, Institutions and Norms in Agent Systems
- MALLOW-AWESOME009: Agents, Web Services and Ontologies, Integrated Methodologies at Multi-Agent Logics, Languages, and Organisations Federated Workshops
- IEEE IRI 2008-2011: The 9th-11th IEEE International Conference on Information Reuse and Integration
- SERA 2010-2011: The 8th International Conference on Software Engineering Research, Management and Applications
- NBiS 2010: The 13th International Conference on Network-Based Information Systems, the Ubiquitous and Pervasive Computing Applications track
- IUCS 2009: 3rd International Universal Communication Symposium
- SPAQu'07-09 (at APSEC 2007, at PLoP 2008, at OOPSLA 2009): The 1st-3rd International Workshop on Software Patterns and Quality, at The 14th Asia-Pacific Software Engineering Conference
- ICAART 2009,2011-2013: International Conference on Agents and Artificial Intelligence
- SOA at APSEC2007: The 1st International Workshop on Service-Oriented Architecture, at The 14th Asia-Pacific Software Engineering Conference
- CM at SAC 2007: Track on Coordination Models, Languages and Architectures at The 22nd Annual ACM Symposium on Applied Computing
Show All - [Journal Reviews] The Pervasive and Mobile Computing Journal, World Wide Web Journal, IEEE Transactions on Parallel and Distributed Systems, Progress in Informatics, etc.
© Fuyuki Ishikawa, National Institute of Informatics, Japan, 2007-