At a government research institute, I have a wide range of experience from developing commercial software to conducting cutting-edge research on software testing, software verification and theoretical computer science. I have long experience of industry collaboration. Therefore, I can help you to forge a strong partnership between academia and industry, and deliver advanced research into the everyday practice of software development.
Currently, I am mostly interested in an application of machine learning to software test generation, verification and monitoring as well as testing, verifying and safety/security of machine learning systems.
1-8-31 Midorigaoka, Ikeda, Osaka 563-8577, Japan
The University of Tokyo, Tokyo, Japan, Thesis title: Classical logic and computation, Adviser: Professor Ryu Hasegawa
The University of Tokyo, Department of Science, Tokyo, Japan
Develop a software update system which emphasizes security, (in collaboration with Ishida Co., Ltd.,) [P2011]
Prove termination properties of programming languages which are inspired by classical logic (a logical system) [Journal 4, 5, Presentation 14]
Teach verification of concurrent systems
Teach cryptographic algorithm using Mathematica
Yamagata, Y., Kong, W., Fukuda, A., Van Tang, N., Ohsaki, H., & Taguchi, K. (2014). A formal semantics of extended hierarchical state transition matrices using CSP. Formal Aspects of Computing, 26(5).
Yamagata, Y. (2012). Bounded Arithmetic in Free Logic. Logical Methods in Computer Science, Volume 8, Issue 3.
Berardi, S., & Yamagata, Y. (2008). A sequent calculus for Limit Computable Mathematics. Annals of Pure and Applied Logic, 153(1–3).
Yamagata, Y. (2004). Strong normalization of the second-order symmetric λμ-calculus. Information and Computation, 193(1).
Yamagata, Y. (2002). Strong normalization of a symmetric lambda calculus for second-order classical logic. Archive for Mathematical Logic, 41(1).
Yamagata, Y. Consistency proof of a fragment of PV with substitution, Journal of Symbolic Logic, To appear
Akazaki, T., Liu, S., Yamagata, Y., Duan, Y., & Hao, J. (2018). Falsification cyber-physical systems using deep reinforcement learning. In Formal Methods. FM 2018. Springer, Cham
Inoue, J., & Yamagata, Y. (2017). Operational semantics of process monitors. In International Conference on Runtime Verification. Springer, Cham.
Inoue, J., Yamagata, Y., Chen, Y., Poskitt, C. M., & Sun, J. (2017). Anomaly detection for a water treatment system using unsupervised machine learning. In Data Mining Workshops (ICDMW), 2017 IEEE International Conference. IEEE.
Harada, Y., Yamagata, Y., Mizuno, O., & Choi, E.-H. (2017). Log-based anomaly detection of CPS using a statistical method. In International Workshop on Empirical Software Engineering in Practice (IWESEP2017), IEEE
Kohan, A., Yamamoto, M., Artho, C., Yamagata, Y., Ma, L., Hagiya, M., & Tanabe, Y. (2017). Java Pathfinder on Android Devices. ACM SIGSOFT Software Engineering Notes, 41(6).
Yamagata, Y., Artho, C., Hagiya, M., Inoue, J., Ma, L., Tanabe, Y., & Yamamoto, M. (2016). Runtime monitoring for concurrent systems. In International Conference on Runtime Verification. Springer, Cham.
Weitl, F., Sebih, N., Artho, C., Hagiya, M., Tanabe, Y., Yamagata, Y., & Yamamoto, M. (2015). Cardinality of UDP transmission outcomes. In International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, Cham.
Artho, C., Havelund, K., Kumar, R., & Yamagata, Y. (2015). Domain-specific languages with Scala. In International Conference on Formal Engineering Methods. Springer, Cham.
Artho, C., Seidl, M., Gros, Q., Choi, E.-H., Kitamura, T., Mori, A., Ramler, R., Yamagata, Y. (2015). Model-based testing of stateful APIs with Modbat. In 30th International Conference on Automated Software Engineering (ASE 2015). IEEE.
Fang, L., Yamagata, Y., & Oiwa, Y. (2014). Evaluation of a resilience embedded system using probabilistic model-checking. In Proc. 3rd International Workshop on Engineering Safety and Security Systems 2014 (ESSS’14), volume 150 of EPTCS. 2014.
Artho, C., Hayamizu, K., Ramler, R., & Yamagata, Y. (2013). With an open mind: How to write good models. In International Workshop on Formal Techniques for Safety-Critical Systems. Springer, Cham.
Kong, W., Liu, L., Yamagata, Y., Taguchi, K., Ohsaki, H., & Fukuda, A. (2012). On accelerating smt-based bounded model checking of hstm designs. In Software Engineering Conference (APSEC), 2012 19th Asia-Pacific (Vol. 1). IEEE.
Yamagata, Y., Kong, W., Fukuda, A., Nguyen, V. T., Ohsaki, H., & Taguchi, K. (2012). Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Software Engineering Notes, 37(4).
Yamagata, Y. (2001). Strong normalization of second order symmetric lambda-mu calculus. In International Symposium on Theoretical Aspects of Computer Software. Springer, Berlin, Heidelberg.