Kenji Hisazumi

According to our database1, Kenji Hisazumi authored at least 53 papers between 2002 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Layer Modeling and Its Code Generation based on Context-oriented Programming.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020
An Inter-Organizational Software Architecture for Smart Mobility.
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.
Proceedings of the ICISS 2020: The 3rd International Conference on Information Science and System, 2020

2019
Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Prototype of FPGA Dynamic Reconfiguration Based-on Context-Oriented Programming.
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.
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.
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.
Proceedings of the IEEE International Conference on Teaching, 2018

An Interdisciplinary and University PBL Curriculum Using Robot Challenge.
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.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Software Engineering Practices for the Smart Mobility Market.
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.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

A Process of Uncertainty Handling Method to Smart Mobility Application Development.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Overview and Application Examples of Agent-Based Unified Simulation Environment.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Multidisciplinary skill assessment for embedded software development education via a robot contest.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Compulsory Game based Robot Contest for Embedded System Development Education.
Proceedings of the 7th International Conference on Software and Computer Applications, 2018

Verification Model Translation Method toward Behavior Model for CAST.
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2016
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.
J. Inf. Secur. Appl., 2016

Smartphone Usage Analysis Based on Actual-Use Survey.
Proceedings of the 8th EAI International Conference on Mobile Computing, 2016

Dynamic SPL and Derivative Development with Uncertainty Management for DevOps.
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016

Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture.
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016

Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview.
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016

How can we get "lessons learned" from real cases?
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.
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.
Comput. J., 2015

Data Gathering System for Recommender System in Tourism.
Proceedings of the 18th International Conference on Network-Based Information Systems, 2015

A Development of Educational Robot Software for Master's Course Students.
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

A Study of Context-Oriented Programming for Applying to Robot Development.
Proceedings of the 7th International Workshop on Context-Oriented Programming, 2015

A structure of a c# framework ContextCS based on context-oriented programming.
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.
Int. J. Web Inf. Syst., 2014

Movie Based Context-Aware Language Learning: Its Concept and System.
Proceedings of the Sixth IEEE International Conference on Technology for Education, 2014

2013
clooca : Web based tool for Domain Specific Modeling.
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

Using Model-Driven Development Tools for Object-Oriented Modeling Education.
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.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Domain analysis for mining software repositories: Towards feature-based DSL construction.
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#.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Poster: an energy profiler for android applications used in the real world.
Proceedings of the 10th International Conference on Mobile Systems, 2012

QORAL: An External Domain-Specific Language for Mining Software Repositories.
Proceedings of the Fourth International Workshop on Empirical Software Engineering in Practice, 2012

Using the GPGPU for scaling up Mining Software Repositories.
Proceedings of the 34th International Conference on Software Engineering, 2012

Development of a modeling education program for novices using model-driven development.
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.
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.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
An Experience Report of Introducing Product Line Engineering across the Board.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Traceability Link for Product Line with RAS based Representation.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

2005
WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices.
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals.
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.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

2003
Design of a Context-Aware Email Delivery System.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

A Context-Aware Middleware Mapping Processes and User-Context Subspaces.
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.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002


  Loading...