VNU-UET Repository

Items where Author is "Ogata, Kazuhiro"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

Tran Dinh, Duong and Bui Duy, Dang and Ogata, Kazuhiro Simulation-based invariant verification technique for the OTS/CafeOBJ method. IEEE Access . ISSN 2169-3536

Conference or Workshop Item

Tran, Dinh Duong and Ogata, Kazuhiro and Bui, Duy Dang and Gupta, Parth (2020) Lemma Weakening for State Machine Invariant Proofs. In: THE 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE.

Tran, Dinh Duong and Ogata, Kazuhiro (2020) Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. In: International Conference on Software Engineering and Knowledge Engineering, July 9 to 19, 2020, Wyndham Pittsburgh University Center, Pittsburgh, USA.

Tran Dinh, Duong and Waki, Kentaro and Ogata, Kazuhiro Formal specification and model checking of a recoverable wait-free version of MCS. In: International Conference on Software Engineering and Knowledge Engineering, July 1 to 10, 2021, Wyndham Pittsburgh University Center, Pittsburgh, USA.

This list was generated on Fri Apr 12 09:39:56 2024 +07.