Yojiro Harie

According to our database, Yojiro Harie authored at least 7 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems.

Yojiro Harie, Yuto Ogata, Bishnu Prasad Gautam, Katsumi Wasaki

Proceedings of the Twelfth International Symposium on Computing and Networking, 2024

2021

Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer.

Yojiro Harie, Sangam Babu Neupane, Bishnu Prasad Gautam, Norio Shiratori

Proceedings of the Ninth International Symposium on Computing and Networking, 2021

2020

Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values.

Yojiro Harie, Katsumi Wasaki

Proceedings of the Intelligent Computing, 2020

2018

Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design.

Amit Batajoo, Yojiro Harie, Katsumi Wasaki

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

2017

Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets.

Yojiro Harie, Katsumi Wasaki

Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017

HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool.

Yojiro Harie, Yuta Mitsui, Kouhei Fujimori, Amit Batajoo, Katsumi Wasaki

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

2016

Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS.

Yojiro Harie, Katsumi Wasaki

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