Takuya Kuwahara

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 14

Top Topics

Alert Correlation

Functional Programs

Efficient Search

Top Venues

Publications

Ooi Sian En, Razvan Beuran, Takayuki Kuroda, Takuya Kuwahara, Ryosuke Hotchi, Norihito Fujita, Yasuo Tan
Intent-Driven Secure System Design: Methodology and Implementation. Comput. Secur. 124 (2023)
Ooi Sian En, Razvan Beuran, Yasuo Tan, Takayuki Kuroda, Takuya Kuwahara, Norihito Fujita
SecureWeaver: Intent-Driven Secure System Designer. SAT-CPS@CODASPY (2022)
Takayuki Kuroda, Yutaka Yakuwa, Takashi Maruyama, Takuya Kuwahara, Kozo Satoda
Automation of Intent-based Service Operation with Models and AI/ML. NOMS (2022)
Takuya Kuwahara, Takayuki Kuroda, Kozo Satoda
Intent-based System Design with Efficient Search Using Partial-Order Reduction. NOMS (2022)
Takayuki Kuroda, Takuya Kuwahara, Kouki Yonaga, Takao Osaki, Masamichi J. Miyama, Masayuki Ohzeki
Quantum annealing for ICT system design automation. CCGRID (2021)
Takayuki Kuroda, Takuya Kuwahara, Takashi Maruyama, Kozo Satoda, Hideyuki Shimonishi, Takao Osaki, Katsushi Matsuda
Weaver: A Novel Configuration Designer for IT/NW Services in Heterogeneous Environments. GLOBECOM (2019)
Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Yoichi Sato, Yasuhiro Matsunaga
Automated Planning of System Rollback in Declarative IT System Update. IM (2019)
Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Hideyuki Shimonishi
Scalable State Space Search with Structural-Bottleneck Heuristics for Declarative IT System Update Automation. IEICE Trans. Commun. (3) (2019)
Takuya Kuwahara, Yukino Baba, Hisashi Kashima, Takeshi Kishikawa, Jun'ichi Tsurumi, Tomoyuki Haga, Yoshihiro Ujiie, Takamitsu Sasaki, Hideki Matsushima
Payload-Based Statistical Intrusion Detection for In-Vehicle Networks. PAKDD (Workshops) (2018)
Takuya Kuwahara, Yukino Baba, Hisashi Kashima, Takeshi Kishikawa, Jun'ichi Tsurumi, Tomoyuki Haga, Yoshihiro Ujiie, Takamitsu Sasaki, Hideki Matsushima
Supervised and Unsupervised Intrusion Detection Based on CAN Message Frequencies for In-vehicle Network. J. Inf. Process. 26 (2018)
Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Hideyuki Shimonishi
Scalable Declarative IT System Update Automation by A* Search with Critical-Element Heuristics. CloudNet (2018)
Takuya Kuwahara
Fundamental characteristic of reduction of energy consumption in water sterilization using nonthermal plasma. IAS (2017)
Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs. CAV (2) (2015)
Masaaki Okubo, Tomoyuki Kuroki, Keiichiro Yoshida, Hideaki Yamada, Takuya Kuwahara
CO2 concentration using adsorption and nonthermal plasma desorption. IAS (2015)
Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi
Automatic Termination Verification for Higher-Order Functional Programs. ESOP (2014)
Takuya Kuwahara, Tomoyuki Kuroki, Masaaki Okubo, Keiichiro Yoshida, Kenichi Hanamoto, Kazutoshi Sato
Pilot-scale experiment of total marine diesel emission control using ozone injection and nonthermal plasma reduction. IAS (2013)
Tomoyuki Kuroki, Mitsuru Tahara, Takuya Kuwahara, Masaaki Okubo
Electroless nickel plating on fluoroplastics films using atmospheric pressure nonthermal plasma graft polymerization process. IAS (2012)
Masaaki Okubo, Takuya Kuwahara, Tomoyuki Kuroki, Keiichiro Yoshida, Kenichi Hanamoto, Kazutoshi Sato, Toshiaki Yamamoto
Pilot-scale experiments of continuous regeneration of ceramic particulate filter in marine diesel engine using nonthermal plasma-induced radicals. IAS (2011)
Takuya Kuwahara, Masaaki Okubo, Tomoyuki Kuroki, Hideya Kametaka, Toshiaki Yamamoto
Odor Removal Characteristics of a Laminated Film-Electrode Packed-Bed Nonthermal Plasma Reactor. Sensors 11 (6) (2011)
Masaaki Okubo, Takuya Kuwahara, Yohei Kannaka, Tomoyuki Kuroki, Keiichiro Yoshida
Improvement of NOx Reduction Efficiency in Diesel Emission Using Nonthermal Plasma - Exhaust Gas Recirculation Combined Aftertreatment. IAS (2010)