Automated program repair for variability bugs in software product line systems - Thu-Trang Nguyen; Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa; Hieu Dinh Vo (J. Syst. Softw., 2025)

Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation - Deyun Lyu; Yi Li; Zhenya Zhang; Paolo Arcaini; Xiaoyi Zhang; Fuyuki Ishikawa; Jianjun Zhao (J. Syst. Softw., 2025)

SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences - Deyun Lyu; Zhenya Zhang; Paolo Arcaini; Xiao-Yi Zhang; Fuyuki Ishikawa; Jianjun Zhao (ACM Trans. Softw. Eng. Methodol., 2025)

CLEAR: Cue Learning using Evolution for Accurate Recognition Applied to Sustainability Data Extraction - Peter J. Bentley; Soo Ling Lim; Fuyuki Ishikawa (Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2025, NH Malaga Hotel, Malaga, Spain, July 14-18, 2025, 2025)

Filter-based Repair of Semantic Segmentation in Safety-Critical Systems - Sebastian Schneider; Tomas Sujovolsky; Paolo Arcaini; Fuyuki Ishikawa; Truong Vinh Truong Duy (IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2025, Montreal, QC, Canada, March 4-7, 2025, 2025)

Multi-Agent Differential Testing for the Game of Go - Jiaxue Song; Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa; Yong Liu; Bin Du (Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 23-28, 2025, 2025)

Practical Design by Contract Framework for Quantum Applications - Masaomi Yamaguchi; Nobukazu Yoshioka; Fuyuki Ishikawa (Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 23-28, 2025, 2025)

Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings - Guangdong Bai; Fuyuki Ishikawa; Yamine Aït-Ameur; George A. Papadopoulos (Springer, 2025)

CLEAR: Cue Learning using Evolution for Accurate Recognition Applied to Sustainability Data Extraction - Peter J. Bentley; Soo Ling Lim; Fuyuki Ishikawa (CoRR, 2025)

An Experience Report on Regression-Free Repair of Deep Neural Network Model - Takao Nakagawa; Susumu Tokumoto; Shogo Tokui; Fuyuki Ishikawa (CoRR, 2025)

SCAPE: Searching Conceptual Architecture Prompts using Evolution - Soo Ling Lim; Peter J. Bentley; Fuyuki Ishikawa (IEEE Congress on Evolutionary Computation, CEC 2024, Yokohama, Japan, June 30 - July 5, 2024, 2024)

Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024) - Davide Li Calsi; Matias Duran; Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa (Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2024, Melbourne, VIC, Australia, July 14-18, 2024, 2024)

Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications - Deyun Lyu; Zhenya Zhang; Paolo Arcaini; Fuyuki Ishikawa; Thomas Laurent; Jianjun Zhao (Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2024, Melbourne, VIC, Australia, July 14-18, 2024, 2024)

Repairing Event-B Models Through Quantifier Elimination - Tsutomu Kobayashi; Fuyuki Ishikawa (Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings, 2024)

On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS - Peter Rivière; Tsutomu Kobayashi; Neeraj Kumar Singh; Fuyuki Ishikawa; Yamine Aït Ameur; Guillaume Dupont (Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings, 2024)

Technical Briefing on Deep Neural Network Repair - Paolo Arcaini; Fuyuki Ishikawa; Lei Ma; Yuta Maezawa; Nobukazu Yoshioka; Fuyuan Zhang (Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024, 2024)

Federated Repair of Deep Neural Networks - Davide Li Calsi; Thomas Laurent; Paolo Arcaini; Fuyuki Ishikawa (Proceedings of the 5th IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, DeepTest 2024, Lisbon, Portugal, 20 April 2024, 2024)

More is Not Always Better: Exploring Early Repair of DNNs - Andrei Mancu; Thomas Laurent; Franz Rieger; Paolo Arcaini; Fuyuki Ishikawa; Daniel Rueckert (Proceedings of the 5th IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, DeepTest 2024, Lisbon, Portugal, 20 April 2024, 2024)

Metamorphic Testing of an Autonomous Delivery Robots Scheduler - Thomas Laurent; Paolo Arcaini; Xiaoyi Zhang; Fuyuki Ishikawa (IEEE Conference on Software Testing, Verification and Validation, ICST 2024, Toronto, ON, Canada, May 27-31, 2024, 2024)

Goal-Aware RSS for Complex Scenarios via Program Logic - 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; et al. (IEEE Intelligent Vehicles Symposium, IV 2024, Jeju Island, Republic of Korea, June 2-5, 2024, 2024)

Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems - Fuyuki Ishikawa; Shinobu Saito (Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming, Programming Companion 2024, Lund, Sweden, March 11-15, 2024, 2024)

Optimizing Multiple Consumer-specific Objectives in End-to-End Ensemble Machine Learning Serving - Minh-Tri Nguyen; Hong-Linh Truong; Paolo Arcaini; Fuyuki Ishikawa (17th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2024, Sharjah, United Arab Emirates, December 16-19, 2024, 2024)

Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System - Chin-Hsuan Sun; Thomas Laurent; Paolo Arcaini; Fuyuki Ishikawa (IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024, Rovaniemi, Finland, March 12-15, 2024, 2024)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement - Tsutomu Kobayashi; Martin Bondu; Fuyuki Ishikawa (CoRR, 2024)

SCAPE: Searching Conceptual Architecture Prompts using Evolution - Soo Ling Lim; Peter J. Bentley; Fuyuki Ishikawa (CoRR, 2024)

Activities of National Institute of Informatics in Japan - Masaru Kitsuregawa; Shigeo Urushidani; Kazutsuna Yamaji; Hiroki Takakura; Ichiro Hasuo; Imari Sato; Fuyuki Ishikawa; Isao Echizen; Kensaku Mori (Commun. ACM, 2023)

An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner - Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa (IEEE Trans. Dependable Secur. Comput., 2023)

Goal-Aware RSS for Complex Scenarios via Program Logic - 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; et al. (IEEE Trans. Intell. Veh., 2023)

Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty - Thomas Laurent; Stefan Klikovits; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (ACM Trans. Softw. Eng. Methodol., 2023)

Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System - Thomas Laurent; Paolo Arcaini; Fuyuki Ishikawa; Hirokazu Kawamoto; Kaoru Sawai; Eiichi Muramoto (30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023, 2023)

Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery - Paolo Arcaini; Ezequiel Castellano; Fuyuki Ishikawa; Hirokazu Kawamoto; Kaoru Sawai; Eiichi Muramoto (IEEE Congress on Evolutionary Computation, CEC 2023, Chicago, IL, USA, July 1-5, 2023, 2023)

An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go - Mingyue Zhang; Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa (10th International Conference on Dependable Systems and Their Applications, DSA 2023, Tokyo, Japan, August 10-11, 2023, 2023)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement - Tsutomu Kobayashi; Martin Bondu; Fuyuki Ishikawa (Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, 2023)

Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery - Peter J. Bentley; Soo Ling Lim; Paolo Arcaini; Fuyuki Ishikawa (Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, 2023)

Adaptive Search-based Repair of Deep Neural Networks - Davide Li Calsi; Matias Duran; Thomas Laurent; Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa (Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, 2023)

Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery - Mauricio Byrd Victorica; Paolo Arcaini; Fuyuki Ishikawa; Hirokazu Kawamoto; Kaoru Sawai; Eiichi Muramoto (27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023, 2023)

Distributed Repair of Deep Neural Networks - Davide Li Calsi; Matias Duran; Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa (IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023, 2023)

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing - Jiaming Ye; Shangzhou Xia; Fuyuan Zhang; Paolo Arcaini; Lei Ma; Jianjun Zhao; Fuyuki Ishikawa (38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, 2023)

Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM - Masumi Kawakami; Fuyuki Ishikawa (21st IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2023, Orlando, FL, USA, May 23-25, 2023, 2023)

An Experience Report on Regression-Free Repair of Deep Neural Network Model - Takao Nakagawa; Susumu Tokumoto; Shogo Tokui; Fuyuki Ishikawa (IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, 2023)

Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery - Peter J. Bentley; Soo Ling Lim; Paolo Arcaini; Fuyuki Ishikawa (CoRR, 2023)

Practical insights of repairing model problems on image classification - Akihito Yoshii; Susumu Tokumoto; Fuyuki Ishikawa (Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, CAIN 2022, Pittsburgh, Pennsylvania, May 16-17, 2022, 2022)

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22) - Yixing Luo; Xiao-Yi Zhang; Paolo Arcaini; Zhi Jin; Haiyan Zhao; Fuyuki Ishikawa; Rongxin Wu; Tao Xie (GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9 - 13, 2022, 2022)

Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing - Paolo Arcaini; Xiao-Yi Zhang; Fuyuki Ishikawa (15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, 2022)

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems - Tao Yue; Shaukat Ali; Paolo Arcaini; Fuyuki Ishikawa (Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV, 2022)

Explaining the Behaviour of Game Agents Using Differential Comparison - Ezequiel Castellano; Xiao-Yi Zhang; Paolo Arcaini; Toru Takisaka; Fuyuki Ishikawa; Nozomu Ikehata; Kosuke Iwakura (37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022)

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems - Yixing Luo; Xiao-Yi Zhang; Paolo Arcaini; Zhi Jin; Haiyan Zhao; Linjuan Zhang; Fuyuki Ishikawa (30th IEEE International Requirements Engineering Conference, RE 2022, Melbourne, Australia, August 15-19, 2022, 2022)

NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History - Shogo Tokui; Susumu Tokumoto; Akihito Yoshii; Fuyuki Ishikawa; Takao Nakagawa; Kazuki Munakata; Shinji Kikuchi (IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, Honolulu, HI, USA, March 15-18, 2022, 2022)

NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History - Shogo Tokui; Susumu Tokumoto; Akihito Yoshii; Fuyuki Ishikawa; Takao Nakagawa; Kazuki Munakata; Shinji Kikuchi (CoRR, 2022)

Practical Insights of Repairing Model Problems on Image Classification - Akihito Yoshii; Susumu Tokumoto; Fuyuki Ishikawa (CoRR, 2022)

Goal-Aware RSS for Complex Scenarios via Program Logic - 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; et al. (CoRR, 2022)

A refinement-based development of a distributed signalling system - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (Formal Aspects Comput., 2021)

Foreword - Fuyuki Ishikawa (IEICE Trans. Inf. Syst., 2021)

Model-based Data-Complexity Estimator for Deep Learning Systems - Yuta Ojima; Shingo Horiuchi; Fuyuki Ishikawa (2021 IEEE International Conference on Artificial Intelligence Testing, AITest 2021, Oxford, United Kingdom, August 23-26, 2021, 2021)

Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021) - Thomas Laurent; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (GECCO '21: Genetic and Evolutionary Computation Conference, Companion Volume, Lille, France, July 10-14, 2021, 2021)

Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems - Paolo Arcaini; Xiao-Yi Zhang; Fuyuki Ishikawa (14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, 2021)

What to Blame? On the Granularity of Fault Localization for Deep Neural Networks - Matias Duran; Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa (32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021, 2021)

Parameter-Based Testing and Debugging of Autonomous Driving Systems - Paolo Arcaini; Alessandro Calò; Fuyuki Ishikawa; Thomas Laurent; Xiao-Yi Zhang; Shaukat Ali; Florian Hauer; Anthony Ventresque (IEEE Intelligent Vehicles Symposium Workshops, IV 2021 - Workshops, Nagoya, Japan, July 11-17, 2021, 2021)

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search - Yixing Luo; Xiao-Yi Zhang; Paolo Arcaini; Zhi Jin; Haiyan Zhao; Fuyuki Ishikawa; Rongxin Wu; Tao Xie (36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, 2021)

Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems - Thomas Laurent; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, 2021)

2nd International Workshop on Data Quality Assessment for Machine Learning - Hima Patel; Fuyuki Ishikawa; Laure Berti-Équille; Nitin Gupta; Sameep Mehta; Satoshi Masuda; Shashank Mujumdar; Shazia Afzal; Srikanta Bedathur; Yasuharu Nishi (KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Virtual Event, Singapore, August 14-18, 2021, 2021)

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty - Tsutomu Kobayashi; Rick Salay; Ichiro Hasuo; Krzysztof Czarnecki; Fuyuki Ishikawa; Shin-ya Katsumata (NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings, 2021)

Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600 - Kenji Taguchi; Fuyuki Ishikawa (Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings, 2021)

Architecture-Guided Test Resource Allocation via Logic - Clovis Eberhart; Akihisa Yamada; Stefan Klikovits; Shin-ya Katsumata; Tsutomu Kobayashi; Ichiro Hasuo; Fuyuki Ishikawa (Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings, 2021)

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 - Nobukazu Yoshioka; Hironori Washizaki; Eduardo B. Fernández; Tomoko Kaneko; Shuichiro Yamamoto; Fuyuki Ishikawa; Foutse Khomh; Giuliano Antoniol (CEUR-WS.org, 2021)

Architecture-Guided Test Resource Allocation Via Logic - Clovis Eberhart; Akihisa Yamada; Stefan Klikovits; Shin-ya Katsumata; Tsutomu Kobayashi; Ichiro Hasuo; Fuyuki Ishikawa (CoRR, 2021)

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty - Tsutomu Kobayashi; Rick Salay; Ichiro Hasuo; Krzysztof Czarnecki; Fuyuki Ishikawa; Shin-ya Katsumata (CoRR, 2021)

Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence - Gaku Fujii; Koichi Hamada; Fuyuki Ishikawa; Satoshi Masuda; Mineo Matsuya; Tomoyuki Myojin; Yasuharu Nishi; Hideto Ogawa; Takahiro Toku; Susumu Tokumoto; Kazunori Tsuchiya; Yasuhiro Ujita (Int. J. Softw. Eng. Knowl. Eng., 2020)

Editorial to the theme section on model-based engineering of smart systems - John S. Fitzgerald; Fuyuki Ishikawa; Peter Gorm Larsen (Softw. Syst. Model., 2020)

Attribute-based Granular Evaluation for Performance of Machine Learning Models - Henri Trenquier; Fuyuki Ishikawa; Susumu Tokumoto (IEEE International Conference On Artificial Intelligence Testing, AITest 2020, Oxford, UK, August 3-6, 2020, 2020)

Formal Distributed Protocol Development for Reservation of Railway Sections - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, 2020)

Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems - Alessandro Calò; Paolo Arcaini; Shaukat Ali; Florian Hauer; Fuyuki Ishikawa (GECCO '20: Genetic and Evolutionary Computation Conference, Cancún Mexico, July 8-12, 2020, 2020)

Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation - Thomas Laurent; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020, 2020)

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh; Fuyuki Ishikawa; Tsutomu Kobayashi; Marc Pantel (Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings, 2020)

Leveraging test logs for building a self-adaptive path planner - Kun Liu; Xiaoyi Zhang; Paolo Arcaini; Fuyuki Ishikawa; Wenpin Jiao (SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020, 2020)

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems - Alessandro Calò; Paolo Arcaini; Shaukat Ali; Florian Hauer; Fuyuki Ishikawa (13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, 2020)

Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance - Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa; Kun Liu (31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020, 2020)

Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges - Fuyuki Ishikawa (2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, 2020)

Automated Clustering and Knowledge Acquisition Support for Beginners - Ryota Kamoshida; Fuyuki Ishikawa (Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020, 2020)

Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems - Fuyuki Ishikawa; Yutaka Matsuno (28th IEEE International Requirements Engineering Conference, RE 2020, Zurich, Switzerland, August 31 - September 4, 2020, 2020)

Reaching the Unreachable : A Method for Early Stage Software Startups to Reach Inaccessible Stakeholders within Large Corporation - Soo Ling Lim; Peter J. Bentley; Fuyuki Ishikawa (28th IEEE International Requirements Engineering Conference, RE 2020, Zurich, Switzerland, August 31 - September 4, 2020, 2020)

Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence - Koichi Hamada; Fuyuki Ishikawa; Satoshi Masuda; Tomoyuki Myojin; Yasuharu Nishi; Hideto Ogawa; Takahiro Toku; Susumu Tokumoto; Kazunori Tsuchiya; Yasuhiro Ujita; Mineo Matsuya (The 32nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2020, KSIR Virtual Conference Center, USA, July 9-19, 2020, 2020)

Testing machine learning code using polyhedral region - Md Sohel Ahmed; Fuyuki Ishikawa; Mahito Sugiyama (ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, 2020)

Consistency-preserving refactoring of refinement structures in Event-B models - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (Formal Aspects Comput., 2019)

Change Impact Analysis for Refinement-Based Formal Specification - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (IEICE Trans. Inf. Syst., 2019)

Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters - Quanwang Wu; Fuyuki Ishikawa; Qingsheng Zhu; Yunni Xia (IEEE Trans. Serv. Comput., 2019)

A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner - Thomas Laurent; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019, 2019)

Stability analysis for safety of automotive multi-product lines: a search-based approach - Nian-Ze Lee; Paolo Arcaini; Shaukat Ali; Fuyuki Ishikawa (Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2019, Prague, Czech Republic, July 13-17, 2019, 2019)

A Refinement Based Method for Developing Distributed Protocols - Paulius Stankaitis; Alexei Iliasov; Yamine Aït Ameur; Tsutomu Kobayashi; Fuyuki Ishikawa; Alexander B. Romanovsky (19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019, 2019)

Assessing the Relation Between Hazards and Variability in Automotive Systems - Xiao-Yi Zhang; Paolo Arcaini; Fuyuki Ishikawa (24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019, 2019)

How do engineers perceive difficulties in engineering of machine-learning systems?: questionnaire survey - Fuyuki Ishikawa; Nobukazu Yoshioka (Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, CESSER-IP@ICSE 2019, Montreal, QC, Canada, May 27, 2019, 2019)

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; et al. (Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, 2019)

Scenario Sampling for Cyber Physical Systems using Combinatorial Testing - Akihisa Yamada; Clovis Eberhart; Fuyuki Ishikawa; Nian-Ze Lee (2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2019, Xi'an, China, April 22-23, 2019, 2019)

Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems - Hiroshi Kuwajima; Fuyuki Ishikawa (IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, 2019)

Learning-Based Falsification for Model Families of Cyber-Physical Systems - Koki Kato; Fuyuki Ishikawa (24th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2019, Kyoto, Japan, December 1-3, 2019, 2019)

Contemporary requirements challenges and issues: an empirical study in 11 organizations - Feng Chen; Norah Power; J. J. Collins; Fuyuki Ishikawa (Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019, 2019)

Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests - Yutaka Matsuno; Fuyuki Ishikawa; Susumu Tokumoto (Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, 2019)

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain - Shaukat Ali; Paolo Arcaini; Ichiro Hasuo; Fuyuki Ishikawa; Nian-Ze Lee (Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019, Leuven, Belgium, February 06-08, 2019, 2019)

Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems - Hiroshi Kuwajima; Fuyuki Ishikawa (CoRR, 2019)

A Mutation-based Approach for Assessing Weight Coverage of a Path Planner - Thomas Laurent; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (CoRR, 2019)

Software Engineering for Machine Learning Systems (SEMLS) (NII Shonan Meeting 156) - Foutse Khomh; Fuyuki Ishikawa; Hiroshi Maruyama (NII Shonan Meet. Rep., 2019)

Report of iMLSE-18: the 1\(^st\) International Workshop on Machine Learning Systems Engineering - Fuyuki Ishikawa; Foutse Khomh; Nobukazu Yoshioka; 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, 2018)

Falsification of Cyber-Physical Systems with Reinforcement Learning - Koki Kato; Fuyuki Ishikawa; Shinichi Honiden (3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018, 2018)

Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments - Fuyuki Ishikawa (Conceptual Modeling - 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings, 2018)

Analysis on Strategies of Superposition Refinement of Event-B Specifications - Tsutomu Kobayashi; Fuyuki Ishikawa (Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, 2018)

Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems - Fuyuki Ishikawa; Yutaka Matsuno (Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings, 2018)

Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16) - Fuyuki Ishikawa; Alexander B. Romanovsky; Thierry Lecomte (NII Shonan Meet. Rep., 2018)

Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds - Quanwang Wu; Fuyuki Ishikawa; Qingsheng Zhu; Yunni Xia; Junhao Wen (IEEE Trans. Parallel Distributed Syst., 2017)

Extracting Traceability between Predicates in Event-B Refinement - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, 2017)

Construction of Abstract State Graphs for Understanding Event-B Models - Daichi Morita; Fuyuki Ishikawa; Shinichi Honiden (Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, 2017)

Test Suite Reduction in Idempotence Testing of Infrastructure as Code - Katsuhiko Ikeshita; Fuyuki Ishikawa; Shinichi Honiden (Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, 2017)

Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18) - Fuyuki Ishikawa; Peter Gorm Larsen; John S. Fitzgerald (NII Shonan Meet. Rep., 2017)

Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS) (NII Shonan Meeting 2017-11) - Hausi A. Müller; Fuyuki Ishikawa; Marin Litoiu (NII Shonan Meet. Rep., 2017)

The Effects of Developer Dynamics on Fitness in an Evolutionary Ecosystem Model of the App Store - Soo Ling Lim; Peter J. Bentley; Fuyuki Ishikawa (IEEE Trans. Evol. Comput., 2016)

Robust Service Compositions with Functional and Location Diversity - Florian Wagner; Fuyuki Ishikawa; Shinichi Honiden (IEEE Trans. Serv. Comput., 2016)

QoS-Aware Multigranularity Service Composition: Modeling and Optimization - Quanwang Wu; Fuyuki Ishikawa; Qingsheng Zhu; Dong-Hoon Shin (IEEE Trans. Syst. Man Cybern. Syst., 2016)

Stepwise Refinement of Software Development Problem Analysis - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (Conceptual Modeling - 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings, 2016)

Refactoring Refinement Structure of Event-B Machines - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, 2016)

Automatic Generation of Potentially Pathological Instances for Validating Alloy Models - Takaya Saeki; Fuyuki Ishikawa; Shinichi Honiden (Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, 2016)

Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering - Soo Ling Lim; Peter J. Bentley; Natalie Kanakam; Fuyuki Ishikawa; Shinichi Honiden (IEEE Trans. Software Eng., 2015)

Abstract rewriting Approach to solve Datalog programs - Fernando Tarin Morales; Fuyuki Ishikawa; Shinichi Honiden (Proceedings of the 15th Symposium on Database Programming Languages, Pittsburgh, PA, USA, October 25-30, 2015, 2015)

Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program - Fuyuki Ishikawa; Nobukazu Yoshioka; Yoshinori Tanabe (Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015, 2015)

Separation of Considerations in Event-B Refinement toward Industrial Use - Naoto Sato; Fuyuki Ishikawa (Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015, 2015)

Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware - Taro Kurita; Fuyuki Ishikawa; Keijiro Araki (FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015)

Heterogeneous Virtual Machine Consolidation Using an Improved Grouping Genetic Algorithm - Quanwang Wu; Fuyuki Ishikawa (17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015, New York, NY, USA, August 24-26, 2015, 2015)

An Application Conflict Detection and Resolution System for Smart Homes - Miki Yagita; Fuyuki Ishikawa; Shinichi Honiden (1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015, Florence, Italy, May 17, 2015, 2015)

Feedback-controlled random test generation - Kohsuke Yatoh; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, 2015)

A graph-based approach enhancing correctness and speed of web services composition through explicit specification of functional semantics - Dong-Hoon Shin; Kyong-Ho Lee; Fuyuki Ishikawa (Int. J. Web Grid Serv., 2014)

Broker-based SLA-aware composite service provisioning - Quanwang Wu; Qingsheng Zhu; Xing Jian; Fuyuki Ishikawa (J. Syst. Softw., 2014)

SanGA: A Self-Adaptive Network-Aware Approach to Service Composition - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (IEEE Trans. Serv. Comput., 2014)

Understanding and Planning Event-B Refinement through Primitive Rationales - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, 2014)

ArbitCheck: A Highly Automated Property-Based Testing Tool for Java - Kohsuke Yatoh; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA, 2014)

An approach for evaluating and suggesting method names using n-gram models - Takayuki Suzuki; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (22nd International Conference on Program Comprehension, ICPC 2014, Hyderabad, India, June 2-3, 2014, 2014)

International Workshop on Web Intelligence and Smart Sensing IWWISS'2014 - Pierre Maret; Fuyuki Ishikawa; Satoshi Honda; Takuro Yonezawa; Rajendra Akerkar; Till Riedel (Proceedings of the 2014 International Workshop on Web Intelligence and Smart Sensing, IWWISS '14, Saint Etienne, France, September 1-2, 2014, 2014)

Towards Service Skyline for Multi-granularity Service Composition - Quanwang Wu; Fuyuki Ishikawa (Proceedings of the 2014 International Workshop on Web Intelligence and Smart Sensing, IWWISS '14, Saint Etienne, France, September 1-2, 2014, 2014)

On requirements representation and reasoning using answer set programming - Julian A. Padget; Emad Eldeen Elakehal; Ken Satoh; Fuyuki Ishikawa (IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014, 26 August, 2014, Karlskrona, Sweden, 2014)

QoS-based Service Selection - Fuyuki Ishikawa (Web Services Foundations, 2014)

Proceedings of the 2014 International Workshop on Web Intelligence and Smart Sensing, IWWISS '14, Saint Etienne, France, September 1-2, 2014 - Pierre Maret; Satoshi Honda; Rajendra Akerkar; Fuyuki Ishikawa; Takuro Yonezawa; Till Riedel; Martin Alexander Neumann (ACM, 2014)

Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14) - Fuyuki Ishikawa; Alexander B. Romanovsky (NII Shonan Meet. Rep., 2014)

Intention-Based Automated Composition Approach for Coordination Protocol - Ryuichi Takahashi; Fuyuki Ishikawa; Kenji Tei; Yoshiaki Fukazawa (2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28 - July 3, 2013, 2013)

A communication process for global requirements engineering - Sajid Ibrahim Hashmi; Fuyuki Ishikawa; Ita Richardson (International Conference on Software and System Process, ICSSP '13, San Francisco, CA, USA, May 18-19, 2013, 2013)

Using Web 2.0 for Stakeholder Analysis: StakeSource and Its Application in Ten Industrial Projects - Soo Ling Lim; Daniela E. Damian; Fuyuki Ishikawa; Anthony Finkelstein (Managing Requirements Knowledge, 2013)

A Scalable Distributed Architecture for Network- and QoS-aware Service Composition - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (CoRR, 2013)

Component Trust for Web Service Compositions - Mohammad-Reza Motallebi; Fuyuki Ishikawa; Shinichi Honiden (Intelligent Web Services Meet Social Computing, Papers from the 2012 AAAI Spring Symposium, Palo Alto, California, USA, March 26-28, 2012, 2012)

Supporting View Transition Design of Smartphone Applications Using Web Templates - Kazuki Nishiura; Yuta Maezawa; Fuyuki Ishikawa; Shinichi Honiden (Web Engineering - 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings, 2012)

Multi-objective Service Composition with Time- and Input-Dependent QoS - Florian Wagner; Adrian Klein; Benjamin Klöpper; Fuyuki Ishikawa; Shinichi Honiden (2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012, 2012)

A Probabilistic Approach for Long-Term B2B Service Compositions - Adrian Klein; Florian Wagner; Fuyuki Ishikawa; Shinichi Honiden (2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012, 2012)

Web Service Selection Algorithm Using Vickrey Auction - Atsushi Watanabe; Fuyuki Ishikawa; Yoshiaki Fukazawa; Shinichi Honiden (2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012, 2012)

Trust Computation in Web Service Compositions Using Bayesian Networks - Mohammad-Reza Motallebi; Fuyuki Ishikawa; Shinichi Honiden (2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012, 2012)

Towards network-aware service composition in the cloud - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (Proceedings of the 21st World Wide Web Conference 2012, WWW 2012, Lyon, France, April 16-20, 2012, 2012)

Towards robust service compositions in the context of functionally diverse services - Florian Wagner; Benjamin Klöpper; Fuyuki Ishikawa; Shinichi Honiden (Proceedings of the 21st World Wide Web Conference 2012, WWW 2012, Lyon, France, April 16-20, 2012, 2012)

Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012) - Fuyuki Ishikawa; Alexander B. Romanovsky (CoRR, 2012)

Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages - Kazunori Sakamoto; Fuyuki Ishikawa; Hironori Washizaki; Yoshiaki Fukazawa (IEICE Trans. Inf. Syst., 2011)

Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures - Fuyuki Ishikawa; Satoshi Katafuchi; Florian Wagner; Yoshiaki Fukazawa; Shinichi Honiden (IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, 2011, 2011)

Applying QoS-Aware Service Selection on Functionally Diverse Services - Florian Wagner; Fuyuki Ishikawa; Shinichi Honiden (Service-Oriented Computing - ICSOC 2011 Workshops - ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers, 2011)

QoS-Aware Automatic Service Composition by Applying Functional Clustering - Florian Wagner; Fuyuki Ishikawa; Shinichi Honiden (IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, 2011)

Service Selection with Combinational Use of Functionally-Equivalent Services - Nobuaki Hiratsuka; Fuyuki Ishikawa; Shinichi Honiden (IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, 2011)

Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, 2011)

Formal verification of business processes with temporal and resource constraints - Kenji Watahiki; Fuyuki Ishikawa; Kunihiko Hiraishi (Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011, 2011)

Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods - Fuyuki Ishikawa (2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010, 2010)

Extraction of Places Related to Flickr Tags - Yukino Baba; Fuyuki Ishikawa; Shinichi Honiden (ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, 2010)

Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (Service-Oriented Computing - 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings, 2010)

Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle - Fuyuki Ishikawa (Service-Oriented Computing - 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings, 2010)

Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes - Benjamin Klöpper; Fuyuki Ishikawa; Shinichi Honiden (Service-Oriented Computing - 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings, 2010)

Description and Matching of Triggering Capabilities in Event-Driven Services - Fuyuki Ishikawa (6th World Congress on Services, SERVICES 2010, Miami, Florida, USA, July 5-10, 2010, 2010)

Business Semantics Centric Reliability Testing for Web Services in BPEL - Yongbo Wang; Fuyuki Ishikawa; Shinichi Honiden (6th World Congress on Services, SERVICES 2010, Miami, Florida, USA, July 5-10, 2010, 2010)

On Applicability of Formal Methods and Tools to Dependable Services - Fuyuki Ishikawa; Shinichi Honiden (IEICE Trans. Commun., 2009)

Physical interaction in pervasive computing: formal modeling, analysis and verification - Fuyuki Ishikawa; Basem Suleiman; Kayoko Yamamoto; Shinichi Honiden (Proceedings of the 2009 international conference on Pervasive services, ICPS '09, London, United Kingdom, July 13-17, 2009, 2009)

A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns - Adrian Klein; Fuyuki Ishikawa; Bernhard Bauer (Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings, 2009)

Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering - Fuyuki Ishikawa; Rihoko Inoue; Shinichi Honiden (Second International Workshop on Requirements Engineering and Law, RELAW 2009, Atlanta, Georgia, USA, September 1, 2009, 2009)

Specifying and Checking Refinement Relationships in VDM++ - Yojiro Kawamata; Christian Sommer; Fuyuki Ishikawa; Shinichi Honiden (Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, 2009)

A Constraint-Based Approach for Developing Consistent Contracts in Composite Services - Basem Suleiman; Fuyuki Ishikawa (2009 IEEE Congress on Services, Part I, SERVICES I 2009, Los Angeles, CA, USA, July 6-10, 2009, 2009)

What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project - Fuyuki Ishikawa; Kenji Taguchi; Nobukazu Yoshioka; Shinichi Honiden (Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, 2009)

Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach - Soo Ling Lim; Fuyuki Ishikawa; Eric Platon; Karl Cox (2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, 2008)

Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems - Ryuichi Takahashi; Kenji Tei; Fuyuki Ishikawa; Shinichi Honiden; Yoshiaki Fukazawa (12th International IEEE Enterprise Distributed Object Computing Conference, ECOC 2008, 15-19 September 2008, Munich, Germany, 2008)

A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems - Ryuichi Takahashi; Kenji Tei; Fuyuki Ishikawa; Yoshiaki Fukazawa; Shinichi Honiden (Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, 2008)

Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message - Alessandro Ricci; Eric Platon; Fuyuki Ishikawa; Danny Weyns (Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, 2008)

Improving Accuracy of Recommender System by Item Clustering - KhanhQuan Truong; Fuyuki Ishikawa; Shinichi Honiden (IEICE Trans. Inf. Syst., 2007)

A hierarchical mobile agent framework and its application to multimedia contents - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (Syst. Comput. Jpn., 2007)

Developing Consistent Contractual Policies in Service Composition - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007, December 11-14, 2007, Tsukuba Science City, Japan, 2007)

Protocol Selection alongside Service Selection and Composition - José Ghislain Quenum; Fuyuki Ishikawa; Shinichi Honiden (2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, 2007)

Policy-based Runtime Partner Management in ProcessBased Services - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, 2007)

Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, 2007)

Formal model of mobile BPEL4WS process - Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (Int. J. Bus. Process. Integr. Manag., 2006)

Service-oriented and autonomous distribution and provision of multimedia contents - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, 2006)

Smartive: Agreement-based Mobile Composite Agents for Multimedia Services - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, 2006)

Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity - Truong Khanh Quan; Fuyuki Ishikawa; Shinichi Honiden (2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, 2006)

PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem - Satoshi Kataoka; Fuyuki Ishikawa; Shinichi Honiden (18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, 2006)

A framework for synthesis of web services and mobile agents - Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (Int. J. Pervasive Comput. Commun., 2005)

Mobile agent system for Web service integration in pervasive network - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (Syst. Comput. Jpn., 2005)

Mobile and Cooperative Compounds of Multimedia Services - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (2005 IEEE International Conference on Services Computing (SCC 2005), 11-15 July 2005, Orlando, FL, USA, 2005)

Agent synthesis: partnership and agreement in cooperative mobile agents - Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, 2005)

Incorporating Agreements on Service Options into BPEL-based Services - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 28-30 November 2005, Vienna, Austria, 2005)

Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (ICEIS 2005, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, 2005, 2005)

Behavior Descriptions of Mobile Agents for Web Services Integration - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, 2004)

Mobile Agent System for Web Services Integration in Pervasive Networks - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (Ubiquitous Computing - Proceedings of the 1st International Workshop on Ubiquitous Computing, IWUC 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, 2004)