Scholar
Masaki Waga
Google Scholar ID: W7aV2EcAAAAJ
Kyoto University
Citations & Impact
Citations
485
H-index
13
i10-index
19
Publications
20
Co-authors
6
list available
Contact
Publications
Cited
0
Resume (English only)
Academic Achievements
- Published multiple papers, including but not limited to:
- - Active Learning of Symbolic Mealy Automata
- - A Variety of Request-Response Specifications
- - Componentwise Automata Learning for System Integration
- - Hyper pattern matching
- - Efficient Black-Box Checking with Specification-Guided Abstraction
- - CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction
- - Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis
- - A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches
- - Hyper parametric timed CTL
- - Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
- - Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
- - Learning nonlinear hybrid automata from input--output time-series data
- - Probabilistic Black-Box Checking via Active MDP Learning
- - Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
- - Parametric Timed PATL
Research Experience
- Serves as an assistant professor at the Computer Software Group, Course of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University.
Education
- No specific education background information provided.
Background
- An assistant professor at the Computer Software Group, Course of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University. Research interests include lightweight verification of black-box systems (including cyber-physical systems and machine learning-based systems), particularly monitoring of real-time systems with timed automata, and related problems such as falsification, runtime enforcement, and specification learning.
Miscellany
- ORCID: 0000-0001-9360-7490
