This is a web site of Fuyuki Ishikawa:
Associate Professor, at National Institute of Informatics (NII), Japan
(also working with Honiden Laboratory at The University of Tokyo and NII)
Research Areas
I'm interested in abstract modeling, description, analysis and verification of functionality and quality of software and systems.
Specifically, I'm working on the following two areas:
- Services Computing and Cloud Computing
Investigating both of software engineering and artificial intelligence approaches, as well as their integration, for flexible and adaptive services/clouds composition. - Software Engineering (Primarily Formal Methods and Requirements Engineering)
Investigating modeling, description, transformation, analysis and verification in requirements and specifications.
Primary Publications
(including co-authored)
- Towards Robust Service Compositions in the Context of Functionally Diverse Services, WWW 2012
- Towards Network-aware Service Composition in the Cloud, WWW 2012
- Service Selection with Combinational Use of Functionally-Equivalent Services, ICWS 2011
- QoS-aware Automatic Service Composition by Applying Functional Clustering, ICWS 2011
- Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy, ICSOC 2010
- A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, ICSOC 2009
- What Top-Level Software Engineers Tackles after Learning Formal Methods - Experiences from the Top SE Project, TFM 2009
- Formal Model of Mobile BPEL4WS Process, Int'l Journal on Business Process Integration and Management 2006
- A Framework for Synthesis of Web Services and Mobile Agents, Int'l Journal of Pervasive Computing and Communications 2005
Please find more details in the following pages: