Strong normalization of a symmetric lambda calculus for second-order classical logic. - Yoriyuki Yamagata (Arch. Math. Log., 2002)

Strong normalization of the second-order symmetric lambda mu -calculus. - Yoriyuki Yamagata (Inf. Comput., 2004)

A sequent calculus for limit computable mathematics. - Stefano Berardi; Yoriyuki Yamagata (Ann. Pure Appl. Log., 2008)

On Accelerating SMT-based Bounded Model Checking of HSTM Designs. - Weiqiang Kong; Leyuan Liu 002; Yoriyuki Yamagata; Kenji Taguchi 001; Hitoshi Ohsaki; Akira Fukuda (APSEC, 2012)

Bounded Arithmetic in Free Logic - Yoriyuki Yamagata (Log. Methods Comput. Sci., 2012)

Formal semantics of extended hierarchical state transition matrix by CSP. - Yoriyuki Yamagata; Weiqiang Kong; Akira Fukuda; Nguyen Van Tang; Hitoshi Ohsaki; Kenji Taguchi 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

With an Open Mind: How to Write Good Models. - Cyrille Artho; Koji Hayamizu; Rudolf Ramler; Yoriyuki Yamagata (FTSCS, 2013)

Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking. - Ling Fang; Yoriyuki Yamagata; Yutaka Oiwa (ESSS, 2014)

A formal semantics of extended hierarchical state transition matrices using CSP#. - Yoriyuki Yamagata; Weiqiang Kong; Akira Fukuda; Nguyen Van Tang; Hitoshi Ohsaki; Kenji Taguchi 001 (Formal Aspects Comput., 2014)

Domain-Specific Languages with Scala. - Cyrille Artho; Klaus Havelund; Rahul Kumar 001; Yoriyuki Yamagata (ICFEM, 2015)

Model-Based Testing of Stateful APIs with Modbat. - Cyrille Artho; Martina Seidl; Quentin Gros; Eun-Hye Choi; Takashi Kitamura 001; Akira Mori; Rudolf Ramler; Yoriyuki Yamagata (ASE, 2015)

Cardinality of UDP Transmission Outcomes. - Franz Weitl; Nazim Sebih; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Yoriyuki Yamagata; Mitsuharu Yamamoto (SETTA, 2015)

Runtime Monitoring for Concurrent Systems. - Yoriyuki Yamagata; Cyrille Artho; Masami Hagiya; Jun Inoue 001; Lei Ma 003; Yoshinori Tanabe; Mitsuharu Yamamoto (RV, 2016)

Java Pathfinder on Android Devices. - Alexander Kohan; Mitsuharu Yamamoto; Cyrille Artho; Yoriyuki Yamagata; Lei Ma 003; Masami Hagiya; Yoshinori Tanabe (ACM SIGSOFT Softw. Eng. Notes, 2016)

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. - Jun Inoue 001; Yoriyuki Yamagata; Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (ICDM Workshops, 2017)

Log-Based Anomaly Detection of CPS Using a Statistical Method. - Yoshiyuki Harada; Yoriyuki Yamagata; Osamu Mizuno; Eun-Hye Choi (IWESEP, 2017)

Operational Semantics of Process Monitors. - Jun Inoue 001; Yoriyuki Yamagata (RV, 2017)

Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic. - Yoriyuki Yamagata (J. Symb. Log., 2018)

ARCH-COMP 2019 Category Report: Falsification. - Gidon Ernst; Paolo Arcaini; Alexandre Donzé; Georgios Fainekos; Logan Mathesen; Giulia Pedrielli; Shakiba Yaghoubi; Yoriyuki Yamagata; Zhenya Zhang (ARCH@CPSIoTWeek, 2019)

ARCH-COMP 2020 Category Report: Falsification. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Logan Mathesen; Claudio Menghi; Giulia Pedrielli; Marc Pouzet; Shakiba Yaghoubi; Yoriyuki Yamagata; et al. (ARCH, 2020)

Algebraic Approach for Confidence Evaluation of Assurance Cases. - Yoriyuki Yamagata; Yutaka Matsuno (ICFEM, 2020)

Finding repeated strings in code repositories and its applications to code-clone detection. - Yoriyuki Yamagata; Fabien Hervé; Yuji Fujiwara; Katsuro Inoue (APSEC, 2021)

ARCH-COMP 2021 Category Report: Falsification with Validation of Results. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Assurance Carrying Code for Software Supply Chain. - Yutaka Matsuno; Yoriyuki Yamagata; Hideaki Nishihara; Yuichiro Hosokawa (ISSRE Workshops, 2021)

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. - Yoriyuki Yamagata; Shuang Liu 007; Takumi Akazaki; Yihai Duan; Jianye Hao (IEEE Trans. Software Eng., 2021)

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. - Gidon Ernst; Paolo Arcaini; Georgios Fainekos; Federico Formica; Jun Inoue 001; Tanmay Khandait; Mohammad Mahdi Mahboob; Claudio Menghi; Giulia Pedrielli; Masaki Waga; Yoriyuki Yamagata; Zhenya Zhang (ARCH@SAFECOMP, 2022)

Individual-based epidemiological model of COVID19 using location data. - Yoriyuki Yamagata; Shunki Takami; Keisuke Yamazaki; Tomoki Nakaya; Masaki Onishi (IEEE Big Data, 2022)

On the Metric Temporal Logic for Continuous Stochastic Processes. - Mitsumasa Ikeda; Yoriyuki Yamagata; Takayuki Kihara (Log. Methods Comput. Sci., 2024)

A GSN-Based Requirement Analysis of the EU AI Regulation. - Natsuki Hayama; Yoriyuki Yamagata; Hideaki Nishihara; Yutaka Matsuno (SAFECOMP (Workshops), 2025)

On Proving Consistency of Equational Theories in Bounded Arithmetic. - Arnold Beckmann; Yoriyuki Yamagata (J. Symb. Log., 2025)