和賀正樹

ワガマサキ | Waga Masaki

所属機関・部署：
職名：助教
ホームページURL (1件)： https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/

研究分野 (1件)：ソフトウェア

研究キーワード (5件)：形式手法 , オートマトン学習 , 実行時検証 , モデル検査 , 時間オートマトン

競争的資金等の研究課題 (4件)：

論文 (38件)：

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo. Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR. 2024. abs/2407.09775
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian 0001, Kohei Suenaga. Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. CoRR. 2024. abs/2405.16767
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato 0001, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, et al. Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC. 2024. 186-195
Junya Shijubo, Masaki Waga, Kohei Suenaga. Probabilistic Black-Box Checking via Active MDP Learning. ACM Transactions on Embedded Computing Systems. 2023. 22. 5s. 148-26
Masaki Waga. Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. 35th International Conference on Computer-Aided Verification. 2023. 3-26

特許 (7件)：

オートマトン生成装置、オートマトン生成方法及びプログラム
ブラックボックスシステムのテストのためのコンピュータ実装方法及びコンピュータシステム
情報処理装置、情報処理回路、情報処理システム及び情報処理方法
情報処理装置、情報処理方法および情報処理プログラム
Information processing apparatus, information processing circuit, information processing system, and information processing method

講演・口頭発表等 (14件)：

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
(The 24th International Conference on Runtime Verification (RV 2024) 2024)
Hyper parametric timed CTL
(International Conference on Embedded Software (EMSOFT 2024) 2024)
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
(International Conference on Formal Modeling and Analysis of Timed Systems 2023)
信頼されるAI-CPSのためのオートマトン学習によるアプローチ
(人工知能学会第125回人工知能基本問題研究会(SIG-FPAI) 2023)
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
(35th International Conference on Computer Aided Verification 2023)

Works (1件)：

学歴 (4件)：

学位 (1件)：

経歴 (5件)：

2021/04 - 現在国立情報学研究所客員助教 (研究開発連携)
2020/10 - 現在京都大学大学院情報学研究科助教
2023/09 - 2023/09 University Sorbonne Paris Nord LIPN Visiting academic fellow/professor
2018/04 - 2020/09 独立行政法人日本学術振興会特別研究員 (DC1)
2017/04 - 2020/09 国立情報学研究所アーキテクチャ科学研究系リサーチアシスタント

委員歴 (16件)：

全件表示

受賞 (8件)：

2024/09 - YANS シンポジウム運営委員 YANS 2024 株式会社リクルート賞柔らかいgrep/KWICに向けて:高速単語列マッチングの埋め込み表現による連続化
2024/09 - YANS シンポジウム運営委員 YANS 2024 デモ賞柔らかいgrep/KWICに向けて:高速単語列マッチングの埋め込み表現による連続化
2021/10 - 一般社団法人情報処理学会コンピュータセキュリティ研究会(CSEC) CSS2021 優秀論文賞完全準同型暗号を用いた秘匿 LTL オンラインモニタリング
2021/10 - 一般社団法人情報処理学会コンピュータセキュリティ研究会(CSEC) PWS優秀論文賞完全準同型暗号を用いた秘匿LTLオンラインモニタリング
2020/09 - 総合研究大学院大学複合科学研究科長賞

全件表示

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

和賀 正樹