Publications and Theses

• Masaki WagaEmpowering Runtime Verification with Polyhedra.Ph.D. Thesis, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies (SOKENDAI), 2020.
• Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro HasuoGenetic algorithm for the weight maximization problem on weighted automata. Proc. GECCO 2020, pp. 699-707, ACM.
  [ACM | extended version at arXiv]
• Masaki Waga, Ichiro HasuoMoore-Machine Filtering for Timed and Untimed Pattern Matching.IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., vol. 37, issue 11, pp. 2649-2660, 2018, IEEE.
  This paper was accepted at EMSOFT 2018.
  [ieee | extended version at arXiv]

Tools

• FalCAuN — A tool for FALsification of Cyber-physical systems via AUtomata learNing
• SyMon — A tool for SYmbolic MONitoring

Selected Talks

• Symbolic Monitoring against Specifications Parametric in Time and Data Invited talk at JSSST 2020, Online, 10th September 2020. [video (in Japanese)]
• Falsification of cyber-physical systems with robustness-guided black-box checkingHSCC 2020, Online, April 2020. [slide | video]

Teaching Experiences

• Computer Science Laboratory and Exercise 2 (Hardware) (計算機科学実験及演習２ (ハードウェア)), 2020/10--, Kyoto University
• Teaching assistant for Formal Language Theory (形式言語理論), 2016/10--2017/3, The University of Tokyo

Professional Services

• Program committee member: FORMATS 2020.