default search action

combined dblp search
author search
venue search
publication search

ask others

Fuyuki Ishikawa

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/NguyenZAIV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/NguyenZAIV25
Thu-Trang Nguyen, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Hieu Dinh Vo:
Automated program repair for variability bugs in software product line systems. J. Syst. Softw. 221: 112152 (2025)
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/saner/SchneiderSAID25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saner/SchneiderSAID25
Sebastian Schneider, Tomas Sujovolsky, Paolo Arcaini, Fuyuki Ishikawa, Truong Vinh Truong Duy:
Filter-based Repair of Semantic Segmentation in Safety-Critical Systems. SANER 2025: 349-359
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/2024
Guangdong Bai, Fuyuki Ishikawa, Yamine Aït-Ameur, George A. Papadopoulos:
Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings. Lecture Notes in Computer Science 14784, Springer 2025, ISBN 978-3-031-66455-7 [contents]
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-18504
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-18504
Peter J. Bentley, Soo Ling Lim, Fuyuki Ishikawa:
CLEAR: Cue Learning using Evolution for Accurate Recognition Applied to Sustainability Data Extraction. CoRR abs/2501.18504 (2025)
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-07079
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-07079
Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa:
An Experience Report on Regression-Free Repair of Deep Neural Network Model. CoRR abs/2503.07079 (2025)
2024
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/LimBI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/LimBI24
Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa:
SCAPE: Searching Conceptual Architecture Prompts using Evolution. CEC 2024: 1-8
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/CalsiDZAI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/CalsiDZAI24
Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). GECCO Companion 2024: 45-46
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LyuZAI0024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LyuZAI0024
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao:
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO 2024
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/KobayashiI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/KobayashiI24
Tsutomu Kobayashi, Fuyuki Ishikawa:
Repairing Event-B Models Through Quantifier Elimination. ICFEM 2024: 18-36
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/RiviereKSIAD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/RiviereKSIAD24
Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont:
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. ICFEM 2024: 314-331
[c134]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icse/ArcainiI0MYZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ArcainiI0MYZ24
Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang:
Technical Briefing on Deep Neural Network Repair. ICSE Companion 2024: 428-430
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-deeptest/Calsi0AI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-deeptest/Calsi0AI24
Davide Li Calsi, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa:
Federated Repair of Deep Neural Networks. DeepTest@ICSE 2024
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-deeptest/Mancu0RAIR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-deeptest/Mancu0RAIR24
Andrei Mancu, Thomas Laurent, Franz Rieger, Paolo Arcaini, Fuyuki Ishikawa, Daniel Rueckert:
More is Not Always Better: Exploring Early Repair of DNNs. DeepTest@ICSE 2024
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LaurentAZI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LaurentAZI24
Thomas Laurent, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa:
Metamorphic Testing of an Autonomous Delivery Robots Scheduler. ICST 2024: 361-372
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/HasuoEHDBKPZP0S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/HasuoEHDBKPZP0S24
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi:
Goal-Aware RSS for Complex Scenarios via Program Logic. IV 2024: 3154
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/programming/IshikawaS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/IshikawaS24
Fuyuki Ishikawa, Shinobu Saito:
Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems. Programming 2024
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/ucc/NguyenTAI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ucc/NguyenTAI24
Minh-Tri Nguyen, Hong-Linh Truong, Paolo Arcaini, Fuyuki Ishikawa:
Optimizing Multiple Consumer-specific Objectives in End-to-End Ensemble Machine Learning Serving. UCC 2024: 103-108
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/Sun0AI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/Sun0AI24
Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa:
Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System. SANER 2024: 383-394
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-04875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-04875
Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa:
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. CoRR abs/2401.04875 (2024)
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00089
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00089
Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa:
SCAPE: Searching Conceptual Architecture Prompts using Evolution. CoRR abs/2402.00089 (2024)
2023
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/KitsuregawaUYTHSIEM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/KitsuregawaUYTHSIEM23
Masaru Kitsuregawa, Shigeo Urushidani, Kazutsuna Yamaji, Hiroki Takakura, Ichiro Hasuo, Imari Sato, Fuyuki Ishikawa, Isao Echizen, Kensaku Mori:
Activities of National Institute of Informatics in Japan. Commun. ACM 66(7): 58-63 (2023)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/ZhangAI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/ZhangAI23
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. IEEE Trans. Dependable Secur. Comput. 20(4): 2713-2730 (2023)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tiv/HasuoEHDBKPZPYSIKSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tiv/HasuoEHDBKPZPYSIKSS23
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi:
Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 8(4): 3040-3072 (2023)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/LaurentKAIV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/LaurentKAIV23
Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. 32(3): 58:1-58:31 (2023)
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/LaurentAIKSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/LaurentAIKSM23
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. APSEC 2023: 425-430
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/ArcainiCIKSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/ArcainiCIKSM23
Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. CEC 2023: 1-10
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/dsa/ZhangZAI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsa/ZhangZAI23
Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. DSA 2023: 734-742
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KobayashiBI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KobayashiBI23
Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa:
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. FM 2023: 533-549
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/BentleyLAI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/BentleyLAI23
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa:
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. GECCO 2023: 1303-1311
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/CalsiD00AI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/CalsiD00AI23
Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Adaptive Search-based Repair of Deep Neural Networks. GECCO 2023: 1527-1536
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/VictoricaAIKSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/VictoricaAIKSM23
Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS 2023: 177-186
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CalsiDZAI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CalsiDZAI23
Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks. ICST 2023: 83-94
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/YeXZAMZI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/YeXZAMZI23
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa:
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE 2023: 1149-1161
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/sera/KawakamiI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sera/KawakamiI23
Masumi Kawakami, Fuyuki Ishikawa:
Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM. SERA 2023: 460-468
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/NakagawaTTI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/NakagawaTTI23
Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa:
An Experience Report on Regression-Free Repair of Deep Neural Network Model. SANER 2023: 778-782
[i15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-03211
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-03211
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa:
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. CoRR abs/2303.03211 (2023)
2022
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/cain/YoshiiTI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cain/YoshiiTI22
Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa:
Practical insights of repairing model problems on image classification. CAIN 2022: 157-158
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LuoZAJZIW022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LuoZAJZIW022
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie:
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion 2022: 33-34
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiZI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiZI22
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST 2022: 279-290
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/YueAAI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/YueAAI22
Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) 2022: 9-21
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/CastellanoZATII22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/CastellanoZATII22
Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura:
Explaining the Behaviour of Game Agents Using Differential Comparison. ASE 2022: 210:1-210:8
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LuoZAJZZI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LuoZAJZZI22
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa:
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. RE 2022: 88-100
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/TokuiTYINMK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/TokuiTYINMK22
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi:
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. SANER 2022: 1111-1121
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-00191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-00191
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi:
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. CoRR abs/2203.00191 (2022)
[i13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-07116
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-07116
Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa:
Practical Insights of Repairing Model Problems on Image Classification. CoRR abs/2205.07116 (2022)
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-02387
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-02387
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi:
Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR abs/2207.02387 (2022)
2021
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/StankaitisIKAIR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/StankaitisIKAIR21
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky:
A refinement-based development of a distributed signalling system. Formal Aspects Comput. 33(6): 1009-1036 (2021)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicetd/Ishikawa21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicetd/Ishikawa21
Fuyuki Ishikawa:
Foreword. IEICE Trans. Inf. Syst. 104-D(10): 1514 (2021)
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/OjimaHI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/OjimaHI21
Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa:
Model-based Data-Complexity Estimator for Deep Learning Systems. AITest 2021: 1-8
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/0003AIV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/0003AIV21
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). GECCO Companion 2021: 33-34
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiZI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiZI21
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST 2021: 295-305
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DuranZAI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DuranZAI21
Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. ISSRE 2021: 264-275
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/ArcainiCILZAHV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/ArcainiCILZAHV21
Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque:
Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops 2021: 197-202
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LuoZAJZIW021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LuoZAJZIW021
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie:
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE 2021: 279-291
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/0003AIV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/0003AIV21
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. ASE 2021: 1327-1331
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/kdd/PatelIBGMMMABN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kdd/PatelIBGMMMABN21
Hima Patel, Fuyuki Ishikawa, Laure Berti-Équille, Nitin Gupta, Sameep Mehta, Satoshi Masuda, Shashank Mujumdar, Shazia Afzal, Srikanta Bedathur, Yasuharu Nishi:
2nd International Workshop on Data Quality Assessment for Machine Learning. KDD 2021: 4147-4148
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/KobayashiSHCIK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/KobayashiSHCIK21
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata:
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. NFM 2021: 198-213
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/0001I21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/0001I21
Kenji Taguchi, Fuyuki Ishikawa:
Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600. SAFECOMP Workshops 2021: 272-283
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Eberhart0KKKHI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Eberhart0KKKHI21
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa:
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF 2021: 22-38
[e2]
- view
- export record
  dblp key:
  - conf/apsec/2018wespr
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/2018wespr
Nobukazu Yoshioka, Hironori Washizaki, Eduardo B. Fernández, Tomoko Kaneko, Shuichiro Yamamoto, Fuyuki Ishikawa, Foutse Khomh, Giuliano Antoniol:
Proceedings of the International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), Nara, Japan, December 4, 2018. CEUR Workshop Proceedings 2809, CEUR-WS.org 2021 [contents]
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-10948
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-10948
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa:
Architecture-Guided Test Resource Allocation Via Logic. CoRR abs/2107.10948 (2021)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-07509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-07509
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata:
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR abs/2108.07509 (2021)
2020
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/FujiiHIMMMNOTTT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/FujiiHIMMMNOTTT20
Gaku Fujii, Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Mineo Matsuya, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita:
Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence. Int. J. Softw. Eng. Knowl. Eng. 30(11&12): 1589-1606 (2020)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/FitzgeraldIL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/FitzgeraldIL20
John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen:
Editorial to the theme section on model-based engineering of smart systems. Softw. Syst. Model. 19(3): 579-580 (2020)
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/TrenquierIT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/TrenquierIT20
Henri Trenquier, Fuyuki Ishikawa, Susumu Tokumoto:
Attribute-based Granular Evaluation for Performance of Machine Learning Models. AITest 2020: 125-132
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/StankaitisIKAIR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/StankaitisIKAIR20
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky:
Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ 2020: 203-219
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/CaloA0HI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/CaloA0HI20
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. GECCO 2020: 1055-1063
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/0003AIV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/0003AIV20
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. ICECCS 2020: 93-102
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DupontASIKP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DupontASIKP20
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel:
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM 2020: 251-267
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LiuZAIJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LiuZAIJ20
Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao:
Leveraging test logs for building a self-adaptive path planner. SEAMS@ICSE 2020: 57-63
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CaloA0HI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CaloA0HI20
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST 2020: 375-386
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhangAIL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhangAIL20
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu:
Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. ISSRE 2020: 301-312
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Ishikawa20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Ishikawa20
Fuyuki Ishikawa:
Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges. ISSRE Workshops 2020: xxxiii-xxxiv
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/KamoshidaI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/KamoshidaI20
Ryota Kamoshida, Fuyuki Ishikawa:
Automated Clustering and Knowledge Acquisition Support for Beginners. KES 2020: 1596-1605
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/re/IshikawaM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/IshikawaM20
Fuyuki Ishikawa, Yutaka Matsuno:
Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems. RE 2020: 346-351
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LimBI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LimBI20
Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa:
Reaching the Unreachable : A Method for Early Stage Software Startups to Reach Inaccessible Stakeholders within Large Corporation. RE 2020: 376-381
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/IshikawaMMNOTTT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/IshikawaMMNOTTT20
Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita, Mineo Matsuya:
Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence. SEKE 2020: 335-341
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/AhmedIS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/AhmedIS20
Md Sohel Ahmed, Fuyuki Ishikawa, Mahito Sugiyama:
Testing machine learning code using polyhedral region. ESEC/SIGSOFT FSE 2020: 1533-1536

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/KobayashiIH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/KobayashiIH19
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Consistency-preserving refactoring of refinement structures in Event-B models. Formal Aspects Comput. 31(3): 287-320 (2019)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/SaruwatariIKH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/SaruwatariIKH19
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden:
Change Impact Analysis for Refinement-Based Formal Specification. IEICE Trans. Inf. Syst. 102-D(8): 1462-1477 (2019)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/WuIZX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/WuIZX19
Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia:
Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters. IEEE Trans. Serv. Comput. 12(4): 550-563 (2019)
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/0003AIV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/0003AIV19
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. APSEC 2019: 94-101
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LeeA0I19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LeeA0I19
Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa:
Stability analysis for safety of automotive multi-product lines: a search-based approach. GECCO 2019: 1241-1249
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/StankaitisIAKIR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/StankaitisIAKIR19
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky:
A Refinement Based Method for Developing Distributed Protocols. HASE 2019: 90-97
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ZhangAI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ZhangAI19
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/IshikawaY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/IshikawaY19
Fuyuki Ishikawa, Nobukazu Yoshioka:
How do engineers perceive difficulties in engineering of machine-learning systems?: questionnaire survey. CESSER-IP@ICSE 2019: 2-9
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BennaceurGTKWCD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BennaceurGTKWCD19
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 A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/YamadaEIL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/YamadaEIL19
Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee:
Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. ICST Workshops 2019: 198-199
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/KuwajimaI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/KuwajimaI19
Hiroshi Kuwajima, Fuyuki Ishikawa:
Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. ISSRE Workshops 2019: 13-18
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/KatoI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/KatoI19
Koki Kato, Fuyuki Ishikawa:
Learning-Based Falsification for Model Families of Cyber-Physical Systems. PRDC 2019: 236-245
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/ChenPCI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/ChenPCI19
Feng Chen, Norah Power, J. J. Collins, Fuyuki Ishikawa:
Contemporary requirements challenges and issues: an empirical study in 11 organizations. SAC 2019: 1592-1599
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MatsunoIT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MatsunoIT19
Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto:
Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests. SAFECOMP Workshops 2019: 398-404
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/AliAHIL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/AliAHIL19
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee:
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. VaMoS 2019: 12:1-12:6
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-02134
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-02134
Hiroshi Kuwajima, Fuyuki Ishikawa:
Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. CoRR abs/1908.02134 (2019)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-00806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-00806
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
A Mutation-based Approach for Assessing Weight Coverage of a Path Planner. CoRR abs/1910.00806 (2019)
[i7]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/KhomhIM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/KhomhIM19
Foutse Khomh, Fuyuki Ishikawa, Hiroshi Maruyama:
Software Engineering for Machine Learning Systems (SEMLS) (NII Shonan Meeting 156). NII Shonan Meet. Rep. 2019 (2019)
2018
[c71]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apsec/IshikawaKYA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/IshikawaKYA18
Fuyuki Ishikawa, Foutse Khomh, Nobukazu Yoshioka, Giuliano Antoniol:
Report of iMLSE-18: the 1^st International Workshop on Machine Learning Systems Engineering. WESPr-iMLSE@APSEC 2018: 3-4
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/KatoIH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/KatoIH18
Koki Kato, Fuyuki Ishikawa, Shinichi Honiden:
Falsification of Cyber-Physical Systems with Reinforcement Learning. MT@CPSWeek 2018: 5-6
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/er/Ishikawa18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/Ishikawa18
Fuyuki Ishikawa:
Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments. ER 2018: 536-544
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/KobayashiI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/KobayashiI18
Tsutomu Kobayashi, Fuyuki Ishikawa:
Analysis on Strategies of Superposition Refinement of Event-B Specifications. ICFEM 2018: 357-372
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/IshikawaM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/IshikawaM18
Fuyuki Ishikawa, Yutaka Matsuno:
Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems. SAFECOMP Workshops 2018: 14-21
[i6]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/IshikawaRL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/IshikawaRL18
Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte:
Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). NII Shonan Meet. Rep. 2018 (2018)
2017
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/WuIZXW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/WuIZXW17
Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia, Junhao Wen:
Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds. IEEE Trans. Parallel Distributed Syst. 28(12): 3401-3412 (2017)
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/SaruwatariIKH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/SaruwatariIKH17
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden:
Extracting Traceability between Predicates in Event-B Refinement. APSEC 2017: 61-70
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/MoritaIH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/MoritaIH17
Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden:
Construction of Abstract State Graphs for Understanding Event-B Models. SETTA 2017: 250-265
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/IkeshitaIH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/IkeshitaIH17
Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden:
Test Suite Reduction in Idempotence Testing of Infrastructure as Code. TAP@STAF 2017: 98-115
[i5]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/IshikawaGF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/IshikawaGF17
Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald:
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18). NII Shonan Meet. Rep. 2017 (2017)
[i4]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/MullerIL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/MullerIL17
Hausi A. Müller, Fuyuki Ishikawa, Marin Litoiu:
Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS) (NII Shonan Meeting 2017-11). NII Shonan Meet. Rep. 2017 (2017)
2016
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tec/LimBI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tec/LimBI16
Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa:
The Effects of Developer Dynamics on Fitness in an Evolutionary Ecosystem Model of the App Store. IEEE Trans. Evol. Comput. 20(4): 529-545 (2016)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/0001IH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/0001IH16
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden:
Robust Service Compositions with Functional and Location Diversity. IEEE Trans. Serv. Comput. 9(2): 277-290 (2016)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/WuIZS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/WuIZS16
Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Dong-Hoon Shin:
QoS-Aware Multigranularity Service Composition: Modeling and Optimization. IEEE Trans. Syst. Man Cybern. Syst. 46(11): 1565-1577 (2016)
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/er/KobayashiIH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/KobayashiIH16
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Stepwise Refinement of Software Development Problem Analysis. ER 2016: 488-495
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KobayashiIH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KobayashiIH16
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Refactoring Refinement Structure of Event-B Machines. FM 2016: 444-459
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SaekiIH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SaekiIH16
Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden:
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. ICFEM 2016: 41-56
2015
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LimBKIH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LimBKIH15
Soo Ling Lim, Peter J. Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden:
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering. IEEE Trans. Software Eng. 41(1): 40-64 (2015)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/MoralesIH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/MoralesIH15
Fernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden:
Abstract rewriting Approach to solve Datalog programs. DBPL 2015: 29-36
[c59]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fm/IshikawaYT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/IshikawaYT15
Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe:
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. FMSEE&T@FM 2015: 35-42
[c58]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fm/SatoI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SatoI15
Naoto Sato, Fuyuki Ishikawa:
Separation of Considerations in Event-B Refinement toward Industrial Use. FMSEE&T@FM 2015: 43-50
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KuritaIA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KuritaIA15
Taro Kurita, Fuyuki Ishikawa, Keijiro Araki:
Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. FM 2015: 593-596
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/WuI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/WuI15
Quanwang Wu, Fuyuki Ishikawa:
Heterogeneous Virtual Machine Consolidation Using an Improved Grouping Genetic Algorithm. HPCC/CSS/ICESS 2015: 397-404
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YagitaIH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YagitaIH15
Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden:
An Application Conflict Detection and Resolution System for Smart Homes. SEsCPS@ICSE 2015: 33-39
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/YatohSIH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/YatohSIH15
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden:
Feedback-controlled random test generation. ISSTA 2015: 316-326
2014
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/ShinLI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/ShinLI14
Dong-Hoon Shin, Kyong-Ho Lee, Fuyuki Ishikawa:
A graph-based approach enhancing correctness and speed of web services composition through explicit specification of functional semantics. Int. J. Web Grid Serv. 10(4): 297-318 (2014)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/WuZJI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/WuZJI14
Quanwang Wu, Qingsheng Zhu, Xing Jian, Fuyuki Ishikawa:
Broker-based SLA-aware composite service provisioning. J. Syst. Softw. 96: 194-201 (2014)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/KleinIH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/KleinIH14
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
SanGA: A Self-Adaptive Network-Aware Approach to Service Composition. IEEE Trans. Serv. Comput. 7(3): 452-464 (2014)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/KobayashiIH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/KobayashiIH14
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Understanding and Planning Event-B Refinement through Primitive Rationales. ABZ 2014: 277-283
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/YatohSIH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/YatohSIH14
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden:
ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. ICST Workshops 2014: 405-412
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/SuzukiSIH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/SuzukiSIH14
Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden:
An approach for evaluating and suggesting method names using n-gram models. ICPC 2014: 271-274
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/iwwiss/MaretIHYAR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwwiss/MaretIHYAR14
Pierre Maret, Fuyuki Ishikawa, Satoshi Honda, Takuro Yonezawa, Rajendra Akerkar, Till Riedel:
International Workshop on Web Intelligence and Smart Sensing IWWISS'2014. IWWISS 2014: 1:1-1:6
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/iwwiss/WuI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwwiss/WuI14
Quanwang Wu, Fuyuki Ishikawa:
Towards Service Skyline for Multi-granularity Service Composition. IWWISS 2014: 10:1-10:6
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/re/PadgetESI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/PadgetESI14
Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa:
On requirements representation and reasoning using answer set programming. AIRE 2014: 35-42
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/wsf14/Ishikawa14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/wsf14/Ishikawa14
Fuyuki Ishikawa:
QoS-based Service Selection. Web Services Foundations 2014: 375-397
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/iwwiss/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwwiss/2014
Pierre Maret, Satoshi Honda, Rajendra Akerkar, Fuyuki Ishikawa, Takuro Yonezawa, Till Riedel, Martin Alexander Neumann:
Proceedings of the 2014 International Workshop on Web Intelligence and Smart Sensing, IWWISS '14, Saint Etienne, France, September 1-2, 2014. ACM 2014, ISBN 978-1-4503-2747-3 [contents]
[i3]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/IshikawaR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/IshikawaR14
Fuyuki Ishikawa, Alexander B. Romanovsky:
Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14). NII Shonan Meet. Rep. 2014 (2014)
2013
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/TakahashiITF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/TakahashiITF13
Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa:
Intention-Based Automated Composition Approach for Coordination Protocol. ICWS 2013: 260-267
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/HashmiIR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/HashmiIR13
Sajid Ibrahim Hashmi, Fuyuki Ishikawa, Ita Richardson:
A communication process for global requirements engineering. ICSSP 2013: 136-140
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/13/LimDIF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/13/LimDIF13
Soo Ling Lim, Daniela E. Damian, Fuyuki Ishikawa, Anthony Finkelstein:
Using Web 2.0 for Stakeholder Analysis: StakeSource and Its Application in Ten Industrial Projects. Managing Requirements Knowledge 2013: 221-242
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1301-4839
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-4839
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
A Scalable Distributed Architecture for Network- and QoS-aware Service Composition. CoRR abs/1301.4839 (2013)
2012
[c45]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaiss/MotallebiIH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/MotallebiIH12
Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden:
Component Trust for Web Service Compositions. AAAI Spring Symposium: Intelligent Web Services Meet Social Computing 2012
[c44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icwe/NishiuraMIH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/NishiuraMIH12
Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden:
Supporting View Transition Design of Smartphone Applications Using Web Templates. ICWE 2012: 323-331
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/WagnerKKIH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/WagnerKKIH12
Florian Wagner, Adrian Klein, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden:
Multi-objective Service Composition with Time- and Input-Dependent QoS. ICWS 2012: 234-241
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/KleinWIH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/KleinWIH12
Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden:
A Probabilistic Approach for Long-Term B2B Service Compositions. ICWS 2012: 259-266
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/WatanabeIFH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/WatanabeIFH12
Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden:
Web Service Selection Algorithm Using Vickrey Auction. ICWS 2012: 336-342
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/MotallebiIH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/MotallebiIH12
Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden:
Trust Computation in Web Service Compositions Using Bayesian Networks. ICWS 2012: 623-625
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/www/KleinIH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/KleinIH12
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
Towards network-aware service composition in the cloud. WWW 2012: 959-968
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/www/WagnerKIH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/WagnerKIH12
Florian Wagner, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden:
Towards robust service compositions in the context of functionally diverse services. WWW 2012: 969-978
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1211-2259
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-2259
Fuyuki Ishikawa, Alexander B. Romanovsky:
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012). CoRR abs/1211.2259 (2012)
2011
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/SakamotoIWF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/SakamotoIWF11
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 Trans. Inf. Syst. 94-D(12): 2418-2430 (2011)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/IshikawaKWFH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/IshikawaKWFH11
Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden:
Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures. IEEE SCC 2011: 152-159
[c36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/WagnerIH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/WagnerIH11
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden:
Applying QoS-Aware Service Selection on Functionally Diverse Services. ICSOC Workshops 2011: 100-113
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/WagnerIH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/WagnerIH11
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden:
QoS-Aware Automatic Service Composition by Applying Functional Clustering. ICWS 2011: 89-96
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/HiratsukaIH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/HiratsukaIH11
Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden:
Service Selection with Combinational Use of Functionally-Equivalent Services. ICWS 2011: 97-104
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/KleinIH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/KleinIH11
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition. ICWS 2011: 436-443
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/WatahikiIH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/WatahikiIH11
Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi:
Formal verification of business processes with temporal and resource constraints. SMC 2011: 1173-1180
2010
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/Ishikawa10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/Ishikawa10
Fuyuki Ishikawa:
Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods. IEEE SCC 2010: 635-636
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BabaIH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BabaIH10
Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden:
Extraction of Places Related to Flickr Tags. ECAI 2010: 523-528
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/KleinIH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/KleinIH10
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy. ICSOC 2010: 182-196
[c28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/Ishikawa10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/Ishikawa10
Fuyuki Ishikawa:
Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle. ICSOC 2010: 579-586
[c27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/KlopperIH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/KlopperIH10
Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden:
Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes. ICSOC 2010: 635-640
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/services/Ishikawa10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/services/Ishikawa10
Fuyuki Ishikawa:
Description and Matching of Triggering Capabilities in Event-Driven Services. SERVICES 2010: 197-204
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/services/WangIH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/services/WangIH10
Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden:
Business Semantics Centric Reliability Testing for Web Services in BPEL. SERVICES 2010: 237-244

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/IshikawaH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/IshikawaH09
Fuyuki Ishikawa, Shinichi Honiden:
On Applicability of Formal Methods and Tools to Dependable Services. IEICE Trans. Commun. 92-B(1): 9-16 (2009)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icps/IshikawaSYH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icps/IshikawaSYH09
Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden:
Physical interaction in pervasive computing: formal modeling, analysis and verification. ICPS 2009: 133-140
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/KleinIB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/KleinIB09
Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer:
A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns. ICSOC/ServiceWave 2009: 253-268
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/re/IshikawaIH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/IshikawaIH09
Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden:
Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering. RELAW 2009: 39-44
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/KawamataSIH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/KawamataSIH09
Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden:
Specifying and Checking Refinement Relationships in VDM++. SEFM 2009: 220-227
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/services/SuleimanI09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/services/SuleimanI09
Basem Suleiman, Fuyuki Ishikawa:
A Constraint-Based Approach for Developing Consistent Contracts in Composite Services. SERVICES I 2009: 392-399
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/IshikawaTYH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/IshikawaTYH09
Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden:
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. TFM 2009: 57-71
2008
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/LimIPC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/LimIPC08
Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox:
Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach. IEEE SCC (2) 2008: 231-238
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/TakahashiTIHF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/TakahashiTIHF08
Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Shinichi Honiden, Yoshiaki Fukazawa:
Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. EDOC 2008: 372-378
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/percom/TakahashiTIFH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/percom/TakahashiTIFH08
Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden:
A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. PerCom 2008: 609-614
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/RicciPIW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/RicciPIW08
Alessandro Ricci, Eric Platon, Fuyuki Ishikawa, Danny Weyns:
Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message. SAC 2008: 50-51
2007
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/TruongIH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/TruongIH07
KhanhQuan Truong, Fuyuki Ishikawa, Shinichi Honiden:
Improving Accuracy of Recommender System by Item Clustering. IEICE Trans. Inf. Syst. 90-D(9): 1363-1373 (2007)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/scjapan/IshikawaYTH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scjapan/IshikawaYTH07
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
A hierarchical mobile agent framework and its application to multimedia contents. Syst. Comput. Jpn. 38(1): 1-17 (2007)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/IshikawaYH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/IshikawaYH07
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Developing Consistent Contractual Policies in Service Composition. APSCC 2007: 527-534
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/QuenumIH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/QuenumIH07
José Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden:
Protocol Selection alongside Service Selection and Composition. ICWS 2007: 719-726
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/IshikawaYH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/IshikawaYH07
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Policy-based Runtime Partner Management in ProcessBased Services. ICWS 2007: 1191-1194
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/IshikawaYH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/IshikawaYH07
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. OTM Conferences (1) 2007: 683-700
2006
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijbpim/IshikawaTYH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijbpim/IshikawaTYH06
Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden:
Formal model of mobile BPEL4WS process. Int. J. Bus. Process. Integr. Manag. 1(3): 192-209 (2006)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/IshikawaYH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/IshikawaYH06
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Service-oriented and autonomous distribution and provision of multimedia contents. AAMAS 2006: 949-951
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cimca/IshikawaYH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cimca/IshikawaYH06
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Smartive: Agreement-based Mobile Composite Agents for Multimedia Services. CIMCA/IAWTIC 2006: 19
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cimca/QuanIH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cimca/QuanIH06
Truong Khanh Quan, Fuyuki Ishikawa, Shinichi Honiden:
Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity. CIMCA/IAWTIC 2006: 61
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/KataokaIH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/KataokaIH06
Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden:
PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. ICTAI 2006: 481-488
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpcc/IshikawaTYH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpcc/IshikawaTYH05
Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden:
A framework for synthesis of web services and mobile agents. Int. J. Pervasive Comput. Commun. 1(3): 227-245 (2005)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/scjapan/IshikawaYH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scjapan/IshikawaYH05
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Mobile agent system for Web service integration in pervasive network. Syst. Comput. Jpn. 36(11): 34-48 (2005)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/IshikawaYTH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/IshikawaYTH05
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Mobile and Cooperative Compounds of Multimedia Services. IEEE SCC 2005: 129-138
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/IshikawaTYH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/IshikawaTYH05
Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden:
Agent synthesis: partnership and agreement in cooperative mobile agents. AAMAS 2005: 1267-1268
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cimca/IshikawaYH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cimca/IshikawaYH05
Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
Incorporating Agreements on Service Options into BPEL-based Services. CIMCA/IAWTIC 2005: 796-803
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/IshikawaYTH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/IshikawaYTH05
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound. ICEIS (4) 2005: 275-282
2004
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/IshikawaYTH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/IshikawaYTH04
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Behavior Descriptions of Mobile Agents for Web Services Integration. ICWS 2004: 342-349
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iwuc/IshikawaYTH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwuc/IshikawaYTH04
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden:
Mobile Agent System for Web Services Integration in Pervasive Networks. IWUC 2004: 38-47

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.