Shinichi Honiden

Position

Professor and Director,
Information Systems Architecture Research Division
National Institute of Informatics (NII)

Professor,
Department of Computer Science,
Graduate School of Information Science and Technology,
University of Tokyo

Visiting Professor,
UCL (University College London) in the UK

Visiting Professor,
Waseda University

Address

2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, JAPAN
Phone: +81-3-4212-2513
Fax: +81-3-3556-1916
E-mail: honiden [at] nii.ac.jp

Degree

PhD, Waseda University, Tokyo, Japan (1986)

Education

1976-1978, Waseda University, Tokyo, Japan
Master of Engineering: Graduate School of Electrical Engineering

1972-1976, Waseda University, Tokyo, Japan
Bachelor of Engineering: Department of Electrical Engineering

Employment

2006-present
Director, Information Systems Architecture Research Division
National Institute of Informatics (NII)

2007-present
Visiting Professor, UCL

2006-present
Visiting Professor, Waseda University

2005-2006
Invited Professor, Le Laboratoire d'Informatique de Paris 6,
Pierre et Marie Curie

2002-2003
Visiting Researcher, UCL and Imperial College

2001-present
Professor, University of Tokyo

2000-present
Professor, National Institute of Informatics (NII)

1978-2000
Toshiba Corporation

Areas of Interest

  1. Software Engineering
  2. Autonomous Agents and Multiagent Systems
  3. Ubiquitous Computing
  4. Contents Distribution
  5. Distributed Computing

Awards

Fellow (2007)
Information Processing Society of Japan (IPSJ)

ACM Recognition of Service Award (2006)
Association for Computing Machinery

Best paper Award (1986)
Information Processing Society of Japan (IPSJ)

Professional Activities (Selected)

  1. General Chair of 21st IEEE/ACM International Conference on Automated Software Engineering, 2006
  2. Steering Committee Member of International Conference on Automated Software Engineering, 2006-
  3. New Generation Computing, Area Editor, 2001-
  4. ACM Japan Chapter, Treasurer, 2002-
  5. IEEE Computer Society Japan Chapter, Chairperson, 2007-
  6. Information Processing Society of Japan, Board of Directors, 2005-2006

Publications

  1. 2009, January, The Journal of The Institute of Electronics, Information and Communication Engineers, Vol. E92-B, No.01, pp. 9-16「Invited Paper: "On Applicability of Formal Methods and Tools to Dependable Services」Fuyuki Ishikawa, Shinichi Honiden
  2. 2008, July, International Journal of Agent-Oriented Software Engineering, Vol. 2, No.3 pp. 267-289「An Architecture for Exception Management in Multu-Agent Systems 」Eric Platon, Nicolas Sabouret, Shinichi Honiden
  3. 2007, December, Special Issue of International Journal of Agent-Oriented Software Engineering (IJAOSE) on Programming Multi-Agent Systems, vol.1, No.3, pp. 266-294「IOM/T: Interaction Oriented Model by Textual Notation」Takuo DOI, Shinichi HONIDEN
  4. 2007, September, IEICE TRANSACTIONS, Vol. E90-D, No.9, pp.1363-1373「Improving Accuracy of Recommender System by Item Clustering」KhanhQuan Truong, Fuyuki Ishikawa, Shinichi Honiden
  5. 2007, February, Autonomous Agents and Multi-Agent Systems, Vol. 14, No. 1, pp. 31-47「Mechanisms for environments in multi-agent systems: Survey and opportunities」Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
  6. 2006, April, In Autonomous Agents and Multi-Agent Systems. Springer, New-York「Mechanisms of the Environment in Multi-Agent Systems: Survey and Opportunities」Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, and H. Van Dyke Parunak
  7. 2006, April, Journal of Artificial Societies and Social Simulations. Vol. 9, No. 4「Agent-based Participatory Simulations: Merging Multi-Agent Systems and Role-Playing Games」Paul Guyot and Shinichi Honiden
  8. 2005, September, International Journal of Business Process Integration and Management (IJBPIM), Vol.1, No. 3,「Formal Model of Mobile BPEL4WS Process」Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden
  9. 2005, September, International Journal of Pervasive Computing and Communications, Vol.1, No.3 pp. 227-245「Framework for Synthesis of Web services and Mobile Agents」Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden
  10. 2001, May, The fifth international conference on Autonomous agents 「Mobile Agent Security with the IPEditor, Development Tool and the Mobile UNITY Language」Yasuyuki Tahara, Akihiko Ohsuga, and Shinichi Honiden
  11. 1999, May, The 21st International Conference on Software Engineering,「Agent System Development Method based on Agent Patterns」Yasuyuki Tahara, Akihiko Ohsuga, and Shinichi Honiden
  12. 1997, December, IEEE Concurrency, Vol. 5, No. 3, pp.44-54「Hypersequential Programming-A New Paradigm for Concurrent Program Development -」Naoshi Uchihira, Shinichi Honiden, Toshibimi Seki
  13. 1997, July, IEEE Internet Computing, Vol. 1., No. 4, pp.50-57「Plangent: An Approach to Making Mobile Agents Intelligent」Akihiko Ohsuga, Y. Nagai, Y. Irie, M. Hattori, Shinichi Honiden
  14. 1997, March, IEEE Trans. on Software Engineering, Vol. 23, No. 5, pp. 296-313「EVA: A Flexible Programming Method for Evolving Systems」Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden
  15. 1996, March, Information and Software Technology, Vol. 38, No. 3, pp. 181-189 ｢MENDELS ZONE: A Parallel Program Development System based on Formal Specifications｣Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
  16. 1996, November, Journal of Systems and Software, Vol. 33, No. 3, pp.207-221「Compositional Adjustment of Concurrent Programs to Satisfy Temporal Logic Constraints in MENDELS ZONE」Naoshi Uchihira and Shinichi Honiden
  17. 1995, March, International Journal of Software Engineering and Knowledge Engineering, Vol. 5, No. 3, pp.367-389, World Scientific「COOAD: A Case Tool for Object-Oriented Analysis and Design」Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden
  18. 1995, September, IEEE Software, Vol. 12, No.3, pp.65-74「Adapting Object-Communication Methods Dynamically」Yoshinori Kishimoto, Nnobuto Kotaka, Shinichi Honiden
  19. 1994, November, IEEE Trans. on Software Engineering, Vol. 20, No. 11, pp.849-867「An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems」Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
  20. 1993, January, IEEE Software, Vol. 10, No.1, pp.54-66「Formalizing Specification Modeling in OOA」Shinichi Honiden, Nobuto Kotaka, Yoshinori Kishimoto
  21. 1992, March, International Journal of Software Engineering and Knowledge Engineering, Vol. 2, No. 1, World Scientific, pp. 5-30「TransObj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications」Kiyoshi Itoh, Y. Tamura, Shinichi Honiden

Links