Masaki Waga (和賀 正樹)
I am a 2nd-year master course student in
I am a member of ERATO MMSD project.
My supervisor is Ichiro Hasuo.
- Runtime verification of Cyber-physical systems.
- Especially monitoring of real-time systems with timed automata.
- Application of monitoring to other fields.
Publications and Theses
- A Boyer-Moore Type Algorithm for Timed Pattern Matching
FORMATS 2016, Quebec, August 2016. [slide]
Conferences and Research Visits
- CPSWeek 2017, Pittsburgh, USA, April 2017.
- Oded Maler at Verimag, Grenoble, France, February-March 2017.
- ATVA 2016, Chiba, Japan, October 2016.
- FORMATS 2016, Quebec, Canada, August 2016.
- ERATO Hasuo Project, Palace Side Building 3F,
Hitotsubashi 1-1-1, Tokyo 100-1003, Japan
- E-mail address
- mwaga [at] is.s.u-tokyo.ac.jp