• Change Impact Analysis for Refinement-based Formal Specification
    • Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
    • The IEICE Transactions on Information and Systems, to appear
    • Consistency-Preserving Refactoring of Refinement Structures in Event-B Models
    • Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • Formal Asp. Comput. 31(3): 287-320 (2019)


    • Dynamic Update of Discrete Event Controllers
    • L. Nahabedian and V. Braberman and N. DIppolito and S. Honiden and J. Kramer and K. Tei and S. Uchitel
    • IEEE Transactions on Software Engineering (TSE), October 2018


    • A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks
    • Ehsan Ullah Warriach, and Kenji Tei
    • International Journal of Sensor Networks (IJSNet) 24(1) 1-13 May 2017


    • Optimizing Distributed Actor Systems for Dynamic Interactive Services
    • Andrew Newell, Gabriel Kliot, Ishai Menache, Aditya Gopalan, Soramichi Akiyama, Mark Silberstein
    • The European Conference on Computer Systems(EuroSys), Vol.38:1 – 38:15, April 2016
    • Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN
    • Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
    • IEICE Transactions on Information and Systems, Vol.Vol. E99-D,, June 2016


    • Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering
    • Soo Ling Lim, Peter J. Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden
    • IEEE Trans. Software Eng.41(1): 40-64 (2015)


    • SanGA: A Self-Adaptive Network-Aware Approach to Service Composition
    • Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
    • IEEE Trans. Services Computing 7(3): 452-464 (2014)


    • Faults in Sensory Readings: Classification and Model Learning
    • Valentina Baljak, Tei Kenji, Shinichi Honiden
    • Sensors & Transducers, Vol.18, 177-187, January 2013
    • SanGA: A Self-adaptive Network-aware Approach to Service Composition
    • Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
    • IEEE Transactions on Services Computing, 452-464, 2013


    • S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study
    • Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, , Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
    • Procedia Computer Science, Vol.10, 30-37, 2012


    • A multi-objective evolutionary approach to scheduling for evolving manufacturing systems
    • Benjamin Klöpper, Jan Patrick Pater, Shinichi Honiden and Wilhelm Dangelmaier
    • Evolving
      System, October 2011


    • Approximate Shortest Path Queries in Graphs Using Voronoi Duals
    • Shinichi Honiden, Michael E. Houle, Christian Sommer, Martin Wolff,
    • Transactions on Computational Science, Vol.9, 28-53, September 2010


    • Group Migration by Mobile Agents in Wireless Sensor Networks
    • Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
    • The Computer Journal, Oxford University Press, December 2009
    • Invited Paper: “On Applicability of Formal Methods and Tools to Dependable Services “
    • Fuyuki Ishikawa, Shinichi Honiden
    • The Journal of The Institute of Electronics, Information and Communication Engineers, Vol.E92-B(No.1), 9-16, January 2009



    • Improving Accuracy of Recommender System by Item Clustering
    • KhanhQuan Truong, Fuyuki Ishikawa, Shinichi Honiden
    • IEICE TRANSACTIONS, Vol.E90-D(No.9), September 2007
    • Mechanisms for Environment in Multi-Agent Systems: Survey and Opportunities
    • Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, and H. Van Dyke Parunak
    • Autonomous Agents and Multi-Agent Systems, Vol.14(No.1), 31-47, February 2007
    • IOM/T: Interaction Oriented Model by Textual Notation
    • 土肥拓生、本位田真一
    • Special Issue of International Journal of Agent-Oriented Software Engineering (IJAOSE) on Programming Multi-Agent Systems, Vol.1(No.3), 266-294, January 2007


    • Agent-based Participatory Simulations: Merging Multi-Agent Systems and Role-Playing Games
    • Paul Guyot and Shinichi Honiden
    • Journal of Artificial Societies and Social Simulations, Vol.9(No.4), October 2006
    • An Architecture for Exception Management in Multu-Agent Systems
    • Eric Platon, Nicolas Sabouret, Shinichi Honiden
    • International Journal of Agent-Oriented Software Engineering, Vol.47(No.1), 31-47, January 2006


    • Mobile Agent System for Web Service Integration in Pervasive Network
    • Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden
    • Systems and Computers in Japan, Vol.36(No.11), 34-48, November 2005
    • Framework for Synthesis of Web services and Mobile Agents
    • Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden
    • International Journal of Pervasive Computing and Communications (JPCC), Vol.1(No.3), 227-245, September 2005


    • An Authentication Architecture for Collaboration among Agents in Ad Hoc Networks
    • Y. Okataku, N.Yoshioka, and S. Honiden
    • Electronics and Communications in Japan, Part 1, Vol.87(No.5), 11-19, January 2004



    • Evaluation of A Multi Agent Framework for Open Distributed Systems
    • N. Yoshioka, T. Kawamura, A. Ohsuga, and S. Honiden
    • IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, Vol.E85-A(No.11), 2396-2406, November 2002