Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFuyuki Ishikawa
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c134]Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa:
SCAPE: Searching Conceptual Architecture Prompts using Evolution. CEC 2024: 1-8- [c133]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 - [c132]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 - [c131]Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang:
Technical Briefing on Deep Neural Network Repair. ICSE Companion 2024: 428-430 - [c130]Thomas Laurent, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa:
Metamorphic Testing of an Autonomous Delivery Robots Scheduler. ICST 2024: 361-372 - [c129]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 - [c128]Fuyuki Ishikawa, Shinobu Saito:
Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems. Programming 2024 - [c127]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]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]Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa:
SCAPE: Searching Conceptual Architecture Prompts using Evolution. CoRR abs/2402.00089 (2024) - 2023
- [j26]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]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]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]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]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]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]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]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]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]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]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]Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks. ICST 2023: 83-94 - [c118]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]Masumi Kawakami, Fuyuki Ishikawa:
Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM. SERA 2023: 460-468 - [c116]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]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]Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa:
Practical insights of repairing model problems on image classification. CAIN 2022: 157-158 - [c114]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]Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST 2022: 279-290 - [c112]Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) 2022: 9-21 - [c111]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]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]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]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]Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa:
Practical Insights of Repairing Model Problems on Image Classification. CoRR abs/2205.07116 (2022) - [i12]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]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]Fuyuki Ishikawa:
Foreword. IEICE Trans. Inf. Syst. 104-D(10): 1514 (2021) - [c108]Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa:
Model-based Data-Complexity Estimator for Deep Learning Systems. AITest 2021: 1-8 - [c107]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]Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST 2021: 295-305 - [c105]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]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]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]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]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]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]Kenji Taguchi, Fuyuki Ishikawa:
Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600. SAFECOMP Workshops 2021: 272-283 - [c98]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]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]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]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]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]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]Henri Trenquier, Fuyuki Ishikawa, Susumu Tokumoto:
Attribute-based Granular Evaluation for Performance of Machine Learning Models. AITest 2020: 125-132 - [c96]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]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]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]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]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]Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST 2020: 375-386 - [c90]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]Fuyuki Ishikawa:
Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges. ISSRE Workshops 2020: xxxiii-xxxiv - [c88]Ryota Kamoshida, Fuyuki Ishikawa:
Automated Clustering and Knowledge Acquisition Support for Beginners. KES 2020: 1596-1605 - [c87]Fuyuki Ishikawa, Yutaka Matsuno:
Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems. RE 2020: 346-351 - [c86]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]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]Md Sohel Ahmed, Fuyuki Ishikawa, Mahito Sugiyama:
Testing machine learning code using polyhedral region. ESEC/SIGSOFT FSE 2020: 1533-1536
2010 – 2019
- 2019
- [j18]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]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]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]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]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]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]Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199 - [c79]Fuyuki Ishikawa, Nobukazu Yoshioka:
How do engineers perceive difficulties in engineering of machine-learning systems?: questionnaire survey. CESSER-IP@ICSE 2019: 2-9 - [c78]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]Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee:
Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. ICST Workshops 2019: 198-199 - [c76]Hiroshi Kuwajima, Fuyuki Ishikawa:
Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. ISSRE Workshops 2019: 13-18 - [c75]Koki Kato, Fuyuki Ishikawa:
Learning-Based Falsification for Model Families of Cyber-Physical Systems. PRDC 2019: 236-245 - [c74]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]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]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]Hiroshi Kuwajima, Fuyuki Ishikawa:
Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. CoRR abs/1908.02134 (2019) - [i8]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]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]Fuyuki Ishikawa, Foutse Khomh, Nobukazu Yoshioka, Giuliano Antoniol:
Report of iMLSE-18: the 1st International Workshop on Machine Learning Systems Engineering. WESPr-iMLSE@APSEC 2018: 3-4 - [c70]Koki Kato, Fuyuki Ishikawa, Shinichi Honiden:
Falsification of Cyber-Physical Systems with Reinforcement Learning. MT@CPSWeek 2018: 5-6 - [c69]Fuyuki Ishikawa:
Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments. ER 2018: 536-544 - [c68]Tsutomu Kobayashi, Fuyuki Ishikawa:
Analysis on Strategies of Superposition Refinement of Event-B Specifications. ICFEM 2018: 357-372 - [c67]Fuyuki Ishikawa, Yutaka Matsuno:
Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems. SAFECOMP Workshops 2018: 14-21 - [i6]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]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]Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden:
Extracting Traceability between Predicates in Event-B Refinement. APSEC 2017: 61-70 - [c65]Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden:
Construction of Abstract State Graphs for Understanding Event-B Models. SETTA 2017: 250-265 - [c64]Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden:
Test Suite Reduction in Idempotence Testing of Infrastructure as Code. TAP@STAF 2017: 98-115 - [i5]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]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]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]Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden:
Robust Service Compositions with Functional and Location Diversity. IEEE Trans. Serv. Comput. 9(2): 277-290 (2016) - [j12]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]Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Stepwise Refinement of Software Development Problem Analysis. ER 2016: 488-495 - [c62]Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Refactoring Refinement Structure of Event-B Machines. FM 2016: 444-459 - [c61]Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden:
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. ICFEM 2016: 41-56 - 2015
- [j11]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]Fernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden:
Abstract rewriting Approach to solve Datalog programs. DBPL 2015: 29-36 - [c59]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]Naoto Sato, Fuyuki Ishikawa:
Separation of Considerations in Event-B Refinement toward Industrial Use. FMSEE&T@FM 2015: 43-50 - [c57]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]Quanwang Wu, Fuyuki Ishikawa:
Heterogeneous Virtual Machine Consolidation Using an Improved Grouping Genetic Algorithm. HPCC/CSS/ICESS 2015: 397-404 - [c55]Miki Yagita, Fuyuki Ishikawa,