Fuyuki Ishikawa

J-GLOBAL         Last updated: Sep 17, 2019 at 14:50
 
Avatar
Name
Fuyuki Ishikawa
E-mail
f-ishikawanii.ac.jp
URL
http://research.nii.ac.jp/~f-ishikawa/en/
Affiliation
National Institute of Informatics
Job title
Associate Professor
Degree
Ph.D (Information Science and Technology)

Profile

Associate Professor at National Institute of Informatics.

Interest: Trustworthy & Smart Software Engineering
Please find detail in the web site linked above.

Academic & Professional Experience

 
Apr 2018
 - 
Today
Associate Professor, Information Systems Architecture Science Research Division, National Institute of Informatics
 
Apr 2018
 - 
Today
Deputy Director, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics
 
Nov 2011
 - 
Mar 2018
Associate Professor, Digital Content and Media Sciences Research Division, National Institute of Informatics
 
Jun 2012
 - 
Today
Visiiting Associate Professor, Graduate School of Information Systems, The University of Electro-Communications
 
Jun 2012
 - 
Today
Visiiting Associate Professor, Department of Informatics, School of Multidisciplinary Sciences, SOKENDAI University
 
Apr 2012
 - 
May 2012
Associate Professor, Department of Informatics, School of Multidisciplinary Sciences, SOKENDAI University
 
Apr 2007
 - 
Mar 2012
Assistant Professor, Department of Informatics, School of Multidisciplinary Sciences, SOKENDAI University
 
Apr 2007
 - 
Oct 2011
Assistant Professor, Digital Content and Media Sciences Research Division, National Institute of Informatics
 

Research Grants & Projects

 
Multi-layered Security technologies to ensure hyper connected smart cities with Blockchain, BigData, Cloud and IoT
Horizon2020/NICT: EU-Japan
Project Year: Jul 2018 - Jun 2021
Research on Autonomous and Collborative Self-Adaptation Mechanism and its Formal Verification for IoT
JSPS: Grants-in-Aid (Kakenhi) for Scientific Research (B)
Project Year: Apr 2018 - Mar 2021    Investigator(s): Yasuyuki Tahara
Research on Complexity Distribution and Consistenty Assurance in Stepwise Refinement
Japan Science and Technology Agency (JSPS): Grants-in-Aid (Kakenhi) for Scientific Research (B)
Project Year: Apr 2017 - Mar 2021    Investigator(s): Fuyuki Ishikawa
Multi-View Models@Run.Time Framework for Flexible Systems
Japan Science and Technology Agency (JSPS): Grants-in-Aid (Kakenhi) for Scientific Research (A)
Project Year: Apr 2017 - Mar 2022    Investigator(s): Shinichi Honiden
Metamathematics for Systems Design Project
Japan Science and Technology Agency: Exploratory Research for Advanced Technology (ERATO)
Project Year: Oct 2016 - Mar 2022    Investigator(s): Ichiro Hasuo
Value Creation by Reliable Machine Learning-based Systems
Japan Science and Technology Agency: MIRAI
Project Year: Nov 2018 - Mar 2020    Investigator(s): Nobukazu Yoshioka
Big data meeting Cloud and IoT for empowering the citizen clout in smart cities
National Institute of Information and Communications Technology / H2020: EUJ-02-2016 - IoT/Cloud/Big Data platforms in social application contexts
Project Year: Jul 2016 - Jun 2019
Detection of Unexpected by Runtime Goal Model Tracking
Japan Society for the Promotion of Science (JSPS): Grands-in-Aid (Kakenhi) for Challenging Exploratory Research
Project Year: Apr 2015 - Mar 2017    Investigator(s): Fuyuki Ishikawa
Research on Complexity Distribution and Consistenty Assurance in Stepwise Refinement
Japan Society for the Promotion of Science (JSPS): Grants-in-Aid (Kakenhi) for Young Scientists (A)
Project Year: Apr 2014 - Mar 2017    Investigator(s): Fuyuki Ishikawa
ClouT: Cloud of Things for empowering the citizen clout in smart cities
FP7/NICT: FP7-ICT-2013-EU-Japan
Project Year: Apr 2013 - Mar 2016

Awards & Honors

 
Nov 2018
Analysis on Strategies of Superposition Refinement of Event-B Specifications, Best Paper Award, The 20th International Conference on Formal Engineering Methods (ICFEM 2018)
Winner: Tsutomu Kobayashi, Fuyuki Ishikawa
 
Jul 2015
Feedback-controlled Random Test Generation, Best Artifact Award, International Symposium on Software Testing and Analysis (ISSTA 2015)
Winner: Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
 
Jun 2015
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience from Top SE Program, Best Paper Award at The 1st Formal Methods in SW Engineering Education and Training Workshop, European Association of Software Science and Technology
Winner: Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe
 
Oct 2012
A Scalable Distributed Architecture for Network- and QoS-aware Service Composition, Best Paper Award, International Joint Agent Workshop and Symposium 2012 (iJAWS 2012)
Winner: Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
 
Dec 2010
Effcient, Failure-Resilient Semantic Web Service Planning, Best PhD Poster, The 8th International Conference on Service-Oriented Computing (ICSOC 2010 PhD Symposium / Poster Track)
Winner: Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
 

Books etc

 
Trustworthy Cyber-Physical Systems Engineering
Alexander Romanovsky (Editor), Fuyuki Ishikawa (Editor) (Part:Editor)
Chapman and Hall/CRC   Oct 2016   
Education of Scientific Approaches to Trustworthy Systems for Industry - After 10 Years, chapter in Trustworthy Cyber-Physical Systems
Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe
Chapman and Hall/CRC   Oct 2016   
Enablers for Smart Cities
Amal El Fallah Seghrouchni (Editor), Fuyuki Ishikawa (Editor), Laurent Hérault (Editor), Hideyuki Tokuda (Editor) (Part:Editor)
Wiley-ISTE   Jul 2016   
Verification and Configuration of Smart Space Applications, chapter in Enablers for Smart Cities
Fuyuki Ishikawa, Shinichi Honiden
Wiley-ISTE   Jul 2016   
Using Web 2.0 for Stakeholder Analysis: StakeSource and its Application in Ten Industrial Projects - Book Chapter in Managing Requirements Knowledge
Soo Ling Lim, Daniela Damian, Fuyuki Ishikawa and Anthony Finkelstein
Springer   Jun 2013   

Published Papers

 
Learning-Based Falsification for Model Families of Cyber-Physical Systems
Koki Kato, Fuyuki Ishikawa
The 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019)      Dec 2019   [Refereed]
Assessing the Relation Between Hazards and Variability in Automotive Systems
Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa
The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019)      Nov 2019   [Refereed]
Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems
Hiroshi Kuwajima, Fuyuki Ishikawa
The 30th International Symposium on Software Reliability Engineering (ISSRE 2019 Industry Track)      Oct 2019   [Refereed]
Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach
Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
The Genetic and Evolutionary Computation Conference (GECCO 2019)   1241-1249   Jul 2019   [Refereed]
Modelling and Analysing Resilient Cyber-Physical Systems
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos and Haiyan Zhao
The 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems 2019 (SEAMS 2019, NIER Paper)   70-76   May 2019   [Refereed]
How do Engineers Perceive Difficulties in Engineering of Machine-Learning Systems? - Questionnaire Survey
Fuyuki Ishikawa, Nobukazu Yoshioka
Joint International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice (CESSER-IP 2019) at The 41st ACM/IEEE International Conference on Software Engineering (ICSE 2   2-9   May 2019   [Refereed]
Contemporary Requirements Challenges and Issues: An Empirical Study in 11 Organizations
Feng Chen, Norah Power, J. J. Collins, Fuyuki Ishikawa
Requirements Engineering Track at The 34th Symposium on Applied Computing (SAC 2019)   1592-1599   Apr 2019   [Refereed]
Change Impact Analysis for Refinement-based Formal Specification
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
IEICE Transactions on Information and Systems, Special Issue on Formal Approach   Accepted    Mar 2019   [Refereed]
Consistency-preserving refactoring of refinement structures in Event-B models
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Formal Aspects of Computing   31(3) 287-320   Feb 2019   [Refereed]
Towards a Framework for the Analysis of Multi-PLs in the Automotive Domain
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
The 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019)   12:1-12:6   Feb 2019   [Refereed]

Conference Activities & Talks

 
Scenario Sampling for Cyber Physical Systems using Combinatorial Testing
Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
The 8th International Workshop on Combinatorial Testing (IWCT 2019) at The 12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019)   23 Apr 2019   
Testing for Dependable (Autonomous) Automotive Systems
Fuyuki Ishikawa
The 3rd International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 in Hakone (CPSS-2018-Hakone)   22 Dec 2018   
Integrated Approach to Dependable Cyber-Physical Systems: from Category Theory to Machine Learning [Invited]
Fuyuki Ishikawa
Symposium on Dependability and Safety of Autonomous Systems   9 Nov 2018   
A Framework for Developing Distributed Protocols with Event-B/Rodin [Invited]
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Alexander Romanovsky, Fuyuki Ishikawa
Rodin Workshop 2018 at ABZ 2018   5 Jun 2018   
Falsification of Cyber-Physical Systems with Reinforcement Learning
Koki Kato, Fuyuki Ishikawa, Shinichi Honiden
The 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2018) at CPSWeek 2018   10 Apr 2018   
Emerging Challenges in Software Dependability under Uncertain World [Invited]
Fuyuki Ishikawa
The 1st International Conference on Advanced Information Technologies (ICAIT)   1 Nov 2017   
SE for Smart CPS: Assurance and Verification [Invited]
Fuyuki Ishikawa
Shonan Meeting on Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS)   Aug 2017   
Engineering Abstraction/Refinement in Modelling and Verification of CPS [Invited]
Fuyuki Ishikawa
Shonan Meeting on Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS)   Jul 2017   
Exploring Explicit Semantics for Maintainability and Reusability in Formal Refinement (of Event-B) [Invited]
Fuyuki Ishikawa
Shonan Meeting on Implicit and Explicit Semantics Integration in Proof based Developments of Discrete Systems   Nov 2016   
SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines
Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa, Shinichi Honiden
The 6th Rodin User and Developer Workshop at ABZ 2016   May 2016   

Misc

 
Towards industrial application of advanced formal methods for cyber-physical system engineering
Fuyuki Ishikawa, Alexander Romanovsky, Thierry Lecomte
NII Shonan Meeting Report   2018(16)    Feb 2019
Proceedings of the Event-B Day 2018 in Tokyo
Fuyuki Ishikawa, Tsutomu Kobayashi, Alexander Romanovsky
Technical Report, Newcastle University   1525    Dec 2018
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications
Fuyuki Ishikawa, Peter Gorm Larsen, John S Fitzgerald
NII Shonan Meeting Report   2017(18)    Jun 2018
Proceedings of the Event-B Day
Fuyuki Ishikawa, Alexander Romanovsky
Technical Report, School of Computing Science, University of Newcastle upon Tyne   (CS-TR-1504)    Nov 2016
Proceedings of the Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems
Fuyuki Ishikawa, Alexander Romanovsky, Elena Troubitsyna
Technical Report, School of Computing Science, University of Newcastle upon Tyne   (CS-TR-1503)    Nov 2016