( en | de | ru )

 

Disambiguation of "Ogata, Kazuhiro"

Author of the publication

copydeleteadd this publication to your clipboard
Lemma Weakening for State Machine Invariant Proofs.

, , , and . APSEC, page 21-30. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kikuaki Ogata

Kazuhiro Koshiyama

 

Other publications of authors with the same name

Modeling and Verification of Hybrid Systems Based on Equations., , , and . DIPES, volume 150 of IFIP, page 43-52. Kluwer/Springer, (2004)A Formal Semantics of the OSEK/VDX Standard in $$K$$ Framework and Its Applications., , and . WRLA, volume 8663 of Lecture Notes in Computer Science, page 280-296. Springer, (2014)Constructor-based Logics., , and . J. Univers. Comput. Sci., 18 (16): 2204-2233 (2012)Graphical Animations of an Autonomous Vehicle Merging Protocol., , , and . J. Vis. Lang. Comput., 2023 (1): 9-24 (2023)Modeling and verification of real-time systems based on equations., and . Sci. Comput. Program., 66 (2): 162-180 (2007)Verifying Design with Proof Scores., , and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 277-290. Springer, (2005)A Divide & Conquer Approach to Conditional Stable Model Checking., , and . ICTAC, volume 12819 of Lecture Notes in Computer Science, page 105-111. Springer, (2021)Formal verification of multitask hybrid systems by the OTS/CafeOBJ method., , , and . SEKE, page 114-119. KSI Research Inc., (2021)Specification-based Testing with Simulation Relations (S)., and . SEKE, page 107-146. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S)., , and . SEKE, page 159-208. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)