Akira Fukuda

Publication Activity (10 Years)

Years Active: 1972-2020
Publications (10 Years): 62

Top Venues

IIAI-AAI

ICCE-TW

ICMU

DSA

Publications

Ryoichi Shibata, Atsuya Sonoyama, Masato Oguchi, Takeshi Kamiyama, Akira Fukuda, Saneyasu Yamaguchi
Java Android Application Performance Improvement by Kotlin DEX Bytecode Analysis without JIT Compiler. ICCE-TW (2020)
Ryosuke Onozato, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi
Observation of Power Consumption of Each Application in an Accelerated Android OS. ICCE-TW (2020)
Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda
A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre. ICISS (2020)
Yuki Hori, Takahiro Ando, Akira Fukuda
Personal Identification Methods Using Footsteps of One Step. ICAIIC (2020)
Tsuneo Nakanishi, Yutaka Arakawa, Takahiro Ando, Shigemi Ishida, Kenji Hisazumi, Tsunenori Mine, Akira Fukuda
An Inter-Organizational Software Architecture for Smart Mobility. ICSIE (2020)
Masato Uchino, Billy Dawton, Yuki Hori, Shigemi Ishida, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
Initial Design of Two-Stage Acoustic Vehicle Detection System for High Traffic Roads. PerCom Workshops (2020)
Kazushi Nishinaka, Atsuhi Sonoyama, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi
Monitoring System for Optimization based on Analyzing Android Application Launching Behavior. ICCE-TW (2020)
Atsuya Sonoyama, Masato Oguchi, Takeshi Kamiyama, Akira Fukuda, Saneyasu Yamaguchi
Performance Improvement of Kotlin Program in Consideration of JIT Compiler Optimization. ICCE-TW (2020)
Takahiro Yamamoto, Shigemi Ishida, Ryota Kimoto, Shigeaki Tagashira, Akira Fukuda
Design Of Ble 2-Step Separate Channel Fingerprinting. VTC Spring (2020)
Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. TASE (2020)
Masato Uchino, Shigemi Ishida, Kazuo Kubo, Shigeaki Tagashira, Akira Fukuda
Initial Design of Acoustic Vehicle Detector with Wind Noise Suppressor. PerCom Workshops (2019)
Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda
From Local to Global Semantic Clone Detection. DSA (2019)
Israel Mendonça, Antoine Trouvé, Akira Fukuda, Kazuaki J. Murakami
On Clustering Algorithms: Applications in Word-Embedding Documents. J. Comput. 14 (2) (2019)
Shun Kurihara, Shoki Fukuda, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi
Estimation of Power Consumption of Each Application Considering Software Dependency in Android. J. Inf. Process. 27 (2019)
Ryosuke Onozato, Akira Fukuda, Takeshi Kamiyama, Masato Oguchi, Saneyasu Yamaguchi
Reducing TCP Errors in Accelerated Application Test in Android OS. ICCE-TW (2019)
Masahiko Miyazaki, Shigemi Ishida, Akira Fukuda, Tomoki Murakami, Shinya Otsuki
Initial Attempt on Outdoor Human Detection using IEEE 802.11ac WLAN Signal. SAS (2019)
Shigemi Ishida, Masato Uchino, Chengyu Li, Shigeaki Tagashira, Akira Fukuda
Design of Acoustic Vehicle Detector with Steady-Noise Suppression. ITSC (2019)
Fumiya Tanaka, Kenji Hisazumi, Akira Fukuda
DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling. MODELSWARD (2019)
Ryo Takahashi, Shigemi Ishida, Akira Fukuda, Tomoki Murakami, Shinya Otsuki
DNN-based Outdoor NLOS Human Detection Using IEEE 802.11ac WLAN Signal. IEEE SENSORS (2019)
Yusuke Sato, Saneyasu Yamaguchi, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi
User's Height Estimation based on Acceleration from Smartphone Sensors. ICCE-TW (2019)
Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. DSA (2019)
Tsubasa Murakami, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi
BET Estimation on Power Saving by Intermittent Disabling Network Interface on Android. J. Inf. Process. 27 (2019)
Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda
Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. TASE (2019)
Zhen Wang, Kai Li, Yan Hu, Akira Fukuda, Weiqiang Kong
Multilevel Permission Extraction in Android Applications for Malware Detection. CITS (2019)
Zizheng Zhang, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
Danger-Pose Detection System Using Commodity Wi-Fi for Bathroom Monitoring. Sensors 19 (4) (2019)
Go Hirakawa, Daisuke Ikeda, Kenji Hisazumi, Akira Fukuda
Development of the Food Culture Database System using Kataribe Cloud to Support Open Science. IIAI-AAI (2019)
Ryota Kimoto, Shigemi Ishida, Takahiro Yamamoto, Shigeaki Tagashira, Akira Fukuda
MuCHLoc: Indoor ZigBee Localization System Utilizing Inter-Channel Characteristics. Sensors 19 (7) (2019)
Masuda Begum Sampa, Md. Nazmul Hossain, Md. Rakibul Hoque, Rafiqul Islam Maruf, Fumihiko Yokota, Mariko Nishikitani, Akira Fukuda, Ashir Ahmed
A Framework of Longitudinal Study to Understand Determinants of Actual Use of the Portable Health Clinic System. HCI (22) (2019)
Hua Chen, Antoine Trouvé, Kazuaki J. Murakami, Akira Fukuda
Semantic image retrieval for complex queries using a knowledge parser. Multim. Tools Appl. 77 (9) (2018)
Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. IIAI-AAI (2018)
Shigemi Ishida, Sou Takaki, Takahiro Yamamoto, Shigeaki Tagashira, Akira Fukuda
Evaluation of BLE Separate Channel Fingerprinting in Practical Environment. IIAI-AAI (2018)
Ryota Kimoto, Takahiro Yamamoto, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
Evaluation of MultiZigLoc: Indoor ZigBee Localization System Using Inter-Channel Characteristics. ICMU (2018)
Guoqiang Li, Li Liu, Akira Fukuda
Asynchronous multi-process timed automata. Softw. Qual. J. 26 (3) (2018)
Israel Mendonça, Antoine Trouvé, Akira Fukuda, Kazuaki J. Murakami
Exploring a Topical Representation of Documents for Recommendation Systems. iCAST (2018)
Shigemi Ishida, Jumpei Kajimura, Masato Uchino, Shigeaki Tagashira, Akira Fukuda
SAVeD: Acoustic Vehicle Detector with Speed Estimation capable of Sequential Vehicle Detection. ITSC (2018)
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda
Analysis of Interrupt Behavior Based on Probabilistic Model Checking. IIAI-AAI (2018)
Tsuneo Nakanishi, Kenji Hisazumi, Takahiro Ando, Tsunenori Mine, Akira Fukuda
Software Engineering Practices for the Smart Mobility Market. IIAI-AAI (2018)
Congcong Ye, Guoqiang Li, Hongming Cai, Yonggen Gu, Akira Fukuda
Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting. DSA (2018)
Takahiro Ando, Ryo Fujii, Kenji Hisazumi, Tsunenori Mine, Tsuneo Nakanishi, Akira Fukuda
Overview and Application Examples of Agent-Based Unified Simulation Environment. IIAI-AAI (2018)
Kazuhiro Kikuma, Takeshi Yamada, Kiyoshi Ueda, Akira Fukuda
Automatic Test Case Generation Method for Large Scale Communication Node Software. EIDWT (2018)
Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
Teaching software product lines as a paradigm to engineers: an experience report in education programs and seminars for senior engineers in Japan. SPLC (2) (2018)
Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda
A Survey of Formal Techniques for Hardware/Software Co-verification. IIAI-AAI (2018)
Tsunenori Mine, Shiro Mise, Hiroyuki Nakamura, Takuya Hiraoki, Shiori Koga, Takahiro Ando, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility. IIAI-AAI (2018)
Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
Verification Model Translation Method toward Behavior Model for CAST. DSA (2018)
Hiromasa Inoki, Kenji Hisazumi, Takahiro Ando, Akira Fukuda, Tsuneo Nakanishi
A Process of Uncertainty Handling Method to Smart Mobility Application Development. IIAI-AAI (2018)
Hua Chen, Antoine Trouvé, Kazuaki J. Murakami, Akira Fukuda
An intelligent annotation-based image retrieval system based on RDF descriptions. Comput. Electr. Eng. 58 (2017)
Baso Habibi, Tsuneo Nakanishi, Kenji Hisazumi, Hiroki Furusho, Akira Fukuda
Using Fault Injection for Programming Task Generation. ICL (2) (2017)
Takahiro Yamamoto, Shigemi Ishida, Kousaku Izumi, Shigeaki Tagashira, Akira Fukuda
Accuracy improvement in sensor localization system utilizing heterogeneous wireless technologies. ICMU (2017)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. J. Inf. Secur. Appl. 31 (2016)
Shigemi Ishida, Yosuke Kunihiro, Kousaku Izumi, Shigeaki Tagashira, Akira Fukuda
Design of WiFi-AP operating channel estimation scheme for sensor node. ICMU (2016)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. ICA (2016)
Shota Ishibashi, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture. IIAI-AAI (2016)
Kenji Hisazumi, Tsuneo Nakanishi, Shota Ishibashi, Go Hirakawa, Tsunenori Mine, Takahiro Ando, Hiroki Furusho, Akira Fukuda
Operation Phase Metrics for Smart Mobility Platform. ICA (2016)
Ryoya Wada, Shigeaki Tagashira, Masaki Ogino, Shigemi Ishida, Akira Fukuda
A Footprint Matching Method for Walking Users in Privacy-Aware User Tracking System Using Pressure Sensor Sheets. ICA (2016)
Tsuneo Nakanishi, Hiroki Furusho, Kenji Hisazumi, Akira Fukuda
Dynamic SPL and Derivative Development with Uncertainty Management for DevOps. IIAI-AAI (2016)
Takeshi Kamiyama, Kenji Hisazumi, Hiroshi Inamura, Teppei Konishi, Ken Ohta, Akira Fukuda
Smartphone Usage Analysis Based on Actual-Use Survey. MobiCASE (2016)
Shigemi Ishida, Yoko Takashima, Shigeaki Tagashira, Akira Fukuda
Proposal of Separate Channel Fingerprinting Using Bluetooth Low Energy. IIAI-AAI (2016)
Hazriani, Tsuneo Nakanishi, Akira Fukuda
Introducing the case grammar concept to object-oriented movie context description. TALE (2016)
Nuren Abedin, Jecinta Kamau, Hironobu Kitaoka, Hiroshi Okajima, Masaharu Okada, Akira Fukuda, Ashir Ahmed
Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh. SMC (2016)
Jumpei Kajimura, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
Design of Distributed Calculation Scheme Using Network Address Translation for Ad-hoc Wireless Positioning Network. ISIP (2016)
Ryoya Wada, Shigeaki Tagashira, Masaki Ogino, Shigemi Ishida, Akira Fukuda
A Privacy-Aware User Tracking System Using Footprint Data Measured across Multiple Pressure Sensor Sheets. IIAI-AAI (2016)
Akira Fukuda, Kenji Hisazumi, Shigemi Ishida, Tsunenori Mine, Tsuneo Nakanishi, Hiroki Furusho, Shigeaki Tagashira, Yutaka Arakawa, Kunihiko Kaneko, Weiqiang Kong
Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview. IIAI-AAI (2016)
Shigemi Ishida, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
On-demand Indoor Location-Based Service Using Ad-hoc Wireless Positioning Network. HPCC/CSS/ICESS (2015)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. Comput. J. 58 (11) (2015)
Shigemi Ishida, Kousaku Izumi, Shigeaki Tagashira, Akira Fukuda
WiFi AP-RSS Monitoring Using Sensor Nodes toward Anchor-Free Sensor Localization. VTC Fall (2015)
Kousaku Izumi, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
Design of WiFi AP-RSS Monitoring System Using Sensor Nodes. CANDAR (2015)
Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
AP-assisted CTS-blocking for WiFi-ZigBee Coexistence. CANDAR (2015)
Shigemi Ishida, Koki Tomishige, Akira Izumi, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
Implementation of On-Demand Indoor Location-Based Service Using Ad Hoc Wireless Positioning Network. UIC/ATC/ScalCom (2014)
Hazriani, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
Movie Based Context-Aware Language Learning: Its Concept and System. T4E (2014)
Yutaka Arakawa, Yuki Sonoda, Koki Tomoshige, Shigeaki Tagashira, Akira Fukuda
Implementation of WiFi/Bluetooth-based Smart Narrow Field Communication. ICMU (2014)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Translation rules of SysML state machine diagrams into CSP# toward formal model checking. Int. J. Web Inf. Syst. 10 (2) (2014)
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
A formal semantics of extended hierarchical state transition matrices using CSP#. Formal Aspects Comput. 26 (5) (2014)
Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks. J. Inf. Process. 21 (2) (2013)
Kazuki Fukuoka, Noriaki Maeda, Koji Nii, Masaki Fujigaya, Noriaki Sakamoto, Takao Koike, Takahiro Irita, Kohei Wakahara, Tsugio Matsuyama, Keiji Hasegawa, Toshiharu Saito, Akira Fukuda, Kaname Teranishi, Takeshi Kataoka, Toshihiro Hattori
Power-Management Features of R-Mobile U2, an Integrated Application Processor and Baseband Processor. IEEE Micro 33 (6) (2013)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. APSEC (1) (2013)
Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
mockSensor: faking remote sensors as embedded sensors for a functional enhancement of Android. SenSys (2013)
Ryosuke Kubota, Shigeaki Tagashira, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda
Efficient Survey Database Construction Using Location Fingerprinting Interpolation. AINA (2013)
Masaki Fujigaya, Noriaki Sakamoto, Takao Koike, Takahiro Irita, Kohei Wakahara, Tsugio Matsuyama, Keiji Hasegawa, Toshiharu Saito, Akira Fukuda, Kaname Teranishi, Kazuki Fukuoka, Noriaki Maeda, Koji Nii, Takeshi Kataoka, Toshihiro Hattori
A 28nm High-κ metal-gate single-chip communications processor with 1.5GHz dual-core application processor and LTE/HSPA+-capable baseband processor. ISSCC (2013)
Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks. Inf. Media Technol. 8 (2) (2013)
Tatsuhiko Nakano, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda, Riadh Dhaou
Proposal and Implementation of Encounter Data Transmission with Ultrasonic Sensor-Based Active Wakeup Mechanism for Energy Efficient Sparse Wireless Sensor Network. AINA Workshops (2013)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Formalization and Model Checking of SysML State Machine Diagrams by CSP#. ICCSA (3) (2013)
Naoki Miwa, Shigeaki Tagashira, Hiroaki Matsuda, Takanori Tsutsui, Yutaka Arakawa, Akira Fukuda
A Multilateration-based Localization Scheme for Adhoc Wireless Positioning Networks Used in Information-oriented Construction. AINA (2013)
Seiko Akayama, Kenji Hisazumi, Syuhei Hiya, Akira Fukuda
Using Model-Driven Development Tools for Object-Oriented Modeling Education. EduSymp@MoDELS (2013)
Shuhei Hiya, Kenji Hisazumi, Akira Fukuda, Tsuneo Nakanishi
clooca : Web based tool for Domain Specific Modeling. MoDELS (Demos/Posters/StudentResearch) (2013)
Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops (2013)
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Hiroki Furusho, Kenji Hisazumi, Takeshi Kamiyama, Hiroshi Inamura, Tsuneo Nakanishi, Akira Fukuda
Poster: an energy profiler for android applications used in the real world. MobiSys (2012)
Yutaka Arakawa, Yuki Sonoda, Shigeaki Tagashira, Akira Fukuda
WiFiTag: Direct Link from the Real World to Online Digital Contents. 3PGCIC (2012)
Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
A Mobile Sink-initiated Proactive Routing Protocol for Deadline-Aware Data Aggregation Method in Energy-Efficient Wireless Sensor Networks. ARCS Workshops (2012)
Shota Ishikawa, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
Hot Topic Detection in Local Areas Using Twitter and Wikipedia. ARCS Workshops (2012)
Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, Akira Fukuda
Using the GPGPU for scaling up Mining Software Repositories. ICSE (2012)
Eiji Aoki, Ken Kudo, Akira Fukuda, Tsuneo Nakanishi, Shigeaki Tagashira, Takashi Okayasu, Naoyuki Tsuruda, Satoru Yamasaki, Yasuhito Imura
Study on Knowledge Management Platform about the Field of Agricultural Infomatization. CISIS (2012)
Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda
On Accelerating SMT-based Bounded Model Checking of HSTM Designs. APSEC (2012)
Yutaka Arakawa, Yuta Tanaka, Shigeaki Tagashira, Akira Fukuda
Local Cloud Storage: Temporal Local File Sharing with Previously Paired Wireless Memories and Cross-Layer Simultaneous Data Transmission Mechanism. CIT (2012)
Ming Li, Long Han, Weiqiang Kong, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems. IPIN (2012)
Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda
QORAL: An External Domain-Specific Language for Mining Software Repositories. IWESEP (2012)
Tomohiro Iwamoto, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
A Robust Generation Technique of Common Information Based on Characteristic of Multipath Fading Channel by Shaking Handheld Devices. ARCS Workshops (2012)
Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda
Formal Verification of Communicating HSTM Designs. CIT (2012)
Tadashi Nagano, Yoshifumi Sakamoto, Satoshi Haraguchi, Hironori Takeuchi, Shiho Ogino, Akira Fukuda
Critiquing Rules and Quality Quantification of Development-Related Documents. IWSM/Mensura (2011)
Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops (2011)

Akira Fukuda.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Akira Fukuda