Takuya Kuwahara
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2014–2022
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | NOMS | Automation of Intent-based Service Operation with Models and AI/ML. | Takayuki Kuroda, Yutaka Yakuwa, Takashi Maruyama, Takuya Kuwahara, Kozo Satoda |
| 2022 | NOMS | Intent-based System Design with Efficient Search Using Partial-Order Reduction. | Takuya Kuwahara, Takayuki Kuroda, Kozo Satoda |
| 2021 | CCGRID | Quantum annealing for ICT system design automation. | Takayuki Kuroda, Takuya Kuwahara, Kouki Yonaga, Takao Osaki, Masamichi J. Miyama, Masayuki Ohzeki |
| 2019 | GLOBECOM | Weaver: A Novel Configuration Designer for IT/NW Services in Heterogeneous Environments. | Takayuki Kuroda, Takuya Kuwahara, Takashi Maruyama, Kozo Satoda, Hideyuki Shimonishi, Takao Osaki, Katsushi Matsuda |
| 2019 | IM | Automated Planning of System Rollback in Declarative IT System Update. | Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Yoichi Sato, Yasuhiro Matsunaga |
| 2018 | PAKDD | Payload-Based Statistical Intrusion Detection for In-Vehicle Networks. | Takuya Kuwahara, Yukino Baba, Hisashi Kashima, Takeshi Kishikawa, Jun'ichi Tsurumi, Tomoyuki Haga, Yoshihiro Ujiie, Takamitsu Sasaki, Hideki Matsushima |
| 2015 | CAV | Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs. | Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi |
| 2014 | ESOP | Automatic Termination Verification for Higher-Order Functional Programs. | Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi |