• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.
Advanced
search
ALL

Synonyms(0)

Find out more technical terms

Thesaurus Map Clips

ー



Please login to MyJ-GLOBAL to use J- GLOBAL.
Please register to create your MyJ-GLOBAL account, if you do not have one.
What is MyJ-GLOBAL?
Login Register now
Number of clips is over the max size. (Max number of Clips: 600)
Close
Reset
Go to 「How to search」 page
Advanced search: Search from
　
　Select basic information for advanced search
Free word
～
Chemical structure search
How to Search
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
Import

MOLfile format is only available (V3000 format is not available)

              
Rchr
J-GLOBAL ID：201601013913312218   Update date: Mar. 11, 2025

Yamagata Yoriyuki

ヤマガタ ヨリユキ | Yamagata Yoriyuki
Affiliation and department：
University of Fukui Faculty of Engineering

About University of Fukui Faculty of Engineering


Job title： Associate Professor
Research field  (3)： Software ,  Information theory ,  Basic mathematics
Research keywords  (6)： Cyber physical system ,  Software verification ,  Formal methods ,  Assurance Ccase ,  Software Supply Chain ,  Bounded arithmetic
Research theme for competitive and other funds  (2)：
  • 2023 - 2026 Developing a programming language for automatic synthesis of assurance cases
  • 2014 - 2017 Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking
Papers (32)：
  • Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara. On the Metric Temporal Logic for Continuous Stochastic Processes. Logical Methods in Computer Science. 2024. 20. 2
  • Yoriyuki Yamagata, Shunki Takami, Keisuke Yamazaki, Tomoki Nakaya, Masaki Onishi. Individual-based epidemiological model of COVID19 using location data. 2022 IEEE International Conference on Big Data (Big Data). 2022
  • Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue 0001, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, et al. ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)(ARCH@SAFECOMP). 2022. 204-221
  • Yoriyuki Yamagata, Fabien Herve, Yuji Fujiwara, Katsuro Inoue. Finding repeated strings in code repositories and its applications to code-clone detection. 2021 28th Asia-Pacific Software Engineering Conference (APSEC). 2021
  • Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa. Assurance Carrying Code for Software Supply Chain. ISSRE Workshops. 2021. 276-277
ｍore...
Patents (1)：
Education (3)：
  • 1997 - 2002 The University of Tokyo Department of Mathematical Science
  • 1995 - 1997 The University of Tokyo Faculty of Science Department of Mathematics
  • 1993 - 1995 The University of Tokyo
Professional career (1)：
  • 博士(数理科学) (東京大学)
Work history (10)：
  • 2025/01 - 現在 University of Fukui School of Engineering
  • 2018/11 - 2024/12 National Institute of Advanced Industrial Science and Technology Cyber-Physical Security Research Center Senior reseaercher
  • 2015/04 - 2018/10 National Institute of Advanced Industrial Science and Technology Information Techonlogy Research Institute Senior reseaercher
  • 2013/03 - 2015/03 National Institute of Advanced Industrial Science and Technology (AIST) Research Institute of Secure Systems Senior Researcher
  • 2012/04 - 2013/02 National Institute of Advanced Industrial Science and Technology (AIST) Research Institute of Secure Systems Researcher
Show all
Association Membership(s) (6)：
ソフトウェア科学会 ,  情報処理学会 ,  日本疫学会 ,  JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE ,  Japanese Association for the Contemporary and Applied Philosophy ,  The Association for Symbolic Logic
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM