Hisazumi Kenji

2019

Affordable Rideshare Service for Female Urban Corporates in Developing Countries: A Case Study in Dhaka, Bangladesh

Abedin, N., Hisazumi, K. & Ahmed, A., Jan 1 2019, HCI International 2019 – Late Breaking Posters - 21st HCI International Conference, HCII 2019, Proceedings. Stephanidis, C. & Antona, M. (eds.). Springer, p. 283-289 7 p. (Communications in Computer and Information Science; vol. 1088).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Developing Countries

Developing countries

Small and Medium-sized Enterprises

Railroad cars

Personnel

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

robot

Embedded systems

Curricula

Robots

curriculum

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

system development

robot

Education

Robots

Internet

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

Electric power utilization

Quality of service

Unified Modeling Language

Power quality

Embedded systems

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

Feature extraction

ranking

candidacy

engineering

Specifications

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

Embedded software

Computer programming

Embedded systems

Computer programming languages

Chemical activation

2018

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

uncertainty

Specifications

Parking

development model

system development

1 Citation (Scopus)

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

Embedded systems

Education

Robots

Students

Control theory

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

Recommender systems

Websites

Students

means of transport

event

1 Citation (Scopus)

Model-based methodology establishing traceability between requirements, design and operation information in lifecycle-oriented architecture

Ishibashi, S., Hisazumi, K., 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

Uncertainty

1 Citation (Scopus)

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. & Hisazumi, K., 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

Embedded software

Software engineering

Education

Robots

Engineers

Object-oriented context description for movie based context-aware language learning

Hazriani, Nakanishi, T., Hisazumi, K. & 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

Processing

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

simulation

Simulators

transport system

Simulation

Agent-based

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

Software engineering

engineering

Supply chain management

market

Failure modes

1 Citation (Scopus)

Toward sustainable smart mobility information infrastructure platform: Project overview

Fukuda, A., Hisazumi, K., 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

Life cycle

Uncertainty

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

Life cycle

Systems analysis

infrastructure

system development

transportation system

Using fault injection for programming task generation

Habibi, B., Nakanishi, T., Hisazumi, K., 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

Students

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

Model checking

diagrams

Accidents

accidents

communication

2017

1 Citation (Scopus)

A methodology to develop energy adaptive software using model-driven development

Tanaka, F., Hisazumi, K., 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

Electric power utilization

Quality of service

Power quality

Embedded systems

Hardware

2 Citations (Scopus)

A software energy analysis method using ExecutableUML

Yoshimoto, R., Kadono, T., Hisazumi, K. & 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

Energy utilization

Embedded systems

Electric power utilization

3 Citations (Scopus)

Operation phase metrics for smart mobility platform

Hisazumi, K., 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. 7812996. (Proceedings - 2016 International Conference on Agents, ICA 2016).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Metric

Evaluate

Requirements

Framework

ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC

Kong, W., Hou, G., Hu, X., Arimoto, Y., Watanabe, M., Ando, T., Hisazumi, K. & 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

Transition Matrix

State Transition

Path

Software design

Software Design

2016

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

Embedded systems

Time delay

Robots

Processing

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

Graphical user interfaces

Energy utilization

Data flow analysis

3 Citations (Scopus)

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

Adaptive systems

Derivatives

Uncertainty

5 Citations (Scopus)

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. 7557609

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Uncertainty

1 Citation (Scopus)

Garakabu2: An SMT-based Bounded Model Checker for HSTM Designs in ZIPC

Kong, W., Ando, T., Yatsu, H., Hisazumi, K. & 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

Surface mount technology

Software design

Embedded systems

Engineers

Industry

3 Citations (Scopus)

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

Surface mount technology

Temporal logic

Software design

Embedded systems

Engineers

How can we get "lessons learned" from real cases?

Hisazumi, K., 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

Industry

Education

trainee

industry

Japan

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

Specifications

Formal verification

3 Citations (Scopus)

Smartphone usage analysis based on actual-use survey

Kamiyama, T., Hisazumi, K., 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

Smartphones

Cluster analysis

2 Citations (Scopus)

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. 7373157

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Embedded systems

Experiments

5 Citations (Scopus)

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

Life cycle

Uncertainty

2015

3 Citations (Scopus)

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

Educational robots

robot

Students

Vacuum cleaners

Robots

2 Citations (Scopus)

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

Embedded software

3 Citations (Scopus)

A study of context-oriented programming for applying to robot development

Watanabe, H., Sugaya, M., Tanigawa, I., Ogura, N. & Hisazumi, K., 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

Robots

Computer programming languages

Tunnels

Robotics

Hardware

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-75

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 Citations (Scopus)

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

Recommender systems

Information filtering

Information systems

Engines

Communication

1 Citation (Scopus)

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

Electric power utilization

Tuning

Energy utilization

Decision making

2 Citations (Scopus)

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

Electric power utilization

Tuning

Energy utilization

Decision making

2014

6 Citations (Scopus)

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

Model checking

Temporal logic

Surface mount technology

Scalability

Systems analysis

3 Citations (Scopus)

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

movies

quiz

Teaching

language

learning

5 Citations (Scopus)

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

Model checking

Modeling languages

2013

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

Embedded systems

Costs

4 Citations (Scopus)

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

Freight transportation

Navigation systems

Broadcasting

Telecommunication traffic

Industrial plants

11 Citations (Scopus)

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

software

modeling

Watches

Web services

Software engineering

9 Citations (Scopus)

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

development model

Education

education

student

engineer

2 Citations (Scopus)

Domain analysis for mining software repositories: Towards feature-based DSL construction

Huang, C., Yamashita, K., Kamei, Y., Hisazumi, K. & 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

Software engineering

6 Citations (Scopus)

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

Model checking

State Machine

Formalization

Model Checking

Diagram

2 Citations (Scopus)

Harnessing SMT-based bounded model checking through stateless explicit-state exploration

Kong, W., Liu, L., Ando, T., Yatsu, H., Hisazumi, K. & Fukuda, A., Jan 1 2013, APSEC 2013 - Proceedings of the 20th Asia-Pacific Software Engineering Conference. Muenchaisri, P. & Rothermel, G. (eds.). IEEE Computer Society, p. 355-362 8 p. 6805426. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Surface mount technology

Model checking

Systems analysis

Switches