Yoriyuki Yamagata's research diaries

Senior Researcher, Software Analytics Research Group, Information Technology Reseaerch Institute, AIST

Log-based Anomaly Detection of CPS Using a Statistical Method

Our new paper, Log-based Anomaly Detection of CPS Using a Statistical Method is accepted by IWESEP 2017.

Talk at RIMS


Slides for RV2016

Runtime monitoring for concurrent systems

RV2016 slides

Two recent paper and draft

Two recent paper and draft.

Consistency proof of an arithmetic with substitution inside a bounded arithmetic

Updated draft of previously withdrawn paper, is uploaded. This paper proves that Buss's \(S^2_2\) can prove the consistency of Cook and Urquhart's PV minus induction, but with the substitution rule. This strengthens (albeit the meta-theory is \(S^2_2\)) Beckmann's result.

Social services for researchers

I registered Academia.edu and researchmap.jp, which are social services for researchers.

Change of the address

My office is moved to the following address.

Logic and Computational Complexity (LCC)

I will give a talk at Logic and Computational Complexity(LCC’15). The talk is based on the paper ”Consistency proof of a feasible arithmetic inside a bounded arithmetic”.

AIST Seminar on Software Reliability

Dear everyone, I am pleased to announce "AIST Seminar on Software Reliability". This is a seminar on formal methods which is focused on industrial applications. The seminar is open to everyone, but please let me know by 3/19 if you want to join. In particular, if you come by a car, please let me know.

Chiba logic seminar

I will give a talk at Chiba University.