Kyushu University Academic Staff Educational and Research Activities Database
List of Papers
Akira Fukuda Last modified date:2018.06.05

Professor / Advanced Software Engineering / Department of Advanced Information Technology / Faculty of Information Science and Electrical Engineering


Papers
1. Kazuhiro Kikuma, Takeshi Yamada, Kiyoshi Ueda,and Akira Fukuda, Kazuhiro Kikuma, Takeshi Yamada, Kiyoshi Ueda,and Akira Fukuda :Automatic Test Case Generation Method for Large Scale Communication Node Software,Proc.EIDWT-2018 (Int. Conf. Emerging Internet, Data and Web Technologies (EIDWT-2018)), 2018.3.15-17, Polytechnic University of Tirana, Tirana, Albania., 2018.03.
2. Tanaka Fumiya,Hisazumi Kenji,Ishida Shigemi,and Akira Fukuda, Tanaka Fumiya,Hisazumi Kenji,Ishida Shigemi,and Akira Fukuda: A Methodology to Develop Energy Adaptive Software Using Model-Driven Development, Proc.the IEEE TENCON 2017, pp.769-774, 2017.11.5-8,Penang, Malaysia., 2017.11.
3. Nuren Abedin, Jecinta Kamau, Mohammad Ismail Hossain, Kazi Rafiqul Islam, Akira Fukuda, and Mr. Ashir Ahmed, Nuren Abedin, Jecinta Kamau, Mohammad Ismail Hossain, Kazi Rafiqul Islam, Akira Fukuda, and Mr. Ashir Ahmed:A Case Study to Design a Mobility as a Service Model for Urban Female Corporates to Improve their Work Performance, Proc. the IEEE TENCON 2017, pp.1445-1450,2017.11.5-8,Penang, Malaysia., 2017.11.
4. Mehdi Hasan, Fumihiko Yokota, Rafiqul Maruf, Akira Fukuda, and Ashir Ahmed, Mehdi Hasan, Fumihiko Yokota, Rafiqul Maruf, Akira Fukuda, and Ashir Ahmed:Errors in Remote Healthcare System: Where, How and by Whom,Proc.the IEEE TENCON 2017, pp170-175,2017.11.5-8,Penang, Malaysia., 2017.11.
5. Tanvir Khan, Kazi Hossein, Rafiqul Maruf, Akira Fukuda,and Ashir Ahmed, Tanvir Khan, Kazi Hossein, Rafiqul Maruf, Akira Fukuda,and Ashir Ahmed:Measurement of Illness and Wellness Score of Non-Communicable Disease Patients, Proc.the IEEE TENCON 2017, pp. 2253-2257, 2017.11.5-8,Penang, Malaysia., 2017.11.
6. Shimura, Rajib Chakraborty, Hiroshi Okajima, Akira Fukuda, and Ashir Ahmed, Shimura, Rajib Chakraborty, Hiroshi Okajima, Akira Fukuda, and Ashir Ahmed:Medication alert system for affluent urban ageing community to reduce morbidity,the Social Business Academia Conference 2017(SBAC2017), 2017.11.8-9,Paris, France., 2017.11.
7. Hironobu Kitaoka, Nuren Abedin, Muhammad Ismail Hossain, Kazi Rafiqul Islam, Hiroshi Okajima, Akira Fukuda, and Ashir Ahmed, Hironobu Kitaoka, Nuren Abedin, Muhammad Ismail Hossain, Kazi Rafiqul Islam, Hiroshi Okajima, Akira Fukuda, and Ashir Ahmed:Concept of a Car Sharing Model for Urban Female Corporates to Improve Safety on Road and Productivity at Work, the Social Business Academia Conference 2017(SBAC 2017), 2017.11.8-9,Paris, France., 2017.11.
8. Hua Chen, Antoine Trouve, Kazuaki J. Murakami and Akira Fukuda, Hua Chen, Antoine Trouve, Kazuaki J. Murakami and Akira Fukuda:A Concise Conversion Model for Improving the RDF Expression of ConceptNet Knowledge Base,Proc. The 2nd Int. Symp. on Artificial Intelligence and Robotics 2017 (ISAIR 2017), pp.503-510, 2017.11.25-26. Kitakyushu, JAPAN., 2017.11.
9. Kazuo Kubo, Chengyu Li, Shigemi Ishida, Shieaki Tagashira, and Akira Fukida, Kazuo Kubo, Chengyu Li, Shigemi Ishida, Shieaki Tagashira, and Akira Fukida:Proposal of Low Power Vehicle Detection System utilizing a Wake-up Mechanism, Indonesia-Japan Joint Workshop on Ambient Intelligence and Sensor Networks, 2017.11.29-12.1, Jakarta, Indonesia, 2017.11.
10. Koji Sato, Shigemi Ishida, Jumpei Kajimura, Masato Uchino, Shigeaki Tagashira, and Akira Fukuda, Koji Sato, Shigemi Ishida, Jumpei Kajimura, Masato Uchino, Shigeaki Tagashira, and Akira Fukuda:The Proposal of Train and Vehicle Detection System,Indonesia-Japan Joint Workshop on Ambient Intelligence and Sensor Networks,2017.11.29-12.1, Jakarta, Indonesia, 2017.11.
11. Kazi Mozaher Hossein,Mariko Nishikitani,Hironobu Kitaoka,Akira Fukuda,and Ashir Ahmed, Kazi Mozaher Hossein,Mariko Nishikitani,Hironobu Kitaoka,Akira Fukuda,and Ashir Ahmed:Factors Associated to Online Shopping at the BoP Community in Rural Bangladesh,(IJACSA) International Journal of Advanced Computer Science and Applications, Vol. 8, No. 10, pp.46-51, 2017., 2017.10.
12. Takahiro Yamamoto,Shigemi Ishida,Kousaku Izumi,Shigeaki Tagashira,and Akira Fukuda, Takahiro Yamamoto,Shigemi Ishida,Kousaku Izumi,Shigeaki Tagashira,and Akira Fukuda: Accuracy Improvement in Sensor Localization System utilizing Heterogeneous Wireless Technologies,Proc. the Tenth Int. Conf. on Mobile Computing and Ubiquitous Networking(ICMU 2017),pp.26-31, 2017.10.3-5, Toyama, Japan., 2017.10.
13. Hua Chen, Antoine Trouve, K. J. Murakami, and Akira Fukuda, Hua Chen, Antoine Trouve, K. J. Murakami, and Akira Fukuda:An Introduction to Question Answering with ConceptRDF,Proc. the 2nd IEEE Int. Conf. on Computational Intelligence and Applications(ICCIA 2017) ,pp.537-541,2017.9.8-10,Beijing, China., 2017.09.
14. Baso Habibi, Tsuneo Nakanishi, and Akira Fukuda, Baso Habibi, Tsuneo Nakanishi, and Akira Fukuda:Using Fault Injection for Programming Task Generation, Proc. ITeaching and Learning in a Digital World(ICL2017),pp.757–764,2017.9.27-29, Budapest, Hungary., 2017.09.
15. Yuki Ishikawa, Kenji Hisazumi, and Akira Fukuda, Yuki Ishikawa, Kenji Hisazumi, and Akira Fukuda: An Automated Input Generation Method for Crawling of Web Applications, Proc. the 15th Int. Conf. on Software Engineering Research and Practice(SERP’17), pp.81-87,2017.7.17-20, Las Vegas, USA., 2017.07.
16. Ryo Fujii, Takahiro Ando, Kenji Hisazimi, Tsunenori Mine,Tsuneo Nakanishi, and Akira Fukuda, Ryo Fujii, Takahiro Ando, Kenji Hisazimi, Tsunenori Mine,Tsuneo Nakanishi, and Akira Fukuda:Development of Support Environment Towards Traffic Simulation for ITS Services,Proc. the 15th Int. Conf. on Software Engineering Research and Practice(SERP’17), pp. 98-103,2017.7.17-20, Las Vegas, USA., 2017.07.
17. Bo Wang,Takahiro Ando,Kenji Hisazumi,Weiqiang Kong,Akira Fukuda,Yasutaka Michiura,Keita Sakemi,and Michihiro Matsumoto, Bo Wang,Takahiro Ando,Kenji Hisazumi,Weiqiang Kong,Akira Fukuda,Yasutaka Michiura,Keita Sakemi,and Michihiro Matsumoto: Simple Promela Verification Model Translation Method based on Relative SysML State Machine Diagrams, Proc. the 15th Int. Conf. on Software Engineering Research and Practice(SERP’17), pp. 45-50,2017.7.17-20, Las Vegas, USA., 2017.07.
18. Hua Chen,Antoine Trouve,Kazuaki J.Murakami,and Akira Fukuda, Hua Chen,Antoine Trouve,Kazuaki J.Murakami,and Akira Fukuda: Semantic image retrieval for complex queries using a knowledge parser,Int. J of Multimedia Tools and Applications – pp.1-19, Springer, 2017.6., 2017.06.
19. Ikuta Tanigawa, Kenji Hisazumi, Nobuhiko Ogura, Harumi Watanabe, and Akira Fukuda, Ikuta Tanigawa, Kenji Hisazumi, Nobuhiko Ogura, Harumi Watanabe, and Akira Fukuda: IoT Robot Simulator and Framework for Context-Oriented Programming,Proc. 9th Int. Workshop on Context-Oriented Programming (COP 2017),6pages, 2017.6.18-22, Barcelona, Spain., 2017.06.
20. Yuta Saeki, Ikuta Tanigawa, Kenji Hisazumi and Akira Fukuda, Yuta Saeki, Ikuta Tanigawa, Kenji Hisazumi and Akira Fukuda: ContextROS: Context-Oriented Programming for the Robot Operating System,Proc. 9th Int. Workshop on Context-Oriented Programming (COP 2017),2017.6.18-22, Barcelona, Spain, 2017.06.
21. Guoqiang Li, Li Liu, and Akira Fukuda, Guoqiang Li, Li Liu, and Akira Fukuda: Asynchronous Multi-Process Timed Automata, Software Quality Journal, Springer, pp.1-29,2017.6, DOI 10.1007/s11219-017-9380-8, http://dx.doi.org/10.1007/s11219-017-9380-8, 2017.05.
22. Ikuta Tanigawa, Harumi Watanabe, Nobuhiko Ogura, Kenji Hisazumi and Akira Fukuda, Ikuta Tanigawa, Harumi Watanabe, Nobuhiko Ogura, Kenji Hisazumi and Akira Fukuda: IoT Robot Simulator for Context-Sensitive and Live-Adaptive Software Developments, Proc. the Live Adaptation of Software SYstems (LASSY 2017) workshop, 2017.4.3-6. Brussels, Belgium., 2017.04.
23. Shigemi Ishida,Kousaku Izumi,Takahiro Yamamoto,Shigeaki Tagashira,and Akira Fukuda, Shigemi Ishida,Kousaku Izumi,Takahiro Yamamoto,Shigeaki Tagashira,and Akira Fukuda:Initial Evaluation of ZigLoc: Anchor-Free Sensor Localization System using WiFi Fingerprints,Proc. ACM HotMobile 2017.2.21-22., 2017.02.
24. 福田 晃, Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, and Akira Fukuda. Garakabu2: an SMT-based Bounded Model Checker for HSTM Designs in ZIPC. Journal of Information Security and Application, Vol.31, pp.61–74, Elsevier, December 2016., 2016.12.
25. 福田 晃, Takeshi Kamiyama,Teppei Konishi,Kenji Hisazumi,Ken Ohta,Hiroshi Inamura,and Akira Fukuda:Smartphone Usage Analysis Based on Actual-Use Survey,Proc. the 8th EAI Int. Conf. on Mobile Computing, Applications and Services(MobiCASE'16). 9 pages, 2016.11-30.12.1,Cambridge, Great Britain., 2016.12.
26. 福田 晃, Hazriani, Tsuneo Nakanishi, and Akira Fukuda, "Introducing the Case Grammar Concept to Object-Oriented Movie Context Description," Proc. IEEE Int. Conf. on Teaching, Assessment, and Learning for Engineering (TALE 2016), pp.261-265, Bangkok, Thailand, 2016.12.8., 2016.12.
27. 福田 晃, Go Hirakawa, Kenji Hisazumi, Ryoichi Nagatsuji, Tsuneo Nakanishi, and Akira Fukuda:A traceability tool for model-based development dealing with uncertainties, International Journal of Advances in Software Engineering & Research Methodology, Volume 3 : Issue 2 [ISSN 2374-1619], pp.4-8,Publication Date : 30 December, 2016., 3, 2, 2016.12.
28. 福田 晃, Harumi Watanabe, Ikuta Tanigawa, Nobuhiko Ogura, Midori Sugaya, Kenji Hisazumi, and Akira Fukuda:Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software,META 2016 Workshop on Meta-Programming Techniques and Reflection(META 2016)(META 2016 with SPLASH 2016),2026.10.30-11.4, Amsterdam, Netherlands., 2016.11.
29. 福田 晃, Jumpei Kajimura,Shigemi Ishida,Shigeaki Tagashira,and Akira Fukuda:Design of Distributed Calculation Scheme using Network Address Translation for Ad-hoc Wireless Positioning Network,Proc. the 11th Int. Workshop on Information Search, Integration, and Personalization (ISIP 2016),2016.11.3-4, Lyon, France. , 2016.11.
30. 福田 晃, Hazriani Hazriani, Tsuneo Nakanishi, and Akira Fukuda: Architecture, Textual Context Description, and Quiz Generation Scheme for the Movie Based Context-Aware Learning System, Proc. IEEE TENCON 2016, pp.2412-2415, 2016.11.22-25, Singapore., 2016.11.
31. 福田 晃, Ryusuke Yoshimoto,Tomonori Kadono,Kenji Hisazumi,and Akira Fukuda:A Software Energy Analysis Method Using ExecutableUML,Proc. IEEE TENCON 2016, pp.218-221, 2016.11-22-25, Singapore., 2016.11.
32. 福田 晃, Hua Chen, Antoine Trouveb, Kazuaki Murakami, and Akira Fukuda:An intelligent annotation-based image retrieval system based on RDF descriptions,Int. Journal of Computers & Electrical Engineering,Vol.56,Elsevier,2016.10., 2016.10.
33. 福田 晃, Go Hirakawa, Kenji Hisazumi, Ryoichi Nagatsuji, Tsuneo Nakanishi, and Akira Fukuda:A traceability tool for model-based development dealing with uncertainties, International Journal of Advances in Software Engineering & Research Methodology, Volume 3 : Issue 2 [ISSN 2374-1619], Publication Date : 30 December, 2016., 2016.10.
34. 福田 晃, Shigemi Ishida,Yosuke Kunihiro,Kousaku Izumi,Shigeaki Tagashira, and Akira Fukuda:Design of WiFi-AP Operating Channel Estimation Scheme for Sensor Node,Proc. 2016 Ninth Int. Conf. on Mobile Computing and Ubiquitous Networking (ICMU 2016),pp.???-???, 2016.10.4-6, DFKI Kaiserslautern, Kaiserslautern, Germany(Best Paper Award)., 2016.10.
35. 福田 晃, Nuren Abedin, Jacinta Kamau, Hironobu Kitaoka, Hiroshi Okajima, Akira Fukuda, and Ashir Ahmed:Providing Safe and Affordable Transportation to Reduce Female Student Dropout: A Case Study on College Girls in Rural Bangladesh,IEEE SMC 2016, 2016.10.9-12, Budapest, Hungary., 2016.10.
36. 福田 晃, R.Wada,S.Tagashira,M.Ogino,S.Ishida,and A.Fukuda: A Footprint Matching Method for Walking Users in Privacy-aware User Tracking System Using Pressure Sensor Sheets,Proc. IEEE Int. Conf. on Agents (IEEE ICA 2016),Workshop of Sustainable Smart Mobility Platform (SSMP),2016.9.28-30,Shimane,Matsue,Japan., 2016.09.
37. 福田 晃, Kenji Hisazumi,Tsuneo Nakanishi,Shota Ishibashi,Go Hirakawa,Tsunenori Mine,Takahiro Ando,Hiroki Furusho,and Akira Fukuda: Operation Phase Metrics for Smart Mobility Platform,Proc. IEEE Int. Conf. on Agents (IEEE ICA 2016),Workshop of Sustainable Smart Mobility Platform (SSMP),2016.9.28-30,Shimane,Matsue,Japan., 2016.09.
38. 福田 晃, Weiqiang Kong,Gang Hou,Xiangpei Hu,Yasuhito Arimoto,Masahiko Watanabe,Takahiro Ando,Kenji Hisazumi,and Akira Fukuda:ZipPath: A Simple-but-Useful Path Finder for HSTM Designs in ZIPC,Proc. IEEE Int. Conf. on Agents (IEEE ICA 2016),Workshop of Sustainable Smart Mobility Platform (SSMP), 2016.9.28-30,Shimane,Matsue,Japan., 2016.09.
39. 福田 晃, Go Hirakawa, Kenji Hisazumi, Ryoichi Nagatsuji, Tsuneo Nakanishi, and Akira Fukuda:A Traceability Tool for Model-based Development Dealing with Uncertainties,Proc. the 4th Int. Conf. on Advances in Information Processing and Communication Technology(IPCT2016), pp.???-???, 2016.8-18-19, Rome, Italy., 2016.08.
40. 福田 晃, Hazriani, Tsuneo Nakanishi, Kenji Hisazumi, and Akira Fukuda: Implementation of the Movie based Context Aware Learning System for Language Learning, Conference: Proc. the 8th Annual Int.Conf.on Education and New Learning Technologies EDULEARN16,2016.7-4-6,Barcelona (Spain) :, 2016.07.
41. 福田 晃, Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Shigeaki Tagashira, Yutaka Arakawa, Shigemi Ishida, Tsunenori Mine, Kunihiko Kaneko, Hiroki Furusho, and Weiqiang Kong:Towards Sustainable Information Infrastructure Platform for Smart Mobility -Project Overview-,Proc. the 5th IIAI Int. Congress on Advanced Applied Informatics(IIAI AAI 2016), Special Session ESKM, pp.211-214, 2016.7-10-13, Kumamoto, Japan., 2016.07.
42. 福田 晃, Shigemi Ishida, Yoko Takashima, Shigeaki Tagashira, and Akira Fukuda:Proposal of Separate Channel Fingerprinting Using Bluetooth Low Energy, Proc. the 5th IIAI Int. Congress on Advanced Applied Informatics(IIAI AAI 2016), Special Session ESKM, pp.230-233, 2016.7-10-13, Kumamoto, Japan.(The Honorable Mention Award), 2016.07.
43. 福田 晃, Shota Ishibashi,Kenji Hisazumi,Tsuneo Nakanishi,and Akira Fukuda: Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture,Proc. the 5th IIAI Int. Congress on Advanced Applied Informatics(IIAI AAI 2016), Special Session ESKM, pp.234-239, 2016.7.10-13, Kumamoto, Japan., 2016.07.
44. 福田 晃, Tsuneo Nakanishi,Hiroki Furusho,Kenji Hisazumi,and Akira Fukuda: Dynamic SPL and Derivative Development with Uncertainty Management for DevOps, Proc. the 5th IIAI Int. Congress on Advanced Applied Informatics(IIAI AAI 2016), Special Session ESKM, pp.244-249, 2016.7.10-13, Kumamoto, Japan., 2016.07.
45. 福田 晃, Takahiro Ando,Yuya Miyamoto,Hirokazu Yatsu,Kenji Hisazumi,Weiqiang Kong, Akira Fukuda,Yasutaka Michiura,Keita Sakemi,and Michihiro Matsumoto:Translation Method for SysML State Machine Diagram into Simple SPIN Model,Proc.the 14th International Conference on Software Engineering Research and Practice(SERP'16),pp.64-68,2016,.7-25-28, Las Vegas, USA., 2016.07.
46. 福田 晃, Shigemi Ishida, Kohei Mimura, Song Liu, Shigeaki Tagashira, and Akira Fukuda: Design of Simple Vehicle Counter using Sidewalk Microphones, ITS European Congress, 10 pages,2016年6月6日〜6月9日, Glasgow, Scotland., 2016.06.
47. 福田 晃, Baso Habibi, Tsuneo Nakanishi, and Akira Fukuda: Student's Programming Activity Monitoring System to Help Instrutors of the Programming Exercise,IEEE Region 10 Symposium (TENSYMP) ,pp.89-94,2016.5.9-11, 2016 Bali island, Indonesia., 2016.05.
48. Akira Fukuda, Guanqun Wang, Tsuneo Nakanishi, and Akira Fukuda:2-D Layout for Tree Visualizaiton: a survey,Proc. 2016 8th Int. Conf. on Computer and Automation Engineering (ICCAE 2016), Melbourne, Australia during March 3-4, 2016(Accepted), 2016.03.
49. Akira Fukuda, Kousaku Izumi, Shigemi Ishida,Shigeaki Tagashira,and Akira Fukuda:Design of WiFi AP-RSS Monitoring System using Sensor Nodes,Proc. the Third Int. Symp. on Computing and Networking (CANDAR'15),pp.115-121,2015年12月8日〜12月11日, Sapporo, Japan., 2015.12.
50. Akira Fukuda, Shigemi Ishida,Shigeaki Tagashira,and Akira Fukuda:AP-Assisted CTS-Blocking for WiFi-ZigBee Coexistence,Proc. the Third Int. Symp. on Computing and Networking (CANDAR),pp.110-114, 2015年12月8日〜12月11日, Sapporo, Japan., 2015.12.
51. Akira Fukuda, Kenji Hisazumi,Tomotaka Yamasaki,and Akira Fukuda: Toward Impact Analysis for Uncertain Software Project, Proc. IEEE Int. Conf. TENCON 2015, 2pages Nov. 1-4, Macau, 2015., 2015.11.
52. Akira Fukuda, Kazuki Hatayama,Kenji Hisazumi,Kana Yoshise,Shigemi Ishida,and Akira Fukuda:Design of GUI-Component Energy Profiler for Android Applications,Proc. IEEE Int. Conf. TENCON 2015, 4 pages Nov. 1-4, Macau, 2015., 2015.11.
53. Akira Fukuda, Takahiro Ando,Hirokazu Yatsu,Kenji Hisazumi,Akira Fukuda,and Michihiro Matsumoto:Reference Model of Specifications toward Independent Verification and Validation,Proc. IEEE Int. Conf. TENCON 2015, 3pages, Nov. 1-4, Macau, 2015., 2015.11.
54. Akira Fukuda, Guanqun Wang,Tsuneo Nakanishi,and Akira Fukuda:Time-Varing Shortest Path Algorithm with Transit Time Tuning for Parking Lot Navigation,Proc. IEEE Int. Conf. TENCON 2015, 6pages, Nov. 1-4, Macau, 2015., 2015.11.
55. Akira Fukuda, Weiqiang Kong, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, and Akira Fukuda. Garakabu2: an SMT-based Bounded Model Checker for HSTM Designs in ZIPC. Pro. the 2nd IEEE Int. Symp. on Dependable Computing and Internet of Things(DCIT 2015), pp.21-29, IEEE CS, 2015. 中国・武漢,日時:2015年11月16日(月)-18日(水), 2015.11.
56. Akira Fukuda, Weiqiang Kong,Leyuan Liu,Takahiro Ando,Hirokazu Yatsu,Kenji Hisazumi, and Akira Fukuda:Facilitating Multicore Bounded ModelChecking with Stateless Explicit-State Exploration,The Computer Journal, Vol.58, No.11, pp.2824-2840, Oxford University Press,, Online First (doi: 10.1093/comjnl/bxu127), 2015.11, 2015.11.
57. Akira Fukuda, Asifur Rahman and Akira Fukuda:User Interface Design of the e-Learning System for Functionally Illiterate People,International Journal of Advanced Computer Science and Applications (IJACSA),Vol.6, No.11, pp.126-134, 2015.11, 2015.11.
58. Akira Fukuda, Shigemi Ishida, Kousaku Izumi, Shigeaki Tagashira, and Akira Fukuda: WiFi AP-RSS Monitoring using Sensor Nodes toward Anchor-Free Sensor Localization, Proc. 2015 IEEE 82nd Vehicular Technology Conference: VTC2015-Fall, pp.1-5, 6–9 September 2015, Boston, USA., 2015.09.
59. Akira Fukuda, Ashir Ahmed,Takuzo Osugi,Kazi Mozaher Hossein,Akira Fukuda,Md. Asifur Rahman,and Hiroto Yasuura:Expansion of eCommerce Coverage to Unreached Community by using Micro-Finance Infrastructure,International Journal of Advanced Computer Science and Applications (IJACSA),Vol.6, No.9, Digital Object Identifier (DOI) : 10.14569/IJACSA.2015.060904,2015.09, 2015.09.
60. Akira Fukuda, Md. Nazmul Hossain, Kazi Mozaher Hossein, Jecinta Kamau, Shibli Rubayat Ul Islam, and Akira Fukuda:Information Based Market Selection for Maximizing the Social Impact of Investment,Proc. the 2015 Int. Conf. on Information and Social Science (ISS 2015) ,Fukuoka, JAPAN, August 5-7, 2015, 2015.08.
61. Akira Fukuda, Shigemi Ishida,Shigeaki Tagashira,Yutaka Arakawa,and Akira Fukuda:On-Demand Indoor Location-based Service using Ad-Hoc Wireless Positioning Network,Proc. the 12th IEEE Int. Conf. on Embedded Software and Systems(IEEE ICESS 2015), pp.1005-1013, August 24-26, New York, USA., 2015.08.
62. Akira Fukuda, Hirokazu Yatsu, Masaru Matsunami, Toshimi Sawada, Go Hirakawa, Atsushi Noda, Naoya Obata, Takahiro Ando, Kenji Hisazumi, Weiqiang Kong, and Akira Fukuda:Support for Security Analysis of Design Models Based on Traceability,Proc. the 13th Int. Conf. on Software Engineering Research and Practice(SERP15), pp.78-83, July 27-30, 2015. Las Vegas, USA., 2015.07.
63. Akira Fukuda, Hirokazu Yatsu, Masaru Matsunami, Toshimi Sawada, Go Hirakawa, Atsushi Noda, Naoya Obata, Takahiro Ando, Kenji Hisazumi, Weiqiang Kong, and Akira Fukuda:Support for Security Analysis of Design Models Based on Traceability,Proc. the 13th Int. Conf. on Software Engineering Research and Practice(SERP15), pp.78-83, July 27-30, 2015. Las Vegas, USA., 2015.07.
64. Akira Fukuda, Hiroki Furusho, Kenji Hisazumi, Takeshi Kamiyama, Hiroshi Inamura, Shigemi Ishida, and Akira Fukuda:A Visualization Method of Inter-Module Communications for Profiling Energy Consumption of Android Applications,Proc. the 2015 Int. Conf. on Embedded Systems and Applications(ESA’15), pp.71-75, July 27-30, 2015, Las Vegas, USA., 2015.07.
65. Akira Fukuda, Seddiq Alabbasi, Andrew Rebeiro-Hargrave, Kunihiko Kaneko, Ashir Ahmed,and Akira Fukuda: Personal Health Book Application for developing countries,International Journal of Advanced Computer Science and Applications (IJACSA),Vol.6,No.2, pp.120-128,Feb., 2015, 2015.02.
66. Akira Fukuda, Akira Ito,Yutaka Arakawa,Hirohiko Suwa, and Akira Fukuda :Region-to-Region Similarity Analysis based on Foursquare Venue Database,Proc. the 16th Annual Int. Workshop on Mobile Computing Systems and Applications (ACM HotMobile 2015),12-13 February, 2015.2-12-13,Santa Fe, New Mexico, USA., 2015.02.
67. Akira Fukuda, Koki Tomishige,Shigemi Ishida,Shigeaki Tagashira,and Akira Fukuda:Toward Sensor Localization using WiFi-AP Anchors: Realtime AP-RSS Monitoring using Sensor Nodes, Proc. the 16th Annual Int. Workshop on Mobile Computing Systems and Applications (ACM HotMobile 2015),12-13 February, 2015.2-12-13,Santa Fe, New Mexico, USA., 2015.02.
68. Akira Fukuda, Hiroki Furusho,Kenji Hisazumi,Takeshi Kamiyama,Hiroshi Inamura,Tsuneo Nakanishi, and Akira Fukuda:Power Consumption Profiling Method based on Android ApplicationUsage,Proc. Int. Conf. on Information Science and Applications(ICISA2015),Information Science and Applications - Lecture Notes in Electrical Engineering Volume 339, pp.891-898, 2015,2015.2.25-26, 2.26, Thailand. , 2015.02.
69. Akira Fukuda, Hiroki Furusho,Kenji Hisazumi,Takeshi Kamiyama,Hiroshi Inamura,Tsuneo Nakanishi, and Akira Fukuda:Power Consumption Profiling Method based on Android ApplicationUsage,Proc. Int. Conf. on Information Science and Applications(ICISA2015),Information Science and Applications - Lecture Notes in Electrical Engineering Volume 339, pp.891-898, 2015,2015.2.25-26, 2.26, Thailand. , 2015.02.
70. Akira Fukuda, Shigemi Ishida, Koki Tomishige, Akira Izumi, Shigeaki Tagashira, Yutaka Arakawa, and Akira Fukuda:Implementation of On-Demand Indoor Location-based Service using Ad-Hoc Wireless Positioning Network,Proc. The 11th IEEE Int. Conf on Ubiquitous Intelligence and Computing (UIC-2014) ,pp.34-41, December 9-12, 2014,Ayodya Resort, Bali, Indonesia., 2014.12.
71. Akira Fukuda, Hazriani, Tsuneo Nakanishi, Kenji Hisazumi and Akira Fukuda:Movie Based Context-Aware Language Learning: Its Concept and System,Proc. the 6th IEEE Int. Conf. on Technology for Education(T4E),pp.164-167,December 18-21,2014,Amrita University, Kerala, India., 2014.12.
72. Akira Fukuda, Seddiq Alabbasi.Ashir Ahmed,Kunihiko Kaneko,Andrew Rebeiro-hagrave,and Akira Fukuda:Data Types Managed Database Design for Dynamic Content (A database design for Personal Health Book system),Proc. Int. Conf. TENCON-2014, 5pages, 22 Oct - 25 Oct 2014, Bangkok, Thailand., 2014.10.
73. Akira Fukuda, Weiqiang Kong,Ming Li,Long Han,and Akira Fukuda:An SMT-based Accurate Algorithm for the K-Coverage Problem in Sensor Network,Proc. The Eighth Int. Conf. on Mobile Ubiquitous Computing, Systems, Services and Technologies(UBICOMM 2014),pp.240-245,August 24 - 28, 2014 ,Rome, Italy., 2014.08.
74. Akira Fukuda, Weiqiang Kong,Leyuan Liu,Takahiro Ando,Hirokazu Yatsu,Kenji Hisazumi, and Akira Fukuda:Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration,The Computer Journal, 17pages,Vol.7. The British Computer Society, 2014.8, 2014.08.
75. Akira Fukuda, Shuhei Ohsako, Yasutaka Kamei, Shintaro Hosoai, Weiqiang Kong, Kimitaka Kato, Akihiko Ishizuka, Kazutoshi Sakaguchi, Miyuki Kawataka, Yoshitsugu Morita, Naoyasu Ubayashi, Akira Fukuda :A Case Study on Introducing the Design Thinking into PBL, The 2014 Int. Conf. on Frontiers in Education: Computer Science and Computer Engineering(FECS'14), July 21-24, 2014, Las Vegas, Nevada, USA., 2014.07.
76. Akira Fukuda, Seiko Akayama,Kenji Hisazumi,Shin Kuboak, Syuhei Hiya,and Akira Fukuda:Comparative Evaluation of Executable Modeling Language for Object-Oriented Modeling Education,SERP'14,Proc. the 2014 Int. Conf. on Software Engineering Research and Practice,pp.37-43, July 21-24, 2014, Las Vegas, Nevada, USA, 2014.07.
77. Akira Fukuda, Seddiq Alabbasi, Ashir Ahmed, Andrew Rebeiro-Hargrave, Kunihiko Kaneko and Akira Fukuda: Design of a Personal Health Book for Ensuring Healthcare Data Portability, Proc Int. Conf. on Applied and Theoretical Information Systems Research(ATISR2014), 14pages, June 18-20, 2014, Taipei, Taiwan., 2014.06.
78. Akira Fukuda, Yasumaru Hirai,Kodai Tanaka,Tsuneo Nakanish,Takeshi Shikanai,Eiji Inoue,Akira Fukuda, Takashi Okayasu,and Muneshi Mitsuoka:Evaluation of Measurement Accuracy of the Harvest Area Corresponding to Each Shipment Hipment to Country Elevator Using and QZSS,Proc. of the 7th Int. Symp. Machinery and Mechatronics fir Agricultural and Biosystems Engineering, pp.995-999,May 21-23, 2014, Taiwan., 2014.05.
79. Akira Fukuda, Leyuan Liu, Weiqiang Kong, Takahiro Ando, Hirokazu Yatsu, and Akira Fukuda:An Improvement on Acceleration of Distributed SMT Solving,Proc. the Sixth Int.Conf.on Future Computational Technologies and Applications(Future Computing 2014),pp.69-75,May 25 - 29, 2014 - Venice, Italy., 2014.05.
80. 福田 晃, Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, and Akira Fukuda: Translation Rules of SysML State Machine Diagrams into CSP# toward Formal Model Checking, (IJWIS-02-2014-0004) ,International Journal of Web Information System,Vol.10,Issues 2,pp.151-169,2014.4, 2014.04.
81. Akira Fukuda, Leyuan Liu, Weiqiang Kong, and Akira Fukuda. Implementation and Experiments of a Distributed SMT Solving Environment. International Journal on Computer Science and Engineering, Vol. 6 Issue 3, pp. 80–90, March 2014., 2014.03.
82. Akira Fukuda, Yutaka Arakawa,Yuki Sonoda,Koki Tomoshige,Shigeaki Tagashira,and Akira Fukuda:Implementation of WiFi/Bluetooth-based Smart Narrow Field Communication,Proc. the Seventh Int. Conf. on Mobile Computing and Ubiquitous Networking (ICMU 2014), anuary 6-8, 2014 Singapore Management University, Singapore., 2014.01.
83. Akira Fukuda, Weiqiang Kong,Leyuan Liu,Takahiro Ando,Hirokazu Yatsu,Kenji Hisazumi ,and Akira Fukuda:Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration,Proc. the 20th Asia-Pacific Software Engineering Conference (APSEC 2013),pp.355-362,2-5 December 2013 Bangkok, Thailand., 2013.12.
84. Akira Fukuda, Leyuan Liu, Weiqiang Kong, Takahiro Ando, Hirokazu Yatsu, Akira Fukuda:A Survey of Acceleration Techniques for SMT-based Bounded Model Checking,Proc. Int.Conf.on Computer Sciences and Applications(CSA2013),pp. 554-559, 2013.11-14-14,Wuhan, Hubei, CHINA., 2013.11.
85. Akira Fukuda, Yutaka Arakawa,Shigeaki Tagashira,and Akira Fukuda: mockSensor : Faking Remote Sensors As Embedded Sensors for a Functional Enhancement of Android,Proc. the 11th ACM Conference on Embedded Networked Sensor Systems Posters & Demos track(SenSys13PostersDemos),2013.11.11-15,ローマ,Italy., 2013.11.
86. Akira Fukuda, Tatsuhiko Nakano, Kimimori Joujima,Shigeaki Tagashira,Tsuyoshi Suzuta,Yutaka Arakawa, and Akira Fukuda: Broadcast-based Notification Scheme of Updated Digital Road Map Data for Car Navigation Systems,Proc. The 20th ITS World Congress Tokyo 2013, Technical/Scientific/Interactive Sessions,  2013.10.15-18, Tokyo, Japan,発表日:2013.1018., 2013.11.
87. Akira Fukuda, Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Van Tang Nguyen, Hitoshi Ohsaki, and Kenji Taguchi: Formal Semantics of Extended Hierarchical State Transition Matrix by CSP, Formal Aspects of Computing, Springer. (Online First, DOI 10.1007/s00165-013-0282-7, September 2013, 2013.09.
88. Akira Fukuda, Seiko Akayama, Kenji Hisazum, Syuhei Hiya and Akira Fukuda:Using Model-Driven Development Tools for Object-Oriented Modeling Education,Proc. ACM/IEEE 16th Int. Conf. on Model Driven Engineering Languages and Systems(MODELS 2013),Educators Symposium(Edusymp),8pages,http://ceur-ws.org/Vol-1134/paper2.pdf,2013.9.29-10.4,Miami, Florida – USA., 2013.09.
89. Akira Fukuda, Syuhei Hiya,Kenji Hisazumi,Akira Fukuda,and Tsuneo Nakanishi:clooca : Web based tool for Domain Specific Modeling,Proc. ACM/IEEE 16th Int. Conf. on Model Driven Engineering Languages and Systems(MODELS 2013),5pages,http://models2013.lcc.uma.es/pre/demos/hiya.pdf,2013.9.29-10.4,Miami, Florida – USA., 2013.09.
90. Akira Fukuda, Asifur Rahman, Tanjina Y. Chowdhury, Hassan M. Aziz, Tsuneo Nakanishi, Koji Ishida, Akira Fukuda:Solar Electricity at a Cost Lower Than Kerosene,Proc. Int. Conf. on Green Energy & Technology (ICGET),2013.8.24-26,Fukuoka, Japan., 2013.08.
91. Akira Fukuda, Tetsuya Oishi, Weiqiang Kong, Yasutaka Kamei, Norimichi Hiroshige, Naoyasu Ubayashi, and Akira Fukuda:An Empirical Study on Remote Lectures Using Video Conferencing Systems,Proc. The 9th International Conference on Frontiers in Education: Computer Science and Computer Engineering(FECS'13),pp.217-223,2013.722-25, Las Vegas, USA., 2013.07.
92. Akira Fukuda, Shigeki Nankaku, Hisao Koizumi, and Akira Fukuda:Strengthening Interrupt Controls in Embedded Systems by Cooperation between Windows CE and REMON,Proc. The 12th International Conference on Software Engineering Research and Practice(SERP'13),pp.419-425,2013.7.22-25, 発表日:2013.7.25,Las Vegas, USA., 2013.07.
93. Akira Fukuda, Kiyotaka Ota, Kenji Hisazumi, Weiqiang Kong, Tsuneo Nakanishi, and Akira Fukuda:A Quantitative Approach to the Evolution of Domain-Specific Modeling Languages,Proc. the 12th Int. Conf. on Software Engineering Research and Practice(SERP'13),pp.131-137,2013.7.22-25, 発表日:2013.7.24, Las Vegas, USA., 2013.07.
94. Akira Fukuda, Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, and Akira Fukuda:Formalization and Model Checking of SysML State Machine Diagrams by CSP#,Proc. of Computational Science and Its Applications(ICCSA 2013), Part III,LNCS 7973, pp.114-127, Springer, 2013.6/24-27,ベトナム,ホーチミン,発表日:2013.6.24., 2013.06.
95. Akira Fukuda, Tsuneo Nakanishi, Hsin-Han Shih, Kenji Hisazumi, and Akira Fukuda:A Software Update Scheme by Airwaves for Automotive Equipment,Proc. 2nd Int. Conf. on Informatics, Electronics and Vision 2013 (ICIEV13), CD-ROM, 6pages,2013.5.17-18,発表日:2013.5.17,Dhaka, Bangladesh., 2013.05.
96. Akira Fukuda, Asifur Rahman, Tsuneo Nakanishi, and Akira Fukuda:Delay Tolerant Network for Developing Countries,Proc. 2nd Int. Conf. on Informatics, Electronics and Vision 2013 (ICIEV13), CD-ROM, 6 pages,2013.5.17-18,発表日:2013.5.18,Dhaka, Bangladesh., 2013.05.
97. Akira Fukuda, Shigeki Nankaku, Jun Sawamoto, Hiroyuki Kawakami,Hisao Koizumi,and Akira Fukuda:Development and evaluation of an interrupt scheduler using CPU hardware interrupt priority levels,Proc. 2nd Int. Conf. on Systems, Control, Power, Robotics (SCOPORO '13) ,pp.151-154,Morioka City, Iwate, Japan, 2013.4.23-25.発表日:2013.4.25., 2013.04.
98. Akira Fukuda, Tatsuya Abe,Yutaka Arakawa,Shigeaki Tagashira,and Akira Fukuda:Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks,Journal of Information Processing, Vol.21, No.2, pp.320-328,2013-4., 2013.04.
99. Tatsuya Abe,Yutaka Arakawa,Shigeaki Tagashira,and Akira Fukuda, Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks, Journal of Information Processing, Vol.21, No.2, pp.320-328,2013-4., 2013.04.
100. 23. Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, and Kokichi Futatsugi, Towards Formal Description of Standards for Automotive Operating Systems, Proc. the 2nd Int. Workshop on Engineering Safety and Security Systems (ESSS 2013), (short paper, post-proceedings to be published by IEEE) ,March 18, 2013, Luxembourg, 2013.03.
101. 22. Tetsuya Ohishi,Yasutaka Kamei,  Weiqiang Kong,Norimichi Hiroshige, Naoyasu Ubayashi, and Akira Fukuda, An Experience Report on Remote Lecture Using Multi-point Control Unit, Proc. Int. Conf. on Education and Teaching(ICET2013),pp.???-???, 2013.3/14-3/17,中国・武漢., 2013.03.
102. Tatsuhiko Nakano, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda, and Riadh Dhaou, Proposal and Implementation of Encounter Data Transmission with Ultrasonic Sensor-based Active Wakeup Mechanism for Energy Efficient Sparse Wireless Sensor Network, Proc. the Ninth International Workshop on Heterogeneous Wireless Networks (HWISE 2013) ,pp.393-400, March 25-28, 2013,Barcelona, Spain., 2013.03.
103. Ryousuke Kubota, Shigeaki Tagashira, Yutaka Arakawa, Teruaki Kitasuka, and Akira Fukuda, Efficient Survey Database Construction Using Location Fingerprinting Interpolation, Proc. the 27th IEEE Int.Conf.on Advanced Information Networking and Applications (AINA-2013),pp.???-???, March 25-28, 2013,Barcelona, Spain., 2013.03.
104. Naoki Miwa, Shigeaki Tagashira, Hiroaki Matsuda, Takanori Tsutsui, Yutaka Arakawa, and Akira Fukuda, A Multilateration-based Localization Scheme for Adhoc Wireless Positioning Networks used in Information-oriented Construction, Proc. the 27th IEEE Int.Conf.on Advanced Information Networking and Applications (AINA-2013),pp. 690--695, March 25-28, 2013,Barcelona, Spain., 2013.03.
105. Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki and Akira Fukuda, On Accelerating SMT-based Bounded Model Checking of HSTM Designs, Proc. the 19th Asia-Pacific Software Engineering Conference (APSEC2012), IEEE CS, pp. 614-623, 2012.12月4日~7日,香港, 2012.12.
106. Ming Li, Long Han, Weiqiang Kong, Shigeaki Tagashira, Yutaka Arakawa, and Akira Fukuda, A Dynamic Channel Assignment Method Based on Location Information of Mobile Terminals in Indoor WLAN Positioning Systems, Proc. of the 3rd Int. Conf. on Indoor Positioning and Indoor Navigation (IPIN2012), 9pages, Sydney, Australia, November 13-15, 2012., 2012.11.
107. Tsuneo Nakanishi, Kenji Hisazumi, and Akira Fukuda, Specifying and Designing Exception Handling with FMEA, Proc. 7th Int. Conf. on Software Engineering Advances (ICSEA 2012), pp.188-196, 2012.11.18-23, Lisbon, Portuga, 2012.11.
108. Weiqiang Kong,Leyuan Liu,Hirokazu Yatsu,and Akira Fukuda, A Combined Formal Analysis Methodology and Towards Its Application to HSTM Designs, Proc. the Fourth Int. Conf. on Advances in System Testing and Validation Lifecycle(VALID 2012), pp. 99-106, 2012年11月18日~23日,Lisbon, Portugal., 2012.11.
109. Yutaka Arakawa; Yuki Sonoda; Shigeaki Tagashira, and Akira Fukuda, WiFiTag: Direct Link from the Real World to Online Digital Contents, Proc. 3rd Int. Workshop on Streaming Media Delivery and Management Systems In Conjunction with 7th 3PGCIC-2012 Conf., pp.339-344, University of Victoria,USA, 2012年11月12日-14日., 2012.11.
110. Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, and Akira Fukuda, Formal Verification of Communicating HSTM Designs, Proc. the 12th IEEE Int. Conf. on Computer and Information Technology (CIT2012),pp. 383-390, Chengdu, China, Oct 27th - Oct 29th, 2012., 2012.10.
111. Yutaka Arakawa, Yuta Tanaka, Shigeaki Tagashira, and Akira Fukuda, Temporal Local File Sharing with Previously Paired Wireless Memories and Cross-layer Simultaneous Data Transmission Mechanism, Proc. the 12th IEEE Int. Conf. on Computer and Information Technology (CIT2012),pp. 640-646, Chengdu(成都), China, Oct 27th – Oct 29th, 2012., 2012.10.
112. Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, and Akira Fukuda, QORAL : External Domain-Specific Language for Mining Software Repositories, Proc. the 4th Int. Workshop on Empirical Software Engineering in Practice (IWESEP 2012), pp.23-29, October 26-27, Osaka, Japan, 2012.10.
113. Seiko Akayama, Hisazumi Kenji, Akira Fukuda, Development of Modeling Education Program for Novices using Model Driven Development (MDD) , Proc. WESE2012,pp.???-???, 2012年10月11日,フィンランド., 2012.10.
114. Mohammad Fajar, Tsuneo Nakanishi, Kenji Hisazumi, and Akira Fukuda, An Integer Programming Based Decision Making Framework for Application Engineering in Software Product Line Development, Proc. of Korea-Japan Joint Workshop on ICT,pp.37-40,September, 20-22, 2012,POSCO International Center,POSTECH, Pohang, Korea., 2012.09.
115. Mohammad Fajar, Tsuneo Nakanishi, Kenji Hisazumi, and Akira Fukuda, A Decision Making Framework for Developing Agricultural Wireless Sensor Network Systems, Proc. the 8th Asian Federation for Information Technology in Agriculture (AFITA) Conf., pp.1-7(CDROM: Seminar 6-Sensor research(1),(06-05)), September 3-6, 2012, National Training Institute of Farmers' Organizations (Tianmu Convention Center), Taipei., 2012.09.
116. Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Van Tang Nguyen, Hitoshi Ohsaki and Kenji Taguchi, Formal Semantics of Extended Hierarchical State Transition Matrix by CSP, Proc. of the 5th Int. workshop UML and Formal Methods(UML&FM'2012), ACM SIGSOFT Software Engineering Notes, Vol.37 Issue 4, pp.1-8, August 27-31, Paris, 2012., 2012.08.
117. Norimichi Hiroshige, Weiqiang Kong, Shigeru Kusakabe, Tsunenori Mine, Naoyasu Ubayashi, Akira Fukuda, and Keijiro Araki, Communication Analysis Through PBL, Proc. the Int. Conf. on Frontiers in Education: Computer Science and Computer Engineering(FECS'12), Vol.1 pp.54-58, July 16-19, 2012, Las Vegas, USA., 2012.07.
118. Ming Li, Long Han, Weiqiang Kong, Shigeaki Tagashira, Yutaka Arakawa, and Akira Fukuda, Optimization Channel Assignment Method for Maximum Throughput Under Communication and Positioning Requirements, Proc. the 11th Int. Conf. on Wireless Networks (ICWN'12), pp.282-288, July 16-19, Las Vegas, USA, 2012.6, 2012.07.
119. Hiroki Furusho,Kenji Hisazumi,Takeshi Kamiyama,Hiroshi Inamura,Tsuneo Nakanishi, and Akira Fukuda, An Energy Profiler for Android Applications Used in the Real World, Proc. the 10th Int. Conf. on Mobile Systems, Applications and Services(MobiSys'12), pp.517-518, June 25-29, United Kingdom, 2012., 2012.06.
120. Mohammad Fajar, Kenji Hisazumi, Tsuneo Nakanishi, and Akira Fukuda, A Domain-Specific Modeling for Dynamically Reconfigurable Environmental Sensing Applications, Proc. the 2012 Int. Conf. on Software and Computer Applications (ICSCA 2012),pp.137-143, June 9-10, 2012, Singapore, 2012.06.
121. Rina Nagano,Hiroki Nakamura,Yasutaka Kamei,Bram Adams,Kenji Hisazumi,Naoyasu Ubayashi, and Akira Fukuda, Using the GPGPU for Scaling Up Mining Software Repositories, Proc. the 34th Int. Conf. on Software Engineering (ICSE 2012),Poster Session, pp.1435-1436,June 2-9, Zurich, Switzerland, 2012., 2012.06.
122. Yutaka Arakawa, Shigeaki Tagashira, and Akira Fukuda, Application-Layer Active Wireless Network Switching on a Smartphone, Proc. SmartApps'12, Pervasive 2012, pp.???-???(6 pages), June 18 - 22, 2012 Munich, Germany., 2012.06.
123. Eiji Aoki, Ken Kudo, Akira Fukuda, Tsuneo Nakanishi, Shigeaki Tagashira, Takashi Okayasu, Naoyuki Tsuruda, Satoru Yamasaki, and Yasuhito Imura , Knowledge Management Platform Based on the Environmental Monitoring System with Energy Harvesting Sensor Motes for Tea Farming
, Proc. 2012 Int. Conf. on Affective Computing and Intelligent Interaction (ICACII 2012), pp.???-???, Taipei, Taiwan, February 27-28, 2012. (Lecture Notes in Information Technology (ISSN: 2070-1918)). , 2012.02.
124. Shigeki Nankaku, Keiji Asada, Hisao Koizumi, Akira Fukuda , The stack overflow control mechanism with the interrupt scheduler REMON
, Proc. the 2012 Int. Conf. on Embedded Systems and Intelligent Technology (ICESIT 2012), 2012.1.27-29, Nara, Japan. , 2012.01.
125. Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, and Akira Fukuda , Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking
, Proc the 18th Asia-Pacific Software Engineering Conference (APSEC2011), IEEE CS, pp.81-88, December 5-8, 2011. Ho Chi Minh city, Vietnam., 2011.12.
126. Mohammad Fajar,Kenji Hisazumi, Tsuneo Nakanishi, and Akira Fukuda , Applying Domain Specific Modeling for Environmental Sensing using Wireless Sensor Network
, Asian Journal of Information Technology, Vol.10, No.7, pp.296-305, 2011., 2011.12.
127. Tadashi Nagano, Yoshifumi Sakamoto, Satoshi Haraguchi, Hironori Takeuchi, Shiho Ogino and Akira Fukuda , Critiquing Rules and Quality Quantification of Development-related Documents
, Proc. of the Joint Conf. of the 21st Int. Workshop on Software Measurement(IWSM) and the 6th Int. Conf. on Software Process and Product Measurement (Mensura), pp30-37, Nov. 03-04, 2011,Nara, Japan., 2011.11.
128. Yutaka Arakawa, Shigeaki Tagashira, and Akira Fukuda , Spatial Statistics with Three-tier Breadth First Search for Analyzing Social Geocontents
, Proc. the 15th Int. Conf. on Knowledge-Based and Intelligent Information & Engineering Systemsm(KES2011), Vol.4, pp. 255-263, 2011.9 12, Kaiserslautern, Germany., 2011.09.
129. Shigeaki Tagashira, Yutaka Kaminishi, Yutaka Arakawa,Teruaki Kitasuka, and Akira Fukuda , Probabilistic Broadcast-Based Cache Invalidation Scheme for Location Dependent Data in Mobile Environments
, IEICE Trans. Information and Systems, Vol.E94-D, No.8, pp.1590-1601, 2011.8., 2011.08.
130. Noriyuki Katahira, Weiqiang Kong, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, and Akira Fukuda , Table-based Software Designs: Bounded Model Checking and Counterexample Tracking
, Proc. of the 2011 Int. Conf. on Software Engineering Research and Practice (SERP'11), pp.112-118, 2011,July 18-21,Las Vegas, USA. , 2011.07.
131. Weiqiang Kong,Noriyuki Katahira,Wanpeng Qian,Masahiko Watanabe,Tetsuro Katayama,and Akira Fukuda , An SMT-based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix
, Proc. the 2011 Int. Conf. on Computational Science and Its Applications(ICCSA2011), pp.159-167, 2011.6.21, Santander, Spain, (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues,Springer-Verlag) , 2011.06.
132. Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, and Akira Fukuda , An SMT-based Approach to Bounded Model Checking of Design in State Transition Matrix
, IEICE Transactions on Information and Systems, Vol.E94-D, No.5, pp.946- 957, 2011.5., 2011.05.
133. Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, and Masahiko Watanabe , An SMT Approach to Bounded Model Checking of Design in State Transition Matrix
, Proc. of 2010 International Conference on Computational Science and Its Applications (ICCSA 2010), IEEE Computer Society, pp. 231-238, 2010.3. , 2010.03.
134. Shinji Suematsu, Yutaka Arakawa, Shigeaki Tagashira, and Akira Fukuda , Network-based Context-Aware Input Method Editor
, Proc. of the Sixth International Conference on Networking and Services(ICNS 2010), pp.1-6, 2010.3. , 2010.03.
135. Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, and Masahiko Watanabe , Formal Analysis of STM Design with SAL Infinite Bounded Model Checker
, Proc. of the 12th Int'l Conf. on Advanced Communication Technology (ICACT2010), pp. 1003-1008,IEEE, February, 2010. , 2010.02.
136. Takahiro Okada, Kenji Hisazumi, Tsuneo Nakanishi, and Akira Fukuda , A Methodology for Improving Reusability of Educational Materials Using Product Line Software Engineering
, Proc. of the 17th International Conference on Computers in Education(ICCE 2009), pp.170-172, 2009.11.30-12.4, 2009.11.
137. Takeaki KOGA, Shigeaki TAGASHIRA, Teruaki KITASUKA,Tsuneo NAKANISHI, and Akira FUKUDA, Multipoint Relay Selections with QoS Support in Link State Routing Protocol for Multi-hop Wireless Networks, IEICE Trans. on Fundamentals, Vol. E92-A, No. 9, pp. 2218--2226, 2009., 2009.09.
138. Hiroshi HAYAKAWA, Kenya SATO, Shigeaki TAGASHIRA,Tsuneo NAKANISHI, and Akira FUKUDA , RESTful Device Interaction Architecture for Embedded Devices
, 九州大学システム情報科学紀要.第14巻,第2号,pp.53-58,平成21年9月. , 2009.09.
139. Kiyoshi UEDA, Hitoshi SHIMIZU, Tetsuya IWATA, Hiroshi SUNAGA, and Akira FUKUDA, SIP Method Escalation Algorithm for NGN Application Network Interface, Proc.16th International Conference on Telecommunications(ICT09), 2009.06.
140. Tsuneo Nakanishi,Yasushi Tsuchiya,Tadashi Sakamoto,and Akira Fukuda, Structured Analysis for Software Product Line, Proc.ISCE2009, 2009.06.
141. Takeaki Koga, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, and Akira Fukuda, Highly Efficient Multipoint Relay Selections in Link State QoS Routing Protocol for Multi-hop Wireless Networks, Proc. 10th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2009), pp.1--9, June 2009., 2009.06.
142. Yuhei Kanekiyo, Shigeaki Tagashira, Tsuneo Nakanishi, and Akira Fukuda, Positional Error Correction based on User Collaboration for WLAN Positioning System,, Proc.MCPC,2009.3/23~3/25, 2009.03.
143. Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoich Omori, Teruaki Kitasuka,Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, and Hiroto Yasuura, Large Scale Business-Academia Collaboration in Master Education Course, Proc.CSEDU,Volume 2, pp159-166, March 2009., 2009.03.
144. Hiroshi Hayakawa, Kayoko Yamamoto, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda, A Timing Control Framework in Delayed Network for Distributed Multimedia System, Proc. 12th IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2008), 2008.08.
145. Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, and Shigeyuki Kido, A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software, Proc. Seventh International Conference on Quality Software (QSIC 2OO7),, pp. 137-142, 2007.10.
146. Yasuomi Kouso, Tsuneo Nakanishi, Teruaki Kitasuka, Tagashira Shigeaki, and Akira Fukuda, An Approach for Estimating Cost of Modifying Core Assets in Software Product Line Engineering, JWSD (Joint Workshop on System Development) 2007, 2007.10.
147. Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, and Shigeyuki Kido, A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software, Proc. Seventh International Conference on Quality Software (QSIC 2OO7),, pp. 137-142, 2007.10.
148. Kenya Sato, Takahiro Koita, and Akira Fukuda, Broadcasted Location-Aware Data Cache for Vehicular Application, EURASIP Journal on Embedded Systems, vol. 2007, Article ID 29391, 11 pages, 2007. (Special issue of Embedded Systems for Intelligent Vehicles)., 2007.08.
149. Tomoko Matsuura, Kenji Hisazumi, Teruaki Kitasuka, Tsuneo Nakanishi, and Akira Fukuda, UDSS: Sensor Device for Context Awareness in Home Network, Proc. Fourth International Conference on Networked Sensing systems (INSS07),, pp.196-200, 2007.06.
150. Hiroshi Hayakawa, Takahiro Koita, Kenya Sato, and Akira Fukuda, Adaptation of SONICA for P2P Architecture, Proc. IASTED European Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2007), pp. 82-87, 2007.03.
151. Atsushi Noda, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda, Introducing fault tree analysis into product line software engineering for exception handling feature exploitation, Proc. IASTED International Conference on Software Engineering (SE2007), pp.229--234, 2007.02.
152. Akira Tsukizoe, Kenji Hisazumi, Takanori Hayashida, Hiroto Yasuura, Akira Fukuda, Tsuneo Nakanishi, QUBE: A Practical Education Program for System LSI Designers, Proc. 2006 Workshop on Embedded Systems Education (WESE 2006), 2006.10.
153. Yusuke Inoue, Takahiro Koita, Akira Fukuda, and Kenya Sato, "Heuristic Scheduling and Process Migration on the Grid,", Proc. 2006 International Conference on Grid Computing and Applications (GCA'06),, pp. 68-74, 2006.06.