BibTeX records: Shinichi Honiden

download as .bib file

@inproceedings{DBLP:conf/icsoft/MatsuzakiH23,
  author       = {Kazutaka Matsuzaki and
                  Shinichi Honiden},
  editor       = {Hans{-}Georg Fill and
                  Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
                  Marten van Sinderen and
                  Leszek A. Maciaszek},
  title        = {Enhancing {ICS} Security Diagnostics with Pseudo-Greybox Fuzzing During
                  Maintenance Testing},
  booktitle    = {Proceedings of the 18th International Conference on Software Technologies,
                  {ICSOFT} 2023, Rome, Italy, July 10-12, 2023},
  pages        = {660--667},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0012137100003538},
  doi          = {10.5220/0012137100003538},
  timestamp    = {Mon, 31 Jul 2023 15:39:29 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/MatsuzakiH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/NakagawaH23,
  author       = {Hiroyuki Nakagawa and
                  Shinichi Honiden},
  editor       = {Kurt Schneider and
                  Fabiano Dalpiaz and
                  Jennifer Horkoff},
  title        = {{MAPE-K} Loop-Based Goal Model Generation Using Generative {AI}},
  booktitle    = {31st {IEEE} International Requirements Engineering Conference, {RE}
                  2023 - Workshops, Hannover, Germany, September 4-5, 2023},
  pages        = {247--251},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/REW57809.2023.00050},
  doi          = {10.1109/REW57809.2023.00050},
  timestamp    = {Fri, 06 Oct 2023 16:02:58 +0200},
  biburl       = {https://dblp.org/rec/conf/re/NakagawaH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/MatsuzakiSH23,
  author       = {Kazutaka Matsuzaki and
                  Kenji Sawada and
                  Shinichi Honiden},
  editor       = {Sabrina De Capitani di Vimercati and
                  Pierangela Samarati},
  title        = {Remote Security Assessment for Cyber-Physical Systems: Adapting Design
                  Patterns for Enhanced Diagnosis},
  booktitle    = {Proceedings of the 20th International Conference on Security and Cryptography,
                  {SECRYPT} 2023, Rome, Italy, July 10-12, 2023},
  pages        = {805--812},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0012132600003555},
  doi          = {10.5220/0012132600003555},
  timestamp    = {Mon, 31 Jul 2023 15:34:21 +0200},
  biburl       = {https://dblp.org/rec/conf/secrypt/MatsuzakiSH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiZMZJHT22,
  author       = {Jialong Li and
                  Mingyue Zhang and
                  Zhenyu Mao and
                  Haiyan Zhao and
                  Zhi Jin and
                  Shinichi Honiden and
                  Kenji Tei},
  title        = {Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement
                  Learning-based Adaptation},
  booktitle    = {29th Asia-Pacific Software Engineering Conference, {APSEC} 2022, Virtual
                  Event, Japan, December 6-9, 2022},
  pages        = {189--198},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/APSEC57359.2022.00031},
  doi          = {10.1109/APSEC57359.2022.00031},
  timestamp    = {Mon, 27 Feb 2023 15:22:37 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/LiZMZJHT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/ZhangLZTHJ21,
  author       = {Mingyue Zhang and
                  Jialong Li and
                  Haiyan Zhao and
                  Kenji Tei and
                  Shinichi Honiden and
                  Zhi Jin},
  editor       = {Esam El{-}Araby and
                  Vana Kalogeraki and
                  Danilo Pianini and
                  Fr{\'{e}}d{\'{e}}ric Lassabe and
                  Barry Porter and
                  Sona Ghahremani and
                  Ingrid Nunes and
                  Mohamed Bakhouya and
                  Sven Tomforde},
  title        = {A Meta Reinforcement Learning-based Approach for Self-Adaptive System},
  booktitle    = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
                  Systems, {ACSOS} 2021, Washington, DC, USA, September 27 - Oct. 1,
                  2021},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACSOS52086.2021.00024},
  doi          = {10.1109/ACSOS52086.2021.00024},
  timestamp    = {Thu, 13 Jan 2022 08:43:55 +0100},
  biburl       = {https://dblp.org/rec/conf/acsos/ZhangLZTHJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcce/MaoLZTH21,
  author       = {Zhenyu Mao and
                  Jialong Li and
                  Nianzhao Zheng and
                  Kenji Tei and
                  Shinichi Honiden},
  title        = {Transfer Learning Method in Reinforcement Learning-based Traffic Signal
                  Control},
  booktitle    = {10th {IEEE} Global Conference on Consumer Electronics, {GCCE} 2021,
                  Kyoto, Japan, October 12-15, 2021},
  pages        = {304--307},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/GCCE53005.2021.9621842},
  doi          = {10.1109/GCCE53005.2021.9621842},
  timestamp    = {Fri, 03 Dec 2021 08:37:30 +0100},
  biburl       = {https://dblp.org/rec/conf/gcce/MaoLZTH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcce/DingLTH21,
  author       = {Yichen Ding and
                  Jialong Li and
                  Kenji Tei and
                  Shinichi Honiden},
  title        = {Blockchain-Based Cooperative Incentive System for Emergency Road Right
                  Transferring},
  booktitle    = {10th {IEEE} Global Conference on Consumer Electronics, {GCCE} 2021,
                  Kyoto, Japan, October 12-15, 2021},
  pages        = {736--739},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/GCCE53005.2021.9621857},
  doi          = {10.1109/GCCE53005.2021.9621857},
  timestamp    = {Fri, 03 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gcce/DingLTH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica2/LingLTH21,
  author       = {Jiali Ling and
                  Jialong Li and
                  Kenji Tei and
                  Shinichi Honiden},
  title        = {Towards Personalized Autonomous Driving: An Emotion Preference Style
                  Adaptation Framework},
  booktitle    = {{IEEE} International Conference on Agents, {ICA} 2021, Kyoto, Japan,
                  December 13-15, 2021},
  pages        = {47--52},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICA54137.2021.00015},
  doi          = {10.1109/ICA54137.2021.00015},
  timestamp    = {Wed, 04 May 2022 09:41:05 +0200},
  biburl       = {https://dblp.org/rec/conf/ica2/LingLTH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lifetech/LiMCTH21,
  author       = {Jialong Li and
                  Zhenyu Mao and
                  Zhen Cao and
                  Kenji Tei and
                  Shinichi Honiden},
  title        = {Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence},
  booktitle    = {3rd {IEEE} Global Conference on Life Sciences and Technologies, LifeTech
                  2021, Nara, Japan, March 9-11, 2021},
  pages        = {204--206},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/LifeTech52111.2021.9391909},
  doi          = {10.1109/LIFETECH52111.2021.9391909},
  timestamp    = {Thu, 15 Apr 2021 14:30:33 +0200},
  biburl       = {https://dblp.org/rec/conf/lifetech/LiMCTH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-04986,
  author       = {Mingyue Zhang and
                  Jialong Li and
                  Haiyan Zhao and
                  Kenji Tei and
                  Shinichi Honiden and
                  Zhi Jin},
  title        = {A Meta Reinforcement Learning-based Approach for Self-Adaptive System},
  journal      = {CoRR},
  volume       = {abs/2105.04986},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.04986},
  eprinttype    = {arXiv},
  eprint       = {2105.04986},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-04986.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NahabedianBDHKT20,
  author       = {Leandro Nahabedian and
                  V{\'{\i}}ctor A. Braberman and
                  Nicol{\'{a}}s D'Ippolito and
                  Shinichi Honiden and
                  Jeff Kramer and
                  Kenji Tei and
                  Sebasti{\'{a}}n Uchitel},
  title        = {Dynamic Update of Discrete Event Controllers},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {46},
  number       = {11},
  pages        = {1220--1240},
  year         = {2020},
  url          = {https://doi.org/10.1109/TSE.2018.2876843},
  doi          = {10.1109/TSE.2018.2876843},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/NahabedianBDHKT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aike/KuwanaTFH20,
  author       = {Kengo Kuwana and
                  Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  title        = {Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis},
  booktitle    = {3rd {IEEE} International Conference on Artificial Intelligence and
                  Knowledge Engineering, {AIKE} 2020, Laguna Hills, CA, USA, December
                  9-13, 2020},
  pages        = {168--173},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/AIKE48582.2020.00033},
  doi          = {10.1109/AIKE48582.2020.00033},
  timestamp    = {Fri, 26 Feb 2021 11:33:29 +0100},
  biburl       = {https://dblp.org/rec/conf/aike/KuwanaTFH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aike/YamauchiTH20,
  author       = {Takuto Yamauchi and
                  Kenji Tei and
                  Shinichi Honiden},
  title        = {Method for Low-Cost Environment Partitioning Modeling in Dynamic Update},
  booktitle    = {3rd {IEEE} International Conference on Artificial Intelligence and
                  Knowledge Engineering, {AIKE} 2020, Laguna Hills, CA, USA, December
                  9-13, 2020},
  pages        = {183--187},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/AIKE48582.2020.00036},
  doi          = {10.1109/AIKE48582.2020.00036},
  timestamp    = {Fri, 26 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aike/YamauchiTH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WashizakiTUYFHO20,
  author       = {Hironori Washizaki and
                  Kenji Tei and
                  Kazunori Ueda and
                  Hayato Yamana and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden and
                  Shoichi Okazaki and
                  Nobukazu Yoshioka and
                  Naoshi Uchihira},
  title        = {Smart {SE:} Smart Systems and Services Innovative Professional Education
                  Program},
  booktitle    = {44th {IEEE} Annual Computers, Software, and Applications Conference,
                  {COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
  pages        = {1113--1114},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/COMPSAC48688.2020.0-114},
  doi          = {10.1109/COMPSAC48688.2020.0-114},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/WashizakiTUYFHO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/LiATH20,
  author       = {Jialong Li and
                  Kazuya Aizawa and
                  Kenji Tei and
                  Shinichi Honiden},
  editor       = {Guojun Wang and
                  Gregorio Mart{\'{\i}}nez P{\'{e}}rez and
                  Scott Fowler and
                  Kuan{-}Ching Li},
  title        = {Efficient Difference Analysis Algorithm for Runtime Requirement Degradation
                  under System Functional Fault},
  booktitle    = {18th {IEEE} International Conference on Embedded and Ubiquitous Computing,
                  {EUC} 2020, Guangzhou, China, December 31, 2020 - January 1, 2021},
  pages        = {33--40},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/EUC50751.2020.00012},
  doi          = {10.1109/EUC50751.2020.00012},
  timestamp    = {Fri, 30 Apr 2021 12:35:39 +0200},
  biburl       = {https://dblp.org/rec/conf/euc/LiATH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/LiTH20,
  author       = {Jialong Li and
                  Kenji Tei and
                  Shinichi Honiden},
  editor       = {Ajith Abraham and
                  Vincenzo Piuri and
                  Niketa Gandhi and
                  Patrick Siarry and
                  Arturas Kaklauskas and
                  Ana Madureira},
  title        = {Identifying Achievable Goals for Adaptive Replanning Against Runtime
                  Environment Change},
  booktitle    = {Intelligent Systems Design and Applications - 20th International Conference
                  on Intelligent Systems Design and Applications {(ISDA} 2020) held
                  December 12-15, 2020},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {1351},
  pages        = {945--955},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-71187-0\_87},
  doi          = {10.1007/978-3-030-71187-0\_87},
  timestamp    = {Tue, 21 Mar 2023 20:55:14 +0100},
  biburl       = {https://dblp.org/rec/conf/isda/LiTH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/SaekiNSH20,
  author       = {Takaya Saeki and
                  Yuichi Nishiwaki and
                  Takahiro Shinagawa and
                  Shinichi Honiden},
  editor       = {Santosh Nagarakatte and
                  Andrew Baumann and
                  Baris Kasikci},
  title        = {A robust and flexible operating system compatibility architecture},
  booktitle    = {{VEE} '20: 16th {ACM} {SIGPLAN/SIGOPS} International Conference on
                  Virtual Execution Environments, virtual event [Lausanne, Switzerland],
                  March 17, 2020},
  pages        = {129--142},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3381052.3381327},
  doi          = {10.1145/3381052.3381327},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vee/SaekiNSH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2020seams,
  editor       = {Shinichi Honiden and
                  Elisabetta Di Nitto and
                  Radu Calinescu},
  title        = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering
                  for Adaptive and Self-Managing Systems, Seoul, Republic of Korea,
                  29 June - 3 July, 2020},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3387939},
  doi          = {10.1145/3387939},
  isbn         = {978-1-4503-7962-5},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/2020seams.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KobayashiIH19,
  author       = {Tsutomu Kobayashi and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Consistency-preserving refactoring of refinement structures in Event-B
                  models},
  journal      = {Formal Aspects Comput.},
  volume       = {31},
  number       = {3},
  pages        = {287--320},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00165-019-00478-z},
  doi          = {10.1007/S00165-019-00478-Z},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/KobayashiIH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SaruwatariIKH19,
  author       = {Shinnosuke Saruwatari and
                  Fuyuki Ishikawa and
                  Tsutomu Kobayashi and
                  Shinichi Honiden},
  title        = {Change Impact Analysis for Refinement-Based Formal Specification},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {102-D},
  number       = {8},
  pages        = {1462--1477},
  year         = {2019},
  url          = {https://doi.org/10.1587/transinf.2018FOP0006},
  doi          = {10.1587/TRANSINF.2018FOP0006},
  timestamp    = {Mon, 18 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieicet/SaruwatariIKH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BennaceurGTKWCD19,
  author       = {Amel Bennaceur and
                  Carlo Ghezzi and
                  Kenji Tei and
                  Timo Kehrer and
                  Danny Weyns and
                  Radu Calinescu and
                  Schahram Dustdar and
                  Zhenjiang Hu and
                  Shinichi Honiden and
                  Fuyuki Ishikawa and
                  Zhi Jin and
                  Jeffrey Kramer and
                  Marin Litoiu and
                  Michele Loreti and
                  Gabriel A. Moreno and
                  Hausi A. M{\"{u}}ller and
                  Laura Nenzi and
                  Bashar Nuseibeh and
                  Liliana Pasquale and
                  Wolfgang Reisig and
                  Heinz Schmidt and
                  Christos Tsigkanos and
                  Haiyan Zhao},
  editor       = {Marin Litoiu and
                  Siobh{\'{a}}n Clarke and
                  Kenji Tei},
  title        = {Modelling and analysing resilient cyber-physical systems},
  booktitle    = {Proceedings of the 14th International Symposium on Software Engineering
                  for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
                  QC, Canada, May 25-31, 2019},
  pages        = {70--76},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SEAMS.2019.00018},
  doi          = {10.1109/SEAMS.2019.00018},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BennaceurGTKWCD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/AizawaTH19,
  author       = {Kazuya Aizawa and
                  Kenji Tei and
                  Shinichi Honiden},
  title        = {Analysis Space Reduction with State Merging for Ensuring Safety Properties
                  of Self-Adaptive Systems},
  booktitle    = {2019 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
                  Advanced {\&} Trusted Computing, Scalable Computing {\&} Communications,
                  Cloud {\&} Big Data Computing, Internet of People and Smart City
                  Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester,
                  United Kingdom, August 19-23, 2019},
  pages        = {1363--1370},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00249},
  doi          = {10.1109/SMARTWORLD-UIC-ATC-SCALCOM-IOP-SCI.2019.00249},
  timestamp    = {Mon, 20 Apr 2020 11:50:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uic/AizawaTH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/YB2019,
  editor       = {Yijun Yu and
                  Arosha K. Bandara and
                  Shinichi Honiden and
                  Zhenjiang Hu and
                  Tetsuo Tamai and
                  Hausi A. M{\"{u}}ller and
                  John Mylopoulos and
                  Bashar Nuseibeh},
  title        = {Engineering Adaptive Software Systems - Communications of {NII} Shonan
                  Meetings},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-981-13-2185-6},
  doi          = {10.1007/978-981-13-2185-6},
  isbn         = {978-981-13-2184-9},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/YB2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/KatoIH18,
  author       = {Koki Kato and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Falsification of Cyber-Physical Systems with Reinforcement Learning},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {5--6},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00009},
  doi          = {10.1109/MT-CPS.2018.00009},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/KatoIH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica2/AizawaTH18,
  author       = {Kazuya Aizawa and
                  Kenji Tei and
                  Shinichi Honiden},
  title        = {Identifying safety properties guaranteed in changed environment at
                  runtime},
  booktitle    = {{IEEE} International Conference on Agents, {ICA} 2018, Singapore,
                  July 28-31, 2018},
  pages        = {75--80},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.ieeecomputersociety.org/10.1109/AGENTS.2018.8460083},
  doi          = {10.1109/AGENTS.2018.8460083},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ica2/AizawaTH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TsukamotoMH18,
  author       = {Keita Tsukamoto and
                  Yuta Maezawa and
                  Shinichi Honiden},
  editor       = {Hisham M. Haddad and
                  Roger L. Wainwright and
                  Richard Chbeir},
  title        = {AutoPUT: an automated technique for retrofitting closed unit tests
                  into parameterized unit tests},
  booktitle    = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
                  {SAC} 2018, Pau, France, April 09-13, 2018},
  pages        = {1944--1951},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3167132.3167340},
  doi          = {10.1145/3167132.3167340},
  timestamp    = {Wed, 25 Sep 2019 18:12:13 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/TsukamotoMH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SaruwatariIKH17,
  author       = {Shinnosuke Saruwatari and
                  Fuyuki Ishikawa and
                  Tsutomu Kobayashi and
                  Shinichi Honiden},
  editor       = {Jian Lv and
                  He Jason Zhang and
                  Mike Hinchey and
                  Xiao Liu},
  title        = {Extracting Traceability between Predicates in Event-B Refinement},
  booktitle    = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
                  China, December 4-8, 2017},
  pages        = {61--70},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/APSEC.2017.12},
  doi          = {10.1109/APSEC.2017.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/SaruwatariIKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/SaekiNSH17,
  author       = {Takaya Saeki and
                  Yuichi Nishiwaki and
                  Takahiro Shinagawa and
                  Shinichi Honiden},
  title        = {Bash on Ubuntu on macOS},
  booktitle    = {Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India,
                  September 2, 2017},
  pages        = {17:1--17:8},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3124680.3124733},
  doi          = {10.1145/3124680.3124733},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsys/SaekiNSH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TaharaOH17,
  author       = {Yasuyuki Tahara and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Formal Verification of Dynamic Evolution Processes of {UML} Models
                  Using Aspects},
  booktitle    = {12th {IEEE/ACM} International Symposium on Software Engineering for
                  Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires,
                  Argentina, May 22-23, 2017},
  pages        = {152--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/SEAMS.2017.4},
  doi          = {10.1109/SEAMS.2017.4},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/TaharaOH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TanabeTFH17,
  author       = {Moeka Tanabe and
                  Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Ahmed Seffah and
                  Birgit Penzenstadler and
                  Carina Alves and
                  Xin Peng},
  title        = {Learning environment model at runtime for self-adaptive systems},
  booktitle    = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
                  Morocco, April 3-7, 2017},
  pages        = {1198--1204},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3019612.3019776},
  doi          = {10.1145/3019612.3019776},
  timestamp    = {Wed, 01 Feb 2023 17:58:48 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/TanabeTFH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MoritaIH17,
  author       = {Daichi Morita and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Kim Guldstrand Larsen and
                  Oleg Sokolsky and
                  Ji Wang},
  title        = {Construction of Abstract State Graphs for Understanding Event-B Models},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - Third International Symposium, {SETTA} 2017, Changsha, China, October
                  23-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10606},
  pages        = {250--265},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-69483-2\_15},
  doi          = {10.1007/978-3-319-69483-2\_15},
  timestamp    = {Tue, 13 Apr 2021 10:56:13 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/MoritaIH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/IkeshitaIH17,
  author       = {Katsuhiko Ikeshita and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Test Suite Reduction in Idempotence Testing of Infrastructure as Code},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {98--115},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_6},
  doi          = {10.1007/978-3-319-61467-0\_6},
  timestamp    = {Tue, 23 Jun 2020 17:47:28 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/IkeshitaIH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/AkiyamaHTH16,
  author       = {Soramichi Akiyama and
                  Takahiro Hirofuchi and
                  Ryousei Takano and
                  Shinichi Honiden},
  title        = {Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive
                  Transfer of Page Cache via {SAN}},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {99-D},
  number       = {12},
  pages        = {3024--3034},
  year         = {2016},
  url          = {https://doi.org/10.1587/transinf.2016PAP0021},
  doi          = {10.1587/TRANSINF.2016PAP0021},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/AkiyamaHTH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/0001IH16,
  author       = {Florian Wagner and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Robust Service Compositions with Functional and Location Diversity},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {9},
  number       = {2},
  pages        = {277--290},
  year         = {2016},
  url          = {https://doi.org/10.1109/TSC.2013.2295791},
  doi          = {10.1109/TSC.2013.2295791},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/0001IH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/KobayashiIH16,
  author       = {Tsutomu Kobayashi and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Isabelle Comyn{-}Wattiau and
                  Katsumi Tanaka and
                  Il{-}Yeol Song and
                  Shuichiro Yamamoto and
                  Motoshi Saeki},
  title        = {Stepwise Refinement of Software Development Problem Analysis},
  booktitle    = {Conceptual Modeling - 35th International Conference, {ER} 2016, Gifu,
                  Japan, November 14-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9974},
  pages        = {488--495},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46397-1\_37},
  doi          = {10.1007/978-3-319-46397-1\_37},
  timestamp    = {Thu, 23 Jun 2022 19:56:58 +0200},
  biburl       = {https://dblp.org/rec/conf/er/KobayashiIH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KobayashiIH16,
  author       = {Tsutomu Kobayashi and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {John S. Fitzgerald and
                  Constance L. Heitmeyer and
                  Stefania Gnesi and
                  Anna Philippou},
  title        = {Refactoring Refinement Structure of Event-B Machines},
  booktitle    = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
                  Cyprus, November 9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9995},
  pages        = {444--459},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48989-6\_27},
  doi          = {10.1007/978-3-319-48989-6\_27},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/KobayashiIH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SaekiIH16,
  author       = {Takaya Saeki and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Automatic Generation of Potentially Pathological Instances for Validating
                  Alloy Models},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {41--56},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_4},
  doi          = {10.1007/978-3-319-47846-3\_4},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/SaekiIH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NahabedianBDHKT16,
  author       = {Leandro Nahabedian and
                  V{\'{\i}}ctor A. Braberman and
                  Nicol{\'{a}}s D'Ippolito and
                  Shinichi Honiden and
                  Jeff Kramer and
                  Kenji Tei and
                  Sebasti{\'{a}}n Uchitel},
  title        = {Assured and correct dynamic update of controllers},
  booktitle    = {Proceedings of the 11th International Symposium on Software Engineering
                  for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas,
                  USA, May 14-22, 2016},
  pages        = {96--107},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2897053.2897056},
  doi          = {10.1145/2897053.2897056},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/NahabedianBDHKT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TokumotoYSH16,
  author       = {Susumu Tokumoto and
                  Hiroaki Yoshida and
                  Kazunori Sakamoto and
                  Shinichi Honiden},
  title        = {MuVM: Higher Order Mutation Analysis Virtual Machine for {C}},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {320--329},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.18},
  doi          = {10.1109/ICST.2016.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/TokumotoYSH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LimBKIH15,
  author       = {Soo Ling Lim and
                  Peter J. Bentley and
                  Natalie Kanakam and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Investigating Country Differences in Mobile App User Behavior and
                  Challenges for Software Engineering},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {41},
  number       = {1},
  pages        = {40--64},
  year         = {2015},
  url          = {https://doi.org/10.1109/TSE.2014.2360674},
  doi          = {10.1109/TSE.2014.2360674},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/LimBKIH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TeiSFH15,
  author       = {Kenji Tei and
                  Ryo Shimizu and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  title        = {Model-Driven-Development-Based Stepwise Software Development Process
                  for Wireless Sensor Networks},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {45},
  number       = {4},
  pages        = {675--687},
  year         = {2015},
  url          = {https://doi.org/10.1109/TSMC.2014.2360506},
  doi          = {10.1109/TSMC.2014.2360506},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/TeiSFH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/MoralesIH15,
  author       = {Fernando Tarin Morales and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {James Cheney and
                  Thomas Neumann},
  title        = {Abstract rewriting Approach to solve Datalog programs},
  booktitle    = {Proceedings of the 15th Symposium on Database Programming Languages,
                  Pittsburgh, PA, USA, October 25-30, 2015},
  pages        = {29--36},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2815072.2815076},
  doi          = {10.1145/2815072.2815076},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dbpl/MoralesIH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YagitaIH15,
  author       = {Miki Yagita and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Tom{\'{a}}s Bures and
                  Danny Weyns and
                  Mark Klein and
                  Rodolfo E. Haber},
  title        = {An Application Conflict Detection and Resolution System for Smart
                  Homes},
  booktitle    = {1st {IEEE/ACM} International Workshop on Software Engineering for
                  Smart Cyber-Physical Systems, SEsCPS 2015, Florence, Italy, May 17,
                  2015},
  pages        = {33--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SEsCPS.2015.14},
  doi          = {10.1109/SESCPS.2015.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/YagitaIH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YatohSIH15,
  author       = {Kohsuke Yatoh and
                  Kazunori Sakamoto and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Feedback-controlled random test generation},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {316--326},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771805},
  doi          = {10.1145/2771783.2771805},
  timestamp    = {Fri, 05 Nov 2021 10:54:23 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/YatohSIH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/KleinIH14,
  author       = {Adrian Klein and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {SanGA: {A} Self-Adaptive Network-Aware Approach to Service Composition},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {7},
  number       = {3},
  pages        = {452--464},
  year         = {2014},
  url          = {https://doi.org/10.1109/TSC.2013.2},
  doi          = {10.1109/TSC.2013.2},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/KleinIH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/AkiyamaHTH14,
  author       = {Soramichi Akiyama and
                  Takahiro Hirofuchi and
                  Ryousei Takano and
                  Shinichi Honiden},
  title        = {Fast Live Migration with Small {IO} Performance Penalty by Exploiting
                  {SAN} in Parallel},
  booktitle    = {2014 {IEEE} 7th International Conference on Cloud Computing, Anchorage,
                  AK, USA, June 27 - July 2, 2014},
  pages        = {40--47},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/CLOUD.2014.16},
  doi          = {10.1109/CLOUD.2014.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/AkiyamaHTH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/KobayashiIH14,
  author       = {Tsutomu Kobayashi and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Yamine A{\"{\i}}t Ameur and
                  Klaus{-}Dieter Schewe},
  title        = {Understanding and Planning Event-B Refinement through Primitive Rationales},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
                  Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8477},
  pages        = {277--283},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43652-3\_24},
  doi          = {10.1007/978-3-662-43652-3\_24},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/KobayashiIH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/XuIIMH14,
  author       = {Shengbo Xu and
                  Yuki Inoue and
                  Tetsunari Inamura and
                  Hirotaka Moriguchi and
                  Shinichi Honiden},
  editor       = {Ana L. C. Bazzan and
                  Michael N. Huhns and
                  Alessio Lomuscio and
                  Paul Scerri},
  title        = {Sample efficiency improvement on neuroevolution via estimation-based
                  elimination strategy},
  booktitle    = {International conference on Autonomous Agents and Multi-Agent Systems,
                  {AAMAS} '14, Paris, France, May 5-9, 2014},
  pages        = {1537--1538},
  publisher    = {{IFAAMAS/ACM}},
  year         = {2014},
  url          = {http://dl.acm.org/citation.cfm?id=2616050},
  timestamp    = {Thu, 25 Sep 2014 07:46:15 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/XuIIMH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/AkiyamaHH14,
  author       = {Soramichi Akiyama and
                  Takahiro Hirofuchi and
                  Shinichi Honiden},
  title        = {Evaluating Impact of Live Migration on Data Center Energy Saving},
  booktitle    = {{IEEE} 6th International Conference on Cloud Computing Technology
                  and Science, CloudCom 2014, Singapore, December 15-18, 2014},
  pages        = {759--762},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/CloudCom.2014.42},
  doi          = {10.1109/CLOUDCOM.2014.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cloudcom/AkiyamaHH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/YatohSIH14,
  author       = {Kohsuke Yatoh and
                  Kazunori Sakamoto and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {ArbitCheck: {A} Highly Automated Property-Based Testing Tool for Java},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April
                  4, 2014, Cleveland, Ohio, {USA}},
  pages        = {405--412},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICSTW.2014.68},
  doi          = {10.1109/ICSTW.2014.68},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/YatohSIH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/SuzukiSIH14,
  author       = {Takayuki Suzuki and
                  Kazunori Sakamoto and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Chanchal K. Roy and
                  Andrew Begel and
                  Leon Moonen},
  title        = {An approach for evaluating and suggesting method names using n-gram
                  models},
  booktitle    = {22nd International Conference on Program Comprehension, {ICPC} 2014,
                  Hyderabad, India, June 2-3, 2014},
  pages        = {271--274},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2597008.2597797},
  doi          = {10.1145/2597008.2597797},
  timestamp    = {Tue, 06 Nov 2018 16:58:04 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpc/SuzukiSIH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MaezawaNWH14,
  author       = {Yuta Maezawa and
                  Kazuki Nishiura and
                  Hironori Washizaki and
                  Shinichi Honiden},
  editor       = {Ivica Crnkovic and
                  Marsha Chechik and
                  Paul Gr{\"{u}}nbacher},
  title        = {Validating ajax applications using a delay-based mutation technique},
  booktitle    = {{ACM/IEEE} International Conference on Automated Software Engineering,
                  {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  pages        = {491--502},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2642937.2642996},
  doi          = {10.1145/2642937.2642996},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/MaezawaNWH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/InokiKH14,
  author       = {Mari Inoki and
                  Takayuki Kitagawa and
                  Shinichi Honiden},
  editor       = {Sixten Schockert and
                  Benedikt Krams and
                  Georg Herzwurm and
                  Wolfram Pietsch},
  title        = {Application of requirements prioritization decision rules in software
                  product line evolution},
  booktitle    = {5th {IEEE} International Workshop on Requirements Prioritization and
                  Communication, RePriCo 2014, Karlskrona, Sweden, August 26, 2014},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/RePriCo.2014.6895216},
  doi          = {10.1109/REPRICO.2014.6895216},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/InokiKH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/ShimizuTFH14,
  author       = {Ryo Shimizu and
                  Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  title        = {Toward a portability framework with multi-level models for wireless
                  sensor network software},
  booktitle    = {International Conference on Smart Computing, {SMARTCOMP} 2014, Hong
                  Kong, China, November 3-5, 2014},
  pages        = {253--260},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SMARTCOMP.2014.7043866},
  doi          = {10.1109/SMARTCOMP.2014.7043866},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/ShimizuTFH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/AkiyamaHTH13,
  author       = {Soramichi Akiyama and
                  Takahiro Hirofuchi and
                  Ryousei Takano and
                  Shinichi Honiden},
  title        = {Fast Wide Area Live Migration with a Low Overhead through Page Cache
                  Teleportation},
  booktitle    = {13th {IEEE/ACM} International Symposium on Cluster, Cloud, and Grid
                  Computing, CCGrid 2013, Delft, Netherlands, May 13-16, 2013},
  pages        = {78--82},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CCGrid.2013.57},
  doi          = {10.1109/CCGRID.2013.57},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccgrid/AkiyamaHTH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/XuMH13,
  author       = {Shengbo Xu and
                  Hirotaka Moriguchi and
                  Shinichi Honiden},
  title        = {Sample efficiency analysis of Neuroevolution algorithms on a quadruped
                  robot},
  booktitle    = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
                  2013, Cancun, Mexico, June 20-23, 2013},
  pages        = {2170--2177},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CEC.2013.6557826},
  doi          = {10.1109/CEC.2013.6557826},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/cec/XuMH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Honiden13,
  author       = {Shinichi Honiden},
  title        = {Goal Model Elaboration for Software Evolution},
  booktitle    = {2013 18th International Conference on Engineering of Complex Computer
                  Systems, Singapore, July 17-19, 2013},
  pages        = {3},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICECCS.2013.11},
  doi          = {10.1109/ICECCS.2013.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Honiden13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icimcs/HoriuchiMHX13,
  author       = {Shingo Horiuchi and
                  Hirotaka Moriguchi and
                  Shinichi Honiden and
                  Shengbo Xu},
  editor       = {Ke Lu and
                  Tao Mei and
                  Xindong Wu},
  title        = {Automatic image description by using word-level features},
  booktitle    = {International Conference on Internet Multimedia Computing and Service,
                  {ICIMCS} '13, Huangshan, China - August 17 - 19, 2013},
  pages        = {309--314},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2499788.2499823},
  doi          = {10.1145/2499788.2499823},
  timestamp    = {Mon, 07 Jan 2019 17:17:42 +0100},
  biburl       = {https://dblp.org/rec/conf/icimcs/HoriuchiMHX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issnip/BaljakTH13,
  author       = {Valentina Baljak and
                  Kenji Tei and
                  Shinichi Honiden},
  title        = {Fault classification and model learning from sensory Readings - Framework
                  for fault tolerance in wireless sensor networks},
  booktitle    = {2013 {IEEE} Eighth International Conference on Intelligent Sensors,
                  Sensor Networks and Information Processing, Melbourne, Australia,
                  April 2-5, 2013},
  pages        = {408--413},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ISSNIP.2013.6529825},
  doi          = {10.1109/ISSNIP.2013.6529825},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/issnip/BaljakTH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MaezawaWTH13,
  author       = {Yuta Maezawa and
                  Hironori Washizaki and
                  Yoshinori Tanabe and
                  Shinichi Honiden},
  editor       = {Ewen Denney and
                  Tevfik Bultan and
                  Andreas Zeller},
  title        = {Automated verification of pattern-based interaction invariants in
                  Ajax applications},
  booktitle    = {2013 28th {IEEE/ACM} International Conference on Automated Software
                  Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
                  2013},
  pages        = {158--168},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASE.2013.6693076},
  doi          = {10.1109/ASE.2013.6693076},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/MaezawaWTH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/NakagawaOH13,
  author       = {Hiroyuki Nakagawa and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {A goal model elaboration for localizing changes in software evolution},
  booktitle    = {21st {IEEE} International Requirements Engineering Conference, {RE}
                  2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013},
  pages        = {155--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/RE.2013.6636715},
  doi          = {10.1109/RE.2013.6636715},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/NakagawaOH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/NishiuraMWH13,
  author       = {Kazuki Nishiura and
                  Yuta Maezawa and
                  Hironori Washizaki and
                  Shinichi Honiden},
  title        = {Mutation Analysis for JavaScriptWeb Application Testing},
  booktitle    = {The 25th International Conference on Software Engineering and Knowledge
                  Engineering, Boston, MA, USA, June 27-29, 2013},
  pages        = {159--165},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2013},
  timestamp    = {Thu, 12 Mar 2020 11:30:49 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/NishiuraMWH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4839,
  author       = {Adrian Klein and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {A Scalable Distributed Architecture for Network- and QoS-aware Service
                  Composition},
  journal      = {CoRR},
  volume       = {abs/1301.4839},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.4839},
  eprinttype    = {arXiv},
  eprint       = {1301.4839},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-4839.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HonidenHMMY13,
  author       = {Shinichi Honiden and
                  Zhenjiang Hu and
                  Hausi A. M{\"{u}}ller and
                  John Mylopoulos and
                  Yijun Yu},
  title        = {Engineering Adaptive Software Systems (EASSy) {(NII} Shonan Meeting
                  2013-7)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2013},
  year         = {2013},
  url          = {https://shonan.nii.ac.jp/seminars/027/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/HonidenHMMY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/evs/KlopperPHD12,
  author       = {Benjamin Kl{\"{o}}pper and
                  Jan Patrick Pater and
                  Shinichi Honiden and
                  Wilhelm Dangelmaier},
  title        = {A multi-objective evolutionary approach to scheduling for evolving
                  manufacturing systems},
  journal      = {Evol. Syst.},
  volume       = {3},
  number       = {1},
  pages        = {31--44},
  year         = {2012},
  url          = {https://doi.org/10.1007/s12530-011-9040-3},
  doi          = {10.1007/S12530-011-9040-3},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/evs/KlopperPHD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/AkiyamaHTH12,
  author       = {Soramichi Akiyama and
                  Takahiro Hirofuchi and
                  Ryousei Takano and
                  Shinichi Honiden},
  editor       = {Rong Chang},
  title        = {MiyakoDori: {A} Memory Reusing Mechanism for Dynamic {VM} Consolidation},
  booktitle    = {2012 {IEEE} Fifth International Conference on Cloud Computing, Honolulu,
                  HI, USA, June 24-29, 2012},
  pages        = {606--613},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/CLOUD.2012.56},
  doi          = {10.1109/CLOUD.2012.56},
  timestamp    = {Wed, 09 Aug 2023 12:14:21 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/AkiyamaHTH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/MotallebiIH12,
  author       = {Mohammad{-}Reza Motallebi and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Component Trust for Web Service Compositions},
  booktitle    = {Intelligent Web Services Meet Social Computing, Papers from the 2012
                  {AAAI} Spring Symposium, Palo Alto, California, USA, March 26-28,
                  2012},
  series       = {{AAAI} Technical Report},
  volume       = {{SS-12-04}},
  publisher    = {{AAAI}},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS12/paper/view/4320},
  timestamp    = {Wed, 25 Sep 2013 15:49:48 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/MotallebiIH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/MaezawaWH12,
  author       = {Yuta Maezawa and
                  Hironori Washizaki and
                  Shinichi Honiden},
  editor       = {Tom Mens and
                  Anthony Cleve and
                  Rudolf Ferenc},
  title        = {Extracting Interaction-Based Stateful Behavior in Rich Internet Applications},
  booktitle    = {16th European Conference on Software Maintenance and Reengineering,
                  {CSMR} 2012, Szeged, Hungary, March 27-30, 2012},
  pages        = {423--428},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/CSMR.2012.53},
  doi          = {10.1109/CSMR.2012.53},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/MaezawaWH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/MoriguchiH12,
  author       = {Hirotaka Moriguchi and
                  Shinichi Honiden},
  editor       = {Terence Soule and
                  Jason H. Moore},
  title        = {{CMA-TWEANN:} efficient optimization of neural networks via self-adaptation
                  and seamless augmentation},
  booktitle    = {Genetic and Evolutionary Computation Conference, {GECCO} '12, Philadelphia,
                  PA, USA, July 7-11, 2012},
  pages        = {903--910},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2330163.2330288},
  doi          = {10.1145/2330163.2330288},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gecco/MoriguchiH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/NishiuraMIH12,
  author       = {Kazuki Nishiura and
                  Yuta Maezawa and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Marco Brambilla and
                  Takehiro Tokuda and
                  Robert Tolksdorf},
  title        = {Supporting View Transition Design of Smartphone Applications Using
                  Web Templates},
  booktitle    = {Web Engineering - 12th International Conference, {ICWE} 2012, Berlin,
                  Germany, July 23-27, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7387},
  pages        = {323--331},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31753-8\_26},
  doi          = {10.1007/978-3-642-31753-8\_26},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icwe/NishiuraMIH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/WagnerKKIH12,
  author       = {Florian Wagner and
                  Adrian Klein and
                  Benjamin Kl{\"{o}}pper and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Carole A. Goble and
                  Peter P. Chen and
                  Jia Zhang},
  title        = {Multi-objective Service Composition with Time- and Input-Dependent
                  QoS},
  booktitle    = {2012 {IEEE} 19th International Conference on Web Services, Honolulu,
                  HI, USA, June 24-29, 2012},
  pages        = {234--241},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICWS.2012.40},
  doi          = {10.1109/ICWS.2012.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/WagnerKKIH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/KleinWIH12,
  author       = {Adrian Klein and
                  Florian Wagner and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Carole A. Goble and
                  Peter P. Chen and
                  Jia Zhang},
  title        = {A Probabilistic Approach for Long-Term {B2B} Service Compositions},
  booktitle    = {2012 {IEEE} 19th International Conference on Web Services, Honolulu,
                  HI, USA, June 24-29, 2012},
  pages        = {259--266},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICWS.2012.39},
  doi          = {10.1109/ICWS.2012.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/KleinWIH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/WatanabeIFH12,
  author       = {Atsushi Watanabe and
                  Fuyuki Ishikawa and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Carole A. Goble and
                  Peter P. Chen and
                  Jia Zhang},
  title        = {Web Service Selection Algorithm Using Vickrey Auction},
  booktitle    = {2012 {IEEE} 19th International Conference on Web Services, Honolulu,
                  HI, USA, June 24-29, 2012},
  pages        = {336--342},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICWS.2012.83},
  doi          = {10.1109/ICWS.2012.83},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/WatanabeIFH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/MotallebiIH12,
  author       = {Mohammad{-}Reza Motallebi and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Carole A. Goble and
                  Peter P. Chen and
                  Jia Zhang},
  title        = {Trust Computation in Web Service Compositions Using Bayesian Networks},
  booktitle    = {2012 {IEEE} 19th International Conference on Web Services, Honolulu,
                  HI, USA, June 24-29, 2012},
  pages        = {623--625},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICWS.2012.100},
  doi          = {10.1109/ICWS.2012.100},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/MotallebiIH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/NakagawaOH12,
  author       = {Hiroyuki Nakagawa and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic
                  Updating of Control Loops},
  booktitle    = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems, {SASO} 2012, Lyon, France, September 10-14, 2012},
  pages        = {59--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SASO.2012.17},
  doi          = {10.1109/SASO.2012.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/NakagawaOH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seal/XuMH12,
  author       = {Shengbo Xu and
                  Hirotaka Moriguchi and
                  Shinichi Honiden},
  editor       = {Lam Thu Bui and
                  Yew{-}Soon Ong and
                  Nguyen Xuan Hoai and
                  Hisao Ishibuchi and
                  Ponnuthurai Nagaratnam Suganthan},
  title        = {Efficient Neuroevolution for a Quadruped Robot},
  booktitle    = {Simulated Evolution and Learning - 9th International Conference, {SEAL}
                  2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7673},
  pages        = {361--370},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34859-4\_36},
  doi          = {10.1007/978-3-642-34859-4\_36},
  timestamp    = {Fri, 17 Nov 2023 08:06:20 +0100},
  biburl       = {https://dblp.org/rec/conf/seal/XuMH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sesena/ShimizuTFH12,
  author       = {Ryo Shimizu and
                  Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Amy L. Murphy and
                  Vittorio Cortellessa},
  title        = {Case studies on the development of wireless sensor network applications
                  using multiple abstraction levels},
  booktitle    = {Third International Workshop on Software Engineering for Sensor Network
                  Applications, {SESENA} 2012, 2 June 2012, Zurich, Switzerland, Proceedings},
  pages        = {22--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SESENA.2012.6225730},
  doi          = {10.1109/SESENA.2012.6225730},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sesena/ShimizuTFH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/KleinIH12,
  author       = {Adrian Klein and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Alain Mille and
                  Fabien Gandon and
                  Jacques Misselis and
                  Michael Rabinovich and
                  Steffen Staab},
  title        = {Towards network-aware service composition in the cloud},
  booktitle    = {Proceedings of the 21st World Wide Web Conference 2012, {WWW} 2012,
                  Lyon, France, April 16-20, 2012},
  pages        = {959--968},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2187836.2187965},
  doi          = {10.1145/2187836.2187965},
  timestamp    = {Fri, 16 Apr 2021 10:04:12 +0200},
  biburl       = {https://dblp.org/rec/conf/www/KleinIH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/WagnerKIH12,
  author       = {Florian Wagner and
                  Benjamin Kl{\"{o}}pper and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Alain Mille and
                  Fabien Gandon and
                  Jacques Misselis and
                  Michael Rabinovich and
                  Steffen Staab},
  title        = {Towards robust service compositions in the context of functionally
                  diverse services},
  booktitle    = {Proceedings of the 21st World Wide Web Conference 2012, {WWW} 2012,
                  Lyon, France, April 16-20, 2012},
  pages        = {969--978},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2187836.2187966},
  doi          = {10.1145/2187836.2187966},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/WagnerKIH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/BaljakBFHHNOSTT12,
  author       = {Valentina Baljak and
                  Marius Tudor Benea and
                  Amal El Fallah Seghrouchni and
                  C{\'{e}}dric Herpson and
                  Shinichi Honiden and
                  Nga Thi Thuy Nguyen and
                  Andrei Olaru and
                  Ryo Shimizu and
                  Kenji Tei and
                  Susumu Toriumi},
  editor       = {Elhadi M. Shakshuki and
                  Muhammad Younas},
  title        = {{S-CLAIM:} An Agent-based Programming Language for AmI, {A} Smart-Room
                  Case Study},
  booktitle    = {Proceedings of the 3rd International Conference on Ambient Systems,
                  Networks and Technologies {(ANT} 2012), the 9th International Conference
                  on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario,
                  Canada, August 27-29, 2012},
  series       = {Procedia Computer Science},
  volume       = {10},
  pages        = {30--37},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.procs.2012.06.008},
  doi          = {10.1016/J.PROCS.2012.06.008},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/procedia/BaljakBFHHNOSTT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-7036,
  author       = {Tsutomu Kobayashi and
                  Shinichi Honiden},
  title        = {Towards Refinement Strategy Planning for Event-B},
  journal      = {CoRR},
  volume       = {abs/1210.7036},
  year         = {2012},
  url          = {http://arxiv.org/abs/1210.7036},
  eprinttype    = {arXiv},
  eprint       = {1210.7036},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-7036.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BandaraHY12,
  author       = {Arosha K. Bandara and
                  Shinichi Honiden and
                  Yijun Yu},
  title        = {Engineering Autonomic Systems (EASy) {(NII} Shonan Meeting 2012-3)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2012},
  year         = {2012},
  url          = {https://shonan.nii.ac.jp/seminars/004/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/BandaraHY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SuenagaYH11,
  author       = {Shunichiro Suenaga and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  title        = {Group Migration by Mobile Agents in Wireless Sensor Networks},
  journal      = {Comput. J.},
  volume       = {54},
  number       = {3},
  pages        = {345--355},
  year         = {2011},
  url          = {https://doi.org/10.1093/comjnl/bxp104},
  doi          = {10.1093/COMJNL/BXP104},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/SuenagaYH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/IshikawaKWFH11,
  author       = {Fuyuki Ishikawa and
                  Satoshi Katafuchi and
                  Florian Wagner and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Hans{-}Arno Jacobsen and
                  Yan Wang and
                  Patrick Hung},
  title        = {Bridging the Gap between Semantic Web Service Composition and Common
                  Implementation Architectures},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2011,
                  Washington, DC, USA, 4-9 July, 2011},
  pages        = {152--159},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SCC.2011.30},
  doi          = {10.1109/SCC.2011.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/IshikawaKWFH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/InoueH11,
  author       = {Taku Inoue and
                  Shinichi Honiden},
  editor       = {Ivica Crnkovic and
                  Judith A. Stafford and
                  Antonia Bertolino and
                  Kendra M. L. Cooper},
  title        = {A method for data-flow analysis of business components},
  booktitle    = {Proceedings of the 14th International {ACM} Sigsoft Symposium on Component
                  Based Software Engineering, {CBSE} 2011, part of Comparch '11 Federated
                  Events on Component-Based Software Engineering and Software Architecture,
                  Boulder, CO, USA, June 20-24, 2011},
  pages        = {51--60},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2000229.2000237},
  doi          = {10.1145/2000229.2000237},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbse/InoueH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cica/KlopperHD11,
  author       = {Benjamin Kl{\"{o}}pper and
                  Shinichi Honiden and
                  Wilhelm Dangelmaier},
  title        = {Divide {\&} conquer in planning for self-optimizing mechatronic
                  systems - {A} first application example},
  booktitle    = {{IEEE} Symposium on Computational Intelligence in Control and Automation,
                  {CICA} 2011, Paris, France, April 11-15, 2011},
  pages        = {108--115},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/CICA.2011.5945749},
  doi          = {10.1109/CICA.2011.5945749},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/cica/KlopperHD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cica/KlopperHPD11,
  author       = {Benjamin Kl{\"{o}}pper and
                  Shinichi Honiden and
                  Jan Patrick Pater and
                  Wilhelm Dangelmaier},
  title        = {Decision making in adaptive manufacturing systems: Multi-objective
                  scheduling and user interface},
  booktitle    = {{IEEE} Symposium on Computational Intelligence in Control and Automation,
                  {CICA} 2011, Paris, France, April 11-15, 2011},
  pages        = {123--130},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/CICA.2011.5945758},
  doi          = {10.1109/CICA.2011.5945758},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cica/KlopperHPD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/ToriumiH11,
  author       = {Susumu Toriumi and
                  Shinichi Honiden},
  title        = {Assignment of Sensors for Multiple Tasks Using Path Information},
  booktitle    = {{IEEE/IFIP} 9th International Conference on Embedded and Ubiquitous
                  Computing, {EUC} 2011, Melbourne, Australia, October 24-26, 2011},
  pages        = {120--127},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/EUC.2011.19},
  doi          = {10.1109/EUC.2011.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euc/ToriumiH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/AbdullahMCH11,
  author       = {Nik Nailah Binti Abdullah and
                  Samuel Mendes and
                  Stefano A. Cerri and
                  Shinichi Honiden},
  editor       = {R. Charles Murray and
                  Philip M. McCarthy},
  title        = {Activity States Framework as an Experimental Approach to Studying,
                  and Modeling Context in Web-Mediated Collaborative Dialogs},
  booktitle    = {Proceedings of the Twenty-Fourth International Florida Artificial
                  Intelligence Research Society Conference, May 18-20, 2011, Palm Beach,
                  Florida, {USA}},
  publisher    = {{AAAI} Press},
  year         = {2011},
  url          = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2570},
  timestamp    = {Wed, 26 Oct 2022 08:35:19 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/AbdullahMCH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/AbdullahSH11,
  author       = {Nik Nailah Binti Abdullah and
                  Helen Sharp and
                  Shinichi Honiden},
  editor       = {R. Charles Murray and
                  Philip M. McCarthy},
  title        = {How Artefacts Influence the Construction of Communications and Contexts
                  during Collaboration in an Agile Software Development Team},
  booktitle    = {Proceedings of the Twenty-Fourth International Florida Artificial
                  Intelligence Research Society Conference, May 18-20, 2011, Palm Beach,
                  Florida, {USA}},
  publisher    = {{AAAI} Press},
  year         = {2011},
  url          = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2537},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/AbdullahSH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icais/FitzgeraldKH11,
  author       = {Camilo Fitzgerald and
                  Benjamin Kl{\"{o}}pper and
                  Shinichi Honiden},
  editor       = {Abdelhamid Bouchachia},
  title        = {Utility-Based Self-Adaption with Environment Specific Quality Models},
  booktitle    = {Adaptive and Intelligent Systems - Second International Conference,
                  {ICAIS} 2011, Klagenfurt, Austria, September 6-8, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6943},
  pages        = {107--118},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23857-4\_14},
  doi          = {10.1007/978-3-642-23857-4\_14},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/icais/FitzgeraldKH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ShimizuTFH11,
  author       = {Ryo Shimizu and
                  Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Kurt Geihs and
                  Kay R{\"{o}}mer and
                  Luca Mottola and
                  Gian Pietro Picco},
  title        = {Model driven development for rapid prototyping and optimization of
                  wireless sensor network applications},
  booktitle    = {Proceedings of the 2nd Workshop on Software Engineering for Sensor
                  Network Applications, {SESENA} 2011, Waikiki, Honolulu, HI, USA, May
                  22, 2011},
  pages        = {31--36},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1988051.1988058},
  doi          = {10.1145/1988051.1988058},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/ShimizuTFH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaOH11,
  author       = {Hiroyuki Nakagawa and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Holger Giese and
                  Betty H. C. Cheng},
  title        = {gocc: a configuration compiler for self-adaptive systems using goal-oriented
                  requirements description},
  booktitle    = {2011 {ICSE} Symposium on Software Engineering for Adaptive and Self-Managing
                  Systems, {SEAMS} 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011},
  pages        = {40--49},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1988008.1988015},
  doi          = {10.1145/1988008.1988015},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/NakagawaOH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/WagnerIH11,
  author       = {Florian Wagner and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {George Pallis and
                  Mohamed Jmaiel and
                  Anis Charfi and
                  Sven Graupner and
                  Y{\"{u}}cel Karabulut and
                  Sam Guinea and
                  Florian Rosenberg and
                  Quan Z. Sheng and
                  Cesare Pautasso and
                  Sonia Ben Mokhtar},
  title        = {Applying QoS-Aware Service Selection on Functionally Diverse Services},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2011 Workshops - {ICSOC} 2011,
                  International Workshops WESOA, NFPSLAM-SOC, and Satellite Events,
                  Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7221},
  pages        = {100--113},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31875-7\_12},
  doi          = {10.1007/978-3-642-31875-7\_12},
  timestamp    = {Tue, 27 Oct 2020 14:17:24 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/WagnerIH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/WagnerIH11,
  author       = {Florian Wagner and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {QoS-Aware Automatic Service Composition by Applying Functional Clustering},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington,
                  DC, USA, July 4-9, 2011},
  pages        = {89--96},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICWS.2011.32},
  doi          = {10.1109/ICWS.2011.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/WagnerIH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/HiratsukaIH11,
  author       = {Nobuaki Hiratsuka and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Service Selection with Combinational Use of Functionally-Equivalent
                  Services},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington,
                  DC, USA, July 4-9, 2011},
  pages        = {97--104},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICWS.2011.33},
  doi          = {10.1109/ICWS.2011.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/HiratsukaIH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/KleinIH11,
  author       = {Adrian Klein and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware
                  Service Composition},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington,
                  DC, USA, July 4-9, 2011},
  pages        = {436--443},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICWS.2011.60},
  doi          = {10.1109/ICWS.2011.60},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/KleinIH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NakagawaYOH11,
  author       = {Hiroyuki Nakagawa and
                  Nobukazu Yoshioka and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {William C. Chu and
                  W. Eric Wong and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {{IMPULSE:} a design framework for multi-agent systems based on model
                  transformation},
  booktitle    = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
                  TaiChung, Taiwan, March 21 - 24, 2011},
  pages        = {1411--1418},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1982185.1982491},
  doi          = {10.1145/1982185.1982491},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/NakagawaYOH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BourdenasTHS11,
  author       = {Themistoklis Bourdenas and
                  Kenji Tei and
                  Shinichi Honiden and
                  Morris Sloman},
  title        = {Autonomic Role and Mission Allocation Framework for Wireless Sensor
                  Networks},
  booktitle    = {5th {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems, {SASO} 2011, Ann Arbor, MI, USA, October 3-7, 2011},
  pages        = {61--70},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SASO.2011.17},
  doi          = {10.1109/SASO.2011.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/BourdenasTHS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-1531,
  author       = {Johan Nystr{\"{o}}m{-}Persson and
                  Shinichi Honiden},
  title        = {Poplar: {A} Java Extension for Evolvable Component Integration},
  journal      = {CoRR},
  volume       = {abs/1106.1531},
  year         = {2011},
  url          = {http://arxiv.org/abs/1106.1531},
  eprinttype    = {arXiv},
  eprint       = {1106.1531},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-1531.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcos/HonidenHSW10,
  author       = {Shinichi Honiden and
                  Michael E. Houle and
                  Christian Sommer and
                  Martin Wolff},
  title        = {Approximate Shortest Path Queries Using Voronoi Duals},
  journal      = {Trans. Comput. Sci.},
  volume       = {9},
  pages        = {28--53},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16007-3\_2},
  doi          = {10.1007/978-3-642-16007-3\_2},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcos/HonidenHSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/AbeH10,
  author       = {Rey Abe and
                  Shinichi Honiden},
  editor       = {Rajmohan Rajaraman and
                  Thomas Moscibroda and
                  Adam Dunkels and
                  Anna Scaglione},
  title        = {Suppressing Redundancy in Wireless Sensor Network Traffic},
  booktitle    = {Distributed Computing in Sensor Systems, 6th {IEEE} International
                  Conference, {DCOSS} 2010, Santa Barbara, CA, USA, June 21-23, 2010.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6131},
  pages        = {187--200},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13651-1\_14},
  doi          = {10.1007/978-3-642-13651-1\_14},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/dcoss/AbeH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BabaIH10,
  author       = {Yukino Baba and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Helder Coelho and
                  Rudi Studer and
                  Michael J. Wooldridge},
  title        = {Extraction of Places Related to Flickr Tags},
  booktitle    = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
                  Lisbon, Portugal, August 16-20, 2010, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {215},
  pages        = {523--528},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-606-5-523},
  doi          = {10.3233/978-1-60750-606-5-523},
  timestamp    = {Fri, 26 Apr 2019 14:26:43 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BabaIH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/AbdullahSH10,
  author       = {Nik Nailah Binti Abdullah and
                  Helen C. Sharp and
                  Shinichi Honiden},
  editor       = {Hans W. Guesgen and
                  R. Charles Murray},
  title        = {A Method of Analysis to Uncover Artefact-Communication Relationships},
  booktitle    = {Proceedings of the Twenty-Third International Florida Artificial Intelligence
                  Research Society Conference, May 19-21, 2010, Daytona Beach, Florida,
                  {USA}},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {http://www.aaai.org/ocs/index.php/FLAIRS/2010/paper/view/1259},
  timestamp    = {Wed, 26 Oct 2022 08:35:20 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/AbdullahSH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/MoriguchiH10,
  author       = {Hirotaka Moriguchi and
                  Shinichi Honiden},
  editor       = {Martin Pelikan and
                  J{\"{u}}rgen Branke},
  title        = {Sustaining behavioral diversity in {NEAT}},
  booktitle    = {Genetic and Evolutionary Computation Conference, {GECCO} 2010, Proceedings,
                  Portland, Oregon, USA, July 7-11, 2010},
  pages        = {611--618},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1830483.1830595},
  doi          = {10.1145/1830483.1830595},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gecco/MoriguchiH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icas/SharrockCGMH10,
  author       = {R{\'{e}}mi Sharrock and
                  Amin Cherbal and
                  Levent G{\"{u}}rgen and
                  Thierry Monteil and
                  Shinichi Honiden},
  title        = {Thinking Autonomic for Sensing Devices},
  booktitle    = {Sixth International Conference on Autonomic and Autonomous Systems,
                  {ICAS} 2010, Cancun, Mexico, March 7-13, 2010},
  pages        = {20--23},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICAS.2010.11},
  doi          = {10.1109/ICAS.2010.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icas/SharrockCGMH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KleinIH10,
  author       = {Adrian Klein and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Paul P. Maglio and
                  Mathias Weske and
                  Jian Yang and
                  Marcelo Fantinato},
  title        = {Efficient QoS-Aware Service Composition with a Probabilistic Service
                  Selection Policy},
  booktitle    = {Service-Oriented Computing - 8th International Conference, {ICSOC}
                  2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6470},
  pages        = {182--196},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17358-5\_13},
  doi          = {10.1007/978-3-642-17358-5\_13},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/KleinIH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KlopperIH10,
  author       = {Benjamin Kl{\"{o}}pper and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Paul P. Maglio and
                  Mathias Weske and
                  Jian Yang and
                  Marcelo Fantinato},
  title        = {Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes},
  booktitle    = {Service-Oriented Computing - 8th International Conference, {ICSOC}
                  2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6470},
  pages        = {635--640},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17358-5\_49},
  doi          = {10.1007/978-3-642-17358-5\_49},
  timestamp    = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/KlopperIH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/AbeH10,
  author       = {Rey Abe and
                  Shinichi Honiden},
  editor       = {Violet R. Syrotiuk and
                  Fatih Alag{\"{o}}z and
                  Brahim Bensaou and
                  {\"{O}}zg{\"{u}}r B. Akan},
  title        = {Adaptive geographic routing in wireless sensor networks},
  booktitle    = {Proceedings of the 13th International Symposium on Modeling Analysis
                  and Simulation of Wireless and Mobile Systems, MSWiM 2010, Bodrum,
                  Turkey, October 17-21, 2010},
  pages        = {91--100},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1868521.1868538},
  doi          = {10.1145/1868521.1868538},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/AbeH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/NakagawaOH10,
  author       = {Hiroyuki Nakagawa and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Yves Demazeau and
                  Frank Dignum and
                  Juan M. Corchado and
                  Javier Bajo},
  title        = {Cooperative Behaviors Description for Self-* Systems Implementation},
  booktitle    = {Advances in Practical Applications of Agents and Multiagent Systems,
                  8th International Conference on Practical Applications of Agents and
                  Multiagent Systems, {PAAMS} 2010, Salamanca, Spain, 26-28 April 2010},
  series       = {Advances in Intelligent and Soft Computing},
  volume       = {70},
  pages        = {69--74},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12384-9\_9},
  doi          = {10.1007/978-3-642-12384-9\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/paams/NakagawaOH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/NakagawaYOH10,
  author       = {Hiroyuki Nakagawa and
                  Nobukazu Yoshioka and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Nirmit Desai and
                  Alan Liu and
                  Michael Winikoff},
  title        = {A Framework for Validating Task Assignment in Multiagent Systems Using
                  Requirements Importance},
  booktitle    = {Principles and Practice of Multi-Agent Systems - 13th International
                  Conference, {PRIMA} 2010, Kolkata, India, November 12-15, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7057},
  pages        = {443--458},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-25920-3\_32},
  doi          = {10.1007/978-3-642-25920-3\_32},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/NakagawaYOH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/KlopperHMT10,
  author       = {Benjamin Kl{\"{o}}pper and
                  Shinichi Honiden and
                  Jan Meyer and
                  Matthias Tichy},
  title        = {Planning with Utility and State Trajectory Constraints in Self-Healing
                  Automotive Systems},
  booktitle    = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems, {SASO} 2010, Budapest, Hungary, 27 September - 1 October
                  2010},
  pages        = {74--83},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SASO.2010.16},
  doi          = {10.1109/SASO.2010.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/KlopperHMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/WangIH10,
  author       = {Yongbo Wang and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Business Semantics Centric Reliability Testing for Web Services in
                  {BPEL}},
  booktitle    = {6th World Congress on Services, {SERVICES} 2010, Miami, Florida, USA,
                  July 5-10, 2010},
  pages        = {237--244},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SERVICES.2010.88},
  doi          = {10.1109/SERVICES.2010.88},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/services/WangIH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/AbdullahSH10,
  author       = {Nik Nailah Binti Abdullah and
                  Helen Sharp and
                  Shinichi Honiden},
  editor       = {Alberto Sillitti and
                  Angela Martin and
                  Xiaofeng Wang and
                  Elizabeth Whitworth},
  title        = {Communication in Context: {A} Stimulus-Response Account of Agile Team
                  Interactions},
  booktitle    = {Agile Processes in Software Engineering and Extreme Programming, 11th
                  International Conference, {XP} 2010, Trondheim, Norway, June 1-4,
                  2010. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {48},
  pages        = {166--171},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13054-0\_13},
  doi          = {10.1007/978-3-642-13054-0\_13},
  timestamp    = {Tue, 20 Feb 2018 11:22:27 +0100},
  biburl       = {https://dblp.org/rec/conf/xpu/AbdullahSH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/GurgenRLH10,
  author       = {Levent G{\"{u}}rgen and
                  Claudia Roncancio and
                  Cyril Labb{\'{e}} and
                  Shinichi Honiden},
  editor       = {Takahiro Hara and
                  Vladimir Zadorozhny and
                  Erik Buchmann},
  title        = {Data Management Solutions in Networked Sensing Systems},
  booktitle    = {Wireless Sensor Network Technologies for the Information Explosion
                  Era},
  series       = {Studies in Computational Intelligence},
  volume       = {278},
  pages        = {111--137},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13965-9\_4},
  doi          = {10.1007/978-3-642-13965-9\_4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sci/GurgenRLH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/IshikawaH09,
  author       = {Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {On Applicability of Formal Methods and Tools to Dependable Services},
  journal      = {{IEICE} Trans. Commun.},
  volume       = {92-B},
  number       = {1},
  pages        = {9--16},
  year         = {2009},
  url          = {https://doi.org/10.1587/transcom.E92.B.9},
  doi          = {10.1587/TRANSCOM.E92.B.9},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/IshikawaH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/TaharaYTAH09,
  author       = {Yasuyuki Tahara and
                  Nobukazu Yoshioka and
                  Kenji Taguchi and
                  Toshiaki Aoki and
                  Shinichi Honiden},
  title        = {Evolution of a course on model checking for practical applications},
  journal      = {{ACM} {SIGCSE} Bull.},
  volume       = {41},
  number       = {2},
  pages        = {38--44},
  year         = {2009},
  url          = {https://doi.org/10.1145/1595453.1595460},
  doi          = {10.1145/1595453.1595460},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigcse/TaharaYTAH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmsn/GurgenNCLRH09,
  author       = {Levent G{\"{u}}rgen and
                  Johan Nystr{\"{o}}m{-}Persson and
                  Amin Cherbal and
                  Cyril Labb{\'{e}} and
                  Claudia Roncancio and
                  Shinichi Honiden},
  editor       = {Mario A. Nascimento and
                  Nesime Tatbul},
  title        = {Plug{\&}manage heterogeneous sensing devices},
  booktitle    = {Proceedings of the 6th Workshop on Data Management for Sensor Networks,
                  in conjunction with VLDB, {DMSN} 2009, Lyon, France, August 24, 2009},
  series       = {{ACM} International Conference Proceeding Series},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1594187.1594192},
  doi          = {10.1145/1594187.1594192},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dmsn/GurgenNCLRH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icps/IshikawaSYH09,
  author       = {Fuyuki Ishikawa and
                  Basem Suleiman and
                  Kayoko Yamamoto and
                  Shinichi Honiden},
  editor       = {Julie A. McCann and
                  Mario Lauria and
                  Domenico Cotroneo and
                  Mark A. Baker},
  title        = {Physical interaction in pervasive computing: formal modeling, analysis
                  and verification},
  booktitle    = {Proceedings of the 2009 international conference on Pervasive services,
                  {ICPS} '09, London, United Kingdom, July 13-17, 2009},
  pages        = {133--140},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1568199.1568219},
  doi          = {10.1145/1568199.1568219},
  timestamp    = {Tue, 06 Nov 2018 11:07:49 +0100},
  biburl       = {https://dblp.org/rec/conf/icps/IshikawaSYH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icuimc/SeiH09,
  author       = {Yuichi Sei and
                  Shinichi Honiden},
  editor       = {Won Kim and
                  Hyung{-}Jin Choi and
                  Dongho Won},
  title        = {Reporter node determination of replicated node detection in wireless
                  sensor networks},
  booktitle    = {Proceedings of the 3rd International Conference on Ubiquitous Information
                  Management and Communication, {ICUIMC} 2009, Suwon, Korea, January
                  15-16, 2009},
  pages        = {566--573},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1516241.1516340},
  doi          = {10.1145/1516241.1516340},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icuimc/SeiH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/FukuchiSSH09,
  author       = {Daisuke Fukuchi and
                  Christian Sommer and
                  Yuichi Sei and
                  Shinichi Honiden},
  title        = {Distributed Arrays: {A} {P2P} Data Structure for Efficient Logical
                  Arrays},
  booktitle    = {{INFOCOM} 2009. 28th {IEEE} International Conference on Computer Communications,
                  Joint Conference of the {IEEE} Computer and Communications Societies,
                  19-25 April 2009, Rio de Janeiro, Brazil},
  pages        = {1458--1466},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/INFCOM.2009.5062062},
  doi          = {10.1109/INFCOM.2009.5062062},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/FukuchiSSH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvd/HonidenHSW09,
  author       = {Shinichi Honiden and
                  Michael E. Houle and
                  Christian Sommer and
                  Martin Wolff},
  editor       = {Francois Anton},
  title        = {Approximate Shortest Path Queries in Graphs Using Voronoi Duals},
  booktitle    = {Sixth International Symposium on Voronoi Diagrams, {ISVD} 2009, Copenhagen,
                  Denmark, June 23-26, 2009},
  pages        = {53--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISVD.2009.30},
  doi          = {10.1109/ISVD.2009.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isvd/HonidenHSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvd/HonidenHS09,
  author       = {Shinichi Honiden and
                  Michael E. Houle and
                  Christian Sommer},
  editor       = {Francois Anton},
  title        = {Balancing Graph Voronoi Diagrams},
  booktitle    = {Sixth International Symposium on Voronoi Diagrams, {ISVD} 2009, Copenhagen,
                  Denmark, June 23-26, 2009},
  pages        = {183--191},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISVD.2009.26},
  doi          = {10.1109/ISVD.2009.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isvd/HonidenHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/GurgenH09,
  author       = {Levent G{\"{u}}rgen and
                  Shinichi Honiden},
  editor       = {Yu{-}Chee Tseng and
                  Peter Scheuermann and
                  Ralf Hartmut G{\"{u}}ting and
                  Wang{-}Chien Lee and
                  Chung{-}Ta King and
                  Evaggelia Pitoura},
  title        = {Management of Networked Sensing Devices},
  booktitle    = {{MDM} 2009, Tenth International Conference on Mobile Data Management,
                  Taipei, Taiwan, 18-20 May 2009},
  pages        = {502--507},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/MDM.2009.88},
  doi          = {10.1109/MDM.2009.88},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mdm/GurgenH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/IshikawaIH09,
  author       = {Fuyuki Ishikawa and
                  Rihoko Inoue and
                  Shinichi Honiden},
  title        = {Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented
                  Requirements Engineering},
  booktitle    = {Second International Workshop on Requirements Engineering and Law,
                  {RELAW} 2009, Atlanta, Georgia, USA, September 1, 2009},
  pages        = {39--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/RELAW.2009.8},
  doi          = {10.1109/RELAW.2009.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/IshikawaIH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RajgurePBH09,
  author       = {Neeraj Rajgure and
                  Eric Platon and
                  Cristian Borcea and
                  Shinichi Honiden},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Geographical data collection in sensor networks with self-organizing
                  transaction cluster-heads},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {1214--1218},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529553},
  doi          = {10.1145/1529282.1529553},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/RajgurePBH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KawamataSIH09,
  author       = {Yojiro Kawamata and
                  Christian Sommer and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Dang Van Hung and
                  Padmanabhan Krishnan},
  title        = {Specifying and Checking Refinement Relationships in {VDM++}},
  booktitle    = {Seventh {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  pages        = {220--227},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SEFM.2009.34},
  doi          = {10.1109/SEFM.2009.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/KawamataSIH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/IshikawaTYH09,
  author       = {Fuyuki Ishikawa and
                  Kenji Taguchi and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {What Top-Level Software Engineers Tackle after Learning Formal Methods:
                  Experiences from the Top {SE} Project},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {57--71},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_5},
  doi          = {10.1007/978-3-642-04912-5\_5},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/IshikawaTYH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ubimob/GurgenLH09,
  author       = {Levent G{\"{u}}rgen and
                  Cyril Labb{\'{e}} and
                  Shinichi Honiden},
  editor       = {David Menga and
                  Florence S{\`{e}}des},
  title        = {Op{\'{e}}rations d'administration pour SStreaMWare},
  booktitle    = {Actes des 5{\`{e}}mes journ{\'{e}}es francophones Mobilit{\'{e}}
                  et Ubiquit{\'{e}} 2009, UBIMOB'09, 7-8 Juillet 2009, Lille, France},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {394},
  pages        = {41--44},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1739268.1739277},
  doi          = {10.1145/1739268.1739277},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ubimob/GurgenLH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/PlatonSH08,
  author       = {Eric Platon and
                  Nicolas Sabouret and
                  Shinichi Honiden},
  title        = {An architecture for exception management in multiagent systems},
  journal      = {Int. J. Agent Oriented Softw. Eng.},
  volume       = {2},
  number       = {3},
  pages        = {267--289},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJAOSE.2008.019420},
  doi          = {10.1504/IJAOSE.2008.019420},
  timestamp    = {Sun, 10 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaose/PlatonSH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/OgawaKH08,
  author       = {Hideto Ogawa and
                  Fumihiro Kumeno and
                  Shinichi Honiden},
  title        = {Model Checking Process with Goal Oriented Requirements Analysis},
  booktitle    = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
                  3-5 December 2008, Beijing, China},
  pages        = {377--384},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/APSEC.2008.71},
  doi          = {10.1109/APSEC.2008.71},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/OgawaKH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/TakahashiTIHF08,
  author       = {Ryuichi Takahashi and
                  Kenji Tei and
                  Fuyuki Ishikawa and
                  Shinichi Honiden and
                  Yoshiaki Fukazawa},
  title        = {Coordination Protocol Composition Approach Using Metadata in Multi-agent
                  Systems},
  booktitle    = {12th International {IEEE} Enterprise Distributed Object Computing
                  Conference, {ECOC} 2008, 15-19 September 2008, Munich, Germany},
  pages        = {372--378},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/EDOC.2008.35},
  doi          = {10.1109/EDOC.2008.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/TakahashiTIHF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilware/SuenagaH08,
  author       = {Shunichiro Suenaga and
                  Shinichi Honiden},
  editor       = {Jiang (Linda) Xie and
                  Tuna Tugcu},
  title        = {Name-based location service for mobile agents in wireless sensor networks},
  booktitle    = {Proceedings of the 1st International Conference on MOBILe Wireless
                  MiddleWARE, Operating Systems, and Applications, {MOBILWARE} 2008,
                  Innsbruck, Austria, February 13 - 15, 2008},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {278},
  pages        = {3},
  year         = {2008},
  url          = {https://doi.org/10.4108/ICST.MOBILWARE2008.2802},
  doi          = {10.4108/ICST.MOBILWARE2008.2802},
  timestamp    = {Wed, 28 Nov 2018 12:57:16 +0100},
  biburl       = {https://dblp.org/rec/conf/mobilware/SuenagaH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/TakahashiTIFH08,
  author       = {Ryuichi Takahashi and
                  Kenji Tei and
                  Fuyuki Ishikawa and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  title        = {A Flexible Protocol Composition for Multi-party Coordination Protocols
                  in Multi-agent Systems},
  booktitle    = {Sixth Annual {IEEE} International Conference on Pervasive Computing
                  and Communications (PerCom 2008), 17-21 March 2008, Hong Kong},
  pages        = {609--614},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/PERCOM.2008.94},
  doi          = {10.1109/PERCOM.2008.94},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/TakahashiTIFH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/NakagawaOH08,
  author       = {Hiroyuki Nakagawa and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Constructing Self-Adaptive Systems Using a {KAOS} Model},
  booktitle    = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems, {SASO} 2008, Workshops Proceedings, October 20-24, 2008,
                  Venice, Italy},
  pages        = {132--137},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SASOW.2008.35},
  doi          = {10.1109/SASOW.2008.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/NakagawaOH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sutc/NakamuraTFH08,
  author       = {Yoshiyuki Nakamura and
                  Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Mukesh Singhal and
                  Giovanna Di Marzo Serugendo and
                  Jeffrey J. P. Tsai and
                  Wang{-}Chien Lee and
                  Kay R{\"{o}}mer and
                  Yu{-}Chee Tseng and
                  Han C. W. Hsiao},
  title        = {Region-Based Sensor Selection for Wireless Sensor Networks},
  booktitle    = {{IEEE} International Conference on Sensor Networks, Ubiquitous, and
                  Trustworthy Computing {(SUTC} 2008), 11-13 June 2008, Taichung, Taiwan},
  pages        = {326--331},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SUTC.2008.47},
  doi          = {10.1109/SUTC.2008.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sutc/NakamuraTFH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/ToriumiSH08,
  author       = {Susumu Toriumi and
                  Yuichi Sei and
                  Shinichi Honiden},
  title        = {Energy-efficient event detection in 3D wireless sensor networks},
  booktitle    = {1st {IFIP} Wireless Days, {WD} 2008, Dubai, UAE, November 24-27, 2008},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/WD.2008.4812898},
  doi          = {10.1109/WD.2008.4812898},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wd/ToriumiSH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicon/TeiFH08,
  author       = {Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Xudong Wang and
                  Ness B. Shroff},
  title        = {An efficient node selection metric for in-network process deployment},
  booktitle    = {Proceedings of the 4th Annual International Conference on Wireless
                  Internet, {WICON} 2008, Maui, Hawaii, USA, November 17-19, 2008},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {4},
  publisher    = {{ICST}},
  year         = {2008},
  url          = {https://doi.org/10.4108/ICST.WICON2008.4851},
  doi          = {10.4108/ICST.WICON2008.4851},
  timestamp    = {Fri, 30 Nov 2018 12:48:46 +0100},
  biburl       = {https://dblp.org/rec/conf/wicon/TeiFH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicon/SeiH08,
  author       = {Yuichi Sei and
                  Shinichi Honiden},
  editor       = {Xudong Wang and
                  Ness B. Shroff},
  title        = {Distributed detection of node replication attacks resilient to many
                  compromised nodes in wireless sensor networks},
  booktitle    = {Proceedings of the 4th Annual International Conference on Wireless
                  Internet, {WICON} 2008, Maui, Hawaii, USA, November 17-19, 2008},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {28},
  publisher    = {{ICST}},
  year         = {2008},
  url          = {https://doi.org/10.4108/ICST.WICON2008.4796},
  doi          = {10.4108/ICST.WICON2008.4796},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wicon/SeiH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/PlatonMSHP07,
  author       = {Eric Platon and
                  Marco Mamei and
                  Nicolas Sabouret and
                  Shinichi Honiden and
                  H. Van Dyke Parunak},
  title        = {Mechanisms for environments in multi-agent systems: Survey and opportunities},
  journal      = {Auton. Agents Multi Agent Syst.},
  volume       = {14},
  number       = {1},
  pages        = {31--47},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10458-006-9000-7},
  doi          = {10.1007/S10458-006-9000-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aamas/PlatonMSHP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/TruongIH07,
  author       = {KhanhQuan Truong and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Improving Accuracy of Recommender System by Item Clustering},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {90-D},
  number       = {9},
  pages        = {1363--1373},
  year         = {2007},
  url          = {https://doi.org/10.1093/ietisy/e90-d.9.1363},
  doi          = {10.1093/IETISY/E90-D.9.1363},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/TruongIH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/DoiH07,
  author       = {Takuo Doi and
                  Shinichi Honiden},
  title        = {{IOM/T:} interaction-oriented model by textual notation},
  journal      = {Int. J. Agent Oriented Softw. Eng.},
  volume       = {1},
  number       = {3/4},
  pages        = {266--294},
  year         = {2007},
  url          = {https://doi.org/10.1504/IJAOSE.2007.016263},
  doi          = {10.1504/IJAOSE.2007.016263},
  timestamp    = {Sun, 10 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaose/DoiH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/IshikawaYTH07,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Yasuyuki Tahara and
                  Shinichi Honiden},
  title        = {A hierarchical mobile agent framework and its application to multimedia
                  contents},
  journal      = {Syst. Comput. Jpn.},
  volume       = {38},
  number       = {1},
  pages        = {1--17},
  year         = {2007},
  url          = {https://doi.org/10.1002/scj.20624},
  doi          = {10.1002/SCJ.20624},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/IshikawaYTH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ap2pc/SeiMH07,
  author       = {Yuichi Sei and
                  Kazutaka Matsuzaki and
                  Shinichi Honiden},
  editor       = {Samuel R. H. Joseph and
                  Zoran Despotovic and
                  Gianluca Moro and
                  Sonia Bergamaschi},
  title        = {Flexible Bloom Filters for Searching Textual Objects},
  booktitle    = {Agents and Peer-to-Peer Computing, 6th International Workshop, {AP2PC}
                  2007, Honolulu, Hawaii, USA, May 14-18, 2007, Revised and Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5319},
  pages        = {110--121},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-11368-0\_9},
  doi          = {10.1007/978-3-642-11368-0\_9},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ap2pc/SeiMH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/IshikawaYH07,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Jie Li and
                  Minyi Guo and
                  Qun Jin and
                  Yongbing Zhang and
                  Liang{-}Jie Zhang and
                  Hai Jin and
                  Masahiro Mambo and
                  Jiro Tanaka and
                  Hiromu Hayashi},
  title        = {Developing Consistent Contractual Policies in Service Composition},
  booktitle    = {Proceedings of The 2nd {IEEE} Asia-Pacific Services Computing Conference,
                  {APSCC} 2007, December 11-14, 2007, Tsukuba Science City, Japan},
  pages        = {527--534},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/APSCC.2007.66},
  doi          = {10.1109/APSCC.2007.66},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apscc/IshikawaYH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GuyotH07,
  author       = {Paul Guyot and
                  Shinichi Honiden},
  editor       = {Edmund H. Durfee and
                  Makoto Yokoo and
                  Michael N. Huhns and
                  Onn Shehory},
  title        = {Building coalitions involving agents and humans: reports from agent-based
                  participatory simulations},
  booktitle    = {6th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
  pages        = {210},
  publisher    = {{IFAAMAS}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1329125.1329379},
  doi          = {10.1145/1329125.1329379},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/GuyotH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ArthoCH07,
  author       = {Cyrille Artho and
                  Zhongwei Chen and
                  Shinichi Honiden},
  title        = {AOP-based automated unit test classification of large benchmarks},
  booktitle    = {31st Annual International Computer Software and Applications Conference,
                  {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 2},
  pages        = {17--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/COMPSAC.2007.75},
  doi          = {10.1109/COMPSAC.2007.75},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ArthoCH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ArthoHH07,
  author       = {Cyrille Artho and
                  Klaus Havelund and
                  Shinichi Honiden},
  title        = {Visualization of Concurrent Program Executions},
  booktitle    = {31st Annual International Computer Software and Applications Conference,
                  {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 2},
  pages        = {541--546},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/COMPSAC.2007.236},
  doi          = {10.1109/COMPSAC.2007.236},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ArthoHH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/AbdullahH07,
  author       = {Nik Nailah Binti Abdullah and
                  Shinichi Honiden},
  editor       = {Boicho N. Kokinov and
                  Daniel C. Richardson and
                  Thomas Roth{-}Berghofer and
                  Laure Vieu},
  title        = {Context in Use for Analyzing Conversation Structures on the Web Tied
                  to the Notion of Situatedness},
  booktitle    = {Modeling and Using Context, 6th International and Interdisciplinary
                  Conference, {CONTEXT} 2007, Roskilde, Denmark, August 20-24, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4635},
  pages        = {94--107},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74255-5\_8},
  doi          = {10.1007/978-3-540-74255-5\_8},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/context/AbdullahH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ArthoZBSH07,
  author       = {Cyrille Artho and
                  Boris Zweim{\"{u}}ller and
                  Armin Biere and
                  Etsuya Shibayama and
                  Shinichi Honiden},
  editor       = {Roberto Moreno{-}D{\'{\i}}az and
                  Franz Pichler and
                  Alexis Quesada{-}Arencibia},
  title        = {Efficient Model Checking of Applications with Input/Output},
  booktitle    = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International
                  Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
                  Spain, February 12-16, 2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4739},
  pages        = {515--522},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75867-9\_65},
  doi          = {10.1007/978-3-540-75867-9\_65},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocast/ArthoZBSH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/holomas/PlatonRSPH07,
  author       = {Eric Platon and
                  Martin Reh{\'{a}}k and
                  Nicolas Sabouret and
                  Michal Pechoucek and
                  Shinichi Honiden},
  editor       = {Vladim{\'{\i}}r Mar{\'{\i}}k and
                  Valeriy Vyatkin and
                  Armando W. Colombo},
  title        = {Detecting Intrusions in Agent System by Means of Exception Handling},
  booktitle    = {Holonic and Multi-Agent Systems for Manufacturing, Third International
                  Conference on Industrial Applications of Holonic and Multi-Agent Systems,
                  HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4659},
  pages        = {161--172},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74481-8\_16},
  doi          = {10.1007/978-3-540-74481-8\_16},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/holomas/PlatonRSPH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/SeiH07,
  author       = {Yuichi Sei and
                  Shinichi Honiden},
  title        = {Ringed Filters for Peer-to-Peer Keyword Searching},
  booktitle    = {Proceedings of the 16th International Conference on Computer Communications
                  and Networks, {IEEE} {ICCCN} 2007, Turtle Bay Resort, Honolulu, Hawaii,
                  USA, August 13-16, 2007},
  pages        = {772--779},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICCCN.2007.4317911},
  doi          = {10.1109/ICCCN.2007.4317911},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icccn/SeiH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/TeiFH07,
  author       = {Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  title        = {Applying Design Patterns to Wireless Sensor Network Programming},
  booktitle    = {Proceedings of the 16th International Conference on Computer Communications
                  and Networks, {IEEE} {ICCCN} 2007, Turtle Bay Resort, Honolulu, Hawaii,
                  USA, August 13-16, 2007},
  pages        = {1099--1104},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICCCN.2007.4317965},
  doi          = {10.1109/ICCCN.2007.4317965},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icccn/TeiFH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HonidenTYTW07,
  author       = {Shinichi Honiden and
                  Yasuyuki Tahara and
                  Nobukazu Yoshioka and
                  Kenji Taguchi and
                  Hironori Washizaki},
  title        = {Top {SE:} Educating Superarchitects Who Can Apply Software Engineering
                  Tools to Practical Development in Japan},
  booktitle    = {29th International Conference on Software Engineering {(ICSE} 2007),
                  Minneapolis, MN, USA, May 20-26, 2007},
  pages        = {708--718},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICSE.2007.89},
  doi          = {10.1109/ICSE.2007.89},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HonidenTYTW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/QuenumIH07,
  author       = {Jos{\'{e}} Ghislain Quenum and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Protocol Selection alongside Service Selection and Composition},
  booktitle    = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
                  July 9-13, 2007, Salt Lake City, Utah, {USA}},
  pages        = {719--726},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICWS.2007.146},
  doi          = {10.1109/ICWS.2007.146},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/QuenumIH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/IshikawaYH07,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  title        = {Policy-based Runtime Partner Management in ProcessBased Services},
  booktitle    = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
                  July 9-13, 2007, Salt Lake City, Utah, {USA}},
  pages        = {1191--1194},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICWS.2007.141},
  doi          = {10.1109/ICWS.2007.141},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/IshikawaYH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NakagawaTH07,
  author       = {Hiroyuki Nakagawa and
                  Kenji Taguchi and
                  Shinichi Honiden},
  editor       = {R. E. Kurt Stirewalt and
                  Alexander Egyed and
                  Bernd Fischer},
  title        = {Formal specification generator for {KAOS:} model transformation approach
                  to generate formal specifications from {KAOS} requirements models},
  booktitle    = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  pages        = {531--532},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1321631.1321729},
  doi          = {10.1145/1321631.1321729},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/NakagawaTH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/SeiH07,
  author       = {Yuichi Sei and
                  Shinichi Honiden},
  editor       = {Robert Meersman and
                  Zahir Tari},
  title        = {Resilient Security for False Event Detection Without Loss of Legitimate
                  Events in Wireless Sensor Networks},
  booktitle    = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE,
                  GADA, and IS, {OTM} Confederated International Conferences CoopIS,
                  DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30,
                  2007, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4803},
  pages        = {454--470},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76848-7\_33},
  doi          = {10.1007/978-3-540-76848-7\_33},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/SeiH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/IshikawaYH07,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Robert Meersman and
                  Zahir Tari},
  title        = {Agreements and Policies in Cooperative Mobile Agents: Formalization
                  and Implementation},
  booktitle    = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE,
                  GADA, and IS, {OTM} Confederated International Conferences CoopIS,
                  DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30,
                  2007, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4803},
  pages        = {683--700},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76848-7\_46},
  doi          = {10.1007/978-3-540-76848-7\_46},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/IshikawaYH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/FukuchiSH07,
  author       = {Daisuke Fukuchi and
                  Yuichi Sei and
                  Shinichi Honiden},
  editor       = {Robert Meersman and
                  Zahir Tari and
                  Pilar Herrero},
  title        = {Managing Difference-Based Objects with Sub-networks in Peer-to-Peer
                  Environments},
  booktitle    = {On the Move to Meaningful Internet Systems 2007: {OTM} 2007 Workshops,
                  {OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS,
                  {OTM} Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys,
                  PPN, RDDS, SSWS, and {SWWS} 2007, Vilamoura, Portugal, November 25-30,
                  2007, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4806},
  pages        = {1001--1010},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76890-6\_26},
  doi          = {10.1007/978-3-540-76890-6\_26},
  timestamp    = {Thu, 14 Oct 2021 10:28:28 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/FukuchiSH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/MatsuzakiH07,
  author       = {Kazutaka Matsuzaki and
                  Shinichi Honiden},
  title        = {Increasing the Ease of Deployment in Ubiquitous Environments},
  booktitle    = {Fifth Annual {IEEE} International Conference on Pervasive Computing
                  and Communications - Workshops (PerCom Workshops 2007), 19-23 March
                  2007, White Plains, New York, {USA}},
  pages        = {581--584},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/PERCOMW.2007.57},
  doi          = {10.1109/PERCOMW.2007.57},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/MatsuzakiH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ArthoSH07,
  author       = {Cyrille Artho and
                  Christian Sommer and
                  Shinichi Honiden},
  title        = {Model Checking Networked Programs in the Presence of Transmission
                  Failures},
  booktitle    = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
                  Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
  pages        = {219--228},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/TASE.2007.33},
  doi          = {10.1109/TASE.2007.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/ArthoSH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/IshikawaTYH06,
  author       = {Fuyuki Ishikawa and
                  Yasuyuki Tahara and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  title        = {Formal model of mobile {BPEL4WS} process},
  journal      = {Int. J. Bus. Process. Integr. Manag.},
  volume       = {1},
  number       = {3},
  pages        = {192--209},
  year         = {2006},
  url          = {https://doi.org/10.1504/IJBPIM.2006.010904},
  doi          = {10.1504/IJBPIM.2006.010904},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbpim/IshikawaTYH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jasss/GuyotH06,
  author       = {Paul Guyot and
                  Shinichi Honiden},
  title        = {Agent-Based Participatory Simulations: Merging Multi-Agent Systems
                  and Role-Playing Games},
  journal      = {J. Artif. Soc. Soc. Simul.},
  volume       = {9},
  number       = {4},
  year         = {2006},
  url          = {http://jasss.soc.surrey.ac.uk/9/4/8.html},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jasss/GuyotH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GuyotDH06,
  author       = {Paul Guyot and
                  Alexis Drogoul and
                  Shinichi Honiden},
  editor       = {Hideyuki Nakashima and
                  Michael P. Wellman and
                  Gerhard Weiss and
                  Peter Stone},
  title        = {Power and negotiation: lessons from agent-based participatory simulations},
  booktitle    = {5th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
  pages        = {27--33},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1160633.1160636},
  doi          = {10.1145/1160633.1160636},
  timestamp    = {Tue, 08 Mar 2022 10:12:47 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/GuyotDH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AndoFMIH06,
  author       = {Yasushi Ando and
                  Yoshiaki Fukazawa and
                  Osamu Masutani and
                  Hirotoshi Iwasaki and
                  Shinichi Honiden},
  editor       = {Hideyuki Nakashima and
                  Michael P. Wellman and
                  Gerhard Weiss and
                  Peter Stone},
  title        = {Performance of pheromone model for predicting traffic congestion},
  booktitle    = {5th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
  pages        = {73--80},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1160633.1160642},
  doi          = {10.1145/1160633.1160642},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/AndoFMIH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/IshikawaYH06,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Hideyuki Nakashima and
                  Michael P. Wellman and
                  Gerhard Weiss and
                  Peter Stone},
  title        = {Service-oriented and autonomous distribution and provision of multimedia
                  contents},
  booktitle    = {5th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
  pages        = {949--951},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1160633.1160802},
  doi          = {10.1145/1160633.1160802},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/IshikawaYH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/SeiMH06,
  author       = {Yuichi Sei and
                  Kazutaka Matsuzaki and
                  Shinichi Honiden},
  title        = {Reduction of the Communication Traffic for Multi-word Searches in
                  DHTs},
  booktitle    = {2006 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2006), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2006), 29 November - 1 December 2006, Sydney, Australia},
  pages        = {14},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIMCA.2006.174},
  doi          = {10.1109/CIMCA.2006.174},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/SeiMH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/IshikawaYH06,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  title        = {Smartive: Agreement-based Mobile Composite Agents for Multimedia Services},
  booktitle    = {2006 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2006), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2006), 29 November - 1 December 2006, Sydney, Australia},
  pages        = {19},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIMCA.2006.199},
  doi          = {10.1109/CIMCA.2006.199},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/IshikawaYH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/QuanIH06,
  author       = {Truong Khanh Quan and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Improving Accuracy of Recommender System by Clustering Items Based
                  on Stability of User Similarity},
  booktitle    = {2006 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2006), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2006), 29 November - 1 December 2006, Sydney, Australia},
  pages        = {61},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIMCA.2006.123},
  doi          = {10.1109/CIMCA.2006.123},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/QuanIH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/KataokaH06,
  author       = {Satoshi Kataoka and
                  Shinichi Honiden},
  title        = {Multi-Robot Positioning Model: Multi-Agent Approach},
  booktitle    = {2006 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2006), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2006), 29 November - 1 December 2006, Sydney, Australia},
  pages        = {112},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIMCA.2006.153},
  doi          = {10.1109/CIMCA.2006.153},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/KataokaH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/IshiguroTFH06,
  author       = {Makoto Ishiguro and
                  Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  title        = {A Sensor Middleware for Lightweight Relocatable Sensing Programs},
  booktitle    = {2006 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2006), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2006), 29 November - 1 December 2006, Sydney, Australia},
  pages        = {195},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIMCA.2006.27},
  doi          = {10.1109/CIMCA.2006.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/IshiguroTFH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/TeiMFH06,
  author       = {Kenji Tei and
                  Hiromi Muto and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  title        = {Introducing Auction Scheme to Route Allocation to Prolong the Lifetime
                  of Ad-Hoc Networks},
  booktitle    = {2006 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2006), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2006), 29 November - 1 December 2006, Sydney, Australia},
  pages        = {201},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIMCA.2006.134},
  doi          = {10.1109/CIMCA.2006.134},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/TeiMFH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/QuenumABH06,
  author       = {Jos{\'{e}} Ghislain Quenum and
                  Samir Aknine and
                  Jean{-}Pierre Briot and
                  Shinichi Honiden},
  editor       = {Matteo Baldoni and
                  Ulle Endriss},
  title        = {A Modeling Framework for Generic Agent Interaction Protocols},
  booktitle    = {Declarative Agent Languages and Technologies IV, 4th International
                  Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4327},
  pages        = {207--224},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11961536\_14},
  doi          = {10.1007/11961536\_14},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/QuenumABH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/PlatonSH06,
  author       = {Eric Platon and
                  Nicolas Sabouret and
                  Shinichi Honiden},
  editor       = {Danny Weyns and
                  H. Van Dyke Parunak and
                  Fabien Michel},
  title        = {Environmental Support for Tag Interactions},
  booktitle    = {Environments for Multi-Agent Systems III, Third International Workshop,
                  {E4MAS} 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4389},
  pages        = {106--123},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71103-2\_6},
  doi          = {10.1007/978-3-540-71103-2\_6},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/e4mas/PlatonSH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/PlatonSH06,
  author       = {Eric Platon and
                  Nicolas Sabouret and
                  Shinichi Honiden},
  editor       = {Gregory M. P. O'Hare and
                  Alessandro Ricci and
                  Michael J. O'Grady and
                  Oguz Dikenelli},
  title        = {A Definition of Exceptions in Agent-Oriented Computing},
  booktitle    = {Engineering Societies in the Agents World VII, 7th International Workshop,
                  {ESAW} 2006, Dublin, Ireland, September 6-8, 2006 Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4457},
  pages        = {161--174},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-75524-1\_9},
  doi          = {10.1007/978-3-540-75524-1\_9},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/esaw/PlatonSH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ArthoBH06,
  author       = {Cyrille Artho and
                  Armin Biere and
                  Shinichi Honiden},
  editor       = {Jayadev Misra and
                  Tobias Nipkow and
                  Emil Sekerinski},
  title        = {Enforcer - Efficient Failure Injection},
  booktitle    = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
                  Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4085},
  pages        = {412--427},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11813040\_28},
  doi          = {10.1007/11813040\_28},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/ArthoBH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ArthoBH06,
  author       = {Cyrille Artho and
                  Armin Biere and
                  Shinichi Honiden},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Exhaustive Testing of Exception Handlers with Enforcer},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {26--46},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_2},
  doi          = {10.1007/978-3-540-74792-5\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/ArthoBH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/QuenumASH06,
  author       = {Jos{\'{e}} Ghislain Quenum and
                  Samir Aknine and
                  Onn Shehory and
                  Shinichi Honiden},
  title        = {Dynamic Protocol Selection in Open and Heterogeneous Systems},
  booktitle    = {Proceedings of the 2006 {IEEE/WIC/ACM} International Conference on
                  Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006},
  pages        = {333--341},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/IAT.2006.57},
  doi          = {10.1109/IAT.2006.57},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iat/QuenumASH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaKH06,
  author       = {Hiroyuki Nakagawa and
                  Takuya Karube and
                  Shinichi Honiden},
  editor       = {Leon J. Osterweil and
                  H. Dieter Rombach and
                  Mary Lou Soffa},
  title        = {Analysis of multi-agent systems based on {KAOS} modeling},
  booktitle    = {28th International Conference on Software Engineering {(ICSE} 2006),
                  Shanghai, China, May 20-28, 2006},
  pages        = {926--929},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134285.1134454},
  doi          = {10.1145/1134285.1134454},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/NakagawaKH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/KataokaIH06,
  author       = {Satoshi Kataoka and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem},
  booktitle    = {18th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
  pages        = {481--488},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICTAI.2006.95},
  doi          = {10.1109/ICTAI.2006.95},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/KataokaIH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/SeiMH06,
  author       = {Yuichi Sei and
                  Kazutaka Matsuzaki and
                  Shinichi Honiden},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {An Algorithm to Reduce the Communication Traffic for Multi-Word Searches
                  in a Distributed Hash Table},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {115--129},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_13},
  doi          = {10.1007/978-0-387-34735-6\_13},
  timestamp    = {Wed, 28 Feb 2024 00:16:41 +0100},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/SeiMH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/NiwaDH06,
  author       = {Satoshi Niwa and
                  Takuo Doi and
                  Shinichi Honiden},
  title        = {Web Page Recommender System based on Folksonomy Mining for {ITNG}
                  '06 Submissions},
  booktitle    = {Third International Conference on Information Technology: New Generations
                  {(ITNG} 2006), 10-12 April 2006, Las Vegas, Nevada, {USA}},
  pages        = {388--393},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ITNG.2006.140},
  doi          = {10.1109/ITNG.2006.140},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itng/NiwaDH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msn/TeiSFHG06,
  author       = {Kenji Tei and
                  Christian Sommer and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden and
                  Pierre{-}Lo{\"{\i}}c Garoche},
  editor       = {Jiannong Cao and
                  Ivan Stojmenovic and
                  Xiaohua Jia and
                  Sajal K. Das},
  title        = {Adaptive Geographically Bound Mobile Agents},
  booktitle    = {Mobile Ad-hoc and Sensor Networks, Second International Conference,
                  {MSN} 2006, Hong Kong, China, December 13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4325},
  pages        = {353--364},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11943952\_30},
  doi          = {10.1007/11943952\_30},
  timestamp    = {Tue, 14 Apr 2020 13:23:09 +0200},
  biburl       = {https://dblp.org/rec/conf/msn/TeiSFHG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/selmas/PlatonSH06,
  author       = {Eric Platon and
                  Nicolas Sabouret and
                  Shinichi Honiden},
  editor       = {Ricardo Choren and
                  Alessandro F. Garcia and
                  Holger Giese and
                  Ho{-}fung Leung and
                  Carlos Jos{\'{e}} Pereira de Lucena and
                  Alexander B. Romanovsky},
  title        = {Challenges for Exception Handling in Multi-Agent Systems},
  booktitle    = {Software Engineering for Multi-Agent Systems V, Research Issues and
                  Practical Applications [the book is a result of {SELMAS} 2006]},
  series       = {Lecture Notes in Computer Science},
  volume       = {4408},
  pages        = {41--56},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-73131-3\_3},
  doi          = {10.1007/978-3-540-73131-3\_3},
  timestamp    = {Mon, 20 Dec 2021 09:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/selmas/PlatonSH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/selmas/PlatonHS06,
  author       = {Eric Platon and
                  Shinichi Honiden and
                  Nicolas Sabouret},
  editor       = {Ricardo Choren and
                  Alessandro F. Garcia and
                  Holger Giese and
                  Ho{-}fung Leung and
                  Carlos Jos{\'{e}} Pereira de Lucena and
                  Alexander B. Romanovsky},
  title        = {Challenges in exception handling in multi-agent systems},
  booktitle    = {Proceedings of the 2006 international workshop on Software engineering
                  for large-scale multi-agent systems, {SELMAS} '06, Shanghai, China,
                  May 22-23, 2006},
  pages        = {45--50},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1138063.1138072},
  doi          = {10.1145/1138063.1138072},
  timestamp    = {Thu, 18 Aug 2022 13:33:52 +0200},
  biburl       = {https://dblp.org/rec/conf/selmas/PlatonHS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpcc/IshikawaTYH05,
  author       = {Fuyuki Ishikawa and
                  Yasuyuki Tahara and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  title        = {A framework for synthesis of web services and mobile agents},
  journal      = {Int. J. Pervasive Comput. Commun.},
  volume       = {1},
  number       = {3},
  pages        = {227--245},
  year         = {2005},
  url          = {https://doi.org/10.1108/17427370580000128},
  doi          = {10.1108/17427370580000128},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpcc/IshikawaTYH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/ChoIOSH05,
  author       = {Kenta Cho and
                  Yutaka Irie and
                  Akihiko Ohsuga and
                  Katsuhiko Sekiguchi and
                  Shinichi Honiden},
  title        = {Application of the ?Plangent intelligent mobile agent architecture
                  for embedded systems to the inspection of power systems},
  journal      = {Syst. Comput. Jpn.},
  volume       = {36},
  number       = {4},
  pages        = {60--70},
  year         = {2005},
  url          = {https://doi.org/10.1002/scj.10352},
  doi          = {10.1002/SCJ.10352},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/ChoIOSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/IshikawaYH05,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  title        = {Mobile agent system for Web service integration in pervasive network},
  journal      = {Syst. Comput. Jpn.},
  volume       = {36},
  number       = {11},
  pages        = {34--48},
  year         = {2005},
  url          = {https://doi.org/10.1002/scj.20334},
  doi          = {10.1002/SCJ.20334},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/IshikawaYH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/IshikawaYTH05,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Yasuyuki Tahara and
                  Shinichi Honiden},
  title        = {Mobile and Cooperative Compounds of Multimedia Services},
  booktitle    = {2005 {IEEE} International Conference on Services Computing {(SCC}
                  2005), 11-15 July 2005, Orlando, FL, {USA}},
  pages        = {129--138},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SCC.2005.65},
  doi          = {10.1109/SCC.2005.65},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/IshikawaYTH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amt/PlatonHS05,
  author       = {Eric Platon and
                  Shinichi Honiden and
                  Nicolas Sabouret},
  editor       = {Hiroyuki Tarumi and
                  Yuefeng Li and
                  Tetsuya Yoshida},
  title        = {Modelling interactions in assistant teams},
  booktitle    = {Proceedings of the 2005 International Conference on Active Media Technology,
                  {AMT} 2005, Kagawa International Conference Hall, Takamatsu, Kagawa,
                  Japan, May 19-21, 2005},
  pages        = {383--388},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/AMT.2005.1505377},
  doi          = {10.1109/AMT.2005.1505377},
  timestamp    = {Fri, 27 Nov 2020 11:12:56 +0100},
  biburl       = {https://dblp.org/rec/conf/amt/PlatonHS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AndoMSIFH05,
  author       = {Yasushi Ando and
                  Osamu Masutani and
                  Hiroshi Sasaki and
                  Hirotoshi Iwasaki and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Sven Brueckner and
                  Giovanna Di Marzo Serugendo and
                  David Hales and
                  Franco Zambonelli},
  title        = {Pheromone Model: Application to Traffic Congestion Prediction},
  booktitle    = {Engineering Self-Organising Systems, Third International Workshop,
                  {ESOA} 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3910},
  pages        = {182--196},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11734697\_14},
  doi          = {10.1007/11734697\_14},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/AndoMSIFH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DoiTH05,
  author       = {Takuo Doi and
                  Yasuyuki Tahara and
                  Shinichi Honiden},
  editor       = {Frank Dignum and
                  Virginia Dignum and
                  Sven Koenig and
                  Sarit Kraus and
                  Munindar P. Singh and
                  Michael J. Wooldridge},
  title        = {{IOM/T:} an interaction description language for multi-agent systems},
  booktitle    = {4th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
  pages        = {778--785},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082473.1082592},
  doi          = {10.1145/1082473.1082592},
  timestamp    = {Fri, 26 Apr 2019 14:26:42 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/DoiTH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MasutaniSIAFH05,
  author       = {Osamu Masutani and
                  Hiroshi Sasaki and
                  Hirotoshi Iwasaki and
                  Yasushi Ando and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Frank Dignum and
                  Virginia Dignum and
                  Sven Koenig and
                  Sarit Kraus and
                  Munindar P. Singh and
                  Michael J. Wooldridge},
  title        = {Pheromone model: application to traffic congestion prediction},
  booktitle    = {4th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
  pages        = {1171--1172},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082473.1082678},
  doi          = {10.1145/1082473.1082678},
  timestamp    = {Sat, 18 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/MasutaniSIAFH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/IshikawaTYH05,
  author       = {Fuyuki Ishikawa and
                  Yasuyuki Tahara and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Frank Dignum and
                  Virginia Dignum and
                  Sven Koenig and
                  Sarit Kraus and
                  Munindar P. Singh and
                  Michael J. Wooldridge},
  title        = {Agent synthesis: partnership and agreement in cooperative mobile agents},
  booktitle    = {4th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
  pages        = {1267--1268},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082473.1082726},
  doi          = {10.1145/1082473.1082726},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/IshikawaTYH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/IshikawaYH05,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  title        = {Incorporating Agreements on Service Options into BPEL-based Services},
  booktitle    = {2005 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2005), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2005), 28-30 November 2005, Vienna, Austria},
  pages        = {796--803},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/CIMCA.2005.1631362},
  doi          = {10.1109/CIMCA.2005.1631362},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/IshikawaYH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/PlatonSH05,
  author       = {Eric Platon and
                  Nicolas Sabouret and
                  Shinichi Honiden},
  editor       = {Danny Weyns and
                  H. Van Dyke Parunak and
                  Fabien Michel},
  title        = {Overhearing and Direct Interactions: Point of View of an Active Environment},
  booktitle    = {Environments for Multi-Agent Systems II, Second International Workshop,
                  {E4MAS} 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3830},
  pages        = {121--138},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11678809\_8},
  doi          = {10.1007/11678809\_8},
  timestamp    = {Thu, 14 Oct 2021 09:49:19 +0200},
  biburl       = {https://dblp.org/rec/conf/e4mas/PlatonSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/PlatonSH05,
  author       = {Eric Platon and
                  Nicolas Sabouret and
                  Shinichi Honiden},
  editor       = {Marie{-}Pierre Gleizes and
                  Gal A. Kaminka and
                  Ann Now{\'{e}} and
                  Sascha Ossowski and
                  Karl Tuyls and
                  Katja Verbeeck},
  title        = {Tag Interactions in MultiAgent Systems: Environment Support},
  booktitle    = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent
                  Systems, Brussels, Belgium, December 7-8, 2005},
  pages        = {270--281},
  publisher    = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
  year         = {2005},
  timestamp    = {Mon, 07 Oct 2019 16:15:28 +0200},
  biburl       = {https://dblp.org/rec/conf/eumas/PlatonSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/IshikawaYTH05,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Yasuyuki Tahara and
                  Shinichi Honiden},
  editor       = {Chin{-}Sheng Chen and
                  Joaquim Filipe and
                  Isabel Seruca and
                  Jos{\'{e}} Cordeiro},
  title        = {Framework for Hierarchical Mobile Agents: Toward Service-Oriented
                  Agent Compound},
  booktitle    = {{ICEIS} 2005, Proceedings of the Seventh International Conference
                  on Enterprise Information Systems, Miami, USA, May 25-28, 2005},
  pages        = {275--282},
  year         = {2005},
  timestamp    = {Thu, 02 Feb 2017 12:53:54 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/IshikawaYTH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/KurumaH05,
  author       = {Hironobu Kuruma and
                  Shinichi Honiden},
  editor       = {Chin{-}Sheng Chen and
                  Joaquim Filipe and
                  Isabel Seruca and
                  Jos{\'{e}} Cordeiro},
  title        = {A Model for Policy Based Service Community},
  booktitle    = {{ICEIS} 2005, Proceedings of the Seventh International Conference
                  on Enterprise Information Systems, Miami, USA, May 25-28, 2005},
  pages        = {360--366},
  year         = {2005},
  timestamp    = {Tue, 05 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/KurumaH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intellcomm/TeiYFH05,
  author       = {Kenji Tei and
                  Nobukazu Yoshioka and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden},
  editor       = {Roch H. Glitho and
                  Ahmed Karmouch and
                  Samuel Pierre},
  title        = {Using Mobile Agent for Location-Specific Data Retrieval in Manet},
  booktitle    = {Intelligence in Communication Systems - {IFIP} International Conference
                  on Intelligence in Communication Systems, {INTELLCOMM} 2005 Montreal,
                  Canada, October 17-19, 2005},
  series       = {{IFIP}},
  volume       = {190},
  pages        = {157--168},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/0-387-32015-6\_15},
  doi          = {10.1007/0-387-32015-6\_15},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intellcomm/TeiYFH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/TeiFHY05,
  author       = {Kenji Tei and
                  Yoshiaki Fukazawa and
                  Shinichi Honiden and
                  Nobukazu Yoshioka},
  title        = {Geographically Bound Mobile Agent in {MANET}},
  booktitle    = {2nd Annual International Conference on Mobile and Ubiquitous Systems
                  (MobiQuitous 2005), 17-21 July 2005, San Diego, CA, {USA}},
  pages        = {516--518},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/MOBIQUITOUS.2005.31},
  doi          = {10.1109/MOBIQUITOUS.2005.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mobiquitous/TeiFHY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/MatsuzakiYH05,
  author       = {Kazutaka Matsuzaki and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Robert Meersman and
                  Zahir Tari and
                  Pilar Herrero and
                  Gonzalo M{\'{e}}ndez and
                  Lawrence Cavedon and
                  David B. Martin and
                  Annika Hinze and
                  George Buchanan and
                  Mar{\'{\i}}a S. P{\'{e}}rez and
                  V{\'{\i}}ctor Robles and
                  Jan Humble and
                  Antonia Albani and
                  Jan L. G. Dietz and
                  Herv{\'{e}} Panetto and
                  Monica Scannapieco and
                  Terry A. Halpin and
                  Peter Spyns and
                  Johannes Maria Zaha and
                  Esteban Zim{\'{a}}nyi and
                  Emmanuel Stefanakis and
                  Tharam S. Dillon and
                  Ling Feng and
                  Mustafa Jarrar and
                  Jos Lehmann and
                  Aldo de Moor and
                  Erik Duval and
                  Lora Aroyo},
  title        = {Flexible and Maintainable Contents Activities in Ubiquitous Environment},
  booktitle    = {On the Move to Meaningful Internet Systems 2005: {OTM} 2005 Workshops,
                  {OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS,
                  GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and {WOSE} 2005, Agia
                  Napa, Cyprus, October 31 - November 4, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3762},
  pages        = {14--15},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11575863\_7},
  doi          = {10.1007/11575863\_7},
  timestamp    = {Tue, 11 Apr 2023 12:52:01 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/MatsuzakiYH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/HattoriCOIH04,
  author       = {Masanori Hattori and
                  Kenta Cho and
                  Akihiko Ohsuga and
                  Masao Isshiki and
                  Shinichi Honiden},
  title        = {Context-aware agent platform in ubiquitous environments and its verification
                  tests},
  journal      = {Syst. Comput. Jpn.},
  volume       = {35},
  number       = {7},
  pages        = {13--23},
  year         = {2004},
  url          = {https://doi.org/10.1002/scj.10655},
  doi          = {10.1002/SCJ.10655},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/HattoriCOIH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aois/YoshiokaOH04,
  author       = {Nobukazu Yoshioka and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Paolo Bresciani and
                  Paolo Giorgini and
                  Brian Henderson{-}Sellers and
                  Graham Low and
                  Michael Winikoff},
  title        = {Mobeet: {A} Multi-agent Framework for Ubiquitous Information Systems},
  booktitle    = {Agent-Oriented Information Systems II, 6th International Bi-Conference
                  Workshop, {AOIS} 2004, Riga, Latvia, June 8, 2004 and New York, NY,
                  USA, July 20, 2004,Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3508},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11426714\_2},
  doi          = {10.1007/11426714\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/aois/YoshiokaOH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/TaharaOH04,
  author       = {Yasuyuki Tahara and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Pigeon: {A} Specification Language for Mobile Agent Applications},
  booktitle    = {3rd International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
  pages        = {1356--1357},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10222},
  doi          = {10.1109/AAMAS.2004.10222},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/TaharaOH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cata/MatsumotoH04,
  author       = {Kazunori Matsumoto and
                  Shinichi Honiden},
  editor       = {Bidyut Gupta},
  title        = {Software Design Method for Agent Systems from Scenarios},
  booktitle    = {19th International Conference on Computers and Their Applications,
                  {CATA} 2004, March 18-20, 2004, Red Lion Hotel on Fifth Avenue, Seattle,
                  Washington, {USA}},
  pages        = {136--141},
  publisher    = {{ISCA}},
  year         = {2004},
  timestamp    = {Mon, 09 Aug 2021 16:27:20 +0200},
  biburl       = {https://dblp.org/rec/conf/cata/MatsumotoH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/YoshiokaHF04,
  author       = {Nobukazu Yoshioka and
                  Shinichi Honiden and
                  Anthony Finkelstein},
  title        = {Security Patterns: {A} Method for Constructing Secure and Efficient
                  Inter-Company Coordination Systems},
  booktitle    = {8th International Enterprise Distributed Object Computing Conference
                  {(EDOC} 2004), 20-24 September 2004, Monterey, California, USA, Proceedings},
  pages        = {84--97},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/EDOC.2004.10024},
  doi          = {10.1109/EDOC.2004.10024},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/YoshiokaHF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/PlatonSH04,
  author       = {Eric Platon and
                  Nicolas Sabouret and
                  Shinichi Honiden},
  editor       = {Marie{-}Pierre Gleizes and
                  Andrea Omicini and
                  Franco Zambonelli},
  title        = {T-Compound Interaction and Overhearing Agents},
  booktitle    = {Engineering Societies in the Agents World V, 5th InternationalWorkshop,
                  {ESAW} 2004, Toulouse, France, October 20-22, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3451},
  pages        = {90--105},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423355\_7},
  doi          = {10.1007/11423355\_7},
  timestamp    = {Mon, 07 Oct 2019 16:15:28 +0200},
  biburl       = {https://dblp.org/rec/conf/esaw/PlatonSH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/NaganoHOH04,
  author       = {Shinichi Nagano and
                  Tetsuo Hasegawa and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Dynamic Invocation Model of Web Services Using Subsumption Relations},
  booktitle    = {Proceedings of the {IEEE} International Conference on Web Services
                  (ICWS'04), June 6-9, 2004, San Diego, California, {USA}},
  pages        = {150},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICWS.2004.1314734},
  doi          = {10.1109/ICWS.2004.1314734},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/NaganoHOH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/IshikawaYTH04,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Yasuyuki Tahara and
                  Shinichi Honiden},
  title        = {Behavior Descriptions of Mobile Agents for Web Services Integration},
  booktitle    = {Proceedings of the {IEEE} International Conference on Web Services
                  (ICWS'04), June 6-9, 2004, San Diego, California, {USA}},
  pages        = {342--349},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICWS.2004.1314756},
  doi          = {10.1109/ICWS.2004.1314756},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/IshikawaYTH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwuc/IshikawaYTH04,
  author       = {Fuyuki Ishikawa and
                  Nobukazu Yoshioka and
                  Yasuyuki Tahara and
                  Shinichi Honiden},
  editor       = {Soraya Kouadri Most{\'{e}}faoui and
                  Zakaria Maamar and
                  Omer F. Rana},
  title        = {Mobile Agent System for Web Services Integration in Pervasive Networks},
  booktitle    = {Ubiquitous Computing - Proceedings of the 1st International Workshop
                  on Ubiquitous Computing, {IWUC} 2004, In conjunction with {ICEIS}
                  2004, Porto, Portugal, April 2004},
  pages        = {38--47},
  publisher    = {{INSTICC} Press},
  year         = {2004},
  timestamp    = {Mon, 05 Jul 2004 16:09:50 +0200},
  biburl       = {https://dblp.org/rec/conf/iwuc/IshikawaYTH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwuc/MatsuzakiYH04,
  author       = {Kazutaka Matsuzaki and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Soraya Kouadri Most{\'{e}}faoui and
                  Zakaria Maamar and
                  Omer F. Rana},
  title        = {Ubiquitous Application Development using a Mobile Agent-based System},
  booktitle    = {Ubiquitous Computing - Proceedings of the 1st International Workshop
                  on Ubiquitous Computing, {IWUC} 2004, In conjunction with {ICEIS}
                  2004, Porto, Portugal, April 2004},
  pages        = {204--212},
  publisher    = {{INSTICC} Press},
  year         = {2004},
  timestamp    = {Mon, 05 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwuc/MatsuzakiYH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mata/MatsuzakiYH04,
  author       = {Kazutaka Matsuzaki and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Ahmed Karmouch and
                  Larry Korba and
                  Edmundo Roberto Mauro Madeira},
  title        = {Development Methodology for Location-Aware Mobile Agent},
  booktitle    = {Mobility Aware Technologies and Applications, First International
                  Workshop,MATA 2004, Florian{\'{o}}polis, Brazil, October 20-22,
                  2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3284},
  pages        = {13--26},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30178-3\_2},
  doi          = {10.1007/978-3-540-30178-3\_2},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/mata/MatsuzakiYH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mata/YoshiokaH04,
  author       = {Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Ahmed Karmouch and
                  Larry Korba and
                  Edmundo Roberto Mauro Madeira},
  title        = {A Pattern Oriented Mobile Agent Framework for Mobile Computing},
  booktitle    = {Mobility Aware Technologies and Applications, First International
                  Workshop,MATA 2004, Florian{\'{o}}polis, Brazil, October 20-22,
                  2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3284},
  pages        = {369--380},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30178-3\_36},
  doi          = {10.1007/978-3-540-30178-3\_36},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mata/YoshiokaH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ChoHHOH04,
  author       = {Kenta Cho and
                  Hisashi Hayashi and
                  Masanori Hattori and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Mike Barley and
                  Nikola K. Kasabov},
  title        = {picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing},
  booktitle    = {Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International
                  Workshop on Multi-Agents, {PRIMA} 2004, Auckland, New Zealand, August
                  8-13, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3371},
  pages        = {43--56},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32128-6\_4},
  doi          = {10.1007/978-3-540-32128-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/ChoHHOH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/PlatonH04,
  author       = {Eric Platon and
                  Shinichi Honiden},
  editor       = {Mike Barley and
                  Nikola K. Kasabov},
  title        = {Introducing Participative Personal Assistant Teams in Negotiation
                  Support Systems},
  booktitle    = {Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International
                  Workshop on Multi-Agents, {PRIMA} 2004, Auckland, New Zealand, August
                  8-13, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3371},
  pages        = {178--192},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32128-6\_14},
  doi          = {10.1007/978-3-540-32128-6\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/PlatonH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/DoiYTH04,
  author       = {Takou Doi and
                  Nobukazu Yoshioka and
                  Yasuyuki Tahara and
                  Shinichi Honiden},
  editor       = {Rafael H. Bordini and
                  Mehdi Dastani and
                  J{\"{u}}rgen Dix and
                  Amal El Fallah Seghrouchni},
  title        = {Bridging the Gap Between {AUML} and Implementation Using {IOM/T}},
  booktitle    = {Programming Multi-Agent Systems, Second International Workshop ProMAS
                  2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3346},
  pages        = {147--162},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32260-3\_8},
  doi          = {10.1007/978-3-540-32260-3\_8},
  timestamp    = {Wed, 12 Aug 2020 21:55:20 +0200},
  biburl       = {https://dblp.org/rec/conf/promas/DoiYTH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/YoshidaH03,
  author       = {Kazuki Yoshida and
                  Shinichi Honiden},
  title        = {Formal specification of components in a component-based framework
                  development method},
  journal      = {Syst. Comput. Jpn.},
  volume       = {34},
  number       = {8},
  pages        = {62--76},
  year         = {2003},
  url          = {https://doi.org/10.1002/scj.10280},
  doi          = {10.1002/SCJ.10280},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/YoshidaH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HasegawaCKNOH03,
  author       = {Tetsuo Hasegawa and
                  Kenta Cho and
                  Fumihiro Kumeno and
                  Shin Nakajima and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Interoperability for mobile agents by incarnation agents},
  booktitle    = {The Second International Joint Conference on Autonomous Agents {\&}
                  Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
                  Australia, Proceedings},
  pages        = {1006--1007},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860575.860768},
  doi          = {10.1145/860575.860768},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/HasegawaCKNOH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IchiseTH03,
  author       = {Ryutaro Ichise and
                  Hideaki Takeda and
                  Shinichi Honiden},
  editor       = {Georg Gottlob and
                  Toby Walsh},
  title        = {Integrating Multiple Internet Directories by Instance-based Learning},
  booktitle    = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
                  on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages        = {22--30},
  publisher    = {Morgan Kaufmann},
  year         = {2003},
  url          = {http://ijcai.org/Proceedings/03/Papers/004.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/IchiseTH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mata/TaharaYH03,
  author       = {Yasuyuki Tahara and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Eric Horlait and
                  Thomas Magedanz and
                  Roch H. Glitho},
  title        = {A Formal Model of Active Contents Based on the Ambient Calculus},
  booktitle    = {Mobile Agents for Telecommunication Applications, 5th International
                  Workshop, {MATA} 2003, Marakech, Morocco, October 8-10, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2881},
  pages        = {132--141},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39646-8\_13},
  doi          = {10.1007/978-3-540-39646-8\_13},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/mata/TaharaYH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/HattoriOH03,
  author       = {Masanori Hattori and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun},
  title        = {Planning Mobile Agent Architecture for Realizing Mobile Intelligence},
  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 3},
  pages        = {1026--1032},
  publisher    = {{CSREA} Press},
  year         = {2003},
  timestamp    = {Fri, 05 Dec 2003 09:24:17 +0100},
  biburl       = {https://dblp.org/rec/conf/pdpta/HattoriOH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/KanekoFKYH03,
  author       = {Heisuke Kaneko and
                  Yoshiaki Fukazawa and
                  Fumihiro Kumeno and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  title        = {Mobile Agent Based Evacuation System When The Battery Runs Out: {EASTER}},
  booktitle    = {Proceedings of the First {IEEE} International Conference on Pervasive
                  Computing and Communications (PerCom'03), March 23-26, 2003, Fort
                  Worth, Texas, {USA}},
  pages        = {460},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/PERCOM.2003.1192771},
  doi          = {10.1109/PERCOM.2003.1192771},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/KanekoFKYH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/HattoriCOIH03,
  author       = {Masanori Hattori and
                  Kenta Cho and
                  Akihiko Ohsuga and
                  Masao Isshiki and
                  Shinichi Honiden},
  title        = {Context-Aware Agent Platform in Ubiquitous Environments and Its Verification
                  Tests},
  booktitle    = {Proceedings of the First {IEEE} International Conference on Pervasive
                  Computing and Communications (PerCom'03), March 23-26, 2003, Fort
                  Worth, Texas, {USA}},
  pages        = {547--552},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/PERCOM.2003.1192788},
  doi          = {10.1109/PERCOM.2003.1192788},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/HattoriCOIH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/YoshiokaKOH02,
  author       = {Nobukazu Yoshioka and
                  Takahiro Kawamura and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Evaluation of a Multi Agent Framework for Open Distributed Systems},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {85-A},
  number       = {11},
  pages        = {2396--2406},
  year         = {2002},
  url          = {http://search.ieice.org/bin/summary.php?id=e85-a\_11\_2396},
  timestamp    = {Wed, 09 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieiceta/YoshiokaKOH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/HattoriOH02,
  author       = {Masanori Hattori and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Planning mobile agent architecture for open network environment},
  journal      = {Syst. Comput. Jpn.},
  volume       = {33},
  number       = {12},
  pages        = {58--66},
  year         = {2002},
  url          = {https://doi.org/10.1002/scj.10112},
  doi          = {10.1002/SCJ.10112},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/HattoriOH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agents/TaharaOH01,
  author       = {Yasuyuki Tahara and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Elisabeth Andr{\'{e}} and
                  Sandip Sen and
                  Claude Frasson and
                  J{\"{o}}rg P. M{\"{u}}ller},
  title        = {Mobile agent security with the IPEditor development tool and the mobile
                  {UNITY} language},
  booktitle    = {Proceedings of the Fifth International Conference on Autonomous Agents,
                  {AGENTS} 2001, Montreal, Canada, May 28 - June 1, 2001},
  pages        = {656--662},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/375735.376478},
  doi          = {10.1145/375735.376478},
  timestamp    = {Sat, 30 Sep 2023 09:33:47 +0200},
  biburl       = {https://dblp.org/rec/conf/agents/TaharaOH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IchiseTH01,
  author       = {Ryutaro Ichise and
                  Hideaki Takeda and
                  Shinichi Honiden},
  editor       = {Alexander Maedche and
                  Steffen Staab and
                  Claire Nedellec and
                  Eduard H. Hovy},
  title        = {Rule Induction for Concept Hierarchy Alignment},
  booktitle    = {IJCAI'2001 Workshop on Ontology Learning, Proceedings of the Second
                  Workshop on Ontology Learning OL'2001, Seattle, USA, August 4, 2001
                  (Held in conjunction with the 17th International Conference on Artificial
                  Intelligence IJCAI'2001)},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {38},
  publisher    = {CEUR-WS.org},
  year         = {2001},
  url          = {https://ceur-ws.org/Vol-38/ichise\_IJICAI-OL.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/IchiseTH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/TaharaOH01,
  author       = {Yasuyuki Tahara and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Behavior Patterns for Mobile Agent Systems from the Development Process
                  Viewpoint},
  booktitle    = {Fifth International Symposium on Autonomous Decentralized Systems,
                  {ISADS} 2001, Dallas, Texas, USA, March 26-28, 2001},
  pages        = {239--242},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ISADS.2001.917421},
  doi          = {10.1109/ISADS.2001.917421},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/TaharaOH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/TaharaTOH01,
  author       = {Yasuyuki Tahara and
                  Nobukazu Toshiba and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Secure and efficient mobile agent application reuse using patterns},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} Symposium on Software Reusability:
                  Putting Software Reuse in Context, {SSR} 2001, May 18-20, 2001, Toronto,
                  Ontario, Canada},
  pages        = {78--85},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/375212.375255},
  doi          = {10.1145/375212.375255},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssr/TaharaTOH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/IchiseTH01,
  author       = {Ryutaro Ichise and
                  Hideaki Takeda and
                  Shinichi Honiden},
  editor       = {Vincent Y. Shen and
                  Nobuo Saito and
                  Michael R. Lyu and
                  Mary Ellen Zurko},
  title        = {Automated Alignment of Multiple Internet Directories},
  booktitle    = {Poster Proceedings of the Tenth International World Wide Web Conference,
                  {WWW} 10, Hong Kong, China, May 1-5, 2001},
  year         = {2001},
  url          = {http://www10.org/cdrom/posters/1093.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/IchiseTH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/KawamuraTHOH00,
  author       = {Takahiro Kawamura and
                  Yasuyuki Tahara and
                  Tetsuo Hasegawa and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Bee-gent: bonding and encapsulation enhancement agent framework for
                  development of distributed systems},
  journal      = {Syst. Comput. Jpn.},
  volume       = {31},
  number       = {13},
  pages        = {42--56},
  year         = {2000},
  url          = {https://doi.org/10.1002/1520-684X(20001130)31:13\&\#60;42::AID-SCJ5\&\#62;3.0.CO;2-0},
  doi          = {10.1002/1520-684X(20001130)31:13\&\#60;42::AID-SCJ5\&\#62;3.0.CO;2-0},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/KawamuraTHOH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/YoshiokaTOH00,
  author       = {Nobukazu Yoshioka and
                  Yasuyuki Tahara and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Paolo Ciancarini and
                  Michael J. Wooldridge},
  title        = {Security for Mobile Agents},
  booktitle    = {Agent-Oriented Software Engineering, First International Workshop,
                  {AOSE} 2000, Limerick, Ireland, June 10, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1957},
  pages        = {223--234},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44564-1\_15},
  doi          = {10.1007/3-540-44564-1\_15},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/aose/YoshiokaTOH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/KawamuraHOH00,
  author       = {Takahiro Kawamura and
                  Tetsuo Hasegawa and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Rental Application to Rental Service Development of Advanced {ASP}
                  Framework},
  booktitle    = {4th International Enterprise Distributed Object Computing Conference
                  {(EDOC} 2000), 25-28 September 2000, Makuhari, Japan, Proceedings},
  pages        = {58},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/EDOC.2000.882344},
  doi          = {10.1109/EDOC.2000.882344},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/KawamuraHOH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ma/KawamuraJOH00,
  author       = {Takahiro Kawamura and
                  Sam Joseph and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {David Kotz and
                  Friedemann Mattern},
  title        = {Quantitative Evaluation of Pairwise Interactions between Agents},
  booktitle    = {Agent Systems, Mobile Agents, and Applications, Second International
                  Symposium on Agent Systems and Applications and Fourth International
                  Symposium on Mobile Agents, {ASA/MA} 2000, Z{\"{u}}rich, Switzerland,
                  September 13-15, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1882},
  pages        = {192--205},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45347-5\_16},
  doi          = {10.1007/978-3-540-45347-5\_16},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/ma/KawamuraJOH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HattoriKOH99,
  author       = {Masanori Hattori and
                  Naoki Kase and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Agent-Based Drivers' Information Assistance System},
  journal      = {New Gener. Comput.},
  volume       = {17},
  number       = {4},
  pages        = {359--367},
  year         = {1999},
  url          = {https://doi.org/10.1007/BF03037242},
  doi          = {10.1007/BF03037242},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/HattoriKOH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KawamuraHOH99,
  author       = {Takahiro Kawamura and
                  Tetsuo Hasegawa and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for
                  Development of Distributed Systems},
  booktitle    = {6th Asia-Pacific Software Engineering Conference {(APSEC} '99), 7-10
                  December 1999, Takamatsu, Japan},
  pages        = {260--267},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/APSEC.1999.809611},
  doi          = {10.1109/APSEC.1999.809611},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/KawamuraHOH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TaharaOH99,
  author       = {Yasuyuki Tahara and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Barry W. Boehm and
                  David Garlan and
                  Jeff Kramer},
  title        = {Agent System Development Method Based on Agent Patterns},
  booktitle    = {Proceedings of the 1999 International Conference on Software Engineering,
                  ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
  pages        = {356--367},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/302405.302657},
  doi          = {10.1145/302405.302657},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/TaharaOH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/TaharaOH99,
  author       = {Yasuyuki Tahara and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Agent System Development Method based on Agent Patterns},
  booktitle    = {The Fourth International Symposium on Autonomous Decentralized Systems,
                  {ISADS} 1999, Tokyo, Japan, March 20-23, 1999},
  pages        = {261--263},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ISADS.1999.838445},
  doi          = {10.1109/ISADS.1999.838445},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/TaharaOH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/UchihiraHS97,
  author       = {Naoshi Uchihira and
                  Shinichi Honiden and
                  Toshibumi Seki},
  title        = {Hypersequential programming: a new way to develop concurrent programs},
  journal      = {{IEEE} Concurrency},
  volume       = {5},
  number       = {3},
  pages        = {44--54},
  year         = {1997},
  url          = {https://doi.org/10.1109/4434.605918},
  doi          = {10.1109/4434.605918},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieeecc/UchihiraHS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/OhsugaNIHH97,
  author       = {Akihiko Ohsuga and
                  Yasuo Nagai and
                  Yutaka Irie and
                  Masanori Hattori and
                  Shinichi Honiden},
  title        = {{PLANGENT:} An Approach to Making Mobile Agents Intelligent},
  journal      = {{IEEE} Internet Comput.},
  volume       = {1},
  number       = {4},
  pages        = {50--57},
  year         = {1997},
  url          = {https://doi.org/10.1109/4236.612215},
  doi          = {10.1109/4236.612215},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/internet/OhsugaNIHH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MatsuuraKH97,
  author       = {Saeko Matsuura and
                  Hironobu Kuruma and
                  Shinichi Honiden},
  title        = {{EVA:} {A} Flexible Programming Method for Evolving Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {23},
  number       = {5},
  pages        = {296--313},
  year         = {1997},
  url          = {https://doi.org/10.1109/32.588522},
  doi          = {10.1109/32.588522},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MatsuuraKH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HonidenOU96,
  author       = {Shinichi Honiden and
                  Akihiko Ohsuga and
                  Naoshi Uchihira},
  title        = {{MENDELS} {ZONE:} {A} parallel program development system based on
                  formal specifications},
  journal      = {Inf. Softw. Technol.},
  volume       = {38},
  number       = {3},
  pages        = {181--189},
  year         = {1996},
  url          = {https://doi.org/10.1016/0950-5849(95)01072-6},
  doi          = {10.1016/0950-5849(95)01072-6},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/HonidenOU96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/UchihiraH96,
  author       = {Naoshi Uchihira and
                  Shinichi Honiden},
  title        = {Compositional adjustment of concurrent programs to satisfy temporal
                  logic constraints in {MENDELS} {ZONE}},
  journal      = {J. Syst. Softw.},
  volume       = {33},
  number       = {3},
  pages        = {207--221},
  year         = {1996},
  url          = {https://doi.org/10.1016/0164-1212(96)00021-0},
  doi          = {10.1016/0164-1212(96)00021-0},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/UchihiraH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/NatoriKH96,
  author       = {Mari Natori and
                  Akira Kagaya and
                  Shinichi Honiden},
  editor       = {Murali Sitaraman},
  title        = {Reuse of design processes based on domain analysis},
  booktitle    = {Proceedings of Fourth {IEEE} International Conference on Software
                  Reuse, {ICSR} 1996, April 23-26, 1996, Orlando, Florida, {USA}},
  pages        = {31--40},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ICSR.1996.496111},
  doi          = {10.1109/ICSR.1996.496111},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsr/NatoriKH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isotas/TaharaKOH96,
  author       = {Yasuyuki Tahara and
                  Fumihiro Kumeno and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Kokichi Futatsugi and
                  Satoshi Matsuoka},
  title        = {An Algebraic Semantics of Reflective Objects},
  booktitle    = {Object Technologies for Advanced Software, Second {JSSST} International
                  Symposium, {ISOTAS} '96, Kanazawa, Japan, March 11-15, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1049},
  pages        = {173--189},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60954-7\_50},
  doi          = {10.1007/3-540-60954-7\_50},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/isotas/TaharaKOH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pds/UchihiraHS96,
  author       = {Naoshi Uchihira and
                  Shinichi Honiden and
                  Toshibumi Seki},
  editor       = {Innes Jelly and
                  Ian Gorton and
                  Peter R. Croll},
  title        = {Hypersequential programming - a novel paradigm for concurrent programming},
  booktitle    = {Software Engineering for Parallel and Distributed Systems, Proceedings
                  of the First {IFIP} {TC10} International Workshop on Parallel and
                  Distributed Software Engineering, March 1996},
  series       = {{IFIP} Conference Proceedings},
  volume       = {50},
  pages        = {62--73},
  publisher    = {Chapman {\&} Hall},
  year         = {1996},
  timestamp    = {Thu, 03 Jan 2002 12:07:19 +0100},
  biburl       = {https://dblp.org/rec/conf/pds/UchihiraHS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/YamamotoOH95,
  author       = {Junichi Yamamoto and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Cooad: a Case Tool for Object-Oriented Analysis and Design},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {5},
  number       = {3},
  pages        = {367--389},
  year         = {1995},
  url          = {https://doi.org/10.1142/S0218194095000186},
  doi          = {10.1142/S0218194095000186},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/YamamotoOH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/EverettH95,
  author       = {William W. Everett and
                  Shinichi Honiden},
  title        = {Guest Editors' Introduction: Reliability and Safety of Real-Time Systems},
  journal      = {{IEEE} Softw.},
  volume       = {12},
  number       = {3},
  pages        = {13--16},
  year         = {1995},
  url          = {https://doi.org/10.1109/52.382177},
  doi          = {10.1109/52.382177},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/EverettH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/KishimotoKH95,
  author       = {Yoshinori Kishimoto and
                  Nobuto Kotaka and
                  Shinichi Honiden},
  title        = {Adapting Object-Communication Methods Dynamically},
  journal      = {{IEEE} Softw.},
  volume       = {12},
  number       = {3},
  pages        = {65--74},
  year         = {1995},
  url          = {https://doi.org/10.1109/52.382187},
  doi          = {10.1109/52.382187},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/KishimotoKH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KumenoTOH95,
  author       = {Fumihiro Kumeno and
                  Yasuyuki Tahara and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Evolutional Agents: Field Oriented Programming Language, Flage},
  booktitle    = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
                  6-9, 1995, Brisbane, Queensland, Australia},
  pages        = {189--198},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/APSEC.1995.496967},
  doi          = {10.1109/APSEC.1995.496967},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/KumenoTOH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MatsuuraH95,
  author       = {Saeko Matsuura and
                  Shinichi Honiden},
  title        = {Knowledge Acquisition and Integration on Specification Change-A Method
                  for Systematic Reuse},
  booktitle    = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
                  6-9, 1995, Brisbane, Queensland, Australia},
  pages        = {364--373},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/APSEC.1995.496985},
  doi          = {10.1109/APSEC.1995.496985},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/MatsuuraH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/UchihiraH95,
  author       = {Naoshi Uchihira and
                  Shinichi Honiden},
  title        = {Compositional adjustment of concurrent programs to satisfy temporal
                  logic constraints in {MENDELS} {ZONE}},
  booktitle    = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
                  January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
  pages        = {359--368},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/HICSS.1995.375522},
  doi          = {10.1109/HICSS.1995.375522},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/UchihiraH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/obpdc/TaharaKOH95,
  author       = {Yasuyuki Tahara and
                  Fumihiro Kumeno and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  editor       = {Jean{-}Pierre Briot and
                  Jean{-}Marc Geib and
                  Akinori Yonezawa},
  title        = {Formal Semantics of Agent Evolution in Language Flage},
  booktitle    = {Object-Based Parallel and Distributed Computation, France-Japan Workshop,
                  {OBPDC} '95, Tokyo, Japan, June 21-23, 1995, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1107},
  pages        = {329--348},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61487-7\_36},
  doi          = {10.1007/3-540-61487-7\_36},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/obpdc/TaharaKOH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HonidenNUI94,
  author       = {Shinichi Honiden and
                  Kazuhiko Nishimura and
                  Naoshi Uchihira and
                  Kiyoshi Itoh},
  title        = {An Application of Artificial Intelligence to Object-Oriented Performance
                  Design for Real-Time Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {20},
  number       = {11},
  pages        = {849--867},
  year         = {1994},
  url          = {https://doi.org/10.1109/32.368123},
  doi          = {10.1109/32.368123},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HonidenNUI94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/YamamotoOH94,
  author       = {Junichi Yamamoto and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Object-oriented analysis and design support system using algebraic
                  specification techniques},
  booktitle    = {First Asia-Pacific Software Engineering Conference, {APSEC} 1994,
                  Tokyo, Japan, December 7-9, 1994},
  pages        = {388--397},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/APSEC.1994.465241},
  doi          = {10.1109/APSEC.1994.465241},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/apsec/YamamotoOH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/KumenoTOH94,
  author       = {Fumihiro Kumeno and
                  Yasuyuki Tahara and
                  Akihiko Ohsuga and
                  Shinichi Honiden},
  title        = {Flage: field-oriented language for agents model},
  booktitle    = {Proceedings of 3rd International Conference on Software Reuse, {ICSR}
                  1994, Rio De Janeiro, Brazil, November 1-4, 1994},
  pages        = {198--199},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ICSR.1994.365782},
  doi          = {10.1109/ICSR.1994.365782},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsr/KumenoTOH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HonidenKK93,
  author       = {Shinichi Honiden and
                  Nobuto Kotaka and
                  Yoshinori Kishimoto},
  title        = {Formalizing Specification Modeling in {OOA}},
  journal      = {{IEEE} Softw.},
  volume       = {10},
  number       = {1},
  pages        = {54--66},
  year         = {1993},
  url          = {https://doi.org/10.1109/52.207229},
  doi          = {10.1109/52.207229},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/HonidenKK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KomiyaSHKOHOO93,
  author       = {Seiichi Komiya and
                  Motoshi Saeki and
                  Shinichi Honiden and
                  Junzou Kato and
                  Akira Ohmori and
                  Hisayuki Horai and
                  Shigeru Ohtsuki and
                  Kazuhito Ohmaki},
  title        = {An Experimental Analysis for Classifying Specification Processes},
  booktitle    = {SEKE'93, The 5th International Conference on Software Engineering
                  and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
                  Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
  pages        = {231--234},
  publisher    = {Knowledge Systems Institute},
  year         = {1993},
  timestamp    = {Wed, 21 Feb 2007 11:27:24 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/KomiyaSHKOHOO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/ItohTH92,
  author       = {Kiyoshi Itoh and
                  Yasuhisa Tamura and
                  Shinichi Honiden},
  title        = {Transobj: Software Prototyping Environment for Real-Time Transaction-Based
                  Software System Applications},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {2},
  number       = {1},
  pages        = {5--29},
  year         = {1992},
  url          = {https://doi.org/10.1142/S0218194092000026},
  doi          = {10.1142/S0218194092000026},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/ItohTH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/KotakaKH92,
  author       = {Nobuto Kotaka and
                  Yoshinori Kishimoto and
                  Shinichi Honiden},
  editor       = {John Potter and
                  Mario Tokoro and
                  Bertrand Meyer},
  title        = {Specification Process Modelling in Object-Oriented Analysis},
  booktitle    = {{TOOLS} 1992: 6th International Conference on Technology of Object-Oriented
                  Languages and Systems, Sydney, Australia},
  pages        = {67--81},
  publisher    = {Prentice Hall},
  year         = {1992},
  timestamp    = {Mon, 30 Oct 2017 11:35:08 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/KotakaKH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ItohHSK91,
  author       = {Kiyoshi Itoh and
                  Shinichi Honiden and
                  Keisuke Shida and
                  Takaaki Konno},
  title        = {Qualitative reasoning-based parameter tuning on bottleneck of synchronized
                  queueing network},
  booktitle    = {Proceedings of the Fifteenth Annual International Computer Software
                  and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
                  1991},
  pages        = {307--314},
  publisher    = {{IEEE}},
  year         = {1991},
  url          = {https://doi.org/10.1109/CMPSAC.1991.170194},
  doi          = {10.1109/CMPSAC.1991.170194},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/ItohHSK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/HonidenUI91,
  author       = {Shinichi Honiden and
                  Naoshi Uchihira and
                  Kiyoshi Itoh},
  editor       = {Axel van Lamsweerde and
                  Alfonso Fuggetta},
  title        = {An Application of Artifical Intelligence to Prototyping Process in
                  Performance Design for Real-time Systems},
  booktitle    = {{ESEC} '91, 3rd European Software Engineering Conference, Milan, Italy,
                  October 21-24, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {550},
  pages        = {189--209},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3540547428\_49},
  doi          = {10.1007/3540547428\_49},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/esec/HonidenUI91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/HonidenOU91,
  author       = {Shinichi Honiden and
                  Akihiko Ohsuga and
                  Naoshi Uchihira},
  editor       = {Jean{-}Pierre Finance and
                  Carlo Ghezzi and
                  Gruia{-}Catalin Roman},
  title        = {An integration environment to put formal specifications into practical
                  use in real-time systems},
  booktitle    = {Proceedings of the 6th International Workshop on Software Specification
                  and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
  pages        = {102--109},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://dl.acm.org/doi/10.5555/952786.952802},
  doi          = {10.5555/952786.952802},
  timestamp    = {Fri, 13 May 2022 15:04:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/HonidenOU91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FujiwaraH90,
  author       = {Yasushi Fujiwara and
                  Shinichi Honiden},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {On Logical Foundations of the {ATMS}},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {125--135},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037033},
  doi          = {10.1007/BFB0037033},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/FujiwaraH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/HonidenUMMA89,
  author       = {Shinichi Honiden and
                  Naoshi Uchihira and
                  Kazunori Matsumoto and
                  Kazuo Matsumura and
                  Masahiko Arai},
  title        = {An Application of Structural Modeling and Automated Reasoning to Real-Time
                  Systems Design},
  journal      = {Real Time Syst.},
  volume       = {1},
  number       = {4},
  pages        = {313--331},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00366573},
  doi          = {10.1007/BF00366573},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/HonidenUMMA89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FujiwaraH89,
  author       = {Yasushi Fujiwara and
                  Shinichi Honiden},
  editor       = {N. S. Sridharan},
  title        = {Relating the {TMS} to Autoepistemic Logic},
  booktitle    = {Proceedings of the 11th International Joint Conference on Artificial
                  Intelligence. Detroit, MI, USA, August 1989},
  pages        = {1199--1205},
  publisher    = {Morgan Kaufmann},
  year         = {1989},
  url          = {http://ijcai.org/Proceedings/89-2/Papers/056.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FujiwaraH89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lp/UchihiraMHN87,
  author       = {Naoshi Uchihira and
                  Kazunori Matsumoto and
                  Shinichi Honiden and
                  Hideo Nakamura},
  editor       = {Koichi Furukawa and
                  Hozumi Tanaka and
                  Tetsunosuke Fujisaki},
  title        = {{MENDELS:} Concurrent Program Synthesis System Using Temporal Logic},
  booktitle    = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan,
                  June 22-24, 1987},
  series       = {Lecture Notes in Computer Science},
  volume       = {315},
  pages        = {50--68},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-19426-6\_4},
  doi          = {10.1007/3-540-19426-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/lp/UchihiraMHN87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/HonidenUK86,
  author       = {Shinichi Honiden and
                  Naoshi Uchihira and
                  Toshiaki Kasuya},
  title        = {{MENDEL:} Prolog Based Concurrent Object Oriented Language},
  booktitle    = {Spring COMPCON'86, Digest of Papers, Thirty-First {IEEE} Computer
                  Society International Conference, San Francisco, California, USA,
                  March 3-6, 1986},
  pages        = {230--234},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  timestamp    = {Wed, 28 Jun 2006 09:47:20 +0200},
  biburl       = {https://dblp.org/rec/conf/compcon/HonidenUK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lp/HonidenUK85,
  author       = {Shinichi Honiden and
                  Naoshi Uchihira and
                  Toshiaki Kasuya},
  editor       = {Eiiti Wada},
  title        = {Software Prototyping with {MENDEL}},
  booktitle    = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan,
                  July 1-3, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {221},
  pages        = {108--116},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16479-0\_11},
  doi          = {10.1007/3-540-16479-0\_11},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/lp/HonidenUK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics