default search action
Kenji Hisazumi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Kenji Hisazumi:
Editor's Message to Special Issue of Embedded Systems Engineering. J. Inf. Process. 32: 817 (2024) - [c58]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: 1-8 - [c57]Kenji Hisazumi
Context-Oriented Programming in Traffic Flow Simulation: Advancing Smart Mobility System Development. ICSCA 2024: 333-338 - [c56]Harumi Watanabe
Towards a DevOps Modeling Based on Context-Oriented Programming. Programming 2024 - 2023
- [j6]Kenji Hisazumi:
Editor's Message to Special Issue of Embedded Systems Engineering. J. Inf. Process. 31: 66 (2023) - 2022
- [j5]Kenji Hisazumi:
Editor's Message to Special Issue on Embedded Systems Engineering. J. Inf. Process. 30: 140 (2022) - [j4]Kenji Hisazumi:
Editor's Message to Special Issue of Embedded Systems Engineering. J. Inf. Process. 30: 645 (2022) - [c55]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: 234-241 - 2021
- [c54]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: 330-336 - 2020
- [c53]Zihan Liu, Ikuta Tanigawa, Harumi Watanabe, Kenji Hisazumi:
PLAM: Preemptive Layer Activation Architecture based on Multithreading in Context-Oriented Programming. COP@ECOOP 2020: 4:1-4:8 - [c52]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: 166-170 - [c51]Tsuneo Nakanishi, Yutaka Arakawa, Takahiro Ando, Shigemi Ishida, Kenji Hisazumi, Tsunenori Mine, Akira Fukuda:
An Inter-Organizational Software Architecture for Smart Mobility. ICSIE 2020: 41-46
2010 – 2019
- 2019
- [c50]Nuren Abedin, Kenji Hisazumi
Affordable Rideshare Service for Female Urban Corporates in Developing Countries: A Case Study in Dhaka, Bangladesh. HCI (37) 2019: 283-289 - [c49]Go Hirakawa, Daisuke Ikeda, Kenji Hisazumi
Development of the Food Culture Database System using Kataribe Cloud to Support Open Science. IIAI-AAI 2019: 391-394 - [c48]Takeshi Ohkawa, Ikuta Tanigawa, Mikiko Sato, Kenji Hisazumi
Prototype of FPGA Dynamic Reconfiguration Based-on Context-Oriented Programming. MCSoC 2019: 116-122 - [c47]Fumiya Tanaka, Kenji Hisazumi
DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling. MODELSWARD 2019: 290-297 - [c46]Kenji Hisazumi
Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering. QRS Companion 2019: 322-329 - 2018
- [c45]Takahiro Ando, Bo Wang, Kenji Hisazumi
Verification Model Translation Method toward Behavior Model for CAST. DSA 2018: 142-147 - [c44]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: 259-263 - [c43]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: 151-152 - [c42]Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. IIAI-AAI 2018: 81-85 - [c41]Takahiro Ando, Ryo Fujii, Kenji Hisazumi
Overview and Application Examples of Agent-Based Unified Simulation Environment. IIAI-AAI 2018: 92-97 - [c40]Hiromasa Inoki, Kenji Hisazumi
A Process of Uncertainty Handling Method to Smart Mobility Application Development. IIAI-AAI 2018: 98-103 - [c39]Tsunenori Mine, Shiro Mise, Hiroyuki Nakamura, Takuya Hiraoki, Shiori Koga, Takahiro Ando, Kenji Hisazumi
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility. IIAI-AAI 2018: 109-114 - [c38]Tsuneo Nakanishi, Kenji Hisazumi
Software Engineering Practices for the Smart Mobility Market. IIAI-AAI 2018: 115-120 - [c37]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: 46-47 - [c36]Kenji Hisazumi
An Interdisciplinary and University PBL Curriculum Using Robot Challenge. TALE 2018: 308-315 - [c35]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: 995-1000 - 2017
- [c34]Baso Habibi, Tsuneo Nakanishi, Kenji Hisazumi
Using Fault Injection for Programming Task Generation. ICL (2) 2017: 559-566 - 2016
- [j3]Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. J. Inf. Secur. Appl. 31: 61-74 (2016) - [c33]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: 125-130 - [c32]Kenji Hisazumi
How can we get "lessons learned" from real cases? WESE 2016: 5:1-5:6 - [c31]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: 150-153 - [c30]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: 154-157 - [c29]Akira Fukuda, Kenji Hisazumi
Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview. IIAI-AAI 2016: 211-214 - [c28]Shota Ishibashi, Kenji Hisazumi
Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture. IIAI-AAI 2016: 234-239 - [c27]Tsuneo Nakanishi, Hiroki Furusho, Kenji Hisazumi
Dynamic SPL and Derivative Development with Uncertainty Management for DevOps. IIAI-AAI 2016: 244-249 - [c26]Takeshi Kamiyama, Kenji Hisazumi
Smartphone Usage Analysis Based on Actual-Use Survey. MobiCASE 2016: 108-116 - 2015
- [j2]Weiqiang Kong, Leyuan Liu
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. Comput. J. 58(11): 2824-2840 (2015) - [c25]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: 21-22 - [c24]Harumi Watanabe, Midori Sugaya, Ikuta Tanigawa, Nobuhiko Ogura, Kenji Hisazumi
A Study of Context-Oriented Programming for Applying to Robot Development. COP@ECOOP 2015: 4:1-4:6 - [c23]Harumi Watanabe, Ikuta Tanigawa, Midori Sugaya, Nobuhiko Ogura, Kenji Hisazumi
A Development of Educational Robot Software for Master's Course Students. WESE 2015: 11:1-11:4 - [c22]Go Hirakawa, Goshi Sato, Kenji Hisazumi
Data Gathering System for Recommender System in Tourism. NBiS 2015: 521-525 - 2014
- [j1]Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi
Translation rules of SysML state machine diagrams into CSP# toward formal model checking. Int. J. Web Inf. Syst. 10(2): 151-169 (2014) - [c21]Hazriani, Tsuneo Nakanishi, Kenji Hisazumi
Movie Based Context-Aware Language Learning: Its Concept and System. T4E 2014: 164-167 - 2013
- [c20]Weiqiang Kong, Leyuan Liu
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. APSEC (1) 2013: 355-362 - [c19]Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi
Formalization and Model Checking of SysML State Machine Diagrams by CSP#. ICCSA (3) 2013: 114-127 - [c18]Changyun Huang, Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi
Domain analysis for mining software repositories: Towards feature-based DSL construction. PLEASE@ICSE 2013: 41-44 - [c17]Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi
Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops 2013: 13-14 - [c16]Seiko Akayama, Kenji Hisazumi, Syuhei Hiya, Akira Fukuda:
Using Model-Driven Development Tools for Object-Oriented Modeling Education. EduSymp@MoDELS 2013 - [c15]Shuhei Hiya, Kenji Hisazumi, Akira Fukuda, Tsuneo Nakanishi:
clooca : Web based tool for Domain Specific Modeling. MoDELS (Demos/Posters/StudentResearch) 2013: 31-35 - 2012
- [c14]Seiko Akayama, Shin Kuboaki, Kenji Hisazumi
Development of a modeling education program for novices using model-driven development. WESE 2012: 4 - [c13]Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams
Using the GPGPU for scaling up Mining Software Repositories. ICSE 2012: 1435-1436 - [c12]Hiroki Nakamura, Rina Nagano, Kenji Hisazumi
QORAL: An External Domain-Specific Language for Mining Software Repositories. IWESEP 2012: 23-29 - [c11]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: 517-518 - 2011
- [c10]Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC 2011: 81-88 - [c9]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: 20 - 2010
- [c8]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: 105-110 - [c7]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: 255-258
2000 – 2009
- 2005
- [c6]Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda:
Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. PSC 2005: 47-53 - [c5]Teruaki Kitasuka, Kenji Hisazumi
WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices. ICITA (2) 2005: 346-349 - 2004
- [c4]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: 1142-1146 - 2003
- [c3]Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda:
Design of a Context-Aware Email Delivery System. PDPTA 2003: 744-750 - [c2]Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda:
A Context-Aware Middleware Mapping Processes and User-Context Subspaces. PDPTA 2003: 1591-1597 - 2002
- [c1]Kenji Hisazumi
Design and implementation of the Lambda mu-kernel based operating system for embedded systems. ACM SIGOPS European Workshop 2002: 178-181
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: