( en | de | ru )

 

Disambiguation of "Yamagata, Yoriyuki"

Author of the publication

copydeleteadd this publication to your clipboard
Operational Semantics of Process Monitors.

, and . RV, volume 10548 of Lecture Notes in Computer Science, page 403-409. Springer, (2017)

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.

Tadashi Yamagata

 

Other publications of authors with the same name

Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic.. J. Symb. Log., 83 (3): 1063-1090 (2018)Finding repeated strings in code repositories and its applications to code-clone detection., , , and . APSEC, page 497-502. IEEE, (2021)Operational Semantics of Process Monitors., and . RV, volume 10548 of Lecture Notes in Computer Science, page 403-409. Springer, (2017)Consistency proof of a feasible arithmetic inside a bounded arithmetic. (2014)cite arxiv:1411.7087.ARCH-COMP 2019 Category Report: Falsification., , , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 129-140. EasyChair, (2019)On Accelerating SMT-based Bounded Model Checking of HSTM Designs., , , , , and . APSEC, page 614-623. IEEE, (2012)Log-Based Anomaly Detection of CPS Using a Statistical Method., , , and . IWESEP, page 1-6. IEEE Computer Society, (2017)Strong Normalization of Second Order Symmetric Lambda-mu Calculus.. TACS, volume 2215 of Lecture Notes in Computer Science, page 459-467. Springer, (2001)On the Metric Temporal Logic for Continuous Stochastic Processes., , and . Log. Methods Comput. Sci., (2024)Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning., , , , and . ICDM Workshops, page 1058-1065. IEEE Computer Society, (2017)