Yoriyuki Yamagata

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 23

Top Topics

Anomaly Detection

Stochastic Processes

Metric Temporal Logic

Inter Annotator Agreement

Top Venues

Publications

Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara
On the Metric Temporal Logic for Continuous Stochastic Processes. Log. Methods Comput. Sci. 20 (2) (2024)
Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara
On the Metric Temporal Logic for Continuous Stochastic Processes. CoRR (2023)
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP (2022)
Arnold Beckmann, Yoriyuki Yamagata
On proving consistency of equational theories in Bounded Arithmetic. CoRR (2022)
Yoriyuki Yamagata, Shunki Takami, Keisuke Yamazaki, Tomoki Nakaya, Masaki Onishi
Individual-based epidemiological model of COVID19 using location data. Big Data (2022)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. IEEE Trans. Software Eng. 47 (12) (2021)
Yoriyuki Yamagata, Fabien Hervé, Yuji Fujiwara, Katsuro Inoue
Finding repeated strings in code repositories and its applications to code-clone detection. APSEC (2021)
Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa
Assurance Carrying Code for Software Supply Chain. ISSRE Workshops (2021)
Yoriyuki Yamagata, Yutaka Matsuno
Algebraic Approach for Confidence Evaluation of Assurance Cases. ICFEM (2020)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2020 Category Report: Falsification. ARCH (2020)
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek (2019)
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. CoRR (2018)
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. FM (2018)
Yoriyuki Yamagata
Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic. J. Symb. Log. 83 (3) (2018)
Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi
Log-based Anomaly Detection of CPS Using a Statistical Method. CoRR (2017)
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. ICDM Workshops (2017)
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. CoRR (2017)
Jun Inoue, Yoriyuki Yamagata
Operational Semantics of Process Monitors. RV (2017)
Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi
Log-Based Anomaly Detection of CPS Using a Statistical Method. IWESEP (2017)
Jun Inoue, Yoriyuki Yamagata
Operational Semantics of Process Monitors. CoRR (2017)
Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
Runtime Monitoring for Concurrent Systems. RV (2016)
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe
Java Pathfinder on Android Devices. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
Model-Based Testing of Stateful APIs with Modbat. ASE (2015)
Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
Cardinality of UDP Transmission Outcomes. SETTA (2015)
Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
Domain-Specific Languages with Scala. ICFEM (2015)
Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking. ESSS (2014)
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
A formal semantics of extended hierarchical state transition matrices using CSP#. Formal Aspects Comput. 26 (5) (2014)
Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata
With an Open Mind: How to Write Good Models. FTSCS (2013)
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda
On Accelerating SMT-based Bounded Model Checking of HSTM Designs. APSEC (2012)
Yoriyuki Yamagata
Bounded Arithmetic in Free Logic Log. Methods Comput. Sci. 8 (3) (2012)
Stefano Berardi, Yoriyuki Yamagata
A sequent calculus for limit computable mathematics. Ann. Pure Appl. Log. 153 (1-3) (2008)
Yoriyuki Yamagata
Strong normalization of the second-order symmetric lambda mu -calculus. Inf. Comput. 193 (1) (2004)
Yoriyuki Yamagata
Strong normalization of a symmetric lambda calculus for second-order classical logic. Arch. Math. Log. 41 (1) (2002)
Yoriyuki Yamagata
Strong Normalization of Second Order Symmetric Lambda-mu Calculus. TACS (2001)