Kenji Hisazumi

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