Yoriyuki Yamagata

38 papers A* 1B 4C 4Misc 1Journal 17Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
A GSN-Based Requirement Analysis of the EU AI Regulation.
SAFECOMP (Workshops)
Natsuki Hayama, Yoriyuki Yamagata, Hideaki Nishihara, Yutaka Matsuno
2025 J jnl
On Proving Consistency of Equational Theories in Bounded Arithmetic.
J. Symb. Log.
Arnold Beckmann, Yoriyuki Yamagata
2024 J jnl
On the Metric Temporal Logic for Continuous Stochastic Processes.
Log. Methods Comput. Sci.
Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara
2023 J jnl
On the Metric Temporal Logic for Continuous Stochastic Processes.
CoRR
Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara
2022 — conf
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.
ARCH@SAFECOMP
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
2022 B conf
Individual-based epidemiological model of COVID19 using location data.
IEEE Big Data
Yoriyuki Yamagata, Shunki Takami, Keisuke Yamazaki, Tomoki Nakaya, Masaki Onishi
2022 J jnl
On proving consistency of equational theories in Bounded Arithmetic.
CoRR
Arnold Beckmann, Yoriyuki Yamagata
2021 — conf
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
ARCH@ADHS
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
2021 — conf
Assurance Carrying Code for Software Supply Chain.
ISSRE Workshops
Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa
2021 J jnl
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.
IEEE Trans. Software Eng.
Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao
2021 C conf
Finding repeated strings in code repositories and its applications to code-clone detection.
APSEC
Yoriyuki Yamagata, Fabien Hervé, Yuji Fujiwara, Katsuro Inoue
2020 — conf
ARCH-COMP 2020 Category Report: Falsification.
ARCH
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
2020 C conf
Algebraic Approach for Confidence Evaluation of Assurance Cases.
ICFEM
Yoriyuki Yamagata, Yutaka Matsuno
2019 — conf
ARCH-COMP 2019 Category Report: Falsification.
ARCH@CPSIoTWeek
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2018 J jnl
Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic.
J. Symb. Log.
Yoriyuki Yamagata
2018 B conf
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.
FM
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
2018 J jnl
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.
CoRR
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
2017 — conf
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.
ICDM Workshops
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017 J jnl
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.
CoRR
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017 — conf
Log-Based Anomaly Detection of CPS Using a Statistical Method.
IWESEP
Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi
2017 J jnl
Log-based Anomaly Detection of CPS Using a Statistical Method.
CoRR
Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi
2017 B conf
Operational Semantics of Process Monitors.
RV
Jun Inoue, Yoriyuki Yamagata
2017 J jnl
Operational Semantics of Process Monitors.
CoRR
Jun Inoue, Yoriyuki Yamagata
2016 J jnl
Java Pathfinder on Android Devices.
ACM SIGSOFT Softw. Eng. Notes
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe
2016 B conf
Runtime Monitoring for Concurrent Systems.
RV
Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
2015 Misc conf
Cardinality of UDP Transmission Outcomes.
SETTA
Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
2015 C conf
Domain-Specific Languages with Scala.
ICFEM
Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
2015 A* conf
Model-Based Testing of Stateful APIs with Modbat.
ASE
Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
2014 J jnl
A formal semantics of extended hierarchical state transition matrices using CSP#.
Formal Aspects Comput.
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
2014 — conf
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking.
ESSS
Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa
2013 — conf
With an Open Mind: How to Write Good Models.
FTSCS
Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata
2012 J jnl
Bounded Arithmetic in Free Logic
Log. Methods Comput. Sci.
Yoriyuki Yamagata
2012 J jnl
Formal semantics of extended hierarchical state transition matrix by CSP.
ACM SIGSOFT Softw. Eng. Notes
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
2012 C conf
On Accelerating SMT-based Bounded Model Checking of HSTM Designs.
APSEC
Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda
2008 J jnl
A sequent calculus for limit computable mathematics.
Ann. Pure Appl. Log.
Stefano Berardi, Yoriyuki Yamagata
2004 J jnl
Strong normalization of the second-order symmetric lambda mu -calculus.
Inf. Comput.
Yoriyuki Yamagata
2002 J jnl
Strong normalization of a symmetric lambda calculus for second-order classical logic.
Arch. Math. Log.
Yoriyuki Yamagata
2001 — conf
Strong Normalization of Second Order Symmetric Lambda-mu Calculus.
TACS
Yoriyuki Yamagata