Research Output per year
Research Output 2002 2019
- 1 - 50 out of 66 results
- Publication Year, Title (descending)
An Interdisciplinary and University PBL Curriculum Using Robot Challenge
Kenji, H., Hosoai, S., Watanabe, H., Miwa, M., Ogura, N. & Motoki, M., Jan 16 2019, Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018. Lee, M. J. W., Nikolic, S., Wong, G. K. W., Shen, J., Ros, M., Lei, L. C. U. & Venkatarayalu, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 308-315 8 p. 8615301. (Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Assessment Map for Multidisciplinary Abilities for IoT System Development Education based on a Robot Contest
Watanabe, H., Sato, M., Miwa, M., Imamura, M., Hosoai, S., Ogura, N., Nakamura, H. & Kenji, H., Jan 16 2019, Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018. Lee, M. J. W., Nikolic, S., Wong, G. K. W., Shen, J., Ros, M., Lei, L. C. U. & Venkatarayalu, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 995-1000 6 p. 8615388. (Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
DFEAM: Dynamic feature-oriented energy-aware adaptive modeling
Tanaka, F., Kenji, H. & Fukuda, A., Jan 1 2019, MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Selic, B. & Pires, L. F. (eds.). SciTePress, p. 292-299 8 p. (MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering
Hisazumi, K., Xiao, Y. & Fukuda, A., Jul 2019, Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019. Institute of Electrical and Electronics Engineers Inc., p. 322-329 8 p. 8859423. (Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
RTCop: Context-oriented programming framework based on C++ for application in embedded software
Tanigawa, I., Kenji, H., Ogura, N., Sugaya, M., Watanabe, H. & Fukuda, A., Jan 1 2019, ACM International Conference Proceeding Series. Association for Computing Machinery, p. 65-72 8 p. (ACM International Conference Proceeding Series; vol. Part F148384).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A Process of Uncertainty Handling Method to Smart Mobility Application Development
Inoki, H., Kenji, H., Ando, T., Fukuda, A. & Nakanishi, T., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 98-103 6 p. 8693343. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Compulsory game based robot contest for embedded system development education
Watanabe, H., Sato, M., Miwa, M., Imamura, M., Hosoai, S., Ogura, N., Nakamura, H. & Hisazumi, K., Feb 8 2018, Proceedings of 2018 7th International Conference on Software and Computer Applications, ICSCA 2018. Association for Computing Machinery, p. 259-263 5 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility
Mine, T., Mise, S., Nakamura, H., Hiraoki, T., Koga, S., Ando, T., Kenji, H., Nakanishi, T. & Fukuda, A., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 109-114 6 p. 8693406. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Model-based methodology establishing traceability between requirements, design and operation information in lifecycle-oriented architecture
Ishibashi, S., Kenji, H., Nakanishi, T. & Fukuda, A., Jan 1 2018, Studies in Computational Intelligence. Springer Verlag, p. 47-63 17 p. (Studies in Computational Intelligence; vol. 742).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Multidisciplinary skill assessment for embedded software development education via a robot contest
Watanabe, H., Sato, M., Miwa, M., Imamura, M., Hosoai, S., Ogura, N., Nakamura, H. & Kenji, H., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 151-152 2 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Object-oriented context description for movie based context-aware language learning
Hazriani, Nakanishi, T., Kenji, H. & Fukuda, A., Jan 1 2018, In : International Journal of Advanced Computer Science and Applications. 9, 4, p. 350-357 8 p.Research output: Contribution to journal › Article
Overview and Application Examples of Agent-Based Unified Simulation Environment
Ando, T., Fujii, R., Kenji, H., Mine, T., Nakanishi, T. & Fukuda, A., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 92-97 6 p. 8693249. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Software Engineering Practices for the Smart Mobility Market
Nakanishi, T., Kenji, H., Ando, T., Mine, T. & Fukuda, A., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 115-120 6 p. 8693340. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Toward sustainable smart mobility information infrastructure platform: Project overview
Fukuda, A., Kenji, H., Mine, T., Ishida, S., Ando, T., Ishibashi, S., Tagashira, S., Kaneko, K., Arakawa, Y., Kong, W. & Li, G., Jan 1 2018, Studies in Computational Intelligence. Springer Verlag, p. 35-46 12 p. (Studies in Computational Intelligence; vol. 742).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status - Current S
Fukuda, A., Nakanishi, T., Hisazumi, K., Kaneko, K., Tagashira, S., Mine, T., Arakawa, Y., Ishida, S., Ando, T., Ashihara, S., Ura, M., Nakamura, Y., Nakamura, S., Kong, W. & Li, G., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 81-85 5 p. 8693306. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Using fault injection for programming task generation
Habibi, B., Nakanishi, T., Kenji, H., Furusho, H. & Fukuda, A., Jan 1 2018, Teaching and Learning in a Digital World - Proceedings of the 20th International Conference on Interactive Collaborative Learning. Auer, M. E., Simonics, I. & Guralnick, D. (eds.). Springer Verlag, p. 559-566 8 p. (Advances in Intelligent Systems and Computing; vol. 716).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Verification model translation method toward behavior model for CAST
Ando, T., Wang, B., Kenji, H., Kong, W., Fukuda, A., Michiura, Y., Sakemi, K. & Matsumoto, M., Dec 5 2018, Proceedings - 2018 5th International Conference on Dependable Systems and Their Applications, DSA 2018. Institute of Electrical and Electronics Engineers Inc., p. 142-147 6 p. 8563204. (Proceedings - 2018 5th International Conference on Dependable Systems and Their Applications, DSA 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A methodology to develop energy adaptive software using model-driven development
Tanaka, F., Kenji, H., Ishida, S. & Fukuda, A., Dec 19 2017, TENCON 2017 - 2017 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., p. 769-774 6 p. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2017-December).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A software energy analysis method using ExecutableUML
Yoshimoto, R., Kadono, T., Kenji, H. & Fukuda, A., Feb 8 2017, Proceedings of the 2016 IEEE Region 10 Conference, TENCON 2016. Institute of Electrical and Electronics Engineers Inc., p. 218-221 4 p. 7847993. (IEEE Region 10 Annual International Conference, Proceedings/TENCON).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Operation phase metrics for smart mobility platform
Kenji, H., Nakanishi, T., Ishibashr, S., Hirakawa, G., Mine, T., Ando, T., Furusw, H. & Fukuda, A., Jan 10 2017, Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc., p. 150-153 4 p. 7812996Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC
Kong, W., Hou, G., Hu, X., Arimoto, Y., Watanabe, M., Ando, T., Kenji, H. & Fukuda, A., Jan 10 2017, Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc., p. 154-157 4 p. 7812997. (Proceedings - 2016 International Conference on Agents, ICA 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A layer-structure diagram and a layer-interaction diagram towards a context-oriented development methodology for embedded systems
Watanabe, H., Tanigawa, I., Sugaya, M., Ogura, N. & Kenji, H., Mar 14 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity. Batory, D., Fuentes, L. & Czarnecki, K. (eds.). Association for Computing Machinery, Inc, p. 125-130 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Design of GUI-component energy profiler for android applications
Hatayama, K., Hisazumi, K., Yoshise, K., Ishida, S. & Fukuda, A., Jan 5 2016, TENCON 2015 - 2015 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., 7372762. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2016-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Dynamic SPL and derivative development with uncertainty management for DevOps
Nakanishi, T., Furusho, H., Kenji, H. & Fukuda, A., Aug 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Hiramatsu, A., Matsuo, T., Kanzaki, A. & Komoda, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 244-249 6 p. 7557611. (Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Establishing traceability between requirements, design and operation information in lifecycle-oriented architecture
Ishibashi, S., Kenji, H., Nakanishi, T. & Fukuda, A., Aug 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Institute of Electrical and Electronics Engineers Inc., p. 234-239 6 p. 7557609Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Garakabu2: An SMT-based Bounded Model Checker for HSTM Designs in ZIPC
Kong, W., Ando, T., Yatsu, H., Kenji, H. & Fukuda, A., Mar 15 2016, Proceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015. Institute of Electrical and Electronics Engineers Inc., p. 21-29 9 p. 7434466. (Proceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC
Kong, W., Hou, G., Hu, X., Ando, T., Kenji, H. & Fukuda, A., Dec 1 2016, In : Journal of Information Security and Applications. 31, p. 61-74 14 p.Research output: Contribution to journal › Article
How can we get "lessons learned" from real cases?
Kenji, H., Matsuda, M., Ishida, S., Mihara, Y. & Uchihira, N., Oct 1 2016, 2016 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2016 - Organized as a Part of Embedded Systems Week, Proceedings. Grimheden, M. E. (ed.). Association for Computing Machinery, Inc, a5. (2016 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2016 - Organized as a Part of Embedded Systems Week, Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Reference Model of specifications toward Independent Verification and Validation
Ando, T., Yatsu, H., Hisazumi, K., Fukuda, A., Matsumoto, M. & Michiura, Y., Jan 5 2016, TENCON 2015 - 2015 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., 7372818. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2016-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Smartphone usage analysis based on actual-use survey
Kamiyama, T., Kenji, H., Inamura, H., Konishi, T., Ohta, K. & Fukuda, A., Dec 1 2016, MobiCASE 2016 - 8th EAI International Conference on Mobile Computing, Applications and Services. Kawsar, F., Musolesi, M. & Zhang, P. (eds.). Association for Computing Machinery, Inc, (MobiCASE 2016 - 8th EAI International Conference on Mobile Computing, Applications and Services).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Toward impact analysis for uncertain software project
Kenji, H., Yamasaki, T. & Fukuda, A., Jan 5 2016, TENCON 2015 - 2015 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-January. 7373157Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Towards sustainable information infrastructure platform for smart mobility - Project overview
Fukuda, A., Kenji, H., Ishida, S., Mine, T., Nakanishi, T., Furusho, H., Tagashira, S., Arakawa, Y., Kaneko, K. & Kong, W., Aug 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Hiramatsu, A., Matsuo, T., Kanzaki, A. & Komoda, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 211-214 4 p. 7557604. (Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A development of educational robot software for Master's course students
Watanabe, H., Tanigawa, I., Sugaya, M., Ogura, N. & Kenji, H., Oct 4 2015, 2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015 - Proceedings. Grimheden, M. E. (ed.). Association for Computing Machinery, Inc, 11. (2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015 - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A structure of a C# framework ContextCS based on context-oriented programming
Tanigawa, I., Ogura, N., Sugaya, M., Watanabe, H. & Kenji, H., Mar 16 2015, 14th International Conference on Modularity, MODULARITY Companion 2015 - Proceedings. Association for Computing Machinery, Vol. 2015-March. p. 21-22 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A study of context-oriented programming for applying to robot development
Watanabe, H., Sugaya, M., Tanigawa, I., Ogura, N. & Kenji, H., Jul 4 2015, International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015. Association for Computing Machinery, Inc, a4. (International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A Visualization Method of Inter-Module Communications for Profiling Energy Consumption of Android Applications
Furusho, H., Kenji, H., Kamiyama, T., Inamura, H., Ishida, S. & Fukuda, A., Aug 2015, The 13th International Conference on Embedded Systems and Applications (ESA'15), Las Vegas, NV. p. 71-75Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Data gathering system for recommender system in tourism
Hirakawa, G., Satoh, G., Kenji, H. & Shibata, Y., Dec 9 2015, Proceedings - 2015 18th International Conference on Network-Based Information Systems, NBiS 2015. Barolli, L., Takizawa, M., Xhafa, F., Hsu, H-H. & Enokido, T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 521-525 5 p. 7350670. (Proceedings - 2015 18th International Conference on Network-Based Information Systems, NBiS 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Power consumption profiling method based on android application usage
Furusho, H., Kenji, H., Kamiyama, T., Inamura, H., Nakanishi, T. & Fukuda, A., Jan 1 2015, In : Lecture Notes in Electrical Engineering. 339, p. 891-898 8 p.Research output: Contribution to journal › Conference article
Power Consumption Profiling Method Based on Android Application Usage
Furusho, H., Kenji, H., Kamiyama, T., Inamura, H., Nakanishi, T. & Fukuda, A., Jan 1 2015, In : Lecture Notes in Electrical Engineering. 339, p. 891-898 8 p.Research output: Contribution to journal › Article
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration
Kong, W., Liu, L., Ando, T., Yatsu, H., Hisazumi, K. & Fukuda, A., Aug 11 2014, In : Computer Journal. 58, 11, p. 2824-2840 17 p.Research output: Contribution to journal › Article
Movie based context-aware language learning: Its concept and system
Hazriani, Nakanishi, T., Kenji, H. & Fukuda, A., Jan 13 2014, Proceedings - IEEE 6th International Conference on Technology for Education, T4E 2014. Murthy, S. & Kinshuk (eds.). Institute of Electrical and Electronics Engineers Inc., p. 164-167 4 p. 7009561. (Proceedings - IEEE 6th International Conference on Technology for Education, T4E 2014).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Translation rules of SysML state machine diagrams into CSP# toward formal model checking
Ando, T., Yatsu, H., Kong, W., Kenji, H. & Fukuda, A., Jun 1 2014, In : International Journal of Web Information Systems. 10, 2, p. 151-169 19 p.Research output: Contribution to journal › Article
A model transformation method for evaluation of non-functional requirements of an embedded system architecture
Kawahara, R., Ono, K., Nakada, T., Okabayashi, H., Kenji, H., Nakanishi, T., Fukuda, A., Sakamoto, Y. & Nagano, T., Feb 1 2013, In : Computer Software. 30, 1, p. 203-210 8 p.Research output: Contribution to journal › Article
A software update scheme by airwaves for automotive equipment
Nakanishi, T., Shih, H. H., Hisazumi, K. & Fukuda, A., Sep 9 2013, 2013 International Conference on Informatics, Electronics and Vision, ICIEV 2013. 6572709. (2013 International Conference on Informatics, Electronics and Vision, ICIEV 2013).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Clooca: Web based tool for domain specific modeling
Hiya, S., Kenji, H., Fukuda, A. & Nakanishi, T., Jan 1 2013, In : CEUR Workshop Proceedings. 1115, p. 31-35 5 p.Research output: Contribution to journal › Conference article
Development of a modeling education program for novices using model-driven development
Akayama, S., Kuboaki, S., Hisazumi, K., Futagami, T. & Kitasuka, T., Oct 24 2013, Proceedings of the 2012 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012. 4. (Proceedings of the 2012 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Domain analysis for mining software repositories: Towards feature-based DSL construction
Huang, C., Yamashita, K., Kamei, Y., Kenji, H. & Ubayashi, N., Oct 28 2013, 2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings. p. 41-44 4 p. 6608663. (2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formalization and model checking of SysML state machine diagrams by CSP#
Ando, T., Yatsu, H., Kong, W., Hisazumi, K. & Fukuda, A., Aug 1 2013, Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings. PART 3 ed. p. 114-127 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7973 LNCS, no. PART 3).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Harnessing SMT-based bounded model checking through stateless explicit-state exploration
Kong, W., Liu, L., Ando, T., Yatsu, H., Kenji, H. & Fukuda, A., Jan 1 2013, APSEC 2013 - Proceedings of the 20th Asia-Pacific Software Engineering Conference. Muenchaisri, P. & Rothermel, G. (eds.). IEEE Computer Society, Vol. 1. p. 355-362 8 p. 6805426Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Towards formal description of standards for automotive operating systems
Yatsu, H., Ando, T., Kong, W., Kenji, H., Fukuda, A., Aoki, T. & Futatsugi, K., Sep 9 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. p. 13-14 2 p. 6571601Research output: Chapter in Book/Report/Conference proceeding › Conference contribution