Kenji Hisazumi

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 37

Top Topics

Oriented Programming

Embedded Systems

Information Infrastructure

Dynamic Reconfiguration

Top Venues

J. Inf. Process.

Publications

Kenji Hisazumi, Hiromasa Inoki
Context-Oriented Programming in Traffic Flow Simulation: Advancing Smart Mobility System Development. ICSCA (2024)
Harumi Watanabe, Nobuhiko Ogura, Kenji Hisazumi
Towards a DevOps Modeling Based on Context-Oriented Programming. Programming (2024)
Kenji Hisazumi, Takeshi Ohkawa, Masafumi Miwa, Mikiko Sato, Takashi Nagai, Nobuhiro Ohe, Kittikhun Thongpull, Nattha Jindapetch, Harumi Watanabe
APRIS Robot Challenge: Collaborative Online Interdisciplinary and International Learning for IoT/Robotics Systems. EDUCON (2024)
Kenji Hisazumi
Editor's Message to Special Issue of Embedded Systems Engineering. J. Inf. Process. 31 (2023)
Kenji Hisazumi
Editor's Message to Special Issue of Embedded Systems Engineering. J. Inf. Process. 30 (2022)
Masamichi Kakeshita, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model. MODELSWARD (2022)
Kenji Hisazumi
Editor's Message to Special Issue on Embedded Systems Engineering. J. Inf. Process. 30 (2022)
Chinatsu Yamamoto, Ikuta Tanigawa, Kenji Hisazumi, Mikiko Sato, Takeshi Ohkawa, Nobuhiko Ogura, Harumi Watanabe
Layer Modeling and Its Code Generation based on Context-oriented Programming. MODELSWARD (2021)
Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda
A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre. ICISS (2020)
Tsuneo Nakanishi, Yutaka Arakawa, Takahiro Ando, Shigemi Ishida, Kenji Hisazumi, Tsunenori Mine, Akira Fukuda
An Inter-Organizational Software Architecture for Smart Mobility. ICSIE (2020)
Zihan Liu, Ikuta Tanigawa, Harumi Watanabe, Kenji Hisazumi
PLAM: Preemptive Layer Activation Architecture based on Multithreading in Context-Oriented Programming. COP@ECOOP (2020)
Kenji Hisazumi
Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering. QRS Companion (2019)
Takeshi Ohkawa, Ikuta Tanigawa, Mikiko Sato, Kenji Hisazumi, Nobuhiko Ogura, Harumi Watanabe
Prototype of FPGA Dynamic Reconfiguration Based-on Context-Oriented Programming. MCSoC (2019)
Nuren Abedin, Kenji Hisazumi, Ashir Ahmed
Affordable Rideshare Service for Female Urban Corporates in Developing Countries: A Case Study in Dhaka, Bangladesh. HCI (37) (2019)
Fumiya Tanaka, Kenji Hisazumi, Akira Fukuda
DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling. MODELSWARD (2019)
Go Hirakawa, Daisuke Ikeda, Kenji Hisazumi, Akira Fukuda
Development of the Food Culture Database System using Kataribe Cloud to Support Open Science. IIAI-AAI (2019)
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
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. IIAI-AAI (2018)
Harumi Watanabe, Mikiko Sato, Masafumi Miwa, Makoto Imamura, Shintaro Hosoai, Nobuhiko Ogura, Hiroyuki Nakamura, Kenji Hisazumi
Multidisciplinary skill assessment for embedded software development education via a robot contest. ICSE (Companion Volume) (2018)
Tsuneo Nakanishi, Kenji Hisazumi, Takahiro Ando, Tsunenori Mine, Akira Fukuda
Software Engineering Practices for the Smart Mobility Market. IIAI-AAI (2018)
Kenji Hisazumi, Shintaro Hosoai, Harumi Watanabe, Masafumi Miwa, Nobuhiko Ogura, Makoto Motoki
An Interdisciplinary and University PBL Curriculum Using Robot Challenge. TALE (2018)
Takahiro Ando, Ryo Fujii, Kenji Hisazumi, Tsunenori Mine, Tsuneo Nakanishi, Akira Fukuda
Overview and Application Examples of Agent-Based Unified Simulation Environment. IIAI-AAI (2018)
Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
Teaching software product lines as a paradigm to engineers: an experience report in education programs and seminars for senior engineers in Japan. SPLC (2) (2018)
Harumi Watanabe, Mikiko Sato, Masafumi Miwa, Makoto Imamura, Shintaro Hosoai, Nobuhiko Ogura, Hiroyuki Nakamura, Kenji Hisazumi
Compulsory Game based Robot Contest for Embedded System Development Education. ICSCA (2018)
Tsunenori Mine, Shiro Mise, Hiroyuki Nakamura, Takuya Hiraoki, Shiori Koga, Takahiro Ando, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility. IIAI-AAI (2018)
Harumi Watanabe, Mikiko Sato, Masafumi Miwa, Makoto Imamura, Shintaro Hosoai, Nobuhiko Ogura, Hiroyuki Nakamura, Kenji Hisazumi
Assessment Map for Multidisciplinary Abilities for IoT System Development Education based on a Robot Contest. TALE (2018)
Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
Verification Model Translation Method toward Behavior Model for CAST. DSA (2018)
Hiromasa Inoki, Kenji Hisazumi, Takahiro Ando, Akira Fukuda, Tsuneo Nakanishi
A Process of Uncertainty Handling Method to Smart Mobility Application Development. IIAI-AAI (2018)
Baso Habibi, Tsuneo Nakanishi, Kenji Hisazumi, Hiroki Furusho, Akira Fukuda
Using Fault Injection for Programming Task Generation. ICL (2) (2017)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. J. Inf. Secur. Appl. 31 (2016)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. ICA (2016)
Shota Ishibashi, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture. IIAI-AAI (2016)
Kenji Hisazumi, Tsuneo Nakanishi, Shota Ishibashi, Go Hirakawa, Tsunenori Mine, Takahiro Ando, Hiroki Furusho, Akira Fukuda
Operation Phase Metrics for Smart Mobility Platform. ICA (2016)
Kenji Hisazumi, Shigeru Ishida, Mitsuhiro Matsuda, Yukihiro Mihara, Naoshi Uchihira
How can we get "lessons learned" from real cases? WESE (2016)
Tsuneo Nakanishi, Hiroki Furusho, Kenji Hisazumi, Akira Fukuda
Dynamic SPL and Derivative Development with Uncertainty Management for DevOps. IIAI-AAI (2016)
Takeshi Kamiyama, Kenji Hisazumi, Hiroshi Inamura, Teppei Konishi, Ken Ohta, Akira Fukuda
Smartphone Usage Analysis Based on Actual-Use Survey. MobiCASE (2016)
Harumi Watanabe, Ikuta Tanigawa, Midori Sugaya, Nobuhiko Ogura, Kenji Hisazumi
A layer-structure diagram and a layer-interaction diagram towards a context-oriented development methodology for embedded systems. MODULARITY (Companion) (2016)
Akira Fukuda, Kenji Hisazumi, Shigemi Ishida, Tsunenori Mine, Tsuneo Nakanishi, Hiroki Furusho, Shigeaki Tagashira, Yutaka Arakawa, Kunihiko Kaneko, Weiqiang Kong
Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview. IIAI-AAI (2016)
Harumi Watanabe, Midori Sugaya, Ikuta Tanigawa, Nobuhiko Ogura, Kenji Hisazumi
A Study of Context-Oriented Programming for Applying to Robot Development. COP@ECOOP (2015)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. Comput. J. 58 (11) (2015)
Harumi Watanabe, Ikuta Tanigawa, Midori Sugaya, Nobuhiko Ogura, Kenji Hisazumi
A Development of Educational Robot Software for Master's Course Students. WESE (2015)
Ikuta Tanigawa, Nobuhiko Ogura, Midori Sugaya, Harumi Watanabe, Kenji Hisazumi
A structure of a c# framework ContextCS based on context-oriented programming. MODULARITY (Companion) (2015)
Go Hirakawa, Goshi Sato, Kenji Hisazumi, Yoshitaka Shibata
Data Gathering System for Recommender System in Tourism. NBiS (2015)
Hazriani, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
Movie Based Context-Aware Language Learning: Its Concept and System. T4E (2014)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Translation rules of SysML state machine diagrams into CSP# toward formal model checking. Int. J. Web Inf. Syst. 10 (2) (2014)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. APSEC (1) (2013)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Formalization and Model Checking of SysML State Machine Diagrams by CSP#. ICCSA (3) (2013)
Seiko Akayama, Kenji Hisazumi, Syuhei Hiya, Akira Fukuda
Using Model-Driven Development Tools for Object-Oriented Modeling Education. EduSymp@MoDELS (2013)
Shuhei Hiya, Kenji Hisazumi, Akira Fukuda, Tsuneo Nakanishi
clooca : Web based tool for Domain Specific Modeling. MoDELS (Demos/Posters/StudentResearch) (2013)
Changyun Huang, Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi
Domain analysis for mining software repositories: Towards feature-based DSL construction. PLEASE@ICSE (2013)
Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops (2013)
Hiroki Furusho, Kenji Hisazumi, Takeshi Kamiyama, Hiroshi Inamura, Tsuneo Nakanishi, Akira Fukuda
Poster: an energy profiler for android applications used in the real world. MobiSys (2012)
Seiko Akayama, Shin Kuboaki, Kenji Hisazumi, Takao Futagami, Teruaki Kitasuka
Development of a modeling education program for novices using model-driven development. WESE (2012)
Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, Akira Fukuda
Using the GPGPU for scaling up Mining Software Repositories. ICSE (2012)
Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda
QORAL: An External Domain-Specific Language for Mining Software Repositories. IWESEP (2012)
Jun Otsuka, Kouichi Kawarabata, Takashi Iwasaki, Makoto Uchiba, Tsuneo Nakanishi, Kenji Hisazumi
Small inexpensive core asset construction for large gainful product line development: developing a communication system firmware product line. SPLC Workshops (2011)
Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC (2011)
Takashi Iwasaki, Makoto Uchiba, Jun Otsuka, Koji Hachiya, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
An Experience Report of Introducing Product Line Engineering across the Board. SPLC Workshops (2010)
Yusuke Hattori, Go Hirakawa, Shuichi Ashihara, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
Traceability Link for Product Line with RAS based Representation. Software Engineering Research and Practice (2010)
Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices. ICITA (2) (2005)
Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. PSC (2005)
Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda
Design of a Context-aware Message Exchange System in an Ad-hoc Network. PDPTA (2004)
Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda
A Context-Aware Middleware Mapping Processes and User-Context Subspaces. PDPTA (2003)
Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda
Design of a Context-Aware Email Delivery System. PDPTA (2003)
Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda
Design and implementation of the Lambda mu-kernel based operating system for embedded systems. ACM SIGOPS European Workshop (2002)