Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS. - Yojiro Harie; Katsumi Wasaki (GCCE, 2016)

HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool. - Yojiro Harie; Yuta Mitsui; Kouhei Fujimori; Amit Batajoo; Katsumi Wasaki (GCCE, 2017)

Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets. - Yojiro Harie; Katsumi Wasaki (SIMULTECH, 2017)

Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design. - Amit Batajoo; Yojiro Harie; Katsumi Wasaki (GCCE, 2018)

Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values. - Yojiro Harie; Katsumi Wasaki (SAI (3), 2020)

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 (CANDAR (Workshops), 2021)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems. - Yojiro Harie; Yuto Ogata; Bishnu Prasad Gautam; Katsumi Wasaki (CANDAR, 2024)