If you made any changes in Pure these will be visible here soon.

Research Output 2002 2019

2019

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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

Electric power utilization
Quality of service
Unified Modeling Language
Power quality
Embedded systems

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 proceedingConference 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 proceedingConference 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. & Kenji, H., 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 proceedingConference 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 proceedingConference 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., 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 proceedingChapter

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. & 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 proceedingConference contribution

Embedded software
Software engineering
Education
Robots
Engineers

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 journalArticle

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 proceedingConference 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 proceedingConference contribution

Software engineering
engineering
Supply chain management
market
Failure modes
1 Citation (Scopus)

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 proceedingChapter

Life cycle
Uncertainty

Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status - Current S

Fukuda, A., Nakanishi, T., Kenji, H., 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 proceedingConference contribution

Life cycle
Systems analysis
infrastructure
system development
transportation system

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 proceedingConference 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 proceedingConference contribution

Model checking
diagrams
Accidents
accidents
communication
2017
1 Citation (Scopus)

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 proceedingConference 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., 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 proceedingConference contribution

Energy utilization
Embedded systems
Electric power utilization
3 Citations (Scopus)

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

Research output: Chapter in Book/Report/Conference proceedingConference 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., 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 proceedingConference 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 proceedingConference contribution

Embedded systems
Time delay
Robots
Processing

Design of GUI-component energy profiler for android applications

Hatayama, K., Kenji, H., 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 proceedingConference 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 proceedingConference contribution

Adaptive systems
Derivatives
Uncertainty
4 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 proceedingConference contribution

Uncertainty
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 journalArticle

Surface mount technology
Temporal logic
Software design
Embedded systems
Engineers
1 Citation (Scopus)

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 proceedingConference contribution

Surface mount technology
Software design
Embedded systems
Engineers
Industry

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 proceedingConference contribution

Industry
Education
trainee
industry
Japan

Reference Model of specifications toward Independent Verification and Validation

Ando, T., Yatsu, H., Kenji, H., Fukuda, A., Matsumoto, M. & Michiura, Y., Jan 5 2016, TENCON 2015 - 2015 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-January. 7372818

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
Formal verification
2 Citations (Scopus)

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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

Embedded software
2 Citations (Scopus)

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 proceedingConference 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 proceedingConference contribution

5 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 proceedingConference 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 journalConference 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 journalArticle

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., Kenji, H. & Fukuda, A., Jan 1 2014, In : Computer Journal. 58, 11, p. 2824-2840 17 p.

Research output: Contribution to journalArticle

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. Institute of Electrical and Electronics Engineers Inc., p. 164-167 4 p. 7009561

Research output: Chapter in Book/Report/Conference proceedingConference 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 journalArticle

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 2013, In : Computer Software. 30, 1, p. 203-210 8 p.

Research output: Contribution to journalArticle

Embedded systems
Costs
3 Citations (Scopus)

A software update scheme by airwaves for automotive equipment

Nakanishi, T., Shih, H. H., Kenji, H. & Fukuda, A., 2013, 2013 International Conference on Informatics, Electronics and Vision, ICIEV 2013. 6572709

Research output: Chapter in Book/Report/Conference proceedingConference 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 journalConference article

software
modeling
Watches
Web services
Software engineering
8 Citations (Scopus)

Development of a modeling education program for novices using model-driven development

Akayama, S., Kuboaki, S., Kenji, H., Futagami, T. & Kitasuka, T., 2013, Proceedings of the 2012 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012. 4

Research output: Chapter in Book/Report/Conference proceedingConference 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., 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 proceedingConference contribution

Software engineering
5 Citations (Scopus)

Formalization and model checking of SysML state machine diagrams by CSP#

Ando, T., Yatsu, H., Kong, W., Kenji, H. & 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 proceedingConference 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., 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. 6805426

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Surface mount technology
Model checking
Systems analysis
Switches
3 Citations (Scopus)

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications

Using model-driven development tools for object-oriented modeling education

Akayama, S., Kenji, H., Hiya, S. & Fukuda, A., Jan 1 2013, In : CEUR Workshop Proceedings. 1134

Research output: Contribution to journalConference article

Education
Students