Search for faculty members
Waga, Masaki
Graduate School of Informatics, Department of Communications and Computer Engineering Assistant Professor
list
Last Updated :2022/08/06
Basic Information
Faculty
Academic Degree
Academic Resume (Graduate Schools)
- The Graduate University for Advanced Studies, SOKENDAI, 複合科学研究科情報学専攻博士課程（３年次編入）, 修了
- The University of Tokyo, 大学院情報理工学系研究科コンピュータ科学専攻修士課程, 修了
Academic Resume (Undergraduate School/Majors)
High School
High School
開成高校
Research History
- From Apr. 2021, To PresentNational Institute of Informatics, Visiting Assistant Professor
- From Oct. 2020, To PresentKyoto University, Graduate School of Informatics, Assistant Professor
- From Apr. 2018, To Sep. 2020Japan Society for the Promotion of Science, Research Fellow (DC1)
- From Apr. 2017, To Sep. 2020National Institute of Informatics, アーキテクチャ科学研究系, Research Assistant
Language of Instruction
ID,URL
ORCID ID
J-Global ID
Researcher number
00899007External link
researchmap URL
list
Last Updated :2022/08/06
Research
Research Topics, Overview of the research
Research Topics
Formal Verification
Research Interests
Research Areas
Papers
- Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.Ryotaro Banno; Kotaro Matsuoka; Naoki Matsumoto; Song Bian 0001; Masaki Waga; Kohei SuenagaCoRR, 2022
- Efficient Black-Box Checking via Model Checking with Strengthened Specifications.Junya Shijubo; Masaki Waga; Kohei SuenagaCoRR, 2021
- ARCH-COMP 2021 Category Report: Falsification with Validation of Results.Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 0001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; Giulia Pedrielli; Marc Pouzet; Masaki Waga; Shakiba Yaghoubi; Yoriyuki Yamagata; Zhenya ZhangARCH@ADHS, 06 Dec. 2021
- Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: a Gas Turbine Case Study.Sota Sato; Atsuyoshi Saimen; Masaki Waga; Kenji Takao; Ichiro Hasuo24th International Symposium on Formal Methods, 10 Nov. 2021, Peer-reviewed
- Efficient Black-Box Checking via Model Checking with Strengthened Specifications.Junya Shijubo; Masaki Waga; Kohei SuenagaThe 21st International Conference on Runtime Verification, 06 Oct. 2021, Peer-reviewed
- 完全準同型暗号を用いた秘匿LTLオンラインモニタリング伴野 良太郎; 松岡 航太郎; 松本 直樹; Bian Song; 和賀 正樹; 末永 幸平コンピュータセキュリティシンポジウム 2021 (CSS 2021), Oct. 2021
- Constrained Optimization for Falsification and Conjunctive Synthesis.Sota Sato; Masaki Waga; Ichiro Hasuo6th IFAC Conference on Analysis and Design of Hybrid Systems, 09 Sep. 2021, Peer-reviewed
- Model-Bounded Monitoring of Hybrid Systems.Masaki Waga; Étienne André; Ichiro Hasuo12th ACM/IEEE International Conference on Cyber-Physical Systems, 19 May 2021, Peer-reviewed, Lead author, Corresponding author
- Falsification of cyber-physical systems with robustness-guided black-box checking.Masaki WagaHSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control(HSCC), 2020, Peer-reviewed
- Genetic algorithm for the weight maximization problem on weighted automata.Elena Gutiérrez; Takamasa Okudono; Masaki Waga; Ichiro HasuoGECCO '20: Genetic and Evolutionary Computation Conference(GECCO), 2020, Peer-reviewed
- Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro HasuoThe Thirty-Fourth AAAI Conference on Artificial Intelligence(AAAI), 2020, Peer-reviewed
- Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro HasuoCoRR, 2019
- Moore-machine filtering for timed and untimed pattern matching: poster abstract.Masaki Waga; Ichiro HasuoProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control(HSCC), 2019
- Online Parametric Timed Pattern Matching with Automata-Based Skipping.Masaki Waga; Étienne AndréNASA Formal Methods - 11th International Symposium(NFM), 2019, Peer-reviewed
- Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.Masaki WagaFormal Modeling and Analysis of Timed Systems - 17th International Conference(FORMATS), 2019, Peer-reviewed
- Symbolic Monitoring Against Specifications Parametric in Time and DataMasaki Waga; Etienne Andre; Ichiro HasuoCOMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, Peer-reviewed
- Moore-Machine Filtering for Timed and Untimed Pattern MatchingMasaki Waga; Ichiro HasuoIEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, Nov. 2018, Peer-reviewed
- Offline timed pattern matching under uncertaintyEtienne Andre; Ichiro Hasuo; Masaki Waga2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2018, Peer-reviewed
- MONAA: a Tool for Timed Pattern Matching with Automata-Based AccelerationMasaki Waga; Ichiro Hasuo; Kohei Suenaga2018 IEEE 3RD WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2018), 2018, Peer-reviewed
- Efficient Online Timed Pattern Matching by Automata-Based Skipping.Masaki Waga; Ichiro Hasuo; Kohei SuenagaFormal Modeling and Analysis of Timed Systems - 15th International Conference(FORMATS), 2017, Peer-reviewed
- A Boyer-Moore Type Algorithm for Timed Pattern MatchingMasaki Waga; Takumi Akazaki; Ichiro HasuoFORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016, 2016, Peer-reviewed, Lead author
Presentations
- Model-Bounded Monitoring of Hybrid Systems.Masaki Waga12th ACM/IEEE International Conference on Cyber-Physical Systems, 20 May 2021
- Model-Bounded Monitoring of Hybrid Systems.Masaki Waga6th Workshop on Monitoring and Testing of Cyber-Physical Systems, 18 May 2021
- Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted AutomataMasaki WagaYR-OWLS (Online Worldwide Seminar on Logic and Semantics), 12 May 2021, Invited
- 物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021), 10 Mar. 2021
- Symbolic Monitoring against Specifications Parametric in Time and DataMasaki WagaJSSST 2020, 10 Sep. 2020, Invited
- Falsification of cyber-physical systems with robustness-guided black-box checkingMasaki Waga23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr. 2020
- Symbolic Monitoring Against Specifications Parametric in Time and DataMasaki Waga5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS
Industrial Property Rights
Works
Awards
- 2018ICECCS 2018, Best paper award
- 2019FORMATS 2019, Oded Maler award for the best paper
- 26 Sep. 2019National Institute of Informatics, Best Student Award
- 28 Sep. 2020The Graduate University for Advanced Studies (SOKENDAI), Dean Award, School of Multidisciplinary Sciences
External funds: Kakenhi
- オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展Grant-in-Aid for Early-Career ScientistsBasic Section 60050:Software-relatedKyoto University和賀 正樹From 01 Apr. 2022, To 31 Mar. 2025, Granted物理情報システム;軽量形式手法;オートマトン理論;量的検証
External funds: others
list
Last Updated :2022/08/06
Education
Teaching subject(s)
- From 01 Apr. 2022, To 31 Mar. 2023Computer Science Laboratory and Exercise 39084, Spring, Faculty of Engineering, 4
- From 01 Apr. 2022, To 31 Mar. 2023System Verification3666, Fall, Graduate School of Informatics, 2
- From Apr. 2021, To Mar. 2022Computer Science Laboratory and Exercise 2Fall, 工学部
- From Apr. 2021, To Mar. 2022Computer Science Laboratory and Exercise 3Spring, 工学部
