Shinichi Honiden

教授(任期付)

  • 1792 Citations
  • 20 h-Index
1984 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2019

Change impact analysis for refinement-based formal specification

Saruwatari, S., Ishikawa, F., Kobayashi, T. & Honiden, S., 2019 Jan 1, In : IEICE Transactions on Information and Systems. E102D, 8, p. 1462-1477 16 p.

Research output: Contribution to journalArticle

Open Access

Consistency-preserving refactoring of refinement structures in Event-B models

Kobayashi, T., Ishikawa, F. & Honiden, S., 2019 Jan 1, In : Formal Aspects of Computing.

Research output: Contribution to journalArticle

2018

Dynamic Update of Discrete Event Controllers

Nahabedian, L., Braberman, V., DIppolito, N., Honiden, S., Kramer, J., Tei, K. & Uchitel, S., 2018 Jan 1, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

2016

Fast live migration for IO-intensive VMs with parallel and adaptive transfer of page cache via SAN

Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2016 Dec 1, In : IEICE Transactions on Information and Systems. E99D, 12, p. 3024-3034 11 p.

Research output: Contribution to journalArticle

Robust Service Compositions with Functional and Location Diversity

Wagner, F., Ishikawa, F. & Honiden, S., 2016 Mar 1, In : IEEE Transactions on Services Computing. 9, 2, p. 277-290 14 p., 6690106.

Research output: Contribution to journalArticle

9 Citations (Scopus)
2015

Investigating country differences in mobile app user behavior and challenges for software engineering

Lim, S. L., Bentley, P. J., Kanakam, N., Ishikawa, F. & Honiden, S., 2015 Jan 1, In : IEEE Transactions on Software Engineering. 41, 1, p. 40-64 25 p., 6913003.

Research output: Contribution to journalArticle

70 Citations (Scopus)
21 Citations (Scopus)
2014

SanGA: A self-adaptive network-aware approach to service composition

Klein, A., Ishikawa, F. & Honiden, S., 2014 Jul 1, In : IEEE Transactions on Services Computing. 7, 3, p. 452-464 13 p., 6409350.

Research output: Contribution to journalArticle

39 Citations (Scopus)
2013

Faults in Sensory Readings: Classification and Model Learning

Baljak, V., Kenji, T. & Honiden, S., 2013 Jul 23, Sensors and Transducers, 18, SPEC.ISS.1, p. 177-187 11 p.

Research output: Contribution to specialist publicationArticle

2 Citations (Scopus)
2012

A multi-objective evolutionary approach to scheduling for evolving manufacturing systems

Klöpper, B., Pater, J. P., Honiden, S. & Dangelmaier, W., 2012 Mar 1, In : Evolving Systems. 3, 1, p. 31-44 14 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Extracting locations related to tags on folksonomy

Baba, Y., Ishikawa, F. & Honiden, S., 2012 Jan 1, In : Transactions of the Japanese Society for Artificial Intelligence. 27, 1, p. 1-9 9 p.

Research output: Contribution to journalArticle

2011

An implementation framework for self-adaptive systems based on agent behaviors description

Nakagawa, H., Ohsuga, A. & Honiden, S., 2011 Jan 12, In : Transactions of the Japanese Society for Artificial Intelligence. 26, 1, p. 1-12 12 p.

Research output: Contribution to journalArticle

Group migration by mobile agents in wireless sensor networks

Suenaga, S., Yoshioka, N. & Honiden, S., 2011 Mar 1, In : Computer Journal. 54, 3, p. 345-355 11 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)
2009

Evolution of a course on model checking for practical applications

Tahara, Y., Yoshioka, N., Taguchi, K., Aoki, T. & Honiden, S., 2009 Jun 25, In : SIGCSE Bulletin Inroads. 41, 2, p. 38-44 7 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

On applicability of formal methods and tools to dependable services

Ishikawa, F. & Honiden, S., 2009 Jan 1, In : IEICE Transactions on Communications. E92-B, 1, p. 9-16 8 p.

Research output: Contribution to journalArticle

2008

An architecture for exception management in multiagent systems

Platon, E., Sabouret, N. & Honiden, S., 2008 Jul, In : International Journal of Agent-Oriented Software Engineering. 2, 3, p. 267-289 23 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

Approximate shortest path queries in graphs using Voronoi duals

Sommer, C., Houle, M. E., Wolff, M. & Honiden, S., 2008 Aug 25, In : NII Technical Reports. 7

Research output: Contribution to journalArticle

A survey of application development in ubiquitous computing

Tei, K., Nakagawa, H., Kawamata, Y., Yoshioka, N., Fukazawa, Y. & Honiden, S., 2008 Dec 11, In : Computer Software. 25, 4, p. 121-132 12 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

A survey on distributed coordination mechanisms in ubiquitous computing

Ishikawa, F., Yoshioka, N., Abe, R., Takahashi, R., Yoshiaki, F. & Honiden, S., 2008 Dec 11, In : Computer Software. 25, 4, p. 133-144 12 p.

Research output: Contribution to journalArticle

2007

A hierarchical mobile agent framework and its application to multimedia contents

Ishikawa, F., Yoshioka, N., Tahara, Y. & Honiden, S., 2007 Jan 1, In : Systems and Computers in Japan. 38, 1, p. 1-17 17 p.

Research output: Contribution to journalArticle

Improving accuracy of Recommender System by item clustering

Truong, K., Ishikawa, F. & Honiden, S., 2007 Sep, In : IEICE Transactions on Information and Systems. E90-D, 9, p. 1363-1373 11 p.

Research output: Contribution to journalArticle

26 Citations (Scopus)

Interoperability of mobile agents for ubiquitous applications

Hasegawa, T., Cho, K., Ohsuga, A., Kumeno, F., Nakajima, S. & Honiden, S., 2007 Dec 1, In : Electrical Engineering in Japan (English translation of Denki Gakkai Ronbunshi). 161, 4, p. 49-59 11 p.

Research output: Contribution to journalArticle

IOM/T: interaction-oriented model by textual notation

Doi, T. & Honiden, S., 2007 Jan 1, In : International Journal of Agent-Oriented Software Engineering. 1, 3-4, p. 266-294 29 p.

Research output: Contribution to journalArticle

Mechanisms for environments in multi-agent systems: Survey and opportunities

Platon, E., Mamei, M., Sabouret, N., Honiden, S. & Van Dyke Parunak, H., 2007 Feb 1, In : Autonomous Agents and Multi-Agent Systems. 14, 1, p. 31-47 17 p.

Research output: Contribution to journalArticle

35 Citations (Scopus)

Visualization of concurrent program executions

Artho, C., Havelund, K. & Honiden, S., 2007 May 8, In : NII Technical Reports. 2007, 6, p. 1-12 12 p.

Research output: Contribution to journalArticle

2006

Agent-based participatory simulations: Merging multi-agent systems and role-playing games

Guyot, P. & Honiden, S., 2006 Oct 31, In : JASSS. 9, 4

Research output: Contribution to journalArticle

83 Citations (Scopus)

Formal model of mobile BPEL4WS process

Ishikawa, F., Tahara, Y., Yoshioka, N. & Honiden, S., 2006 Nov 1, In : International Journal of Business Process Integration and Management. 1, 3, p. 192-209 18 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2005

A framework for synthesis of web services and mobile agents

Ishikawa, F., Tahara, Y., Yoshioka, N. & Honiden, S., 2005 Aug 1, In : International Journal of Pervasive Computing and Communications. 1, 3, p. 227-245 19 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Interoperability of Mobile Agents for Ubiquitous Applications

Tetsuo, H., Kenta, C., Akihiko, O., Fumihiro, K., Shin, N. & Honiden, S., 2005 Jan 1, In : IEEJ Transactions on Electronics, Information and Systems. 125, 8, p. 1296-1304 9 p.

Research output: Contribution to journalArticle

Mobile agent system for Web service integration in pervasive network

Ishikawa, F., Yoshioka, N. & Honiden, S., 2005 Oct 1, In : Systems and Computers in Japan. 36, 11, p. 34-48 15 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)
2004

A Highly Secure Mobile Agent System Architecture

Okataku, Y., Okutomi, H., Ohgishi, N., Yoshioka, N. & Honiden, S., 2004 Jan 1, In : IEEJ Transactions on Electronics, Information and Systems. 124, 1, p. 56-63 8 p.

Research output: Contribution to journalArticle

A multiagent framework for pervasive computing: The mobeet framework

Yoshioka, N., Ohsuga, A. & Honiden, S., 2004 Nov 30, In : Electrical Engineering in Japan (English translation of Denki Gakkai Ronbunshi). 149, 3, p. 49-64 16 p.

Research output: Contribution to journalArticle

Context-aware agent platform in ubiquitous environments and its verification tests

Hattori, M., Cho, K., Ohsuga, A., Isshiki, M. & Honiden, S., 2004 Jun 30, In : Systems and Computers in Japan. 35, 7, p. 13-23 11 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

The methodology for developing mobile agent application for ubiquitous environment

Matsuzaki, K., Yoshioka, N. & Honiden, S., 2004 Dec 1, In : Transactions of the Japanese Society for Artificial Intelligence. 19, 4, p. 311-321 11 p.

Research output: Contribution to journalArticle

2003
4 Citations (Scopus)

A Multi Agent Framework for Pervasive Computing: Mobeet Framework

Yoshioka, N., Ohsuga, A. & Honiden, S., 2003 Jan 1, In : IEEJ Transactions on Electronics, Information and Systems. 123, 8, p. 1473-1485 13 p.

Research output: Contribution to journalArticle

An Experimental Trial of Shopping Assistance Service Based on Ubiquitous Personalize Agent

Masanori, H., Ohsuga, A., Toshibumi, S., Isshiki, M. & Honiden, S., 2003 Jan, In : IEEJ Transactions on Electronics, Information and Systems. 123, 11, p. 2010-2019 10 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

A Proposal of Replica Management Based on MIC Method Suitable for Mobile Computation Environments

Okataku, Y., Yoshioka, N. & Honiden, S., 2003 Jan 1, In : IEEJ Transactions on Electronics, Information and Systems. 123, 4, p. 670-676 7 p.

Research output: Contribution to journalArticle

Formal specification of components in a component-based framework development method

Yoshida, K. & Honiden, S., 2003 Jul 1, In : Systems and Computers in Japan. 34, 8, p. 62-76 15 p.

Research output: Contribution to journalArticle

2002

Evaluation of a multi agent framework for open distributed systems

Yoshioka, N., Kawamura, T., Ohsuga, A. & Honiden, S., 2002 Nov, In : IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E85-A, 11, p. 2396-2406 11 p.

Research output: Contribution to journalArticle

Learning of alignment rules between concept hierarchies

Ichise, R., Takeda, H. & Honiden, S., 2002 Dec 1, In : Transactions of the Japanese Society for Artificial Intelligence. 17, 3, p. 230-238 9 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Planning mobile agent architecture for open network environment

Hattori, M., Ohsuga, A. & Honiden, S., 2002 Nov 15, In : Systems and Computers in Japan. 33, 12, p. 58-66 9 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2001

Designing multi-agent systems based on pairwise agent interactions

Kawamura, T., Joseph, S., Ohsuga, A. & Honiden, S., 2001 Aug, In : IEICE Transactions on Information and Systems. E84-D, 8, p. 968-980 13 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Mobile agent-based middleware for mobile terminals

Hiroshige, K., Kawakami, K., Sasaki, H., Okataku, Y. & Honiden, S., 2001 Dec 1, In : IEEE Distributed Systems Online. 2, 7

Research output: Contribution to journalArticle

Software platform for mobile agent

Honiden, S., 2001 Nov 1, In : NII Journal. 3, p. 67-72 6 p.

Research output: Contribution to journalArticle

2000

Autonomous adaptation by mobile agent and thesaurus

Shinichi, H., 2000 Jan 1, In : IEICE Transactions on Information and Systems. E83-D, 4, p. 679-690 12 p.

Research output: Contribution to journalArticle

Bee-gent: Bonding and Encapsulation Enhancement agent framework for development of distributed systems

Kawamura, T., Tahara, Y., Hasegawa, T., Ohsuga, A. & Honiden, S., 2000 Nov 30, In : Systems and Computers in Japan. 31, 13, p. 42-56 15 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)