本位田 真一

研究成果

年別の研究成果 1984 2005 2006 2007 2008 2009 2010 2011 2012 2021

• 2145 被引用数
• 22 h-index
• 202 Conference contribution
• 69 Article
• 13 Paper
• 10 Conference article
• 12 その他
  • 5 Chapter
  • 4 Editorial
  • 1 Book
  • 1 Foreword/postscript
  • 1 Review article

年別の研究成果

年別の研究成果

検索結果

• 2021

  A Meta Reinforcement Learning-based Approach for Self-Adaptive System

  Zhang, M., Li, J., Zhao, H., Tei, K., Honiden, S. & Jin, Z., 2021, Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021. El-Araby, E., Kalogeraki, V., Pianini, D., Lassabe, F., Porter, B., Ghahremani, S., Nunes, I., Bakhouya, M. & Tomforde, S. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1-10 10 p. (Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021).

  研究成果: Conference contribution

  • Reinforcement Learning 100%
  • Adaptive Systems 92%
  • Adaptive systems 73%
  • Reinforcement learning 66%
  • Policy 65%

• Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring

  Ding, Y., Li, J., Tei, K. & Honiden, S., 2021, 2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021. Institute of Electrical and Electronics Engineers Inc., p. 736-739 4 p. (2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021).

  研究成果: Conference contribution

  • incentives 100%
  • emergencies 89%
  • Blockchain 79%
  • roads 72%
  • vehicles 50%

• Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model

  Hirano, T., Tei, K., Aizawa, K. & Honiden, S., 2021 4月 23, 2021 IEEE 8th International Conference on Industrial Engineering and Applications, ICIEA 2021. Institute of Electrical and Electronics Engineers Inc., p. 91-100 10 p. 9436711. (2021 IEEE 8th International Conference on Industrial Engineering and Applications, ICIEA 2021).

  研究成果: Conference contribution

  • Safety 100%
  • Controller 98%
  • Synthesis 79%
  • Specification 78%
  • Specifications 56%

• Self-adaptive hydroponics care system for human-hydroponics coexistence

  Li, J., Mao, Z., Cao, Z., Tei, K. & Honiden, S., 2021 3月 9, LifeTech 2021 - 2021 IEEE 3rd Global Conference on Life Sciences and Technologies. Institute of Electrical and Electronics Engineers Inc., p. 204-206 3 p. 9391909. (LifeTech 2021 - 2021 IEEE 3rd Global Conference on Life Sciences and Technologies).

  研究成果: Conference contribution

  • Hydroponics 100%
  • coexistence 52%
  • Environment 28%
  • system control 25%
  • ecological system 20%
  3 被引用数 (Scopus)

• Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework

  Ling, J., Li, J., Tei, K. & Honiden, S., 2021, Proceedings - 2021 IEEE International Conference on Agents, ICA 2021. Institute of Electrical and Electronics Engineers Inc., p. 47-52 6 p. (Proceedings - 2021 IEEE International Conference on Agents, ICA 2021).

  研究成果: Conference contribution

  • Autonomous Driving 100%
  • Emotion 43%
  • Autonomous vehicles 30%
  • Autonomous Vehicles 29%
  • Electroencephalography 27%

• Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control

  Mao, Z., Li, J., Zheng, N., Tei, K. & Honiden, S., 2021, 2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021. Institute of Electrical and Electronics Engineers Inc., p. 304-307 4 p. (2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021).

  研究成果: Conference contribution

  • Traffic signals 100%
  • Transfer learning 98%
  • learning 90%
  • reinforcement 87%
  • traffic 86%
• 2020

  A robust and flexible operating system compatibility architecture

  Saeki, T., Nishiwaki, Y., Shinagawa, T. & Shinichi, H., 2020 3月 17, VEE 2020 - Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. Association for Computing Machinery, Inc, p. 129-142 14 p. (VEE 2020 - Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments).

  研究成果: Conference contribution

  Open Access

  • Linux 100%
  • Virtualization 25%
  • Virtual machine 24%
  • Costs 9%
  1 被引用数 (Scopus)

• Dynamic Update of Discrete Event Controllers

  Nahabedian, L., Braberman, V., Dippolito, N., Honiden, S., Kramer, J., Tei, K. & Uchitel, S., 2020 11月 1, In: IEEE Transactions on Software Engineering. 46, 11, p. 1220-1240 21 p., 8500345.

  研究成果: Article › 査読

  • Controllers 100%
  • Specifications 19%
  5 被引用数 (Scopus)

• Efficient difference analysis algorithm for runtime requirement degradation under system functional fault

  Li, J., Aizawa, K., Tei, K. & Honiden, S., 2020 12月, Proceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020. Wang, G., Perez, G. M., Fowler, S. & Li, K-C. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 33-40 8 p. 9343402. (Proceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020).

  研究成果: Conference contribution

  • degradation 100%
  • Degradation 92%
  • requirements 90%
  • safety 63%
  • Adaptive systems 48%

• Message from the Chairs of SEAMS 2020

  Honiden, S., Nitto, E. D. & Calinescu, R., 2020 6月 29, In: Proceedings - 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2020. p. IX-X

  研究成果: Editorial › 査読

• Method for Low-Cost Environment Partitioning Modeling in Dynamic Update

  Yamauchi, T., Tei, K. & Honiden, S., 2020 12月, Proceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020. Institute of Electrical and Electronics Engineers Inc., p. 183-187 5 p. 9355483. (Proceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020).

  研究成果: Conference contribution

  • Partitioning 100%
  • Modeling 49%
  • Fault 41%
  • Costs 32%
  • Controller 27%

• Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis

  Kuwana, K., Tei, K., Fukazawa, Y. & Honiden, S., 2020 12月, Proceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020. Institute of Electrical and Electronics Engineers Inc., p. 168-173 6 p. 9355444. (Proceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020).

  研究成果: Conference contribution

  • Controller 100%
  • Controllers 47%
  • Explosion 18%
  • Explosions 15%
  • Chemical analysis 10%

• Smart SE: Smart Systems and Services Innovative Professional Education Program

  Washizaki, H., Tei, K., Ueda, K., Yamana, H., Fukazawa, Y., Honiden, S., Okazaki, S., Yoshioka, N. & Uchihira, N., 2020 7月, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020. Chan, W. K., Claycomb, B., Takakura, H., Yang, J-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1113-1114 2 p. 9202715. (Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020).

  研究成果: Conference contribution

  • Education 100%
  • information technology 42%
  • Information technology 41%
  • sports science 36%
  • education 36%
  1 被引用数 (Scopus)
• 2019

  Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems

  Aizawa, K., Tei, K. & Honiden, S., 2019 8月, Proceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019. Institute of Electrical and Electronics Engineers Inc., p. 1363-1370 8 p. 9060271. (Proceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019).

  研究成果: Conference contribution

  • Adaptive systems 100%
  • Merging 96%
  • Safety 83%
  • safety 64%
  • analysis 24%

• Change impact analysis for refinement-based formal specification

  Saruwatari, S., Ishikawa, F., Kobayashi, T. & Honiden, S., 2019, In: IEICE Transactions on Information and Systems. E102D, 8, p. 1462-1477 16 p.

  研究成果: Article › 査読

  Open Access

  • Formal specification 100%
  • Formal methods 98%
  • Large scale systems 72%
  • Labels 71%
  • Engineers 59%

• Consistency-preserving refactoring of refinement structures in Event-B models

  Kobayashi, T., Ishikawa, F. & Honiden, S., 2019 6月 1, In: Formal Aspects of Computing. 31, 3, p. 287-320 34 p.

  研究成果: Article › 査読

  • Event-B 94%
  • Refinement 49%
  • Model 18%
  • Reusability 5%
  • Maintainability 5%
  2 被引用数 (Scopus)

• Engineering adaptive software systems: Communications of NII shonan meetings

  Yu, Y., Bandara, A., Honiden, S., Hu, Z., Tamai, T., Muller, H., Mylopoulos, J. & Nuseibeh, B., 2019 1月 14, Springer Singapore. 169 p.

  研究成果: Book

  • Adaptive systems 100%
  • Communication 91%
  • Systems engineering 45%
  • Risk assessment 44%
  • Testbeds 44%

• Modelling and Analysing Resilient Cyber-Physical Systems

  Bennaceur, A., Ghezzi, C., Tei, K., Kehrer, T., Weyns, D., Calinescu, R., Dustdar, S., Hu, Z., Honiden, S., Ishikawa, F., Jin, Z., Kramer, J., Litoiu, M., Loreti, M., Moreno, G., Muller, H., Nenzi, L., Nuseibeh, B., Pasquale, L., Reisig, W. & 3 others, Schmidt, H., Tsigkanos, C. & Zhao, H., 2019 5月, Proceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019. IEEE Computer Society, p. 70-76 7 p. 8787077. (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems; vol. 2019-May).

  研究成果: Conference contribution

  • Cyber Physical System 100%
  • Technical presentations 15%
  • Intelligent buildings 15%
  • Open systems 14%
  • Biomedical equipment 13%
  15 被引用数 (Scopus)

• Preface

  Yu, Y., Bandara, A., Honiden, S., Hu, Z., Tamai, T., Muller, H., Mylopoulos, J. & Nuseibeh, B., 2019 1月 14, Engineering adaptive software systems: Communications of nii shonan meetings. Springer Singapore, p. v-vi

  研究成果: Foreword/postscript
• 2018

  Applicability of earned value management for deadline energy constrained applications

  Suenaga, S., Tei, K. & Honiden, S., 2018 2月 9, 2017 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2017. IEEE Computer Society, Vol. 2017-December. p. 691-695 5 p.

  研究成果: Conference contribution

  • Earned Value Management 100%
  • Deadline 73%
  • Energy 50%
  • Project management 23%
  • Project Management 18%
  2 被引用数 (Scopus)

• AutoPUT: An automated technique for retrofitting closed unit tests into parameterized unit tests

  Tsukamoto, K., Maezawa, Y. & Honiden, S., 2018 4月 9, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 1944-1951 8 p. (Proceedings of the ACM Symposium on Applied Computing).

  研究成果: Conference contribution

  • Retrofitting 100%
  • Degradation 30%
  • Testing 22%
  • Experiments 15%
  1 被引用数 (Scopus)

• Extracting Traceability between Predicates in Event-B Refinement

  Saruwatari, S., Ishikawa, F., Kobayashi, T. & Honiden, S., 2018 3月 1, Proceedings - 24th Asia-Pacific Software Engineering Conference, APSEC 2017. Lv, J., Zhang, H., Liu, X. & Hinchey, M. (eds.). IEEE Computer Society, p. 61-70 10 p. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2017-December).

  研究成果: Conference contribution

  • Engineers 100%
  • Reverse engineering 54%
  • Refining 46%
  • Concretes 32%
  1 被引用数 (Scopus)

• Falsification of cyber-physical systems with reinforcement learning

  Kato, K., Ishikawa, F. & Honiden, S., 2018 8月 7, Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 5-6 2 p. 8429476. (Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018).

  研究成果: Conference contribution

  • Cyber Physical System 100%
  • Reinforcement learning 89%
  • Specifications 57%
  • Temporal logic 35%
  • Testing 15%
  4 被引用数 (Scopus)

• Foreword from the 2018 General Chairs - Volume 1

  Honiden, S. & Fujii, R. U., 2018 6月 8, In: Proceedings - International Computer Software and Applications Conference. 1, p. xxix-xxx 8377629.

  研究成果: Editorial › 査読

• Identifying safety properties guaranteed in changed environment at runtime

  Aizawa, K., Tei, K. & Honiden, S., 2018 9月 10, Proceedings - 2018 IEEE International Conference on Agents, ICA 2018. Institute of Electrical and Electronics Engineers Inc., p. 75-80 6 p. 8460083. (Proceedings - 2018 IEEE International Conference on Agents, ICA 2018).

  研究成果: Conference contribution

  • Safety 100%
  • Algorithm Analysis 15%
  • Availability 11%
  • Efficient Algorithms 9%
  • Game 8%
  3 被引用数 (Scopus)
• 2017

  Bash on ubuntu on macOS

  Saeki, T., Nishiwaki, Y., Shinagawa, T. & Honiden, S., 2017 9月 2, Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017. Association for Computing Machinery, Inc, 3124733. (Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017).

  研究成果: Conference contribution

  • Linux 100%
  • Virtual machine 49%
  • Computer operating systems 26%
  • Virtualization 25%
  • Costs 9%
  3 被引用数 (Scopus)

• Construction of abstract state graphs for understanding event-B models

  Morita, D., Ishikawa, F. & Honiden, S., 2017, Dependable Software Engineering: Theories, Tools, and Applications - 3rd International Symposium, SETTA 2017, Proceedings. Wang, J., Larsen, K. G. & Sokolsky, O. (eds.). Springer Verlag, p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10606 LNCS).

  研究成果: Conference contribution

  • Event-B 100%
  • Refinement 31%
  • State Space 30%
  • Graph in graph theory 27%
  • Model 19%

• Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects

  Tahara, Y., Ohsuga, A. & Honiden, S., 2017 7月 3, Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017. Institute of Electrical and Electronics Engineers Inc., p. 152-162 11 p. 7968143. (Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017).

  研究成果: Conference contribution

  • Unified Modeling Language 100%
  • Language Model 81%
  • Formal Verification 74%
  • Formal verification 60%
  • Maude 12%
  3 被引用数 (Scopus)

• Learning environment model at runtime for self-adaptive systems

  Tanabe, M., Tei, K., Fukazawa, Y. & Honiden, S., 2017 4月 3, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. Association for Computing Machinery, p. 1198-1204 7 p. (Proceedings of the ACM Symposium on Applied Computing; vol. Part F128005).

  研究成果: Conference contribution

  • Adaptive systems 100%
  7 被引用数 (Scopus)

• Test suite reduction in idempotence testing of infrastructure as code

  Ikeshita, K., Ishikawa, F. & Honiden, S., 2017, Tests and Proofs - 11th International Conference, TAP 2017 Held as Part of STAF 2017, Proceedings. Johnsen, E. B. & Gabmeyer, S. (eds.). Springer Verlag, p. 98-115 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10375 LNCS).

  研究成果: Conference contribution

  • Infrastructure 100%
  • Testing 50%
  • Idempotent 10%
  • Decrease 10%
  • Converge 7%
  5 被引用数 (Scopus)
• 2016

  Assured and correct dynamic update of controllers

  Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K. & Uchitel, S., 2016 5月 14, Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. Association for Computing Machinery, Inc, p. 96-107 12 p. (Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016).

  研究成果: Conference contribution

  • Controller 97%
  • Controllers 55%
  • Specification 45%
  • Requirements 41%
  • Reactive Systems 37%
  15 被引用数 (Scopus)

• Automatic generation of potentially pathological instances for validating alloy models

  Saeki, T., Ishikawa, F. & Honiden, S., 2016 1月 1, Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings. Springer-Verlag, p. 41-56 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10009 LNCS).

  研究成果: Conference contribution

  • Specification 100%
  • Specifications 72%
  • Model 36%
  • Verify 22%
  • Formal Specification 21%
  1 被引用数 (Scopus)

• Fast live migration for IO-intensive VMs with parallel and adaptive transfer of page cache via SAN

  Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2016 12月, In: IEICE Transactions on Information and Systems. E99D, 12, p. 3024-3034 11 p.

  研究成果: Article › 査読

  • Virtual machine 100%
  • Tuning 19%
  • Experiments 8%

• MuVM: Higher Order Mutation Analysis Virtual Machine for C

  Tokumoto, S., Yoshida, H., Sakamoto, K. & Honiden, S., 2016 7月 18, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016. Institute of Electrical and Electronics Engineers Inc., p. 320-329 10 p. 7515483

  研究成果: Conference contribution

  • Virtual machine 100%
  • Testing 33%
  • Costs 12%
  • Experiments 11%
  14 被引用数 (Scopus)

• Refactoring refinement structure of event-B machines

  Kobayashi, T., Ishikawa, F. & Honiden, S., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Heitmeyer, C., Philippou, A., Gnesi, S. & Fitzgerald, J. (eds.). Springer Verlag, p. 444-459 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

  研究成果: Conference contribution

  • Event-B 94%
  • Formal specification 67%
  • Refinement 49%
  • Formal Specification 43%
  • Decomposition 20%
  7 被引用数 (Scopus)

• Robust Service Compositions with Functional and Location Diversity

  Wagner, F., Ishikawa, F. & Honiden, S., 2016 3月 1, In: IEEE Transactions on Services Computing. 9, 2, p. 277-290 14 p., 6690106.

  研究成果: Article › 査読

  • Functional Diversity 100%
  • Service Composition 96%
  • Quality of service 52%
  • Chemical analysis 43%
  • Planning 28%
  22 被引用数 (Scopus)

• Stepwise refinement of software development problem analysis

  Kobayashi, T., Ishikawa, F. & Honiden, S., 2016 1月 1, Conceptual Modeling - 35th International Conference, ER 2016, Proceedings. Springer-Verlag, p. 488-495 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9974 LNCS).

  研究成果: Conference contribution

  • Software Development 100%
  • Refinement 57%
  • Software engineering 53%
  • Experiments 23%
  • Abstraction 10%
• 2015

  Abstract rewriting approach to solve datalog programs

  Morales, F. T., Isihikawa, F. & Honiden, S., 2015 10月 27, DBPL 2015 - Proceedings of the 15th Symposium on Database Programming Languages. Neumann, T. & Cheney, J. (eds.). Association for Computing Machinery, Inc, p. 29-36 8 p. (DBPL 2015 - Proceedings of the 15th Symposium on Database Programming Languages).

  研究成果: Conference contribution

• An Application Conflict Detection and Resolution System for Smart Homes

  Yagita, M., Ishikawa, F. & Honiden, S., 2015 7月 30, Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015. Institute of Electrical and Electronics Engineers Inc., p. 33-39 7 p. 7173941

  研究成果: Conference contribution

  • Application programs 100%
  • Actuators 52%
  • Cyber Physical System 15%
  • Model checking 14%
  • User experience 13%
  10 被引用数 (Scopus)

• Evaluating impact of live migration on data center energy saving

  Akiyama, S., Hirofuchi, T. & Honiden, S., 2015 2月 9, Proceedings - 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014. February ed. IEEE Computer Society, p. 759-762 4 p. 7037757. (Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom; vol. 2015-February, no. February).

  研究成果: Conference contribution

  • Virtual Machine 100%
  • Energy Saving 89%
  • Migration 59%
  • Virtual machine 53%
  • Placement 50%
  7 被引用数 (Scopus)

• Feedback-controlled random test generation

  Yatoh, K., Sakamoto, K., Ishikawa, F. & Honiden, S., 2015 7月 13, 2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings. Association for Computing Machinery, Inc, p. 316-326 11 p. (2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings).

  研究成果: Conference contribution

  • Feedback 100%
  • Experiments 5%
  8 被引用数 (Scopus)

• Investigating country differences in mobile app user behavior and challenges for software engineering

  Lim, S. L., Bentley, P. J., Kanakam, N., Ishikawa, F. & Honiden, S., 2015 1月 1, In: IEEE Transactions on Software Engineering. 41, 1, p. 40-64 25 p., 6913003.

  研究成果: Article › 査読

  Open Access

  • Software engineering 100%
  • Application programs 24%
  • Medical applications 15%
  • Ecosystems 14%
  • Packaging 12%
  108 被引用数 (Scopus)

• Model-driven-development-based stepwise software development process for wireless sensor networks

  Tei, K., Shimizu, R., Fukazawa, Y. & Honiden, S., 2015 4月 1, In: IEEE Transactions on Systems, Man, and Cybernetics: Systems. 45, 4, p. 675-687 13 p., 6928496.

  研究成果: Article › 査読

  • Software engineering 100%
  • Wireless sensor networks 97%
  28 被引用数 (Scopus)
• 2014

  An approach for evaluating and suggesting method names using N-gram models

  Suzuki, T., Sakamoto, K., Ishikawa, F. & Honiden, S., 2014 6月 2, 22nd International Conference on Program Comprehension, ICPC 2014 - Proceedings. Association for Computing Machinery, p. 271-274 4 p. (22nd International Conference on Program Comprehension, ICPC 2014 - Proceedings).

  研究成果: Conference contribution

  • Software engineering 100%
  • Experiments 88%
  7 被引用数 (Scopus)

• Application of requirements prioritization decision rules in software product line evolution

  Inoki, M., Kitagawa, T. & Honiden, S., 2014 1月 1, 2014 IEEE 5th International Workshop on Requirements Prioritization and Communication, RePriCo 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1-10 10 p. 6895216. (2014 IEEE 5th International Workshop on Requirements Prioritization and Communication, RePriCo 2014 - Proceedings).

  研究成果: Conference contribution

  • Software engineering 100%
  • Costs 47%
  4 被引用数 (Scopus)

• ArbitCheck: A highly automated property-based testing tool for Java

  Yatoh, K., Sakamoto, K., Ishikawa, F. & Honiden, S., 2014 1月 1, Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014. IEEE Computer Society, p. 405-412 8 p. 6825695. (Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014).

  研究成果: Conference contribution

  • Testing 100%
  • Function generators 45%
  • Feedback 40%
  3 被引用数 (Scopus)

• Fast live migration with small IO performance penalty by exploiting SAN in parallel

  Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2014 12月 3, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. Kesselman, C. (ed.). IEEE Computer Society, p. 40-47 8 p. 6973722. (IEEE International Conference on Cloud Computing, CLOUD).

  研究成果: Conference contribution

  • Virtual machine 100%
  • Data storage equipment 89%
  • Virtualization 51%
  • Energy resources 49%
  • Cloud computing 43%
  4 被引用数 (Scopus)

• Sample efficiency improvement on neuroevolution via estimation-based elimination strategy

  Xu, S., Inoue, Y., Inamura, T., Moriguchi, H. & Honiden, S., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1537-1538 2 p. (13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014; vol. 2).

  研究成果: Conference contribution

  • Poles 100%

• SanGA: A self-adaptive network-aware approach to service composition

  Klein, A., Ishikawa, F. & Honiden, S., 2014 7月 1, In: IEEE Transactions on Services Computing. 7, 3, p. 452-464 13 p., 6409350.

  研究成果: Article › 査読

  • Service Composition 100%
  • Quality of Service 59%
  • Latency 59%
  • Quality of service 54%
  • Chemical analysis 45%
  49 被引用数 (Scopus)

• Toward a portability framework with multi-level models for wireless sensor network software

  Shimizu, R., Tei, K., Fukazawa, Y. & Honiden, S., 2014 2月 17, Proceedings of 2014 International Conference on Smart Computing, SMARTCOMP 2014. Institute of Electrical and Electronics Engineers Inc., p. 253-260 8 p. 7043866. (Proceedings of 2014 International Conference on Smart Computing, SMARTCOMP 2014).

  研究成果: Conference contribution

  • Wireless sensor networks 100%
  • Cyber Physical System 20%
  • Middleware 18%
  • Internet of things 15%
  • Computer hardware 10%
  2 被引用数 (Scopus)