Takuya Kuwahara

According to our database, Takuya Kuwahara authored at least 20 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Intent-Driven Secure System Design: Methodology and Implementation.

Ooi Sian En, Razvan Beuran, Takayuki Kuroda, Takuya Kuwahara, Ryosuke Hotchi, Norihito Fujita, Yasuo Tan

Comput. Secur., 2023

2022

Intent-based System Design with Efficient Search Using Partial-Order Reduction.

Takuya Kuwahara, Takayuki Kuroda, Kozo Satoda

Proceedings of the 2022 IEEE/IFIP Network Operations and Management Symposium, 2022

Automation of Intent-based Service Operation with Models and AI/ML.

Takayuki Kuroda, Yutaka Yakuwa, Takashi Maruyama, Takuya Kuwahara, Kozo Satoda

Proceedings of the 2022 IEEE/IFIP Network Operations and Management Symposium, 2022

SecureWeaver: Intent-Driven Secure System Designer.

Ooi Sian En, Razvan Beuran, Yasuo Tan, Takayuki Kuroda, Takuya Kuwahara, Norihito Fujita

Proceedings of the Sat-CPS@CODASPY 2022: Proceedings of the 2022 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems, 2022

2021

Quantum annealing for ICT system design automation.

Takayuki Kuroda, Takuya Kuwahara, Kouki Yonaga, Takao Osaki, Masamichi J. Miyama, Masayuki Ohzeki

Proceedings of the 21st IEEE/ACM International Symposium on Cluster, 2021

2019

Scalable State Space Search with Structural-Bottleneck Heuristics for Declarative IT System Update Automation.

Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Hideyuki Shimonishi

IEICE Trans. Commun., 2019

Automated Planning of System Rollback in Declarative IT System Update.

Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Yoichi Sato, Yasuhiro Matsunaga

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

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

Proceedings of the 2019 IEEE Global Communications Conference, 2019

2018

Supervised and Unsupervised Intrusion Detection Based on CAN Message Frequencies for In-vehicle Network.

Takuya Kuwahara, Yukino Baba, Hisashi Kashima, Takeshi Kishikawa, Jun'ichi Tsurumi, Tomoyuki Haga, Yoshihiro Ujiie, Takamitsu Sasaki, Hideki Matsushima

J. Inf. Process., 2018

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

Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2018

Scalable Declarative IT System Update Automation by A* Search with Critical-Element Heuristics.

Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Hideyuki Shimonishi

Proceedings of the 7th IEEE International Conference on Cloud Networking, 2018

2017

Fundamental characteristic of reduction of energy consumption in water sterilization using nonthermal plasma.

Takuya Kuwahara

Proceedings of the 2017 IEEE Industry Applications Society Annual Meeting, 2017

2015

CO2 concentration using adsorption and nonthermal plasma desorption.

Masaaki Okubo, Tomoyuki Kuroki, Keiichiro Yoshida, Hideaki Yamada, Takuya Kuwahara

Proceedings of the 2015 IEEE Industry Applications Society Annual Meeting, 2015

Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs.

Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Automatic Termination Verification for Higher-Order Functional Programs.

Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 2014

2013

Pilot-scale experiment of total marine diesel emission control using ozone injection and nonthermal plasma reduction.

Takuya Kuwahara, Tomoyuki Kuroki, Masaaki Okubo, Keiichiro Yoshida, Kenichi Hanamoto, Kazutoshi Sato

Proceedings of the 2013 IEEE Industry Applications Society Annual Meeting, 2013

2012

Electroless nickel plating on fluoroplastics films using atmospheric pressure nonthermal plasma graft polymerization process.

Tomoyuki Kuroki, Mitsuru Tahara, Takuya Kuwahara, Masaaki Okubo

Proceedings of the Annual Meeting of the IEEE Industry Applications Society, 2012

2011

Odor Removal Characteristics of a Laminated Film-Electrode Packed-Bed Nonthermal Plasma Reactor.

Takuya Kuwahara, Masaaki Okubo, Tomoyuki Kuroki, Hideya Kametaka, Toshiaki Yamamoto

Sensors, 2011

Pilot-scale experiments of continuous regeneration of ceramic particulate filter in marine diesel engine using nonthermal plasma-induced radicals.

Masaaki Okubo, Takuya Kuwahara, Tomoyuki Kuroki, Keiichiro Yoshida, Kenichi Hanamoto, Kazutoshi Sato, Toshiaki Yamamoto

Proceedings of the 2011 IEEE Industry Applications Society Annual Meeting, 2011

2010

Improvement of NOx Reduction Efficiency in Diesel Emission Using Nonthermal Plasma - Exhaust Gas Recirculation Combined Aftertreatment.

Masaaki Okubo, Takuya Kuwahara, Yohei Kannaka, Tomoyuki Kuroki, Keiichiro Yoshida

Proceedings of the Annual Meeting of the IEEE Industry Applications Society, 2010