Kenji Hisazumi

According to our database, Kenji Hisazumi authored at least 59 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Editor's Message to Special Issue of Embedded Systems Engineering.

Kenji Hisazumi

J. Inf. Process., 2022

Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model.

Masamichi Kakeshita, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Layer Modeling and Its Code Generation based on Context-oriented Programming.

Chinatsu Yamamoto, Ikuta Tanigawa, Kenji Hisazumi, Mikiko Sato, Takeshi Ohkawa, Nobuhiko Ogura, Harumi Watanabe

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020

An Inter-Organizational Software Architecture for Smart Mobility.

Tsuneo Nakanishi, Yutaka Arakawa, Takahiro Ando, Shigemi Ishida, Kenji Hisazumi, Tsunenori Mine, Akira Fukuda

Proceedings of the ICSIE 2020: 2020 9th International Conference on Software and Information Engineering, 2020

A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre.

Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda

Proceedings of the ICISS 2020: The 3rd International Conference on Information Science and System, 2020

PLAM: Preemptive Layer Activation Architecture based on Multithreading in Context-Oriented Programming.

Zihan Liu, Ikuta Tanigawa, Harumi Watanabe, Kenji Hisazumi

Proceedings of the COP '20: Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, 2020

2019

Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering.

Kenji Hisazumi

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling.

Fumiya Tanaka, Kenji Hisazumi, Akira Fukuda

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Prototype of FPGA Dynamic Reconfiguration Based-on Context-Oriented Programming.

Takeshi Ohkawa, Ikuta Tanigawa, Mikiko Sato, Kenji Hisazumi, Nobuhiko Ogura, Harumi Watanabe

Proceedings of the 13th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2019

Development of the Food Culture Database System using Kataribe Cloud to Support Open Science.

Go Hirakawa, Daisuke Ikeda, Kenji Hisazumi, Akira Fukuda

Proceedings of the 8th International Congress on Advanced Applied Informatics, 2019

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

Nuren Abedin, Kenji Hisazumi, Ashir Ahmed

Proceedings of the HCI International 2019 - Late Breaking Posters, 2019

2018

Assessment Map for Multidisciplinary Abilities for IoT System Development Education based on a Robot Contest.

Harumi Watanabe, Mikiko Sato, Masafumi Miwa, Makoto Imamura, Shintaro Hosoai, Nobuhiko Ogura, Hiroyuki Nakamura, Kenji Hisazumi

Proceedings of the IEEE International Conference on Teaching, 2018

An Interdisciplinary and University PBL Curriculum Using Robot Challenge.

Kenji Hisazumi, Shintaro Hosoai, Harumi Watanabe, Masafumi Miwa, Nobuhiko Ogura, Makoto Motoki

Proceedings of the IEEE International Conference on Teaching, 2018

Teaching software product lines as a paradigm to engineers: an experience report in education programs and seminars for senior engineers in Japan.

Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Software Engineering Practices for the Smart Mobility Market.

Tsuneo Nakanishi, Kenji Hisazumi, Takahiro Ando, Tsunenori Mine, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility.

Tsunenori Mine, Shiro Mise, Hiroyuki Nakamura, Takuya Hiraoki, Shiori Koga, Takahiro Ando, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

A Process of Uncertainty Handling Method to Smart Mobility Application Development.

Hiromasa Inoki, Kenji Hisazumi, Takahiro Ando, Akira Fukuda, Tsuneo Nakanishi

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

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

Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Overview and Application Examples of Agent-Based Unified Simulation Environment.

Takahiro Ando, Ryo Fujii, Kenji Hisazumi, Tsunenori Mine, Tsuneo Nakanishi, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Multidisciplinary skill assessment for embedded software development education via a robot contest.

Harumi Watanabe, Mikiko Sato, Masafumi Miwa, Makoto Imamura, Shintaro Hosoai, Nobuhiko Ogura, Hiroyuki Nakamura, Kenji Hisazumi

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Compulsory Game based Robot Contest for Embedded System Development Education.

Harumi Watanabe, Mikiko Sato, Masafumi Miwa, Makoto Imamura, Shintaro Hosoai, Nobuhiko Ogura, Hiroyuki Nakamura, Kenji Hisazumi

Proceedings of the 7th International Conference on Software and Computer Applications, 2018

Verification Model Translation Method toward Behavior Model for CAST.

Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2017

Using Fault Injection for Programming Task Generation.

Baso Habibi, Tsuneo Nakanishi, Kenji Hisazumi, Hiroki Furusho, Akira Fukuda

Proceedings of the Teaching and Learning in a Digital World - Proceedings of the 20th International Conference on Interactive Collaborative Learning, 2017

2016

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.

Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

J. Inf. Secur. Appl., 2016

Smartphone Usage Analysis Based on Actual-Use Survey.

Takeshi Kamiyama, Kenji Hisazumi, Hiroshi Inamura, Teppei Konishi, Ken Ohta, Akira Fukuda

Proceedings of the 8th EAI International Conference on Mobile Computing, 2016

Dynamic SPL and Derivative Development with Uncertainty Management for DevOps.

Tsuneo Nakanishi, Hiroki Furusho, Kenji Hisazumi, Akira Fukuda

Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016

Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture.

Shota Ishibashi, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda

Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016

Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview.

Akira Fukuda, Kenji Hisazumi, Shigemi Ishida, Tsunenori Mine, Tsuneo Nakanishi, Hiroki Furusho, Shigeaki Tagashira, Yutaka Arakawa, Kunihiko Kaneko, Weiqiang Kong

Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC.

Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

Proceedings of the IEEE International Conference on Agents, 2016

Operation Phase Metrics for Smart Mobility Platform.

Kenji Hisazumi, Tsuneo Nakanishi, Shota Ishibashi, Go Hirakawa, Tsunenori Mine, Takahiro Ando, Hiroki Furusho, Akira Fukuda

Proceedings of the IEEE International Conference on Agents, 2016

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

Kenji Hisazumi, Shigeru Ishida, Mitsuhiro Matsuda, Yukihiro Mihara, Naoshi Uchihira

Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, 2016

A layer-structure diagram and a layer-interaction diagram towards a context-oriented development methodology for embedded systems.

Harumi Watanabe, Ikuta Tanigawa, Midori Sugaya, Nobuhiko Ogura, Kenji Hisazumi

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Comput. J., 2015

Data Gathering System for Recommender System in Tourism.

Go Hirakawa, Goshi Sato, Kenji Hisazumi, Yoshitaka Shibata

Proceedings of the 18th International Conference on Network-Based Information Systems, 2015

A Development of Educational Robot Software for Master's Course Students.

Harumi Watanabe, Ikuta Tanigawa, Midori Sugaya, Nobuhiko Ogura, Kenji Hisazumi

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

A Study of Context-Oriented Programming for Applying to Robot Development.

Harumi Watanabe, Midori Sugaya, Ikuta Tanigawa, Nobuhiko Ogura, Kenji Hisazumi

Proceedings of the 7th International Workshop on Context-Oriented Programming, 2015

A structure of a c# framework ContextCS based on context-oriented programming.

Ikuta Tanigawa, Nobuhiko Ogura, Midori Sugaya, Harumi Watanabe, Kenji Hisazumi

Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2014

Translation rules of SysML state machine diagrams into CSP# toward formal model checking.

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

Int. J. Web Inf. Syst., 2014

Movie Based Context-Aware Language Learning: Its Concept and System.

Hazriani, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda

Proceedings of the Sixth IEEE International Conference on Technology for Education, 2014

2013

clooca : Web based tool for Domain Specific Modeling.

Shuhei Hiya, Kenji Hisazumi, Akira Fukuda, Tsuneo Nakanishi

Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

Using Model-Driven Development Tools for Object-Oriented Modeling Education.

Seiko Akayama, Kenji Hisazumi, Syuhei Hiya, Akira Fukuda

Proceedings of the Educators' Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Towards Formal Description of Standards for Automotive Operating Systems.

Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

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

Changyun Huang, Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi

Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering, 2013

Formalization and Model Checking of SysML State Machine Diagrams by CSP#.

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Poster: an energy profiler for android applications used in the real world.

Hiroki Furusho, Kenji Hisazumi, Takeshi Kamiyama, Hiroshi Inamura, Tsuneo Nakanishi, Akira Fukuda

Proceedings of the 10th International Conference on Mobile Systems, 2012

QORAL: An External Domain-Specific Language for Mining Software Repositories.

Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda

Proceedings of the Fourth International Workshop on Empirical Software Engineering in Practice, 2012

Using the GPGPU for scaling up Mining Software Repositories.

Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, Akira Fukuda

Proceedings of the 34th International Conference on Software Engineering, 2012

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

Seiko Akayama, Shin Kuboaki, Kenji Hisazumi, Takao Futagami, Teruaki Kitasuka

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2012

2011

Small inexpensive core asset construction for large gainful product line development: developing a communication system firmware product line.

Jun Otsuka, Kouichi Kawarabata, Takashi Iwasaki, Makoto Uchiba, Tsuneo Nakanishi, Kenji Hisazumi

Proceedings of the Software Product Lines - 15th International Conference, 2011

Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.

Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

An Experience Report of Introducing Product Line Engineering across the Board.

Takashi Iwasaki, Makoto Uchiba, Jun Otsuka, Koji Hachiya, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda

Proceedings of the Software Product Lines - 14th International Conference, 2010

Traceability Link for Product Line with RAS based Representation.

Yusuke Hattori, Go Hirakawa, Shuichi Ashihara, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

2005

WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices.

Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals.

Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda

Proceedings of the 2005 International Conference on Pervasive Systems and Computing, 2005

2004

Design of a Context-aware Message Exchange System in an Ad-hoc Network.

Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

2003

Design of a Context-Aware Email Delivery System.

Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

A Context-Aware Middleware Mapping Processes and User-Context Subspaces.

Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002

Design and implementation of the Lambda mu-kernel based operating system for embedded systems.

Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002