| 2019 | Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models. | Zhen-Tian Liu, Jing Liu |
| 2019 | Safety and Security Co-Analyses: A Systematic Literature Review. | Elena Lisova, Irfan Sljivo, Aida Causevic |
| 2019 | Drug Specification Named Entity Recognition Base on BiLSTM-CRF Model. | Wei-Yan Li, Wenai Song, Xin-Hong Jia, Ji-Jiang Yang, Qing Wang, Yi Lei, Ke Huang, Jun Li, Ting Yang |
| 2019 | A Privacy-Preserving and Fully Decentralized Storage and Sharing System on Blockchain. | Gen Li, Hiroyuki Sato |
| 2019 | A Linear Regression Approach to Modeling Software Characteristics for Classifying Similar Software. | Hyun-Il Lim |
| 2019 | Detecting Malicious Attacks Exploiting Hardware Vulnerabilities Using Performance Counters. | Congmiao Li, Jean-Luc Gaudiot |
| 2019 | AILiveSim: An Extensible Virtual Environment for Training Autonomous Vehicles. | Jrme Leudet, Franois Christophe, Tommi Mikkonen, Tomi Mnnist |
| 2019 | Toward Machine Learning Based Analyses on Compressed Firmware. | Seoksu Lee, Joon-Young Paik, Rize Jin, Eun-Sun Cho |
| 2019 | A Modified Smart Contract Execution Enviroment for Safe Function Calls. | Sooyeon Lee, Eun-Sun Cho |
| 2019 | LIPs: A Protocol for Leadership Incentives for Heterogeneous and Dynamic Platoons. | Brian K. Ledbetter, Samuel Wehunt, Mohammad Ashiqur Rahman, Mohammad Hossein Manshaei |
| 2019 | The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations. | Lucas Leal, Andrea Ceccarelli, Eliane Martins |
| 2019 | Utilization of Bio-Ontologies for Enhancing Patent Information Retrieval. | Kincho H. Law, Siddarth Taduri, Jay P. Kesan, Ram Sriram |
| 2019 | Barrier Detection Using Sensor Data from Multiple Modes of Transportation with Data Augmentation. | Yuki Kurauchi, Naoto Abe, Hiroshi Konishi, Hitoshi Seshimo |
| 2019 | A Functional Programming Model for Embedded Dataflow Applications. | Christoph Khbacher, Christian Mellwig, Florian Haas, Theo Ungerer |
| 2019 | Communication Robot for Elderly Based on Robotic Process Automation. | Toru Kobayashi, Kenichi Arai, Tetsuo Imai, Shigeaki Tanimoto, Hiroyuki Sato, Atsushi Kanai |
| 2019 | Non-Invasive Wi-Fi Sensors For Smart Healthcare. | Lori Kim, Hossain Shahriar, Chi Zhang |
| 2019 | Efficient SVM Based Packer Identification with Binary Diffing Measures. | Yeong-Cheol Kim, Joon-Young Paik, Seokwoo Choi, Eun-Sun Cho |
| 2019 | Integrating Static Code Analysis Toolchains. | Matthias Kern, Ferhat Erata, Ashlin Iser, Carsten Sinz, Frdric Loiret, Stefan Otten, Eric Sax |
| 2019 | LiRUL: A Lightweight LSTM Based Model for Remaining Useful Life Estimation at the Edge. | Olumide Kayode, Ali Saman Tosun |
| 2019 | On the Effectiveness of Position-Based Routing in Delay/Disruption-Tolerant Networking. | Natusko Kawabata, Yasuhiro Yamasaki, Hiroyuki Ohsaki |
| 2019 | Modeling Restrained Epidemic Routing on Complex Networks. | Natsuko Kawabata, Yasuhiro Yamasaki, Hiroyuki Ohsaki |
| 2019 | Fluid-Based Modeling of Large-Scale IEEE 802.15.4 Wireless Sensor Networks. | Kei Katayama, Hiroyuki Ohsaki |
| 2019 | A Proposal of SDN-FIT System to Evaluate Wide-Area Distributed Applications Based on Exhaustive FIT Scenario Generation. | Hiroki Kashiwazaki, Shinnosuke Miura, Shinji Shimojo |
| 2019 | Detecting Successful Attacks from IDS Alerts Based On Emulation of Remote Shellcodes. | Yo Kanemoto, Kazufumi Aoki, Makoto Iwamura, Jun Miyoshi, Daisuke Kotani, Hiroki Takakura, Yasuo Okabe |
| 2019 | Precise and Robust Detection of Advertising Fraud. | Fumihiro Kanei, Daiki Chiba, Kunio Hato, Mitsuaki Akiyama |