Yoriyuki Yamagata

Department of Mathematical Science, University of Tokyo, Komaba 3-8-1, Meguro, Tokyo 153-8914, Japan. e-mail: yoriyuki@ms.u-tokyo.ac.jp JP

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers25 papers

Sort

By YearBy Citation

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

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

IEEE Transactions on Software Engineering, pp.1-1, (2020)

Cited by1Bibtex

Separation of bounded arithmetic using a consistency statement

Yoriyuki Yamagata

arXiv: Logic, (2019)

EIBibtex

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

Yoriyuki Yamagata

J. Symb. Log., no. 3 (2018): 1063-1090

Cited by1EIBibtex

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

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

FM, (2018): 456-465

Cited by24EIBibtex

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning

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

ICDM Workshops, (2017)

Cited by61EIBibtex

Operational Semantics of Process Monitors

Jun Inoue,Yoriyuki Yamagata

RV, (2017)

EIBibtex

Log-based Anomaly Detection of CPS Using a Statistical Method

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

IWESEP, (2017)

Cited by15EIBibtex

Java Pathfinder on Android Devices

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

ACM SIGSOFT Software Engineering Notes, no. 6 (2016): 1-5

Cited by3EIBibtex

Runtime Monitoring for Concurrent Systems

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

RV, pp.386-403, (2016)

Cited by6EIBibtex

Cardinality of UDP Transmission Outcomes

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

SETTA, pp.120-134, (2015)

EIBibtex

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

Automated Software Engineering, (2015)

Cited by7EIBibtex

Domain-Specific Languages with Scala

Cyrille Artho,Klaus Havelund, Rahul Kumar,Yoriyuki Yamagata

ICFEM, pp.1-16, (2015)

Cited by6EIBibtex

Consistency proof of an arithmetic with substitution inside a bounded arithmetic

Yoriyuki Yamagata

arXiv: Logic, (2014)

Bibtex

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

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

ACM SIGSOFT Software Engineering Notes, no. 5 (2014): 943-962

Cited by5EIBibtex

Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking

Ling Fang,Yoriyuki Yamagata,Yutaka Oiwa

ESSS, pp.35-49, (2014)

Cited by2EIBibtex

With an Open Mind: How to Write Good Models

Cyrille Artho,Koji Hayamizu,Rudolf Ramler,Yoriyuki Yamagata

FTSCS, pp.3-18, (2013)

Cited by3EIBibtex

Bounded Arithmetic in Free Logic

Yoriyuki Yamagata

Logical Methods in Computer Science, no. 3 (2012)

Cited by1EIBibtex

On Accelerating SMT-based Bounded Model Checking of HSTM Designs

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

APSEC, (2012): 614-623

Cited by6EIWOSBibtex

On Use of an Explicit Congruence Predicate in Bounded Arithmetic

Yoriyuki Yamagata

(2009)

Bibtex

A sequent calculus for limit computable mathematics

Stefano Berardi,Yoriyuki Yamagata

Annals of Pure and Applied Logic, no. 1 (2008): 111-126

Cited by6EIBibtex

View All

Base Info Papers Patents Projects