Yojiro Harie

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 6

Top Topics

Formal Verification

Top Venues

CANDAR (Workshops)

Publications

Yojiro Harie, Sangam Babu Neupane, Bishnu Prasad Gautam, Norio Shiratori
Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer. CANDAR (Workshops) (2021)
Yojiro Harie, Katsumi Wasaki
Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values. SAI (3) (2020)
Amit Batajoo, Yojiro Harie, Katsumi Wasaki
Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design. GCCE (2018)
Yojiro Harie, Katsumi Wasaki
Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets. SIMULTECH (2017)
Yojiro Harie, Yuta Mitsui, Kouhei Fujimori, Amit Batajoo, Katsumi Wasaki
HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool. GCCE (2017)
Yojiro Harie, Katsumi Wasaki
Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS. GCCE (2016)