iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/pid/78/4541.bib
@article{DBLP:journals/jip/Hisazumi24, author = {Kenji Hisazumi}, title = {Editor's Message to Special Issue of Embedded Systems Engineering}, journal = {J. Inf. Process.}, volume = {32}, pages = {817}, year = {2024}, url = {https://doi.org/10.2197/ipsjjip.32.817}, doi = {10.2197/IPSJJIP.32.817}, timestamp = {Mon, 14 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jip/Hisazumi24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/educon/HisazumiOMSNOTJ24, author = {Kenji Hisazumi and Takeshi Ohkawa and Masafumi Miwa and Mikiko Sato and Takashi Nagai and Nobuhiro Ohe and Kittikhun Thongpull and Nattha Jindapetch and Harumi Watanabe}, title = {{APRIS} Robot Challenge: Collaborative Online Interdisciplinary and International Learning for IoT/Robotics Systems}, booktitle = {{IEEE} Global Engineering Education Conference, {EDUCON} 2024, Kos Island, Greece, May 8-11, 2024}, pages = {1--8}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/EDUCON60312.2024.10578704}, doi = {10.1109/EDUCON60312.2024.10578704}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/educon/HisazumiOMSNOTJ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icsca/HisazumiI24, author = {Kenji Hisazumi and Hiromasa Inoki}, title = {Context-Oriented Programming in Traffic Flow Simulation: Advancing Smart Mobility System Development}, booktitle = {Proceedings of the 13th International Conference on Software and Computer Applications, {ICSCA} 2024, Bali Island, Indonesia, February 1-3, 2024}, pages = {333--338}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3651781.3651831}, doi = {10.1145/3651781.3651831}, timestamp = {Tue, 18 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsca/HisazumiI24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/programming/WatanabeOH24, author = {Harumi Watanabe and Nobuhiko Ogura and Kenji Hisazumi}, editor = {Emma S{\"{o}}derberg and Luke Church}, title = {Towards a DevOps Modeling Based on Context-Oriented Programming}, booktitle = {Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming, Programming Companion 2024, Lund, Sweden, March 11-15, 2024}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3660829.3660832}, doi = {10.1145/3660829.3660832}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/WatanabeOH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jip/Hisazumi23, author = {Kenji Hisazumi}, title = {Editor's Message to Special Issue of Embedded Systems Engineering}, journal = {J. Inf. Process.}, volume = {31}, pages = {66}, year = {2023}, url = {https://doi.org/10.2197/ipsjjip.31.66}, doi = {10.2197/IPSJJIP.31.66}, timestamp = {Sun, 19 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jip/Hisazumi23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jip/Hisazumi22, author = {Kenji Hisazumi}, title = {Editor's Message to Special Issue on Embedded Systems Engineering}, journal = {J. Inf. Process.}, volume = {30}, pages = {140}, year = {2022}, url = {https://doi.org/10.2197/ipsjjip.30.140}, doi = {10.2197/IPSJJIP.30.140}, timestamp = {Thu, 17 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jip/Hisazumi22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jip/Hisazumi22a, author = {Kenji Hisazumi}, title = {Editor's Message to Special Issue of Embedded Systems Engineering}, journal = {J. Inf. Process.}, volume = {30}, pages = {645}, year = {2022}, url = {https://doi.org/10.2197/ipsjjip.30.645}, doi = {10.2197/IPSJJIP.30.645}, timestamp = {Tue, 11 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jip/Hisazumi22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/modelsward/KakeshitaHMSM22, author = {Masamichi Kakeshita and Kenji Hisazumi and Yasutaka Michiura and Keita Sakemi and Michihiro Matsumoto}, editor = {Lu{\'{\i}}s Ferreira Pires and Slimane Hammoudi and Edwin Seidewitz}, title = {Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model}, booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, {MODELSWARD} 2022, Online Streaming, February 6-8, 2022}, pages = {234--241}, publisher = {{SCITEPRESS}}, year = {2022}, url = {https://doi.org/10.5220/0010845600003119}, doi = {10.5220/0010845600003119}, timestamp = {Tue, 06 Jun 2023 14:58:00 +0200}, biburl = {https://dblp.org/rec/conf/modelsward/KakeshitaHMSM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/modelsward/YamamotoTHSOOW21, author = {Chinatsu Yamamoto and Ikuta Tanigawa and Kenji Hisazumi and Mikiko Sato and Takeshi Ohkawa and Nobuhiko Ogura and Harumi Watanabe}, editor = {Slimane Hammoudi and Lu{\'{\i}}s Ferreira Pires and Edwin Seidewitz and Richard Soley}, title = {Layer Modeling and Its Code Generation based on Context-oriented Programming}, booktitle = {Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, {MODELSWARD} 2021, Online Streaming, February 8-10, 2021}, pages = {330--336}, publisher = {{SCITEPRESS}}, year = {2021}, url = {https://doi.org/10.5220/0010328303300336}, doi = {10.5220/0010328303300336}, timestamp = {Tue, 07 May 2024 20:13:16 +0200}, biburl = {https://dblp.org/rec/conf/modelsward/YamamotoTHSOOW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/ecoop/LiuTWH20, author = {Zihan Liu and Ikuta Tanigawa and Harumi Watanabe and Kenji Hisazumi}, title = {{PLAM:} Preemptive Layer Activation Architecture based on Multithreading in Context-Oriented Programming}, booktitle = {{COP} '20: Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, COP@ECOOP 2020, Virtual Event, 21 July 2020}, pages = {4:1--4:8}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3422584.3422766}, doi = {10.1145/3422584.3422766}, timestamp = {Wed, 02 Feb 2022 16:01:45 +0100}, biburl = {https://dblp.org/rec/conf/ecoop/LiuTWH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iciss2/TangFHF20, author = {Wentao Tang and Hao Feng and Kenji Hisazumi and Akira Fukuda}, title = {A Verification Method for Security and Safety of IoT Applications Through {DSM} Language and Lustre}, booktitle = {{ICISS} 2020: The 3rd International Conference on Information Science and System, Cambridge, UK, March 19-22, 2020}, pages = {166--170}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3388176.3388211}, doi = {10.1145/3388176.3388211}, timestamp = {Fri, 07 Aug 2020 15:43:48 +0200}, biburl = {https://dblp.org/rec/conf/iciss2/TangFHF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icsie/NakanishiAAIHMF20, author = {Tsuneo Nakanishi and Yutaka Arakawa and Takahiro Ando and Shigemi Ishida and Kenji Hisazumi and Tsunenori Mine and Akira Fukuda}, title = {An Inter-Organizational Software Architecture for Smart Mobility}, booktitle = {{ICSIE} 2020: 2020 9th International Conference on Software and Information Engineering, Cairo, Egypt, November, 2020}, pages = {41--46}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3436829.3436868}, doi = {10.1145/3436829.3436868}, timestamp = {Thu, 04 Feb 2021 14:28:26 +0100}, biburl = {https://dblp.org/rec/conf/icsie/NakanishiAAIHMF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/hci/AbedinHA19, author = {Nuren Abedin and Kenji Hisazumi and Ashir Ahmed}, editor = {Constantine Stephanidis and Margherita Antona}, title = {Affordable Rideshare Service for Female Urban Corporates in Developing Countries: {A} Case Study in Dhaka, Bangladesh}, booktitle = {{HCI} International 2019 - Late Breaking Posters - 21st {HCI} International Conference, {HCII} 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1088}, pages = {283--289}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30712-7\_36}, doi = {10.1007/978-3-030-30712-7\_36}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hci/AbedinHA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iiaiaai/HirakawaIHF19, author = {Go Hirakawa and Daisuke Ikeda and Kenji Hisazumi and Akira Fukuda}, title = {Development of the Food Culture Database System using Kataribe Cloud to Support Open Science}, booktitle = {8th International Congress on Advanced Applied Informatics, {IIAI-AAI} 2019, Toyama, Japan, July 7-11, 2019}, pages = {391--394}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/IIAI-AAI.2019.00086}, doi = {10.1109/IIAI-AAI.2019.00086}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iiaiaai/HirakawaIHF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/mcsoc/OhkawaTSHOW19, author = {Takeshi Ohkawa and Ikuta Tanigawa and Mikiko Sato and Kenji Hisazumi and Nobuhiko Ogura and Harumi Watanabe}, title = {Prototype of {FPGA} Dynamic Reconfiguration Based-on Context-Oriented Programming}, booktitle = {13th {IEEE} International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC 2019, Singapore, Singapore, October 1-4, 2019}, pages = {116--122}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MCSoC.2019.00024}, doi = {10.1109/MCSOC.2019.00024}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mcsoc/OhkawaTSHOW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/modelsward/TanakaHF19, author = {Fumiya Tanaka and Kenji Hisazumi and Akira Fukuda}, editor = {Slimane Hammoudi and Lu{\'{\i}}s Ferreira Pires and Bran Selic}, title = {{DFEAM:} Dynamic Feature-oriented Energy-aware Adaptive Modeling}, booktitle = {Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, {MODELSWARD} 2019, Prague, Czech Republic, February 20-22, 2019}, pages = {290--297}, publisher = {SciTePress}, year = {2019}, url = {https://doi.org/10.5220/0007370802920299}, doi = {10.5220/0007370802920299}, timestamp = {Tue, 06 Jun 2023 14:58:00 +0200}, biburl = {https://dblp.org/rec/conf/modelsward/TanakaHF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/qrs/Hisazumi19, author = {Kenji Hisazumi}, title = {Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering}, booktitle = {19th {IEEE} International Conference on Software Quality, Reliability and Security Companion, {QRS} Companion 2019, Sofia, Bulgaria, July 22-26, 2019}, pages = {322--329}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/QRS-C.2019.00067}, doi = {10.1109/QRS-C.2019.00067}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qrs/Hisazumi19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/dsa/AndoWHKFMSM18, author = {Takahiro Ando and Bo Wang and Kenji Hisazumi and Weiqiang Kong and Akira Fukuda and Yasutaka Michiura and Keita Sakemi and Michihiro Matsumoto}, title = {Verification Model Translation Method toward Behavior Model for {CAST}}, booktitle = {5th International Conference on Dependable Systems and Their Applications, {DSA} 2018, Dalian, China, September 22-23, 2018}, pages = {142--147}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/DSA.2018.00032}, doi = {10.1109/DSA.2018.00032}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsa/AndoWHKFMSM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icsca/WatanabeSMIHONH18, author = {Harumi Watanabe and Mikiko Sato and Masafumi Miwa and Makoto Imamura and Shintaro Hosoai and Nobuhiko Ogura and Hiroyuki Nakamura and Kenji Hisazumi}, editor = {Kamal Zuhairi Zamli and Vitaliy Mezhuyev and Luigi Benedicenti}, title = {Compulsory Game based Robot Contest for Embedded System Development Education}, booktitle = {Proceedings of the 7th International Conference on Software and Computer Applications, {ICSCA} 2018, Kuantan, Malaysia, February 08-10, 2018}, pages = {259--263}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3185089.3185144}, doi = {10.1145/3185089.3185144}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsca/WatanabeSMIHONH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icse/WatanabeSMIHONH18, author = {Harumi Watanabe and Mikiko Sato and Masafumi Miwa and Makoto Imamura and Shintaro Hosoai and Nobuhiko Ogura and Hiroyuki Nakamura and Kenji Hisazumi}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, title = {Multidisciplinary skill assessment for embedded software development education via a robot contest}, booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, pages = {151--152}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3183440.3195059}, doi = {10.1145/3183440.3195059}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/WatanabeSMIHONH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iiaiaai/FukudaNHKTMAIAA18, author = {Akira Fukuda and Tsuneo Nakanishi and Kenji Hisazumi and Kunihiko Kaneko and Shigeaki Tagashira and Tsunenori Mine and Yutaka Arakawa and Shigemi Ishida and Takahiro Ando and Shuichi Ashihara and Masakatsu Ura and Yoshimichi Nakamura and Soichiro Nakamura and Weiqiang Kong and Guoqiang Li}, title = {Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -}, booktitle = {7th International Congress on Advanced Applied Informatics, {IIAI-AAI} 2018, Yonago, Japan, July 8-13, 2018}, pages = {81--85}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IIAI-AAI.2018.00025}, doi = {10.1109/IIAI-AAI.2018.00025}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iiaiaai/FukudaNHKTMAIAA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iiaiaai/AndoFHMNF18, author = {Takahiro Ando and Ryo Fujii and Kenji Hisazumi and Tsunenori Mine and Tsuneo Nakanishi and Akira Fukuda}, title = {Overview and Application Examples of Agent-Based Unified Simulation Environment}, booktitle = {7th International Congress on Advanced Applied Informatics, {IIAI-AAI} 2018, Yonago, Japan, July 8-13, 2018}, pages = {92--97}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IIAI-AAI.2018.00027}, doi = {10.1109/IIAI-AAI.2018.00027}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iiaiaai/AndoFHMNF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iiaiaai/InokiHAFN18, author = {Hiromasa Inoki and Kenji Hisazumi and Takahiro Ando and Akira Fukuda and Tsuneo Nakanishi}, title = {A Process of Uncertainty Handling Method to Smart Mobility Application Development}, booktitle = {7th International Congress on Advanced Applied Informatics, {IIAI-AAI} 2018, Yonago, Japan, July 8-13, 2018}, pages = {98--103}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IIAI-AAI.2018.00028}, doi = {10.1109/IIAI-AAI.2018.00028}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iiaiaai/InokiHAFN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iiaiaai/MineMNHKAHNF18, author = {Tsunenori Mine and Shiro Mise and Hiroyuki Nakamura and Takuya Hiraoki and Shiori Koga and Takahiro Ando and Kenji Hisazumi and Tsuneo Nakanishi and Akira Fukuda}, title = {ItoCamLife: {A} Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility}, booktitle = {7th International Congress on Advanced Applied Informatics, {IIAI-AAI} 2018, Yonago, Japan, July 8-13, 2018}, pages = {109--114}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IIAI-AAI.2018.00030}, doi = {10.1109/IIAI-AAI.2018.00030}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iiaiaai/MineMNHKAHNF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iiaiaai/NakanishiHAMF18, author = {Tsuneo Nakanishi and Kenji Hisazumi and Takahiro Ando and Tsunenori Mine and Akira Fukuda}, title = {Software Engineering Practices for the Smart Mobility Market}, booktitle = {7th International Congress on Advanced Applied Informatics, {IIAI-AAI} 2018, Yonago, Japan, July 8-13, 2018}, pages = {115--120}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IIAI-AAI.2018.00031}, doi = {10.1109/IIAI-AAI.2018.00031}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iiaiaai/NakanishiHAMF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/splc/NakanishiHF18, author = {Tsuneo Nakanishi and Kenji Hisazumi and Akira Fukuda}, editor = {Philippe Collet and Jianmei Guo and Jabier Martinez and Christoph Seidl and Julia Rubin and Oscar D{\'{\i}}az and Mukelabai Mukelabai and Thorsten Berger}, title = {Teaching software product lines as a paradigm to engineers: an experience report in education programs and seminars for senior engineers in Japan}, booktitle = {Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 2, {SPLC} 2018, Gothenburg, Sweden, September 10-14, 2018}, pages = {46--47}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3236405.3237204}, doi = {10.1145/3236405.3237204}, timestamp = {Tue, 06 Aug 2024 17:12:58 +0200}, biburl = {https://dblp.org/rec/conf/splc/NakanishiHF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/tale/HisazumiHWMOM18, author = {Kenji Hisazumi and Shintaro Hosoai and Harumi Watanabe and Masafumi Miwa and Nobuhiko Ogura and Makoto Motoki}, title = {An Interdisciplinary and University {PBL} Curriculum Using Robot Challenge}, booktitle = {{IEEE} International Conference on Teaching, Assessment, and Learning for Engineering, {TALE} 2018, Wollongong, Australia, December 4-7, 2018}, pages = {308--315}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/TALE.2018.8615301}, doi = {10.1109/TALE.2018.8615301}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tale/HisazumiHWMOM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/tale/WatanabeSMIHONH18, author = {Harumi Watanabe and Mikiko Sato and Masafumi Miwa and Makoto Imamura and Shintaro Hosoai and Nobuhiko Ogura and Hiroyuki Nakamura and Kenji Hisazumi}, title = {Assessment Map for Multidisciplinary Abilities for IoT System Development Education based on a Robot Contest}, booktitle = {{IEEE} International Conference on Teaching, Assessment, and Learning for Engineering, {TALE} 2018, Wollongong, Australia, December 4-7, 2018}, pages = {995--1000}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/TALE.2018.8615388}, doi = {10.1109/TALE.2018.8615388}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tale/WatanabeSMIHONH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icl/HabibiNHFF17, author = {Baso Habibi and Tsuneo Nakanishi and Kenji Hisazumi and Hiroki Furusho and Akira Fukuda}, editor = {Michael E. Auer and David A. Guralnick and Istvan Simonics}, title = {Using Fault Injection for Programming Task Generation}, booktitle = {Teaching and Learning in a Digital World - Proceedings of the 20th International Conference on Interactive Collaborative Learning - Volume 2, Budapest, Hungary, 27-29 September 2017}, series = {Advances in Intelligent Systems and Computing}, volume = {716}, pages = {559--566}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-73204-6\_61}, doi = {10.1007/978-3-319-73204-6\_61}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icl/HabibiNHFF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/istr/KongHHAHF16, author = {Weiqiang Kong and Gang Hou and Xiangpei Hu and Takahiro Ando and Kenji Hisazumi and Akira Fukuda}, title = {Garakabu2: an SMT-based bounded model checker for {HSTM} designs in {ZIPC}}, journal = {J. Inf. Secur. Appl.}, volume = {31}, pages = {61--74}, year = {2016}, url = {https://doi.org/10.1016/j.jisa.2016.08.001}, doi = {10.1016/J.JISA.2016.08.001}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/istr/KongHHAHF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/aosd/WatanabeTSOH16, author = {Harumi Watanabe and Ikuta Tanigawa and Midori Sugaya and Nobuhiko Ogura and Kenji Hisazumi}, editor = {Lidia Fuentes and Don S. Batory and Krzysztof Czarnecki}, title = {A layer-structure diagram and a layer-interaction diagram towards a context-oriented development methodology for embedded systems}, booktitle = {Companion Proceedings of the 15th International Conference on Modularity, M{\'{a}}laga, Spain, March 14 - 18, 2016}, pages = {125--130}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2892664.2892685}, doi = {10.1145/2892664.2892685}, timestamp = {Fri, 30 Dec 2022 23:08:53 +0100}, biburl = {https://dblp.org/rec/conf/aosd/WatanabeTSOH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/esweek/HisazumiIMMU16, author = {Kenji Hisazumi and Shigeru Ishida and Mitsuhiro Matsuda and Yukihiro Mihara and Naoshi Uchihira}, editor = {Martin T{\"{o}}rngren and Martin Edin Grimheden}, title = {How can we get "lessons learned" from real cases?}, booktitle = {Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, {WESE} 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016}, pages = {5:1--5:6}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/3005329.3005334}, doi = {10.1145/3005329.3005334}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esweek/HisazumiIMMU16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/ica2/HisazumiNIHMAFF16, author = {Kenji Hisazumi and Tsuneo Nakanishi and Shota Ishibashi and Go Hirakawa and Tsunenori Mine and Takahiro Ando and Hiroki Furusho and Akira Fukuda}, title = {Operation Phase Metrics for Smart Mobility Platform}, booktitle = {{IEEE} International Conference on Agents, {ICA} 2016, Matsue, Japan, September 28-30, 2016}, pages = {150--153}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.ieeecomputersociety.org/10.1109/ICA.2016.051}, doi = {10.1109/ICA.2016.051}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ica2/HisazumiNIHMAFF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/ica2/KongHHAWAHF16, author = {Weiqiang Kong and Gang Hou and Xiangpei Hu and Yasuhito Arimoto and Masahiko Watanabe and Takahiro Ando and Kenji Hisazumi and Akira Fukuda}, title = {ZipPath: {A} Simple-But-Useful Path Finder for {HSTM} Designs in {ZIPC}}, booktitle = {{IEEE} International Conference on Agents, {ICA} 2016, Matsue, Japan, September 28-30, 2016}, pages = {154--157}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.ieeecomputersociety.org/10.1109/ICA.2016.052}, doi = {10.1109/ICA.2016.052}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ica2/KongHHAWAHF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iiaiaai/FukudaHIMNFTAKK16, author = {Akira Fukuda and Kenji Hisazumi and Shigemi Ishida and Tsunenori Mine and Tsuneo Nakanishi and Hiroki Furusho and Shigeaki Tagashira and Yutaka Arakawa and Kunihiko Kaneko and Weiqiang Kong}, title = {Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview}, booktitle = {5th {IIAI} International Congress on Advanced Applied Informatics, {IIAI-AAI} 2016, Kumamoto, Japan, July 10-14, 2016}, pages = {211--214}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/IIAI-AAI.2016.110}, doi = {10.1109/IIAI-AAI.2016.110}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iiaiaai/FukudaHIMNFTAKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iiaiaai/IshibashiHNF16, author = {Shota Ishibashi and Kenji Hisazumi and Tsuneo Nakanishi and Akira Fukuda}, title = {Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture}, booktitle = {5th {IIAI} International Congress on Advanced Applied Informatics, {IIAI-AAI} 2016, Kumamoto, Japan, July 10-14, 2016}, pages = {234--239}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/IIAI-AAI.2016.172}, doi = {10.1109/IIAI-AAI.2016.172}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iiaiaai/IshibashiHNF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iiaiaai/NakanishiFHF16, author = {Tsuneo Nakanishi and Hiroki Furusho and Kenji Hisazumi and Akira Fukuda}, title = {Dynamic {SPL} and Derivative Development with Uncertainty Management for DevOps}, booktitle = {5th {IIAI} International Congress on Advanced Applied Informatics, {IIAI-AAI} 2016, Kumamoto, Japan, July 10-14, 2016}, pages = {244--249}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/IIAI-AAI.2016.240}, doi = {10.1109/IIAI-AAI.2016.240}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iiaiaai/NakanishiFHF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/mobicase/KamiyamaHIKOF16, author = {Takeshi Kamiyama and Kenji Hisazumi and Hiroshi Inamura and Teppei Konishi and Ken Ohta and Akira Fukuda}, editor = {Fahim Kawsar and Pei Zhang and Mirco Musolesi}, title = {Smartphone Usage Analysis Based on Actual-Use Survey}, booktitle = {Proceedings of the 8th {EAI} International Conference on Mobile Computing, Applications and Services, MobiCASE 2016, Cambridge, UK, November 30 - December 01, 2016}, pages = {108--116}, publisher = {{ACM} / {ICST}}, year = {2016}, url = {https://doi.org/10.4108/eai.30-11-2016.2267052}, doi = {10.4108/EAI.30-11-2016.2267052}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mobicase/KamiyamaHIKOF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/cj/KongLAYHF15, author = {Weiqiang Kong and Leyuan Liu and Takahiro Ando and Hirokazu Yatsu and Kenji Hisazumi and Akira Fukuda}, title = {Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration}, journal = {Comput. J.}, volume = {58}, number = {11}, pages = {2824--2840}, year = {2015}, url = {https://doi.org/10.1093/comjnl/bxu127}, doi = {10.1093/COMJNL/BXU127}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/KongLAYHF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/aosd/TanigawaOSWH15, author = {Ikuta Tanigawa and Nobuhiko Ogura and Midori Sugaya and Harumi Watanabe and Kenji Hisazumi}, editor = {Robert B. France and Sudipto Ghosh and Gary T. Leavens}, title = {A structure of a c{\#} framework ContextCS based on context-oriented programming}, booktitle = {Companion Proceedings of the 14th International Conference on Modularity, {MODULARITY} 2015, Fort Collins, CO, USA, March 16 - 19, 2015}, pages = {21--22}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2735386.2735925}, doi = {10.1145/2735386.2735925}, timestamp = {Wed, 26 Jun 2024 17:26:37 +0200}, biburl = {https://dblp.org/rec/conf/aosd/TanigawaOSWH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/ecoop/WatanabeSTOH15, author = {Harumi Watanabe and Midori Sugaya and Ikuta Tanigawa and Nobuhiko Ogura and Kenji Hisazumi}, title = {A Study of Context-Oriented Programming for Applying to Robot Development}, booktitle = {Proceedings of the 7th International Workshop on Context-Oriented Programming, {COP} 2015, Prague, Czech Republic, July 4-10, 2015}, pages = {4:1--4:6}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2786545.2786551}, doi = {10.1145/2786545.2786551}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/WatanabeSTOH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/esweek/WatanabeTSOH15, author = {Harumi Watanabe and Ikuta Tanigawa and Midori Sugaya and Nobuhiko Ogura and Kenji Hisazumi}, editor = {Martin T{\"{o}}rngren and Martin Edin Grimheden}, title = {A Development of Educational Robot Software for Master's Course Students}, booktitle = {Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, {WESE} 2015, Amsterdam, The Netherlands, October 4-9, 2015}, pages = {11:1--11:4}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2832920.2832931}, doi = {10.1145/2832920.2832931}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esweek/WatanabeTSOH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/nbis/HirakawaSHS15, author = {Go Hirakawa and Goshi Sato and Kenji Hisazumi and Yoshitaka Shibata}, editor = {Leonard Barolli and Makoto Takizawa and Hui{-}Huang Hsu and Tomoya Enokido and Fatos Xhafa}, title = {Data Gathering System for Recommender System in Tourism}, booktitle = {18th International Conference on Network-Based Information Systems, NBis 2015, Taipei, Taiwan, September 2-4, 2015}, pages = {521--525}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/NBiS.2015.78}, doi = {10.1109/NBIS.2015.78}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nbis/HirakawaSHS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/ijwis/AndoYKHF14, author = {Takahiro Ando and Hirokazu Yatsu and Weiqiang Kong and Kenji Hisazumi and Akira Fukuda}, title = {Translation rules of SysML state machine diagrams into CSP{\#} toward formal model checking}, journal = {Int. J. Web Inf. Syst.}, volume = {10}, number = {2}, pages = {151--169}, year = {2014}, url = {https://doi.org/10.1108/IJWIS-02-2014-0004}, doi = {10.1108/IJWIS-02-2014-0004}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijwis/AndoYKHF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/t4e/HazrianiNHF14, author = {Hazriani and Tsuneo Nakanishi and Kenji Hisazumi and Akira Fukuda}, editor = {Kinshuk and Sahana Murthy}, title = {Movie Based Context-Aware Language Learning: Its Concept and System}, booktitle = {Sixth {IEEE} International Conference on Technology for Education, {T4E} 2014, Amritapuri, India, December 18-21, 2014}, pages = {164--167}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/T4E.2014.32}, doi = {10.1109/T4E.2014.32}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/t4e/HazrianiNHF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/apsec/KongLAYHF13, author = {Weiqiang Kong and Leyuan Liu and Takahiro Ando and Hirokazu Yatsu and Kenji Hisazumi and Akira Fukuda}, editor = {Pornsiri Muenchaisri and Gregg Rothermel}, title = {Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration}, booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1}, pages = {355--362}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/APSEC.2013.55}, doi = {10.1109/APSEC.2013.55}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apsec/KongLAYHF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iccsa/AndoYKHF13, author = {Takahiro Ando and Hirokazu Yatsu and Weiqiang Kong and Kenji Hisazumi and Akira Fukuda}, editor = {Beniamino Murgante and Sanjay Misra and Maurizio Carlini and Carmelo Maria Torre and Hong{-}Quang Nguyen and David Taniar and Bernady O. Apduhan and Osvaldo Gervasi}, title = {Formalization and Model Checking of SysML State Machine Diagrams by CSP{\#}}, booktitle = {Computational Science and Its Applications - {ICCSA} 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {7973}, pages = {114--127}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39646-5\_9}, doi = {10.1007/978-3-642-39646-5\_9}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccsa/AndoYKHF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icse/HuangYKHU13, author = {Changyun Huang and Kazuhiro Yamashita and Yasutaka Kamei and Kenji Hisazumi and Naoyasu Ubayashi}, title = {Domain analysis for mining software repositories: Towards feature-based {DSL} construction}, booktitle = {4th International Workshop on Product LinE Approaches in Software Engineering, {PLEASE} 2013, San Francisco, CA, USA, May 20, 2013}, pages = {41--44}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/PLEASE.2013.6608663}, doi = {10.1109/PLEASE.2013.6608663}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/HuangYKHU13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icst/YatsuAKHFAF13, author = {Hirokazu Yatsu and Takahiro Ando and Weiqiang Kong and Kenji Hisazumi and Akira Fukuda and Toshiaki Aoki and Kokichi Futatsugi}, title = {Towards Formal Description of Standards for Automotive Operating Systems}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013}, pages = {13--14}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICSTW.2013.8}, doi = {10.1109/ICSTW.2013.8}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/YatsuAKHFAF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/models/AkayamaHHF13, author = {Seiko Akayama and Kenji Hisazumi and Syuhei Hiya and Akira Fukuda}, editor = {Timothy C. Lethbridge and Perdita Stevens}, title = {Using Model-Driven Development Tools for Object-Oriented Modeling Education}, booktitle = {Proceedings of the Educators' Symposium co-located with {ACM/IEEE} 16th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2013), Miami, USA, September 30th, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1134}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1134/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/AkayamaHHF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/models/HiyaHFN13, author = {Shuhei Hiya and Kenji Hisazumi and Akira Fukuda and Tsuneo Nakanishi}, editor = {Yan Liu and Steffen Zschaler and Benoit Baudry and Sudipto Ghosh and Davide Di Ruscio and Ethan K. Jackson and Manuel Wimmer}, title = {clooca : Web based tool for Domain Specific Modeling}, booktitle = {Joint Proceedings of MODELS'13 Invited Talks, Demonstration Session, Poster Session, and {ACM} Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2013), Miami, USA, September 29 - October 4, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1115}, pages = {31--35}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1115/demo6.pdf}, timestamp = {Wed, 26 Jun 2024 17:26:37 +0200}, biburl = {https://dblp.org/rec/conf/models/HiyaHFN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/esweek/AkayamaKHFK12, author = {Seiko Akayama and Shin Kuboaki and Kenji Hisazumi and Takao Futagami and Teruaki Kitasuka}, editor = {Peter Marwedel}, title = {Development of a modeling education program for novices using model-driven development}, booktitle = {Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, {WESE} 2012, Tampere, Finland, October 12, 2012}, pages = {4}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2530544.2530548}, doi = {10.1145/2530544.2530548}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esweek/AkayamaKHFK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icse/NaganoNKAHUF12, author = {Rina Nagano and Hiroki Nakamura and Yasutaka Kamei and Bram Adams and Kenji Hisazumi and Naoyasu Ubayashi and Akira Fukuda}, editor = {Martin Glinz and Gail C. Murphy and Mauro Pezz{\`{e}}}, title = {Using the {GPGPU} for scaling up Mining Software Repositories}, booktitle = {34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland}, pages = {1435--1436}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICSE.2012.6227077}, doi = {10.1109/ICSE.2012.6227077}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/NaganoNKAHUF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/iwesep/NakamuraNHKUF12, author = {Hiroki Nakamura and Rina Nagano and Kenji Hisazumi and Yasutaka Kamei and Naoyasu Ubayashi and Akira Fukuda}, title = {{QORAL:} An External Domain-Specific Language for Mining Software Repositories}, booktitle = {Fourth International Workshop on Empirical Software Engineering in Practice, {IWESEP} 2012, Osaka, Japan, October 26-27, 2012}, pages = {23--29}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/IWESEP.2012.20}, doi = {10.1109/IWESEP.2012.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwesep/NakamuraNHKUF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/mobisys/FurushoHKINF12, author = {Hiroki Furusho and Kenji Hisazumi and Takeshi Kamiyama and Hiroshi Inamura and Tsuneo Nakanishi and Akira Fukuda}, editor = {Nigel Davies and Srinivasan Seshan and Lin Zhong}, title = {Poster: an energy profiler for android applications used in the real world}, booktitle = {The 10th International Conference on Mobile Systems, Applications, and Services, MobiSys'12, Ambleside, United Kingdom - June 25 - 29, 2012}, pages = {517--518}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2307636.2307712}, doi = {10.1145/2307636.2307712}, timestamp = {Thu, 31 Oct 2019 15:55:26 +0100}, biburl = {https://dblp.org/rec/conf/mobisys/FurushoHKINF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/apsec/KongKWKHF11, author = {Weiqiang Kong and Noriyuki Katahira and Masahiko Watanabe and Tetsuro Katayama and Kenji Hisazumi and Akira Fukuda}, editor = {Tran Dan Thu and Karl R. P. H. Leung}, title = {Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking}, booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho Chi Minh, Vietnam, December 5-8, 2011}, pages = {81--88}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/APSEC.2011.17}, doi = {10.1109/APSEC.2011.17}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/KongKWKHF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/splc/OtsukaKIUNH11, author = {Jun Otsuka and Kouichi Kawarabata and Takashi Iwasaki and Makoto Uchiba and Tsuneo Nakanishi and Kenji Hisazumi}, editor = {Ina Schaefer and Isabel John and Klaus Schmid}, title = {Small inexpensive core asset construction for large gainful product line development: developing a communication system firmware product line}, booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011, Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume 2)}, pages = {20}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2019136.2019159}, doi = {10.1145/2019136.2019159}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/splc/OtsukaKIUNH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/serp/HattoriHANHF10, author = {Yusuke Hattori and Go Hirakawa and Shuichi Ashihara and Tsuneo Nakanishi and Kenji Hisazumi and Akira Fukuda}, editor = {Hamid R. Arabnia and Hassan Reza and Leonidas Deligiannidis and Juan Jose Cuadrado{-}Gallego and Vincent Schmidt and Ashu M. G. Solo}, title = {Traceability Link for Product Line with {RAS} based Representation}, booktitle = {Proceedings of the 2010 International Conference on Software Engineering Research {\&} Practice, {SERP} 2010, July 12-15, 2010, Las Vegas, Nevada, USA, 2 Volumes}, pages = {105--110}, publisher = {{CSREA} Press}, year = {2010}, timestamp = {Fri, 10 Dec 2010 13:15:53 +0100}, biburl = {https://dblp.org/rec/conf/serp/HattoriHANHF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/splc/IwasakiUOHNHF10, author = {Takashi Iwasaki and Makoto Uchiba and Jun Otsuka and Koji Hachiya and Tsuneo Nakanishi and Kenji Hisazumi and Akira Fukuda}, editor = {Goetz Botterweck and Stan Jarzabek and Tomoji Kishi and Jaejoon Lee and Steve Livengood}, title = {An Experience Report of Introducing Product Line Engineering across the Board}, booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)}, pages = {255--258}, publisher = {Lancaster University}, year = {2010}, url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf}, timestamp = {Wed, 30 Mar 2016 18:10:17 +0200}, biburl = {https://dblp.org/rec/conf/splc/IwasakiUOHNHF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/csreaPSC/KitasukaHNF05, author = {Teruaki Kitasuka and Kenji Hisazumi and Tsuneo Nakanishi and Akira Fukuda}, editor = {Laurence Tianruo Yang and Jianhua Ma and Makoto Takizawa and Timothy K. Shih}, title = {Positioning Technique of Wireless {LAN} Terminals Using {RSSI} between Terminals}, booktitle = {Proceedings of the 2005 International Conference on Pervasive Systems and Computing, {PSC} 2005, Las Vegas, Nevada, USA, June 27-30, 2005}, pages = {47--53}, publisher = {{CSREA} Press}, year = {2005}, timestamp = {Thu, 01 Feb 2024 20:40:31 +0100}, biburl = {https://dblp.org/rec/conf/csreaPSC/KitasukaHNF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icita/KitasukaHNF05, author = {Teruaki Kitasuka and Kenji Hisazumi and Tsuneo Nakanishi and Akira Fukuda}, title = {WiPS: Location and Motion Sensing Technique of {IEEE} 802.11 Devices}, booktitle = {Third International Conference on Information Technology and Applications {(ICITA} 2005), 4-7 July 2005, Sydney, Australia}, pages = {346--349}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ICITA.2005.312}, doi = {10.1109/ICITA.2005.312}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icita/KitasukaHNF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/pdpta/ImanishiHNKF04, author = {Koya Imanishi and Kenji Hisazumi and Tsuneo Nakanishi and Teruaki Kitasuka and Akira Fukuda}, editor = {Hamid R. Arabnia}, title = {Design of a Context-aware Message Exchange System in an Ad-hoc Network}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 3}, pages = {1142--1146}, publisher = {{CSREA} Press}, year = {2004}, timestamp = {Mon, 15 Jun 2015 19:00:07 +0200}, biburl = {https://dblp.org/rec/conf/pdpta/ImanishiHNKF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/pdpta/ImanishiHNKF03, author = {Koya Imanishi and Kenji Hisazumi and Tsuneo Nakanishi and Teruaki Kitasuka and Akira Fukuda}, editor = {Hamid R. Arabnia and Youngsong Mun}, title = {Design of a Context-Aware Email Delivery System}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2}, pages = {744--750}, publisher = {{CSREA} Press}, year = {2003}, timestamp = {Fri, 05 Dec 2003 09:24:14 +0100}, biburl = {https://dblp.org/rec/conf/pdpta/ImanishiHNKF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/pdpta/HisazumiNKF03, author = {Kenji Hisazumi and Tsuneo Nakanishi and Teruaki Kitasuka and Akira Fukuda}, editor = {Hamid R. Arabnia and Youngsong Mun}, title = {A Context-Aware Middleware Mapping Processes and User-Context Subspaces}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 4}, pages = {1591--1597}, publisher = {{CSREA} Press}, year = {2003}, timestamp = {Fri, 05 Dec 2003 09:24:20 +0100}, biburl = {https://dblp.org/rec/conf/pdpta/HisazumiNKF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/sigopsE/HisazumiNKF02, author = {Kenji Hisazumi and Tsuneo Nakanishi and Teruaki Kitasuka and Akira Fukuda}, editor = {Gilles Muller and Eric Jul}, title = {Design and implementation of the Lambda mu-kernel based operating system for embedded systems}, booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion, France, July 1, 2002}, pages = {178--181}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/1133373.1133408}, doi = {10.1145/1133373.1133408}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigopsE/HisazumiNKF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }