logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Masaki Waga

kyoto university

9H-index
69Paper Count
216Citation Count
Published Papers 5
Publication Date
logo
Hyper Pattern Matching
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errWaga, Masaki; Andre, Etienne
errShare
errSave
Active Learning of Symbolic Mealy Automata
errTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
err2026-01-01
err0
PREAI
errIrie, Kengo; Waga, Masaki; Suenaga, Kohei
errShare
errSave
Componentwise Automata Learning for System Integration
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errFujinami, Hiroya; Waga, Masaki; An, Jie; Suenaga, Kohei; Yanagisawa, Nayuta; Iseri, Hiroki; Hasuo, Ichiro
errShare
errSave
Efficient Black-Box Checking with Specification-Guided Abstraction
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errMatsumoto, Tsubasa; Watanabe, Kazuki; Suenaga, Kohei; Waga, Masaki
errShare
errSave
Parametric Timed Pattern Matching
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-02-13
err4
errOAAI
errWaga, Masaki; Andre, Etienne; Hasuo, Ichiro
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Jie An
H-index: 32 · Papers: 152
I
Ichiro Hasuo
H-index: 22 · Papers: 223
É
Étienne André
H-index: 21 · Papers: 226
K
Kohei Suenaga
H-index: 12 · Papers: 94
N
Nayuta Yanagisawa
H-index: 3 · Papers: 8
View more