末永幸平

スエナガコウヘイ | Suenaga Kohei

所属機関・部署：
職名：准教授
その他の所属（所属・部署名・職名） (1件)：

ホームページURL (1件)： http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

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

研究キーワード (8件)：静的検証 , 超準解析 , 形式手法 , 型システム , ホーア論理 , プログラミング言語 , 無限小プログラミング , ハイブリッドシステム

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

全件表示

論文 (63件)：

Tomonari Tanaka, Takumi Uezono, Kohei Suenaga, Masanori Hashimoto. Hardware Error Detection with In-Situ Monitoring of Control Flow-Related Specifications. Proceedings of ASP-DAC 2025 (To appear). 2025
Yuki Nishida, Kohei Suenaga, Atsushi Igarashi. iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns. 2024. 576-584
小林亮太, 中村烈士, 五十嵐淳, 末永幸平, 小林直樹. 命令型プログラムの安全性検証のための所有権主導変換. PPL 2024 論文集. 2024
Yusuke Kawamoto 0001, Kentaro Kobayashi, Kohei Suenaga. StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. CoRR. 2024. abs/2405.17492
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

MISC (3件)：

末永幸平. 昔のネタ帳から. コンピュータソフトウェア. 2022. 39. 2. 2_92-2_93
Minchao Wu, Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga. Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning. 2021
末永幸平. PLDI 2016参加報告. コンピュータソフトウェア = Computer software. 2017. 34. 1. 58-61

特許 (13件)：

書籍 (2件)：

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

制御フロー仕様から生成したペトリネットに基づくハードウェア誤動作検出手法
(DAシンポジウム 2024 2024)
Learning nonlinear hybrid automata from input-output time-series data
(ATVA 2023 2023)
Probabilistic Black-Box Checking via Active MDP Learning
(EMSOFT 2023 2023)
Formalizing Statistical Causality via Modal Logic
(JELIA 2023 2023)
Probabilistic Black-Box Checking via Active MDP Learning
(EMSOFT 2023 2023)

学歴 (5件)：

学位 (1件)：

経歴 (14件)：

全件表示

委員歴 (25件)：

全件表示

受賞 (9件)：

2022/09 - 日本ソフトウェア科学会指導学生の受賞: 優秀発表賞スマートコントラクト検証器Helmholtzのためのエラー原因提示手法
2022/03 - 情報処理学会ゲーム情報学研究会指導学生の受賞:第49回GI研究発表会優秀研究賞 Feature Attributionを用いたdlshogiの指し手の解釈可能性向上手法
2021/10 - 情報処理学会コンピュータセキュリティ研究会 (CSEC 研究会) PWS優秀論文賞完全準同型暗号を用いた秘匿LTLオンラインモニタリング
2021/10 - 一般社団法人情報処理学会コンピュータセキュリティ研究会(CSEC) CSS 2021優秀論文賞完全準同型暗号を用いた秘匿LTLオンラインモニタリング
2013/09 - 京都大学京都大学学際研究着想コンテスト優秀賞視覚・聴覚に続く第三の電子媒体「匂い」--その時代に備えるための技術革新と社会環境整備

全件表示

所属学会 (3件)：

IPSJ , JSSST , ACM

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

末永 幸平