Yoriyuki Yamagata

According to our database, Yoriyuki Yamagata authored at least 29 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Metric Temporal Logic for Continuous Stochastic Processes.

Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara

Log. Methods Comput. Sci., 2024

2022

On proving consistency of equational theories in Bounded Arithmetic.

Arnold Beckmann, Yoriyuki Yamagata

CoRR, 2022

Individual-based epidemiological model of COVID19 using location data.

Yoriyuki Yamagata, Shunki Takami, Keisuke Yamazaki, Tomoki Nakaya, Masaki Onishi

Proceedings of the IEEE International Conference on Big Data, 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.

Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao

IEEE Trans. Software Eng., 2021

Assurance Carrying Code for Software Supply Chain.

Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 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, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

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

Yoriyuki Yamagata, Fabien Hervé, Yuji Fujiwara, Katsuro Inoue

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Algebraic Approach for Confidence Evaluation of Assurance Cases.

Yoriyuki Yamagata, Yutaka Matsuno

Proceedings of the Formal Methods and Software Engineering, 2020

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, Zhenya Zhang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

ARCH-COMP 2019 Category Report: Falsification.

Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic.

Yoriyuki Yamagata

J. Symb. Log., 2018

2017

Operational Semantics of Process Monitors.

Jun Inoue, Yoriyuki Yamagata

Proceedings of the Runtime Verification - 17th International Conference, 2017

Log-Based Anomaly Detection of CPS Using a Statistical Method.

Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi

Proceedings of the 8th International Workshop on Empirical Software Engineering in Practice, 2017

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.

Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun

Proceedings of the 2017 IEEE International Conference on Data Mining Workshops, 2017

2016

Java Pathfinder on Android Devices.

Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe

ACM SIGSOFT Softw. Eng. Notes, 2016

Runtime Monitoring for Concurrent Systems.

Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Cardinality of UDP Transmission Outcomes.

Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Model-Based Testing of Stateful APIs with Modbat.

Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Domain-Specific Languages with Scala.

Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata

Proceedings of the Formal Methods and Software Engineering, 2015

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

Formal Aspects Comput., 2014

Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking.

Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa

Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

2013

With an Open Mind: How to Write Good Models.

Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

Formal semantics of extended hierarchical state transition matrix by CSP.

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi

ACM SIGSOFT Softw. Eng. Notes, 2012

Bounded Arithmetic in Free Logic

Yoriyuki Yamagata

Log. Methods Comput. Sci., 2012

On Accelerating SMT-based Bounded Model Checking of HSTM Designs.

Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2008

A sequent calculus for limit computable mathematics.

Stefano Berardi, Yoriyuki Yamagata

Ann. Pure Appl. Log., 2008

2004

Strong normalization of the second-order symmetric lambda mu -calculus.

Yoriyuki Yamagata

Inf. Comput., 2004

2002

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

Yoriyuki Yamagata

Arch. Math. Log., 2002