Fuyuki Ishikawa

206 papers A* 9A 41B 19C 17Misc 4Journal 53Unranked 59

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Coordinating Speech with Touch Input and Visual Cues in Human-Robot Interaction: A Multimodal System Evaluated through Metamorphic Testing. HRI Massimo Donini, Paolo Arcaini, Michael Oliverio, Fuyuki Ishikawa, Alessandro Mazzei, Deyun Lyu, Cristina Gena
2026	C	`ed.`	Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings ABZ Michael Leuschel, Fuyuki Ishikawa
2026	J	`jnl`	Safety Case Patterns for VLA-based driving systems: Insights from SimLingo. CoRR Gerhard Yu, Fuyuki Ishikawa, Oluwafemi Odu, Alvine Boaye Belle
2026	J	`jnl`	Software Testing in the Quantum World. Computer Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy V. Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2026	J	`jnl`	Software Testing in the Quantum World. CoRR Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2025	—	`conf`	Alternating between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System (Hot off the Press at GECCO 2025). GECCO Companion Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa
2025	J	`jnl`	An Experience Report on Regression-Free Repair of Deep Neural Network Model. CoRR Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa
2025	J	`jnl`	Automated program repair for variability bugs in software product line systems. J. Syst. Softw. Thu-Trang Nguyen, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Hieu Dinh Vo
2025	A	`conf`	CLEAR: Cue Learning using Evolution for Accurate Recognition Applied to Sustainability Data Extraction. GECCO Peter J. Bentley, Soo Ling Lim, Fuyuki Ishikawa
2025	J	`jnl`	CLEAR: Cue Learning using Evolution for Accurate Recognition Applied to Sustainability Data Extraction. CoRR Peter J. Bentley, Soo Ling Lim, Fuyuki Ishikawa
2025	B	`ed.`	Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings ICECCS Guangdong Bai, Fuyuki Ishikawa, Yamine Aït-Ameur, George A. Papadopoulos
2025	J	`jnl`	FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks. CoRR Moses Openja, Paolo Arcaini, Foutse Khomh, Fuyuki Ishikawa
2025	J	`jnl`	Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation. J. Syst. Softw. Deyun Lyu, Yi Li, Zhenya Zhang, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa, Jianjun Zhao
2025	A	`conf`	Filter-based Repair of Semantic Segmentation in Safety-Critical Systems. SANER Sebastian Schneider, Tomas Sujovolsky, Paolo Arcaini, Fuyuki Ishikawa, Truong Vinh Truong Duy
2025	C	`conf`	Investigating the Applicability of Image Generation Models to Weakness Detection Tasks. SERA Haruki Yokoyama, Fuyuki Ishikawa
2025	—	`conf`	Multi-Agent Differential Testing for the Game of Go. SIGSOFT FSE Companion Jiaxue Song, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Yong Liu, Bin Du
2025	—	`conf`	On Effectiveness of Formal Model Repair by Large Language Models. ASEW Sebastião Carvalho, Tsutomu Kobayashi, Fuyuki Ishikawa
2025	—	`conf`	Practical Design by Contract Framework for Quantum Applications. SIGSOFT FSE Companion Masaomi Yamaguchi, Nobukazu Yoshioka, Fuyuki Ishikawa
2025	J	`jnl`	Situating AI Agents in their World: Aspective Agentic AI for Dynamic Partially Observable Information Systems. CoRR Peter J. Bentley, Soo Ling Lim, Fuyuki Ishikawa
2025	J	`jnl`	SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences. ACM Trans. Softw. Eng. Methodol. Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao
2024	A	`conf`	Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System. SANER Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa
2024	—	`conf`	Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). GECCO Companion Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2024	—	`conf`	Federated Repair of Deep Neural Networks. DeepTest@ICSE Davide Li Calsi, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa
2024	J	`jnl`	Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. CoRR Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
2024	C	`conf`	Goal-Aware RSS for Complex Scenarios via Program Logic. IV 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
2024	A	`conf`	Metamorphic Testing of an Autonomous Delivery Robots Scheduler. ICST Thomas Laurent, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa
2024	—	`conf`	Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems. Programming Fuyuki Ishikawa, Shinobu Saito
2024	—	`conf`	More is Not Always Better: Exploring Early Repair of DNNs. DeepTest@ICSE Andrei Mancu, Thomas Laurent, Franz Rieger, Paolo Arcaini, Fuyuki Ishikawa, Daniel Rueckert
2024	C	`conf`	On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. ICFEM Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont
2024	Misc	`conf`	Optimizing Multiple Consumer-specific Objectives in End-to-End Ensemble Machine Learning Serving. UCC Minh-Tri Nguyen, Hong-Linh Truong, Paolo Arcaini, Fuyuki Ishikawa
2024	C	`conf`	Repairing Event-B Models Through Quantifier Elimination. ICFEM Tsutomu Kobayashi, Fuyuki Ishikawa
2024	B	`conf`	SCAPE: Searching Conceptual Architecture Prompts using Evolution. CEC Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa
2024	J	`jnl`	SCAPE: Searching Conceptual Architecture Prompts using Evolution. CoRR Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa
2024	A	`conf`	Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
2024	—	`conf`	Technical Briefing on Deep Neural Network Repair. ICSE Companion Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang
2023	J	`jnl`	Activities of National Institute of Informatics in Japan. Commun. ACM Masaru Kitsuregawa, Shigeo Urushidani, Kazutsuna Yamaji, Hiroki Takakura, Ichiro Hasuo, Imari Sato, Fuyuki Ishikawa, Isao Echizen, Kensaku Mori
2023	A	`conf`	Adaptive Search-based Repair of Deep Neural Networks. GECCO Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2023	A	`conf`	An Experience Report on Regression-Free Repair of Deep Neural Network Model. SANER Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa
2023	J	`jnl`	An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. IEEE Trans. Dependable Secur. Comput. Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2023	—	`conf`	An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. DSA Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2023	A	`conf`	Distributed Repair of Deep Neural Networks. ICST Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2023	C	`conf`	Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM. SERA Masumi Kawakami, Fuyuki Ishikawa
2023	B	`conf`	Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. FM Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
2023	J	`jnl`	Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 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
2023	B	`conf`	Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. CEC Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
2023	C	`conf`	Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. APSEC Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
2023	J	`jnl`	Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2023	A*	`conf`	QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
2023	B	`conf`	Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
2023	A	`conf`	Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. GECCO Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
2023	J	`jnl`	Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. CoRR Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
2022	A*	`conf`	Explaining the Behaviour of Game Agents Using Differential Comparison. ASE Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura
2022	J	`jnl`	Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR 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
2022	A	`conf`	Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. RE Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa
2022	A	`conf`	Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
2022	A	`conf`	NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. SANER Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
2022	J	`jnl`	NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. CoRR Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
2022	J	`jnl`	Practical Insights of Repairing Model Problems on Image Classification. CoRR Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa
2022	B	`conf`	Practical insights of repairing model problems on image classification. CAIN Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa
2022	—	`conf`	Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
2022	—	`conf`	Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
2021	A*	`conf`	2nd International Workshop on Data Quality Assessment for Machine Learning. KDD Hima Patel, Fuyuki Ishikawa, Laure Berti-Équille, Nitin Gupta, Sameep Mehta, Satoshi Masuda, Shashank Mujumdar, Shazia Afzal, Srikanta Bedathur, Yasuharu Nishi
2021	J	`jnl`	A refinement-based development of a distributed signalling system. Formal Aspects Comput. Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2021	—	`conf`	Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). GECCO Companion Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2021	J	`jnl`	Architecture-Guided Test Resource Allocation Via Logic. CoRR Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
2021	—	`conf`	Architecture-Guided Test Resource Allocation via Logic. TAP@STAF Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
2021	—	`conf`	Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600. SAFECOMP Workshops Kenji Taguchi, Fuyuki Ishikawa
2021	J	`jnl`	Foreword. IEICE Trans. Inf. Syst. Fuyuki Ishikawa
2021	—	`conf`	Model-based Data-Complexity Estimator for Deep Learning Systems. AITest Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa
2021	—	`conf`	Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque
2021	—	`ed.`	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. WESPr-iMLSE@APSEC Nobukazu Yoshioka, Hironori Washizaki, Eduardo B. Fernández, Tomoko Kaneko, Shuichiro Yamamoto, Fuyuki Ishikawa, Foutse Khomh, Giuliano Antoniol
2021	—	`conf`	Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. NFM Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
2021	J	`jnl`	Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
2021	A*	`conf`	Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. ASE Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2021	A	`conf`	Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
2021	A*	`conf`	Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
2021	A	`conf`	What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. ISSRE Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2020	B	`conf`	Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. ICECCS Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2020	—	`conf`	Attribute-based Granular Evaluation for Performance of Machine Learning Models. AITest Henri Trenquier, Fuyuki Ishikawa, Susumu Tokumoto
2020	B	`conf`	Automated Clustering and Knowledge Acquisition Support for Beginners. KES Ryota Kamoshida, Fuyuki Ishikawa
2020	J	`jnl`	Editorial to the theme section on model-based engineering of smart systems. Softw. Syst. Model. John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen
2020	C	`conf`	Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
2020	A	`conf`	Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems. RE Fuyuki Ishikawa, Yutaka Matsuno
2020	C	`conf`	Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2020	A	`conf`	Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
2020	J	`jnl`	Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence. Int. J. Softw. Eng. Knowl. Eng. Gaku Fujii, Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Mineo Matsuya, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita
2020	C	`conf`	Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence. SEKE Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita, Mineo Matsuya
2020	A	`conf`	Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. ISSRE Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu
2020	—	`conf`	Leveraging test logs for building a self-adaptive path planner. SEAMS@ICSE Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao
2020	A	`conf`	Reaching the Unreachable : A Method for Early Stage Software Startups to Reach Inaccessible Stakeholders within Large Corporation. RE Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa
2020	A	`conf`	Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. GECCO Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
2020	—	`conf`	Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges. ISSRE Workshops Fuyuki Ishikawa
2020	—	`conf`	Testing machine learning code using polyhedral region. ESEC/SIGSOFT FSE Md Sohel Ahmed, Fuyuki Ishikawa, Mahito Sugiyama
2019	C	`conf`	A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. APSEC Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2019	J	`jnl`	A Mutation-based Approach for Assessing Weight Coverage of a Path Planner. CoRR Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2019	—	`conf`	A Refinement Based Method for Developing Distributed Protocols. HASE Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
2019	—	`conf`	Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. ISSRE Workshops Hiroshi Kuwajima, Fuyuki Ishikawa
2019	J	`jnl`	Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. CoRR Hiroshi Kuwajima, Fuyuki Ishikawa
2019	B	`conf`	Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2019	J	`jnl`	Change Impact Analysis for Refinement-Based Formal Specification. IEICE Trans. Inf. Syst. Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
2019	J	`jnl`	Consistency-preserving refactoring of refinement structures in Event-B models. Formal Aspects Comput. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2019	Misc	`conf`	Contemporary requirements challenges and issues: an empirical study in 11 organizations. SAC Feng Chen, Norah Power, J. J. Collins, Fuyuki Ishikawa
2019	J	`jnl`	Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters. IEEE Trans. Serv. Comput. Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia
2019	—	`conf`	How do engineers perceive difficulties in engineering of machine-learning systems?: questionnaire survey. CESSER-IP@ICSE Fuyuki Ishikawa, Nobukazu Yoshioka
2019	C	`conf`	Learning-Based Falsification for Model Families of Cyber-Physical Systems. PRDC Koki Kato, Fuyuki Ishikawa
2019	—	`conf`	Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 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
2019	—	`conf`	Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. ICST Workshops Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
2019	J	`jnl`	Software Engineering for Machine Learning Systems (SEMLS) (NII Shonan Meeting 156). NII Shonan Meet. Rep. Foutse Khomh, Fuyuki Ishikawa, Hiroshi Maruyama
2019	A	`conf`	Stability analysis for safety of automotive multi-product lines: a search-based approach. GECCO Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
2019	—	`conf`	Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests. SAFECOMP Workshops Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto
2019	—	`conf`	Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. VaMoS Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
2018	C	`conf`	Analysis on Strategies of Superposition Refinement of Event-B Specifications. ICFEM Tsutomu Kobayashi, Fuyuki Ishikawa
2018	A	`conf`	Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments. ER Fuyuki Ishikawa
2018	—	`conf`	Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems. SAFECOMP Workshops Fuyuki Ishikawa, Yutaka Matsuno
2018	—	`conf`	Falsification of Cyber-Physical Systems with Reinforcement Learning. MT@CPSWeek Koki Kato, Fuyuki Ishikawa, Shinichi Honiden
2018	—	`conf`	Report of iMLSE-18: the 1 WESPr-iMLSE@APSEC Fuyuki Ishikawa, Foutse Khomh, Nobukazu Yoshioka, Giuliano Antoniol
2018	J	`jnl`	Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). NII Shonan Meet. Rep. Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte
2017	Misc	`conf`	Construction of Abstract State Graphs for Understanding Event-B Models. SETTA Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden
2017	J	`jnl`	Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds. IEEE Trans. Parallel Distributed Syst. Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia, Junhao Wen
2017	C	`conf`	Extracting Traceability between Predicates in Event-B Refinement. APSEC Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
2017	J	`jnl`	Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18). NII Shonan Meet. Rep. Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald
2017	J	`jnl`	Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS) (NII Shonan Meeting 2017-11). NII Shonan Meet. Rep. Hausi A. Müller, Fuyuki Ishikawa, Marin Litoiu
2017	—	`conf`	Test Suite Reduction in Idempotence Testing of Infrastructure as Code. TAP@STAF Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden
2016	C	`conf`	Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. ICFEM Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
2016	J	`jnl`	QoS-Aware Multigranularity Service Composition: Modeling and Optimization. IEEE Trans. Syst. Man Cybern. Syst. Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Dong-Hoon Shin
2016	B	`conf`	Refactoring Refinement Structure of Event-B Machines. FM Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2016	J	`jnl`	Robust Service Compositions with Functional and Location Diversity. IEEE Trans. Serv. Comput. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
2016	A	`conf`	Stepwise Refinement of Software Development Problem Analysis. ER Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2016	J	`jnl`	The Effects of Developer Dynamics on Fitness in an Evolutionary Ecosystem Model of the App Store. IEEE Trans. Evol. Comput. Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa
2015	—	`conf`	Abstract rewriting Approach to solve Datalog programs. DBPL Fernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden
2015	—	`conf`	An Application Conflict Detection and Resolution System for Smart Homes. SEsCPS@ICSE Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden
2015	A	`conf`	Feedback-controlled random test generation. ISSTA Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
2015	—	`conf`	Heterogeneous Virtual Machine Consolidation Using an Improved Grouping Genetic Algorithm. HPCC/CSS/ICESS Quanwang Wu, Fuyuki Ishikawa
2015	J	`jnl`	Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering. IEEE Trans. Software Eng. Soo Ling Lim, Peter J. Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden
2015	—	`conf`	Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. FMSEE&T@FM Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe
2015	B	`conf`	Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. FM Taro Kurita, Fuyuki Ishikawa, Keijiro Araki
2015	—	`conf`	Separation of Considerations in Event-B Refinement toward Industrial Use. FMSEE&T@FM Naoto Sato, Fuyuki Ishikawa
2014	J	`jnl`	A graph-based approach enhancing correctness and speed of web services composition through explicit specification of functional semantics. Int. J. Web Grid Serv. Dong-Hoon Shin, Kyong-Ho Lee, Fuyuki Ishikawa
2014	A	`conf`	An approach for evaluating and suggesting method names using n-gram models. ICPC Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
2014	—	`conf`	ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. ICST Workshops Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
2014	J	`jnl`	Broker-based SLA-aware composite service provisioning. J. Syst. Softw. Quanwang Wu, Qingsheng Zhu, Xing Jian, Fuyuki Ishikawa
2014	—	`conf`	International Workshop on Web Intelligence and Smart Sensing IWWISS'2014. IWWISS Pierre Maret, Fuyuki Ishikawa, Satoshi Honda, Takuro Yonezawa, Rajendra Akerkar, Till Riedel
2014	—	`conf`	On requirements representation and reasoning using answer set programming. AIRE Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa
2014	—	`ed.`	Proceedings of the 2014 International Workshop on Web Intelligence and Smart Sensing, IWWISS '14, Saint Etienne, France, September 1-2, 2014 IWWISS Pierre Maret, Satoshi Honda, Rajendra Akerkar, Fuyuki Ishikawa, Takuro Yonezawa, Till Riedel, Martin Alexander Neumann
2014	—	`ch.`	QoS-based Service Selection. Web Services Foundations Fuyuki Ishikawa
2014	J	`jnl`	SanGA: A Self-Adaptive Network-Aware Approach to Service Composition. IEEE Trans. Serv. Comput. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2014	J	`jnl`	Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14). NII Shonan Meet. Rep. Fuyuki Ishikawa, Alexander B. Romanovsky
2014	—	`conf`	Towards Service Skyline for Multi-granularity Service Composition. IWWISS Quanwang Wu, Fuyuki Ishikawa
2014	C	`conf`	Understanding and Planning Event-B Refinement through Primitive Rationales. ABZ Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2013	J	`jnl`	A Scalable Distributed Architecture for Network- and QoS-aware Service Composition CoRR Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2013	B	`conf`	A communication process for global requirements engineering. ICSSP Sajid Ibrahim Hashmi, Fuyuki Ishikawa, Ita Richardson
2013	A	`conf`	Intention-Based Automated Composition Approach for Coordination Protocol. ICWS Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa
2013	—	`ch.`	Using Web 2.0 for Stakeholder Analysis: StakeSource and Its Application in Ten Industrial Projects. Managing Requirements Knowledge Soo Ling Lim, Daniela E. Damian, Fuyuki Ishikawa, Anthony Finkelstein
2012	A	`conf`	A Probabilistic Approach for Long-Term B2B Service Compositions. ICWS Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
2012	—	`conf`	Component Trust for Web Service Compositions. AAAI Spring Symposium: Intelligent Web Services Meet Social Computing Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
2012	A	`conf`	Multi-objective Service Composition with Time- and Input-Dependent QoS. ICWS Florian Wagner, Adrian Klein, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
2012	J	`jnl`	Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012) CoRR Fuyuki Ishikawa, Alexander B. Romanovsky
2012	B	`conf`	Supporting View Transition Design of Smartphone Applications Using Web Templates. ICWE Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden
2012	A*	`conf`	Towards network-aware service composition in the cloud. WWW Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2012	A*	`conf`	Towards robust service compositions in the context of functionally diverse services. WWW Florian Wagner, Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
2012	A	`conf`	Trust Computation in Web Service Compositions Using Bayesian Networks. ICWS Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
2012	A	`conf`	Web Service Selection Algorithm Using Vickrey Auction. ICWS Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
2011	—	`conf`	Applying QoS-Aware Service Selection on Functionally Diverse Services. ICSOC Workshops Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
2011	—	`conf`	Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures. IEEE SCC Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden
2011	A	`conf`	Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition. ICWS Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2011	B	`conf`	Formal verification of business processes with temporal and resource constraints. SMC Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi
2011	J	`jnl`	Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages. IEICE Trans. Inf. Syst. Kazunori Sakamoto, Fuyuki Ishikawa, Hironori Washizaki, Yoshiaki Fukazawa
2011	A	`conf`	QoS-Aware Automatic Service Composition by Applying Functional Clustering. ICWS Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
2011	A	`conf`	Service Selection with Combinational Use of Functionally-Equivalent Services. ICWS Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden
2010	B	`conf`	Business Semantics Centric Reliability Testing for Web Services in BPEL. SERVICES Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden
2010	A	`conf`	Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle. ICSOC Fuyuki Ishikawa
2010	B	`conf`	Description and Matching of Triggering Capabilities in Event-Driven Services. SERVICES Fuyuki Ishikawa
2010	A	`conf`	Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy. ICSOC Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
2010	A	`conf`	Extraction of Places Related to Flickr Tags. ECAI Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden
2010	A	`conf`	Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes. ICSOC Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
2010	—	`conf`	Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods. IEEE SCC Fuyuki Ishikawa
2009	—	`conf`	A Constraint-Based Approach for Developing Consistent Contracts in Composite Services. SERVICES I Basem Suleiman, Fuyuki Ishikawa
2009	—	`conf`	A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns. ICSOC/ServiceWave Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer
2009	—	`conf`	Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering. RELAW Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden
2009	J	`jnl`	On Applicability of Formal Methods and Tools to Dependable Services. IEICE Trans. Commun. Fuyuki Ishikawa, Shinichi Honiden
2009	—	`conf`	Physical interaction in pervasive computing: formal modeling, analysis and verification. ICPS Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden
2009	B	`conf`	Specifying and Checking Refinement Relationships in VDM++. SEFM Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden
2009	—	`conf`	What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. TFM Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
2008	A*	`conf`	A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. PerCom Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
2008	B	`conf`	Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. EDOC Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Shinichi Honiden, Yoshiaki Fukazawa
2008	Misc	`conf`	Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message. SAC Alessandro Ricci, Eric Platon, Fuyuki Ishikawa, Danny Weyns
2008	—	`conf`	Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach. IEEE SCC (2) Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox
2007	J	`jnl`	A hierarchical mobile agent framework and its application to multimedia contents. Syst. Comput. Jpn. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2007	—	`conf`	Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. OTM Conferences (1) Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2007	C	`conf`	Developing Consistent Contractual Policies in Service Composition. APSCC Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2007	J	`jnl`	Improving Accuracy of Recommender System by Item Clustering. IEICE Trans. Inf. Syst. KhanhQuan Truong, Fuyuki Ishikawa, Shinichi Honiden
2007	A	`conf`	Policy-based Runtime Partner Management in ProcessBased Services. ICWS Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2007	A	`conf`	Protocol Selection alongside Service Selection and Composition. ICWS José Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden
2006	J	`jnl`	Formal model of mobile BPEL4WS process. Int. J. Bus. Process. Integr. Manag. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
2006	—	`conf`	Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity. CIMCA/IAWTIC Truong Khanh Quan, Fuyuki Ishikawa, Shinichi Honiden
2006	B	`conf`	PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. ICTAI Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden
2006	A	`conf`	Service-oriented and autonomous distribution and provision of multimedia contents. AAMAS Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2006	—	`conf`	Smartive: Agreement-based Mobile Composite Agents for Multimedia Services. CIMCA/IAWTIC Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2005	J	`jnl`	A framework for synthesis of web services and mobile agents. Int. J. Pervasive Comput. Commun. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
2005	A	`conf`	Agent synthesis: partnership and agreement in cooperative mobile agents. AAMAS Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
2005	—	`conf`	Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound. ICEIS (4) Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2005	—	`conf`	Incorporating Agreements on Service Options into BPEL-based Services. CIMCA/IAWTIC Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2005	J	`jnl`	Mobile agent system for Web service integration in pervasive network. Syst. Comput. Jpn. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
2005	—	`conf`	Mobile and Cooperative Compounds of Multimedia Services. IEEE SCC Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2004	A	`conf`	Behavior Descriptions of Mobile Agents for Web Services Integration. ICWS Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
2004	—	`conf`	Mobile Agent System for Web Services Integration in Pervasive Networks. IWUC Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden