Shingo Yamaguchi

Orcid: 0000-0003-0579-8501

According to our database1, Shingo Yamaguchi authored at least 182 papers between 1998 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Implementation of White-Hat Worms Using Mirai Source Code and Its Optimization through Parameter Tuning.
Future Internet, September, 2024

Advancing SynergyAI: Enhancing Explainability and Decision Tree Optimization in Human-AI Pair Programming.
Proceedings of the IEEE International Conference on Consumer Electronics, 2024

Mesa-Based Simulator of Botnet Defense System and Impact Evaluation of Botnet Infection Rates.
Proceedings of the International Conference on Electronics, Information, and Communication, 2024

2023
Refining Preference-Based Recommendation with Associative Rules and Process Mining Using Correlation Distance.
Big Data Cogn. Comput., March, 2023

Diffusion of White-Hat Botnet Using Lifespan with Controllable Ripple Effect for Malware Removal in IoT Networks.
Sensors, January, 2023

Interpretation of Bahasa Isyarat Malaysia (BIM) Using SSD-MobileNet-V2 FPNLite and COCO mAP.
Inf., 2023

A Survey on Multi-Resident Activity Recognition in Smart Environments.
CoRR, 2023

Game Theory-Based Trade-Off Analysis for Privacy and Openness in Decision Making by Controlling Quantity of Information.
Proceedings of the 22nd IEEE International Conference on Trust, 2023

System for Understanding Issues for Success of University-Launched Ventures in Business.
Proceedings of the 14th IIAI International Congress on Advanced Applied Informatics, 2023

Ripple Effect Control of White-Hat Botnet Using Lifespan for Malware Removal in IoT Network.
Proceedings of the IEEE International Conference on Consumer Electronics, 2023

Evaluation of Discretization Effect Towards Numerical Data for Data Protection.
Proceedings of the IEEE International Conference on Consumer Electronics, 2023

Smallest Botnet Firewall Building Problem and a Girvan-Newman Algorithm-Based Heuristic Solution.
Proceedings of the International Conference on Consumer Electronics - Taiwan, 2023

Intruder Motion Detection with Notification System.
Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

IoT-based Smart Hydroponic System Using Nutrient Film Technique (NFT) for Lettuce Plant.
Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

A Rule Generation Method With High Understandability Against Obfuscated Attack Patterns in Log4Shell for IPS and IDS Based on Given Obfuscation Techniques.
Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

Network Hardening Method by Cutting and Re-Linking Based on Exclusive Vulnerabilities.
Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

Malaysian Food Recognition and Calories Estimation Using CNN With TensorFlow.
Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

Weather Station Monitoring System with Node-RED.
Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

Fault-Tolerance and Zero-Downtime Electricity Forecasting in Smart City.
Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

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

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

Machine-Learning-Based White-Hat Worm Launcher in Botnet Defense System.
Int. J. Softw. Sci. Comput. Intell., 2022

IEEE Consumer Technology Society Awards Presented at ICCE 2022.
IEEE Consumer Electron. Mag., 2022

What Can Consumer Technologies Contribute to the Future Society?
IEEE Consumer Electron. Mag., 2022

A Data Flow Design Tool and Method for IoT System Using Program Net.
Proceedings of the 4th IEEE Global Conference on Life Sciences and Technologies, 2022

A DBSCAN-based White-Hat Worm Launcher for Botnet Defense System.
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.
Proceedings of the 4th IEEE Global Conference on Life Sciences and Technologies, 2022

Masked Face Detection System Using Convolutional Neural Networks.
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.
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.
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.
Proceedings of the IEEE International Conference on Consumer Electronics, 2022

On Resident Strategy for White-Hat Botnet in Botnet Defense System.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022

Simulation on Ultrasonic Tomography for Optimum Resonance Frequency and Amplitude Input Signal.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022

Research and Development of Botnet Defense System.
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.
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.
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.
Inf., 2021

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

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

CoAP-Based Lightweight Interoperability Semantic Sensor and Actuator Ontology for IoT Ecosystem.
Int. J. Ambient Comput. Intell., 2021

Blockchain-Assisted Secure Fine-Grained Searchable Encryption for a Cloud-Based Healthcare Cyber-Physical System.
IEEE CAA J. Autom. Sinica, 2021

State-of-the-Art and Future Direction of UAV Technologies [From the Editor's Desk].
IEEE Consumer Electron. Mag., 2021

IEEE Consumer Technology Society Awards Presented in 2021.
IEEE Consumer Electron. Mag., 2021

A Basic Command and Control Strategy in Botnet Defense System.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Opening Ceremony.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Autonomous Car Parking System using Fuzzy Logic.
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.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Entropy based Defensive Mechanism against DDoS Attack in SDN-Cloud enabled Online Social Networks.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Adaptive Task Scheduling Switcher for a Resource-Constrained IoT System.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Anti-Collision Car System using Fuzzy Logic Technique.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Fog Layer-based DDoS attack Detection Approach for Internet-of-Things (IoTs) devices.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Mitigating Botnet based DDoS Attacks by Selecting Incentivized Cooperating ISPs for Risk Transfer.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Shielding Smart Home IoT Devices against Adverse Effects of XSS using AI model.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Cluster-Based Positioning Method of Drone Charging Station for Enlargement of Delivery Area.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

On Application of Botnet Defense System to IoT Systems Including Private Networks.
Proceedings of the IEEE International Conference on Consumer Electronics-Taiwan, 2021

Machine-Learning-Based White-Hat Worm Launcher Adaptable to Large-Scale IoT Network.
Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

On Tactics to Deploy White-Hat Worms in Botnet Defense System.
Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

Verification of Data Conflict in Data Stream Pipeline for Privacy in IoT System.
Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

2020
Soft computing techniques for big data and cloud computing.
Soft Comput., 2020

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

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

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

Young Professionals Event at GCCE 2019.
IEEE Consumer Electron. Mag., 2020

Botnet Defense System: Concept and Basic Strategy.
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 -.
Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

IoT Based Indoor Locating System (ILS) using Bluetooth Low Energy (BLE).
Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Power Demand Forcasting System with Reconfigurable User Interface Using Redundant Operation Data.
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.
Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Botnet Defense System and Its Basic Strategy Against Malicious Botnet.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020

Generating and Analyzing Data Set of Workflow-Nets.
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.
Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

Drone Fleet Rental Decision Support Based on Iterative Resource-Constrained Scheduling.
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.
J. Ambient Intell. Humaniz. Comput., 2019

Analysis of Option to Complete, Proper Completion and No Dead Tasks for Acyclic Free Choice Workflow Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

The Young Professionals Event at ICCE 2019 [Society News].
IEEE Consumer Electron. Mag., 2019

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

Young Professionals Activities at GCCE 2018 [Society News].
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.
IEEE Access, 2019

Modeling ACC with Cloud, Clouldlet for Autonomous Vehicle Platoon using Petri nets.
Proceedings of the 5th IEEE World Forum on Internet of Things, 2019

IoT Device Management using Semantics for Distinguishing Device Compatibility.
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.
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 PN<sup>2</sup>.
Proceedings of the IEEE International Conference on Consumer Electronics, 2019

Random Sampling and Inductive Ability Evaluation of Word Embedding in Medical Literature.
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 PN<sup>2</sup>.
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.
Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

Semantic Interoperability Test Method for Data Schema Comparison with Constrained Application Protocol.
Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

MQTT-driven Remote Temperature Monitoring System for IoT-based Smart Homes.
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.
Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

Process-Based Intrusion Detection Method for IoT System with MQTT Protocol.
Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

2018
Recent Advances in Mobile Cloud Computing.
Wirel. Commun. Mob. Comput., 2018

Guest Editorial Deep Learning Models for Industry Informatics.
IEEE Trans. Ind. Informatics, 2018

Introduction to special issue on recent advances on sustainability for green cloud and fog computing.
Sustain. Comput. Informatics Syst., 2018

Advances in applying soft computing techniques for big data and cloud computing.
Soft Comput., 2018

Guest Editorial: Recent Advances on Security and Privacy of Multimedia Big Data in the Critical Infrastructure.
Multim. Tools Appl., 2018

Advances in Security and Privacy of Multimedia Big Data in Mobile and Cloud Computing.
Multim. Tools Appl., 2018

Petri net-based verification of security protocol implementation in software evolution.
Int. J. Embed. Syst., 2018

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

Computational Complexity and Polynomial Time Procedure of Response Property Problem in Workflow Nets.
IEICE Trans. Inf. Syst., 2018

Recent research in computational intelligence paradigms into security and privacy for online social networks (OSNs).
Future Gener. Comput. Syst., 2018

Flying Animals and the Art of Presentation [Society News].
IEEE Consumer Electron. Mag., 2018

Technical Writing Course Offered to YPs [Society News].
IEEE Consumer Electron. Mag., 2018

Young Professionals Event at GCCE 2017: Synergy of Automotive and Consumer Electronics [Society News].
IEEE Consumer Electron. Mag., 2018

Gaining Experience and Skills at GCCE [Society News].
IEEE Consumer Electron. Mag., 2018

On analysis of substitutability for system resilience in IoT system based on PN<sup>2</sup>.
Proceedings of the IEEE International Conference on Consumer Electronics, 2018

Malware propagation effects on SCADA system and smart power grid.
Proceedings of the IEEE International Conference on Consumer Electronics, 2018

A Design Method of Consumer Electronics Products Based on Supervisory Control and Model Checking.
Proceedings of the 8th IEEE International Conference on Consumer Electronics - Berlin, 2018

Consideration of IoT Structure in Mitigation against Mirai Malware.
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.
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.
Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

Evaluation of Rough Sets Data Preprocessing on Context-Driven Semantic Analysis with RNN.
Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

Resolution Mechanism Model for Heterogeneous Systems in Smart Home Environment.
Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

Sensor Fusion and Adaptive Cruise Control for Self Driving Platoon.
Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

User Workflow Preference Analysis Based on Confidence and Lift Value of Association Rule.
Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

2017
A supervisory control method of upper limit constraints for workflow nets.
Int. J. Bus. Process. Integr. Manag., 2017

Structural and Behavioral Properties of Well-Structured Workflow Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017

A Repeat Performance: Flying Animals and the Art of Presentation [Society News].
IEEE Consumer Electron. Mag., 2017

Editorial security, privacy, and forensics in the critical infrastructure: advances and future directions.
Ann. des Télécommunications, 2017

Earthquake monitoring system.
Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

On supervisor synthesis theorem and its application to embedded systems.
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.
Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

On modeling and simulation of the behavior of IoT malwares Mirai and Hajime.
Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

A method to discover spots from Twitter for tour miner.
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.
Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

Risk transfer mechanism to defend DDoS attacks in IoT scenario.
Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

A support tool to design IoT services with NuSMV.
Proceedings of the IEEE International Conference on Consumer Electronics, 2017

Modeling of stalkers' behavior and development of simulated experience game for education.
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.
Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

Reduction of redundant tasks and its application to refactoring in consumer electronics software.
Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

IoT based activity recognition among smart home residents.
Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

Elgar framework: Context-aware service orchestration with data Petri net.
Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

2016
Properties and Decision Procedure for Bridge-Less Workflow Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Superclass Extraction Problem of Workflow Nets and a Solution Procedure Based on Process Mining Technique.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Implicit Places and Refactoring in Sound Acyclic Extended Free Choice Workflow Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Guest editorial special issues on security trends in mobile cloud computing, web, and social networking.
EURASIP J. Inf. Secur., 2016

On service personalization analysis for the internet of me based on PN2.
Proceedings of the IEEE International Conference on Consumer Electronics, 2016

An analysis system of IoT services based on agent-oriented Petri net PN2.
Proceedings of the IEEE International Conference on Consumer Electronics-Taiwan, 2016

On verification of implementation of security specification with Petri nets' protocol inheritance.
Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

On privacy verification in the IoT service based on PN<sup>2</sup>.
Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

An interest-based tour planning tool by process mining from Twitter.
Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

Toward personalized learning in JPLAS: Generating and scoring functions for debugging questions.
Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

XSS detection with automatic view isolation on online social network.
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.
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.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

State Number Calculation Problem of Workflow Nets.
IEICE Trans. Inf. Syst., 2015

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

A Refactoring Algorithm of Workflows Based on Petri Nets.
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.
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

Petri net-based parallel model checking with a splitting procedure.
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

A simplified mathematical modeling and zone scheduling for multi-directional multi-car elevators.
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

A Petri net-based framework of intrusion detection systems.
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

DDoS detection and filtering technique in cloud environment using GARCH model.
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.
IEICE Trans. Inf. Syst., 2014

Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

Reduction Operators Based on Behavioral Inheritance for Timed Petri Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

The Technical Program of IEEE GCCE 2013 [Conference Reports].
IEEE Consumer Electron. Mag., 2014

On Liveness of Non-sound Acyclic Free Choice Workflow Nets.
Proceedings of the Second International Symposium on Computing and Networking, 2014

On State Number Calculation Problem in Petri Nets.
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.
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.
Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

Tailor made device driver design system based on Petri nets.
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.
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.
Proceedings of the First International Symposium on Computing and Networking, 2013

Convertibility and Conversion Algorithm of Well-Structured Workflow Net to Process Tree.
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.
Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013

Introduction to the Technical Program of IEEE GCCE 2013.
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.
Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013


A Petri net based support for derivative development of consumer electronic products.
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.
IEICE Trans. Inf. Syst., 2012

An Efficient Translation Method from Timed Petri Nets to Timed Automata.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

On Reachability in Acyclic Well-Structured Workflow Nets.
Proceedings of the Third International Conference on Networking and Computing, 2012

2011
Polynomial Time Verification of Behavioral Inheritance for Interworkflows Based on WfMC Protocol.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

2010
Parallel Degree of Well-Structured Workflow Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010

2009
A Model Checking Method of Soundness for Workflow Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

2008
MceSim: A Multi-Car Elevator Simulator.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007
WF-Net Based Modeling and Soundness Verification of Interworkflows.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

2006
Dead Problem of Program Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Complexity and a Heuristic Algorithm of Computing Parallel Degree for Program Nets with SWITCH-Nodes.
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.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

2005
A Flexible and Efficient Workflow Change Type: Selective Shift.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

2003
Modeling and Performance Evaluation on Change Time for Migrate Dynamic Workflow Changes.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

1998
Iconic System with Extension Mechanism.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998


  Loading...