受强制性开放获取政策约束的文章 - Fuyuki Ishikawa了解详情
无法在其他位置公开访问的文章：14 篇
Deadline-constrained cost optimization approaches for workflow scheduling in clouds
Q Wu, F Ishikawa, Q Zhu, Y Xia, J Wen
IEEE Transactions on Parallel and Distributed Systems 28 (12), 3401-3412, 2017
强制性开放获取政策： 国家自然科学基金委员会
Energy and migration cost-aware dynamic virtual machine consolidation in heterogeneous cloud datacenters
Q Wu, F Ishikawa, Q Zhu, Y Xia
IEEE transactions on Services Computing 12 (4), 550-563, 2016
强制性开放获取政策： 国家自然科学基金委员会
Broker-based SLA-aware composite service provisioning
Q Wu, Q Zhu, X Jian, F Ishikawa
Journal of Systems and Software 96, 194-201, 2014
强制性开放获取政策： 国家自然科学基金委员会
Adaptive search-based repair of deep neural networks
D Li Calsi, M Duran, T Laurent, XY Zhang, P Arcaini, F Ishikawa
Proceedings of the Genetic and Evolutionary Computation Conference, 1527-1536, 2023
强制性开放获取政策： Japan Science and Technology Agency
Towards requirements engineering for digital twins of cyber-physical systems
T Yue, S Ali, P Arcaini, F Ishikawa
International Symposium on Leveraging Applications of Formal Methods, 9-21, 2022
强制性开放获取政策： Research Council of Norway, Japan Science and Technology Agency
QuraTest: Integrating quantum specific features in quantum program testing
J Ye, S Xia, F Zhang, P Arcaini, L Ma, J Zhao, F Ishikawa
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada, Japan Science …
Incremental search-based allocation of autonomous robots for goods delivery
P Arcaini, E Castellano, F Ishikawa, H Kawamoto, K Sawai, E Muramoto
2023 IEEE Congress on Evolutionary Computation (CEC), 1-10, 2023
强制性开放获取政策： Japan Science and Technology Agency
Parameter-based testing and debugging of autonomous driving systems
P Arcaini, A Calò, F Ishikawa, T Laurent, XY Zhang, S Ali, F Hauer, ...
2021 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops), 197-202, 2021
强制性开放获取政策： Science Foundation Ireland, Research Council of Norway, Irish Research Council
Embedding approximation in Event-B: safe hybrid system design using proof and refinement
G Dupont, Y Aït-Ameur, NK Singh, F Ishikawa, T Kobayashi, M Pantel
Formal Methods and Software Engineering: 22nd International Conference on …, 2020
强制性开放获取政策： Agence Nationale de la Recherche
Stability-aware exploration of design space of autonomous robots for goods delivery
MB Victorica, P Arcaini, F Ishikawa, H Kawamoto, K Sawai, E Muramoto
2023 27th International Conference on Engineering of Complex Computer …, 2023
强制性开放获取政策： Japan Science and Technology Agency
Less is more: Simplification of test scenarios for autonomous driving system testing
P Arcaini, XY Zhang, F Ishikawa
2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022
强制性开放获取政策： Japan Science and Technology Agency
An experience report on regression-free repair of deep neural network model
T Nakagawa, S Tokumoto, S Tokui, F Ishikawa
2023 IEEE International Conference on Software Analysis, Evolution and …, 2023
强制性开放获取政策： Japan Science and Technology Agency
Investigating Multi-and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System
T Laurent, P Arcaini, F Ishikawa, H Kawamoto, K Sawai, E Muramoto
2023 30th Asia-Pacific Software Engineering Conference (APSEC), 425-430, 2023
强制性开放获取政策： Japan Science and Technology Agency
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS
P Rivière, T Kobayashi, NK Singh, F Ishikawa, Y Aït Ameur, G Dupont
International Conference on Formal Engineering Methods, 314-331, 2024
强制性开放获取政策： Agence Nationale de la Recherche
可在其他位置公开访问的文章：24 篇
Generating avoidable collision scenarios for testing autonomous driving systems
A Calò, P Arcaini, S Ali, F Hauer, F Ishikawa
2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020
强制性开放获取政策： Research Council of Norway
Modelling and analysing resilient cyber-physical systems
A Bennaceur, C Ghezzi, K Tei, T Kehrer, D Weyns, R Calinescu, ...
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
强制性开放获取政策： Science Foundation Ireland, UK Engineering and Physical Sciences Research …
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search
Y Luo, XY Zhang, P Arcaini, Z Jin, H Zhao, F Ishikawa, R Wu, T Xie
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
强制性开放获取政策： 国家自然科学基金委员会
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems
A Calò, P Arcaini, S Ali, F Hauer, F Ishikawa
Proceedings of the 2020 Genetic and Evolutionary Computation Conference …, 2020
强制性开放获取政策： Research Council of Norway
A mutation-based approach for assessing weight coverage of a path planner
T Laurent, P Arcaini, F Ishikawa, A Ventresque
2019 26th Asia-Pacific Software Engineering Conference (APSEC), 94-101, 2019
强制性开放获取政策： Science Foundation Ireland, Irish Research Council
Parameter coverage for testing of autonomous driving systems under uncertainty
T Laurent, S Klikovits, P Arcaini, F Ishikawa, A Ventresque
ACM Transactions on Software Engineering and Methodology 32 (3), 1-31, 2023
强制性开放获取政策： Science Foundation Ireland
出版信息和资助信息由计算机程序自动确定