University of Fukui — Faculty of Engineering
福井大学 学術研究院工学系研究部門
Yamagata Laboratory
山形研究室
About
Research
Publications
IP
Prospective Students
日本語
Publications
Listed newest first.
IP →
↗ Scopus
↗ Google Scholar
↗ researchmap
A GSN-Based Requirement Analysis of the EU AI Regulation
N. Hayama, Y. Yamagata, H. Nishihara, Y. Matsuno
Software Engineering
SAFECOMP 2025 Workshops
LNCS 15955, pp. 183–196
2025
DOI
PDF
A Reasonable Application of the Assurance Package CAP-B to Software Package Repositories
H. Nishihara, Y. Yamagata, Y. Matsuno
Software Engineering
IEEE Cyber Science and Technology Congress
pp. 154–161
2025
DOI
PDF
On Proving Consistency of Equational Theories in Bounded Arithmetic
A. Beckmann, Y. Yamagata
Mathematical Logic
Journal of Symbolic Logic
90(1), pp. 135–165
2025
DOI
PDF
On the Metric Temporal Logic for Continuous Stochastic Processes
M. Ikeda, Y. Yamagata, T. Kihara
Theoretical Computer Science
Logical Methods in Computer Science
20(2), pp. 14–35
2024
DOI
PDF
ARCH-COMP 2022 Category Report: Falsification with Unbounded Resources
G. Ernst, P. Arcaini, G. E. Fainekos, et al., Y. Yamagata, Z. Zhang
Software Engineering
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
Other
IEEE International Conference on Big Data
pp. 4434–4442
2022
DOI
PDF
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
Y. Yamagata, S. Liu, T. Akazaki, Y. Duan, J. Hao
Software Engineering
IEEE Transactions on Software Engineering
47(12), pp. 2823–2840
2021
DOI
PDF
Assurance Carrying Code for Software Supply Chain
Y. Matsuno, Y. Yamagata, H. Nishihara, Y. Hosokawa
Software Engineering
IEEE International Symposium on Software Reliability Engineering Workshops
pp. 276–277
2021
DOI
PDF
Finding repeated strings in code repositories and its applications to code-clone detection
Y. Yamagata, F. Hervé, Y. Fujiwara, K. Inoue
Software Engineering
Asia-Pacific Software Engineering Conference
pp. 497–502
2021
DOI
PDF
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
G. Ernst, P. Arcaini, I. Bennani, et al., Y. Yamagata, Z. Zhang
Software Engineering
EPiC Series in Computing
80, pp. 133–152
2021
DOI
PDF
Algebraic Approach for Confidence Evaluation of Assurance Cases
Y. Yamagata, Y. Matsuno
Software Engineering
International Conference on Formal Engineering Methods
LNCS 12531
pp. 318–327
2020
DOI
PDF
ARCH-COMP 2020 category report: Falsification
G. Ernst, P. Arcaini, I. Bennani, et al., Y. Yamagata, Z. Zhang
Software Engineering
EPiC Series in Computing
74, pp. 140–152
2020
DOI
PDF
Arch-comp 2019 category report: Falsification
G. Ernst, P. Arcaini, A. Donzé, et al., Y. Yamagata, Z. Zhang
Software Engineering
EPiC Series in Computing
61, pp. 129–140
2019
DOI
PDF
Consistency Proof of A Fragment of Pv with Substitution in Bounded Arithmetic
Y. Yamagata
Mathematical Logic
Journal of Symbolic Logic
83(3), pp. 1063–1090
2018
DOI
PDF
Falsification of cyber-physical systems using deep reinforcement learning
T. Akazaki, S. Liu, Y. Yamagata, Y. Duan, J. Hao
Software Engineering
International Symposium on Formal Methods
LNCS 10951
pp. 456–465
2018
DOI
PDF
Operational semantics of process monitors
J. Inoue, Y. Yamagata
Theoretical Computer Science
International Conference on Runtime Verification
LNCS 10548
pp. 403–409
2017
DOI
PDF
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning
J. Inoue, Y. Yamagata, Y. Chen, C.M. Poskitt, J. Sun
Software Engineering
IEEE International Conference on Data Mining Workshops
pp. 1058–1065
2017
DOI
PDF
Log-based anomaly detection of CPS using a statistical method
Y. Harada, Y. Yamagata, O. Mizuno, E. Choi
Software Engineering
IEEE International Workshop on Empirical Software Engineering in Practice
pp. 1–6
2017
DOI
PDF
Runtime monitoring for concurrent systems
Y. Yamagata, C.V. Artho, M. Hagiya, et al., Y. Tanabe, M. Yamamoto
Software Engineering
International Conference on Runtime Verification
LNCS 10012
pp. 386–403
2016
DOI
PDF
Model-based testing of stateful APIs with modbat
C.V. Artho, M. Seidl, Q. Gros, et al., R. Ramler, Y. Yamagata
Software Engineering
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
Software Engineering
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
Software Engineering
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
Author PDF
C.V. Artho, K. Hayamizu, R. Ramler, Y. Yamagata
Software Engineering
Communications in Computer and Information Science
419, pp. 3–18
2014
PDF
A formal semantics of extended hierarchical state transition matrices using CSP#
Y. Yamagata, W. Kong, A. Fukuda, et al., H. Ohsaki, K. Taguchi
Software Engineering
Formal Aspects of Computing
26(5), pp. 943–962
2014
DOI
PDF
Evaluation of a resilience embedded system using probabilistic model-checking
Author PDF
L. Fang, Y. Yamagata, Y. Oiwa
Software Engineering
Electronic Proceedings in Theoretical Computer Science
150, pp. 35–49
2014
PDF
Bounded arithmetic in free logic
Y. Yamagata
Mathematical Logic
Logical Methods in Computer Science
8(3), p. 8
2012
DOI
PDF
On accelerating SMT-based bounded model checking of HSTM designs
W. Kong, L. Liu, Y. Yamagata, et al., H. Ohsaki, A. Fukuda
Software Engineering
Asia-Pacific Software Engineering Conference
1, pp. 614–623
2012
A sequent calculus for limit computable mathematics
S. Berardi, Y. Yamagata
Mathematical Logic
Annals of Pure and Applied Logic
153(1-3), pp. 111–126
2008
DOI
PDF
Strong normalization of the second-order symmetric λμ-calculus
Y. Yamagata
Theoretical Computer Science
Information and Computation
193(1), pp. 1–20
2004
DOI
PDF
Strong normalization of a symmetric lambda calculus for second-order classical logic
Y. Yamagata
Theoretical Computer Science
Archive for Mathematical Logic
41(1), pp. 91–99
2002
DOI
PDF
Strong normalization of second order symmetric lambda-mu calculus
Y. Yamagata
Theoretical Computer Science
Theoretical Aspects of Computer Software
2215, pp. 459–467
2001
DOI
PDF