論文・業績 | 山形研究室

A GSN-Based Requirement Analysis of the EU AI Regulation

N. Hayama, Y. Yamagata, H. Nishihara, Y. Matsuno

ソフトウェア工学 SAFECOMP 2025 Workshops LNCS 15955, pp. 183–196 2025

DOI 著者版

A Reasonable Application of the Assurance Package CAP-B to Software Package Repositories

H. Nishihara, Y. Yamagata, Y. Matsuno

ソフトウェア工学 IEEE Cyber Science and Technology Congress pp. 154–161 2025

DOI 著者版

On Proving Consistency of Equational Theories in Bounded Arithmetic

A. Beckmann, Y. Yamagata

数学基礎論 Journal of Symbolic Logic 90(1), pp. 135–165 2025

DOI 著者版

On the Metric Temporal Logic for Continuous Stochastic Processes

M. Ikeda, Y. Yamagata, T. Kihara

理論計算機科学 Logical Methods in Computer Science 20(2), pp. 14–35 2024

DOI 著者版

ARCH-COMP 2022 Category Report: Falsification with Unbounded Resources

G. Ernst, P. Arcaini, G. E. Fainekos, et al., Y. Yamagata, Z. Zhang

ソフトウェア工学 EPiC Series in Computing 90, pp. 204–221 2022

DOI

Individual-based epidemiological model of COVID19 using location data

Y. Yamagata, S. Takami, K. Yamazaki, T. Nakaya, M. Onishi

その他 IEEE International Conference on Big Data pp. 4434–4442 2022

DOI 著者版

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

Y. Yamagata, S. Liu, T. Akazaki, Y. Duan, J. Hao

ソフトウェア工学 IEEE Transactions on Software Engineering 47(12), pp. 2823–2840 2021

DOI 著者版

Assurance Carrying Code for Software Supply Chain

Y. Matsuno, Y. Yamagata, H. Nishihara, Y. Hosokawa

ソフトウェア工学 IEEE International Symposium on Software Reliability Engineering Workshops pp. 276–277 2021

DOI 著者版

Finding repeated strings in code repositories and its applications to code-clone detection

Y. Yamagata, F. Hervé, Y. Fujiwara, K. Inoue

ソフトウェア工学 Asia-Pacific Software Engineering Conference pp. 497–502 2021

DOI 著者版

ARCH-COMP 2021 Category Report: Falsification with Validation of Results

G. Ernst, P. Arcaini, I. Bennani, et al., Y. Yamagata, Z. Zhang

ソフトウェア工学 EPiC Series in Computing 80, pp. 133–152 2021

DOI 著者版

Algebraic Approach for Confidence Evaluation of Assurance Cases

Y. Yamagata, Y. Matsuno

ソフトウェア工学 International Conference on Formal Engineering Methods LNCS 12531 pp. 318–327 2020

DOI 著者版

ARCH-COMP 2020 category report: Falsification

G. Ernst, P. Arcaini, I. Bennani, et al., Y. Yamagata, Z. Zhang

ソフトウェア工学 EPiC Series in Computing 74, pp. 140–152 2020

DOI 著者版

Arch-comp 2019 category report: Falsification

G. Ernst, P. Arcaini, A. Donzé, et al., Y. Yamagata, Z. Zhang

ソフトウェア工学 EPiC Series in Computing 61, pp. 129–140 2019

DOI 著者版

Consistency Proof of A Fragment of Pv with Substitution in Bounded Arithmetic

Y. Yamagata

数学基礎論 Journal of Symbolic Logic 83(3), pp. 1063–1090 2018

DOI 著者版

Falsification of cyber-physical systems using deep reinforcement learning

T. Akazaki, S. Liu, Y. Yamagata, Y. Duan, J. Hao

ソフトウェア工学 International Symposium on Formal Methods LNCS 10951 pp. 456–465 2018

DOI 著者版

Operational semantics of process monitors

J. Inoue, Y. Yamagata

理論計算機科学 International Conference on Runtime Verification LNCS 10548 pp. 403–409 2017

DOI 著者版

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning

J. Inoue, Y. Yamagata, Y. Chen, C.M. Poskitt, J. Sun

ソフトウェア工学 IEEE International Conference on Data Mining Workshops pp. 1058–1065 2017

DOI 著者版

Log-based anomaly detection of CPS using a statistical method

Y. Harada, Y. Yamagata, O. Mizuno, E. Choi

ソフトウェア工学 IEEE International Workshop on Empirical Software Engineering in Practice pp. 1–6 2017

DOI 著者版

Runtime monitoring for concurrent systems

Y. Yamagata, C.V. Artho, M. Hagiya, et al., Y. Tanabe, M. Yamamoto

ソフトウェア工学 International Conference on Runtime Verification LNCS 10012 pp. 386–403 2016

DOI 著者版

Model-based testing of stateful APIs with modbat

C.V. Artho, M. Seidl, Q. Gros, et al., R. Ramler, Y. Yamagata

ソフトウェア工学 IEEE/ACM International Conference on Automated Software Engineering pp. 858–863 2015

DOI

Domain-specific languages with scala

C.V. Artho, K. Havelund, R. Kumar, Y. Yamagata

ソフトウェア工学 International Conference on Formal Engineering Methods LNCS 9407 pp. 1–16 2015

DOI

Cardinality of UDP transmission outcomes

F. Weitl, N. Sebih, C.V. Artho, et al., Y. Yamagata, M. Yamamoto

ソフトウェア工学 International Symposium on Dependable Software Engineering: Theories, Tools, and Applications LNCS 9409 pp. 120–134 2015

DOI

With an Open Mind: How to Write Good Models 著者版 PDF

C.V. Artho, K. Hayamizu, R. Ramler, Y. Yamagata

ソフトウェア工学 Communications in Computer and Information Science 419, pp. 3–18 2014

著者版

A formal semantics of extended hierarchical state transition matrices using CSP#

Y. Yamagata, W. Kong, A. Fukuda, et al., H. Ohsaki, K. Taguchi

ソフトウェア工学 Formal Aspects of Computing 26(5), pp. 943–962 2014

DOI 著者版

Evaluation of a resilience embedded system using probabilistic model-checking 著者版 PDF

L. Fang, Y. Yamagata, Y. Oiwa

ソフトウェア工学 Electronic Proceedings in Theoretical Computer Science 150, pp. 35–49 2014

著者版

Bounded arithmetic in free logic

Y. Yamagata

数学基礎論 Logical Methods in Computer Science 8(3), p. 8 2012

DOI 著者版

On accelerating SMT-based bounded model checking of HSTM designs

W. Kong, L. Liu, Y. Yamagata, et al., H. Ohsaki, A. Fukuda

ソフトウェア工学 Asia-Pacific Software Engineering Conference 1, pp. 614–623 2012

A sequent calculus for limit computable mathematics

S. Berardi, Y. Yamagata

数学基礎論 Annals of Pure and Applied Logic 153(1-3), pp. 111–126 2008

DOI 著者版

Strong normalization of the second-order symmetric λμ-calculus

Y. Yamagata

理論計算機科学 Information and Computation 193(1), pp. 1–20 2004

DOI 著者版

Strong normalization of a symmetric lambda calculus for second-order classical logic

Y. Yamagata

理論計算機科学 Archive for Mathematical Logic 41(1), pp. 91–99 2002

DOI 著者版

Strong normalization of second order symmetric lambda-mu calculus

Y. Yamagata

理論計算機科学 Theoretical Aspects of Computer Software 2215, pp. 459–467 2001

DOI 著者版