Shingo Yamaguchi

Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

Network Hardening Method by Cutting and Re-Linking Based on Exclusive Vulnerabilities.

[BibT_eX]

[DOI]

Gaku Tatebatake

Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

Malaysian Food Recognition and Calories Estimation Using CNN With TensorFlow.

[BibT_eX]

[DOI]

Natasha Amira Abdul Rauf

Abang Muhamad Zaid

Nurhanna Umairah Khuzairi

Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

Weather Station Monitoring System with Node-RED.

[BibT_eX]

[DOI]

Muhammad Syafiq Mohd Zainordin

Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

Fault-Tolerance and Zero-Downtime Electricity Forecasting in Smart City.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

2022

Botnet Defense System: Observability, Controllability, and Basic Command and Control Strategy.

[BibT_eX]

[DOI]

Sensors, 2022

Machine Learning White-Hat Worm Launcher for Tactical Response by Zoning in Botnet Defense System.

[BibT_eX]

[DOI]

Sensors, 2022

Machine-Learning-Based White-Hat Worm Launcher in Botnet Defense System.

[BibT_eX]

[DOI]

Taku Kageyama

Int. J. Softw. Sci. Comput. Intell., 2022

IEEE Consumer Technology Society Awards Presented at ICCE 2022.

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2022

What Can Consumer Technologies Contribute to the Future Society?

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2022

A Data Flow Design Tool and Method for IoT System Using Program Net.

[BibT_eX]

[DOI]

Di Zhang

Proceedings of the 4th IEEE Global Conference on Life Sciences and Technologies, 2022

A DBSCAN-based White-Hat Worm Launcher for Botnet Defense System.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Global Conference on Life Sciences and Technologies, 2022

Modeling and Simulation for Optimizing Drone Operation Rate by Combining Hybrid Policies.

[BibT_eX]

[DOI]

Hideto Namiki

Iffah Zulaikha Saiful Bahri

Proceedings of the 4th IEEE Global Conference on Life Sciences and Technologies, 2022

Masked Face Detection System Using Convolutional Neural Networks.

[BibT_eX]

[DOI]

Anis Zahirah Azman

Proceedings of the 4th IEEE Global Conference on Life Sciences and Technologies, 2022

Hungarian-Particle Filtering Based Segmentation for On-Road Visual Vehicle Detection and Tracking.

[BibT_eX]

[DOI]

Nuramin Fitri Aminuddin

Zarina Tukiran

Ariffuddin Bin Joret

Muhammad Nuriffat Roslee

Proceedings of the 4th IEEE Global Conference on Life Sciences and Technologies, 2022

Personalized Gaming Disorder Risk Analysis and Rating Based on User Preference Correlation.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Global Conference on Life Sciences and Technologies, 2022

Evaluation on White-Hat Worm Diffusion Method Based on The Evolution of Its Lifespan in Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2022

On Resident Strategy for White-Hat Botnet in Botnet Defense System.

[BibT_eX]

[DOI]

Siti Zarina Binti Mohd Muji

Daisuke Makihara

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022

Simulation on Ultrasonic Tomography for Optimum Resonance Frequency and Amplitude Input Signal.

[BibT_eX]

[DOI]

Muhammad Nuriffat Roslee

Ariffuddin Bin Joret

Mohd Fadzli Bin Abd Shaib

Nuramin Fitri Aminuddin

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022

Research and Development of Botnet Defense System.

[BibT_eX]

[DOI]

Proceedings of the Human Interface and the Management of Information: Applications in Complex Technological Environments, 2022

Detection and Mitigation Method of Bottlenecks in Data Stream Based on Program Net.

[BibT_eX]

[DOI]

Proceedings of the Human Interface and the Management of Information: Visual and Information Design, 2022

A Method to Prevent Known Attacks and Their Variants by Combining Honeypots and IPS.

[BibT_eX]

[DOI]

Yudai Yamamoto

Proceedings of the 11th IEEE Global Conference on Consumer Electronics, 2022

2021

Multi-Task Learning-Based Task Scheduling Switcher for a Resource-Constrained IoT System.

[BibT_eX]

[DOI]

Inf., 2021

Identification of Driving Safety Profiles in Vehicle to Vehicle Communication System Based on Vehicle OBD Information.

[BibT_eX]

[DOI]

Inf., 2021

Physical Device Compatibility Support for Implementation of IoT Services with Design Once, Provide Anywhere Concept.

[BibT_eX]

[DOI]

Inf., 2021

CoAP-Based Lightweight Interoperability Semantic Sensor and Actuator Ontology for IoT Ecosystem.

[BibT_eX]

[DOI]

Int. J. Ambient Comput. Intell., 2021

Blockchain-Assisted Secure Fine-Grained Searchable Encryption for a Cloud-Based Healthcare Cyber-Physical System.

[BibT_eX]

[DOI]

IEEE CAA J. Autom. Sinica, 2021

State-of-the-Art and Future Direction of UAV Technologies [From the Editor's Desk].

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2021

IEEE Consumer Technology Society Awards Presented in 2021.

[BibT_eX]

[DOI]

Wahab Almuhtadi

Saraju P. Mohanty

IEEE Consumer Electron. Mag., 2021

A Basic Command and Control Strategy in Botnet Defense System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Opening Ceremony.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Autonomous Car Parking System using Fuzzy Logic.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

An End-to-End Security Framework for Smart Healthcare Information Sharing against Botnet-based Cyber-Attacks.

[BibT_eX]

[DOI]

Megha Quamara

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Entropy based Defensive Mechanism against DDoS Attack in SDN-Cloud enabled Online Social Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Adaptive Task Scheduling Switcher for a Resource-Constrained IoT System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Anti-Collision Car System using Fuzzy Logic Technique.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Fog Layer-based DDoS attack Detection Approach for Internet-of-Things (IoTs) devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Mitigating Botnet based DDoS Attacks by Selecting Incentivized Cooperating ISPs for Risk Transfer.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Shielding Smart Home IoT Devices against Adverse Effects of XSS using AI model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Cluster-Based Positioning Method of Drone Charging Station for Enlargement of Delivery Area.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

On Application of Botnet Defense System to IoT Systems Including Private Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics-Taiwan, 2021

Machine-Learning-Based White-Hat Worm Launcher Adaptable to Large-Scale IoT Network.

[BibT_eX]

[DOI]

Taku Kageyama

Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

On Tactics to Deploy White-Hat Worms in Botnet Defense System.

[BibT_eX]

[DOI]

Taku Kageyama

Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

Verification of Data Conflict in Data Stream Pipeline for Privacy in IoT System.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

2020

Soft computing techniques for big data and cloud computing.

[BibT_eX]

[DOI]

Soft Comput., 2020

White-Hat Worm to Fight Malware and Its Evaluation by Agent-Oriented Petri Nets.

[BibT_eX]

[DOI]

Sensors, 2020

Botnet Defense System: Concept, Design, and Basic Strategy.

[BibT_eX]

[DOI]

Inf., 2020

Verification Method for Accumulative Event Relation of Message Passing Behavior with Process Tree for IoT Systems.

[BibT_eX]

[DOI]

Inf., 2020

Young Professionals Event at GCCE 2019.

[BibT_eX]

[DOI]

Yuya Koyama

IEEE Consumer Electron. Mag., 2020

Botnet Defense System: Concept and Basic Strategy.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Practical Application of Tour Plan Mining System Tour Miner - Web Application and Case Study -.

[BibT_eX]

[DOI]

Pattara Leelaprute

Pittayut Sothanakul

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

IoT Based Indoor Locating System (ILS) using Bluetooth Low Energy (BLE).

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Power Demand Forcasting System with Reconfigurable User Interface Using Redundant Operation Data.

[BibT_eX]

[DOI]

Takuya Arata

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Process-Based Anomaly Detection and Analysis for Cyber-Physical System with MQTT Protocol.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Botnet Defense System and Its Basic Strategy Against Malicious Botnet.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020

Generating and Analyzing Data Set of Workflow-Nets.

[BibT_eX]

[DOI]

Shohei Matsubara

Proceedings of the Eighth International Symposium on Computing and Networking Workshops, 2020

IoT Service Development and Deployment Platform "Elgar" and Its Application to Smart Parking.

[BibT_eX]

[DOI]

Yudai Tanimura

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

Drone Fleet Rental Decision Support Based on Iterative Resource-Constrained Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

2019

Deep learning models for human centered computing in fog and mobile edge networks.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2019

Analysis of Option to Complete, Proper Completion and No Dead Tasks for Acyclic Free Choice Workflow Nets.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

The Young Professionals Event at ICCE 2019 [Society News].

[BibT_eX]

[DOI]

Tom Coughlin

IEEE Consumer Electron. Mag., 2019

Young Professionals Events at the IEEE International Conference on Consumer Electronics Berlin 2018 [Society News].

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2019

Young Professionals Activities at GCCE 2018 [Society News].

[BibT_eX]

[DOI]

Takahiro Ogawa

IEEE Consumer Electron. Mag., 2019

IEEE Access Special Section Editorial: Recent Advances in Computational Intelligence Paradigms for Security and Privacy for Fog and Mobile Edge Computing.

[BibT_eX]

[DOI]

Yogachandran Rahulamathavan

Tyson Brooks

Zheng Yan

IEEE Access, 2019

Modeling ACC with Cloud, Clouldlet for Autonomous Vehicle Platoon using Petri nets.

[BibT_eX]

[DOI]

Tanmay Chakraborty

Soumya Kanti Datta

Proceedings of the 5th IEEE World Forum on Internet of Things, 2019

IoT Device Management using Semantics for Distinguishing Device Compatibility.

[BibT_eX]

[DOI]

Sukhavasi Suman

Thinagaran Perumal

Norwati Mustapha

Razali Yaakob

Proceedings of the IEEE 1st Global Conference on Life Sciences and Technologies, 2019

Meal Preference Extraction and Its Rating Scale for Diet Analysis Using Associative Mining.

[BibT_eX]

[DOI]

Proceedings of the IEEE 1st Global Conference on Life Sciences and Technologies, 2019

Hajime Worm with Lifespan and Its Mitigation Evaluation Against Mirai Malware Based on Agent-Oriented Petri Net PN2.

[BibT_eX]

[DOI]

Pattara Leelaprute

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

Random Sampling and Inductive Ability Evaluation of Word Embedding in Medical Literature.

[BibT_eX]

[DOI]

Huaze Xie

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

Modeling and Evaluation of IoT Worm with Lifespan and Secondary Infectivity by Agent-Oriented Petri Net PN2.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2019

Quantitative Evaluation of Hajime with Secondary Infectivity in Response to Mirai's Infection Situation.

[BibT_eX]

[DOI]

Hiroaki Tanaka

Monika Mikami

Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

Semantic Interoperability Test Method for Data Schema Comparison with Constrained Application Protocol.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

MQTT-driven Remote Temperature Monitoring System for IoT-based Smart Homes.

[BibT_eX]

[DOI]

Megha Quamara

Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

An Auto-Scheduling Framework for the Internet of Things based on Process and Optimizer Modules.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

Process-Based Intrusion Detection Method for IoT System with MQTT Protocol.

[BibT_eX]

[DOI]

Naofumi Yamaguchi

Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

2018

Recent Advances in Mobile Cloud Computing.

[BibT_eX]

[DOI]

Brij Bhooshan Gupta

Konstantinos E. Psannis

Wirel. Commun. Mob. Comput., 2018

Guest Editorial Deep Learning Models for Industry Informatics.

[BibT_eX]

[DOI]

Gregorio Martínez Pérez

IEEE Trans. Ind. Informatics, 2018

Introduction to special issue on recent advances on sustainability for green cloud and fog computing.

[BibT_eX]

[DOI]

Sustain. Comput. Informatics Syst., 2018

Advances in applying soft computing techniques for big data and cloud computing.

[BibT_eX]

[DOI]

Soft Comput., 2018

Guest Editorial: Recent Advances on Security and Privacy of Multimedia Big Data in the Critical Infrastructure.

[BibT_eX]

[DOI]

Zhiyong Zhang

Konstantinos E. Psannis

Multim. Tools Appl., 2018

Advances in Security and Privacy of Multimedia Big Data in Mobile and Cloud Computing.

[BibT_eX]

[DOI]

Brij Bhooshan Gupta

Multim. Tools Appl., 2018

Petri net-based verification of security protocol implementation in software evolution.

[BibT_eX]

[DOI]

Int. J. Embed. Syst., 2018

Foreword.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

Computational Complexity and Polynomial Time Procedure of Response Property Problem in Workflow Nets.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2018

Recent research in computational intelligence paradigms into security and privacy for online social networks (OSNs).

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Flying Animals and the Art of Presentation [Society News].

[BibT_eX]

[DOI]

Tom Coughlin

IEEE Consumer Electron. Mag., 2018

Technical Writing Course Offered to YPs [Society News].

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2018

Young Professionals Event at GCCE 2017: Synergy of Automotive and Consumer Electronics [Society News].

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2018

Gaining Experience and Skills at GCCE [Society News].

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2018

On analysis of substitutability for system resilience in IoT system based on PN2.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2018

Malware propagation effects on SCADA system and smart power grid.

[BibT_eX]

[DOI]

Tafseer Akhtar

Proceedings of the IEEE International Conference on Consumer Electronics, 2018

A Design Method of Consumer Electronics Products Based on Supervisory Control and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Consumer Electronics - Berlin, 2018

Consideration of IoT Structure in Mitigation against Mirai Malware.

[BibT_eX]

[DOI]

Hiroaki Tanaka

Takuya Arata

Proceedings of the 8th IEEE International Conference on Consumer Electronics - Berlin, 2018

Ontology-Supported Verification Method for Implementation of IoT Service Design with Petri Net.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Consumer Electronics - Berlin, 2018

A Model Checking-Based Analysis Method of Cyber Attack in IoT System by Agent-Oriented Petri Net.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

Evaluation of Rough Sets Data Preprocessing on Context-Driven Semantic Analysis with RNN.

[BibT_eX]

[DOI]

Huaze Xie

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

Resolution Mechanism Model for Heterogeneous Systems in Smart Home Environment.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

Sensor Fusion and Adaptive Cruise Control for Self Driving Platoon.

[BibT_eX]

[DOI]

Tanmay Chakraborty

Soumya Kanti Datta

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

User Workflow Preference Analysis Based on Confidence and Lift Value of Association Rule.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

2017

A supervisory control method of upper limit constraints for workflow nets.

[BibT_eX]

[DOI]

Int. J. Bus. Process. Integr. Manag., 2017

Structural and Behavioral Properties of Well-Structured Workflow Nets.

[BibT_eX]

[DOI]

Zhaolong Gou

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017

A Repeat Performance: Flying Animals and the Art of Presentation [Society News].

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2017

Editorial security, privacy, and forensics in the critical infrastructure: advances and future directions.

[BibT_eX]

[DOI]

Nalin Asanka Gamagedara Arachchilage

Suresh Veluru

Ann. des Télécommunications, 2017

Earthquake monitoring system.

[BibT_eX]

[DOI]

Jane Ann Cheryl Yatan

Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

On supervisor synthesis theorem and its application to embedded systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

Extraction and improvement of IoT service gap between design and operation based on net model.

[BibT_eX]

[DOI]

Ryosuke Wada

Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

On modeling and simulation of the behavior of IoT malwares Mirai and Hajime.

[BibT_eX]

[DOI]

Hiroaki Tanaka

Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

A method to discover spots from Twitter for tour miner.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

On service security analysis for event log of IoT system based on data Petri net.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

Risk transfer mechanism to defend DDoS attacks in IoT scenario.

[BibT_eX]

[DOI]

Vipindev Adat

Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

A support tool to design IoT services with NuSMV.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2017

Modeling of stalkers' behavior and development of simulated experience game for education.

[BibT_eX]

[DOI]

Yoshiko Tamura

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

A tailor-made service design support tool based on aspect-oriented timed Petri net.

[BibT_eX]

[DOI]

Yusuke Tenkyo

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

Reduction of redundant tasks and its application to refactoring in consumer electronics software.

[BibT_eX]

[DOI]

Wenshan Tang

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

IoT based activity recognition among smart home residents.

[BibT_eX]

[DOI]

Thinagaran Perumal

Y. L. Chui

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

Elgar framework: Context-aware service orchestration with data Petri net.

[BibT_eX]

[DOI]

Thinagaran Perumal

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

2016

Properties and Decision Procedure for Bridge-Less Workflow Nets.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Superclass Extraction Problem of Workflow Nets and a Solution Procedure Based on Process Mining Technique.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Implicit Places and Refactoring in Sound Acyclic Extended Free Choice Workflow Nets.

[BibT_eX]

[DOI]

Jia Zhang

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Guest editorial special issues on security trends in mobile cloud computing, web, and social networking.

[BibT_eX]

[DOI]

Pethuru Raj Chelliah

EURASIP J. Inf. Secur., 2016

On service personalization analysis for the internet of me based on PN2.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2016

An analysis system of IoT services based on agent-oriented Petri net PN2.

[BibT_eX]

[DOI]

Shoki Tsugawa

Proceedings of the IEEE International Conference on Consumer Electronics-Taiwan, 2016

On verification of implementation of security specification with Petri nets' protocol inheritance.

[BibT_eX]

[DOI]

Wenshan Tang

Zhaolong Gou

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

On privacy verification in the IoT service based on PN2.

[BibT_eX]

[DOI]

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

An interest-based tour planning tool by process mining from Twitter.

[BibT_eX]

[DOI]

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

Toward personalized learning in JPLAS: Generating and scoring functions for debugging questions.

[BibT_eX]

[DOI]

Nobuo Funabiki

Takato Mohri

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

XSS detection with automatic view isolation on online social network.

[BibT_eX]

[DOI]

Pooja Chaudhary

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

On service orchestration of cyber physical system and its verification based on Petri net.

[BibT_eX]

[DOI]

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

2015

Two Sufficient Conditions on Refactorizability of Acyclic Extended Free Choice Workflow Nets to Acyclic Well-Structured Workflow Nets and Their Application.

[BibT_eX]

[DOI]

Yuki Murakami

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

State Number Calculation Problem of Workflow Nets.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2015

The 2014 IEEE Third Global Conference on Consumer Electronics (GCCE 2014) [Conference Reports].

[BibT_eX]

[DOI]

Kazuyuki Kojima

IEEE Consumer Electron. Mag., 2015

A Refactoring Algorithm of Workflows Based on Petri Nets.

[BibT_eX]

[DOI]

Jia Zhang

Proceedings of the IIAI 4th International Congress on Advanced Applied Informatics, 2015

A function for generating debugging questions in a Java programming learning assistant system.

[BibT_eX]

[DOI]

Takato Mohri

Nobuo Funabiki

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

Petri net-based parallel model checking with a splitting procedure.

[BibT_eX]

[DOI]

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

A simplified mathematical modeling and zone scheduling for multi-directional multi-car elevators.

[BibT_eX]

[DOI]

Shunya Ishimaru

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

A Petri net-based framework of intrusion detection systems.

[BibT_eX]

[DOI]

Zhaolong Gou

Brij Bhooshan Gupta

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

DDoS detection and filtering technique in cloud environment using GARCH model.

[BibT_eX]

[DOI]

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

2014

Protocol Inheritance Preserving Soundizability Problem and Its Polynomial Time Procedure for Acyclic Free Choice Workflow Nets.

[BibT_eX]

[DOI]

Huan Wu

IEICE Trans. Inf. Syst., 2014

Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

Reduction Operators Based on Behavioral Inheritance for Timed Petri Nets.

[BibT_eX]

[DOI]

Shota Nakano

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

The Technical Program of IEEE GCCE 2013 [Conference Reports].

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2014

On Liveness of Non-sound Acyclic Free Choice Workflow Nets.

[BibT_eX]

[DOI]

Naoki Nakahara

Proceedings of the Second International Symposium on Computing and Networking, 2014

On State Number Calculation Problem in Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Computing and Networking, 2014

Éclair: An elevator group controller model checking system based on S-ring and SPIN.

[BibT_eX]

[DOI]

Kazuya Nagafuji

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

Proposal and evaluation of a state transition model of multi-car single-shaft elevators.

[BibT_eX]

[DOI]

Shunya Ishimaru

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

Tailor made device driver design system based on Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

2013

Polynomial Time Verification of Protocol Inheritance between Acyclic Extended Free-Choice Workflow Nets and Their Subnets.

[BibT_eX]

[DOI]

Tomohiro Hirakawa

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Sufficient Condition on Refactorizability of Acyclic Extended Free Choice Workflow Nets to Acyclic Well-Structured Workflow Nets.

[BibT_eX]

[DOI]

Yuki Murakami

Proceedings of the First International Symposium on Computing and Networking, 2013

Convertibility and Conversion Algorithm of Well-Structured Workflow Net to Process Tree.

[BibT_eX]

[DOI]

Proceedings of the First International Symposium on Computing and Networking, 2013

A formal method of developing elevator group controllers based on S-ring and SPIN.

[BibT_eX]

[DOI]

Kazuya Nagafuji

Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013

Introduction to the Technical Program of IEEE GCCE 2013.

[BibT_eX]

[DOI]

Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013

Multi-car multi-shaft elevator system design problem and a solution method based on CPN tools.

[BibT_eX]

[DOI]

Norihide Ishida

Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013

Introduction to special sessions and the SS chairs/co-chairs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013

A Petri net based support for derivative development of consumer electronic products.

[BibT_eX]

[DOI]

Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013

2012

Refactoring Problem of Acyclic Extended Free-Choice Workflow Nets to Acyclic Well-Structured Workflow Nets.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2012

An Efficient Translation Method from Timed Petri Nets to Timed Automata.

[BibT_eX]

[DOI]

Shota Nakano

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

On Reachability in Acyclic Well-Structured Workflow Nets.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Networking and Computing, 2012

2011

Polynomial Time Verification of Behavioral Inheritance for Interworkflows Based on WfMC Protocol.

[BibT_eX]

[DOI]

Tomohiro Hirakawa

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

2010

Parallel Degree of Well-Structured Workflow Nets.

[BibT_eX]

[DOI]

Nan Qu

Qi-Wei Ge

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010

2009

A Model Checking Method of Soundness for Workflow Nets.

[BibT_eX]

[DOI]

Munenori Yamaguchi

Minoru Tanaka

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

2008

MceSim: A Multi-Car Elevator Simulator.

[BibT_eX]

[DOI]

Toshiyuki Miyamoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

WF-Net Based Modeling and Soundness Verification of Interworkflows.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

2006

Dead Problem of Program Nets.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Complexity and a Heuristic Algorithm of Computing Parallel Degree for Program Nets with SWITCH-Nodes.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Performance Evaluation on Worst Change Time of Flush and SCO Dynamic Changes for State Machine WF-Nets.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

2005

A Flexible and Efficient Workflow Change Type: Selective Shift.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

2003

Modeling and Performance Evaluation on Change Time for Migrate Dynamic Workflow Changes.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

1998

Iconic System with Extension Mechanism.

[BibT_eX]

[DOI]