Shinichi Honiden

教授(任期付)

  • 1716 Citations
  • 19 h-Index
1984 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1984 2019

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
Formal methods
Large scale systems
Labels
Engineers
Formal specification

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

Event-B
Refactoring
Refinement
Model
Predicate
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

Controllers
Specifications
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

Tuning
Virtual machine
Experiments
5 Citations (Scopus)

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

Quality of service
Chemical analysis
Planning
Graphical user interfaces
Costs
2015
59 Citations (Scopus)

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

Software engineering
Application programs
Medical applications
Mobile devices
Ecosystems
19 Citations (Scopus)
Wireless sensor networks
Software engineering
2014
38 Citations (Scopus)

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

Quality of service
Chemical analysis
Service composition
Adaptive algorithms
Latency
2013
2 Citations (Scopus)

Faults in Sensory Readings: Classification and Model Learning

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

Research output: Contribution to specialist publicationArticle

Wireless sensor networks
Time series analysis
Decision trees
Pattern recognition
2012
5 Citations (Scopus)

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

Manufacturing
Scheduling
Schedule
Flexibility
Evolutionary multiobjective Optimization

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

Geographic information systems
Probability distributions
11 Citations (Scopus)

S-CLAIM: An agent-based programming language for AmI, a smart-room case study

Baljak, V., Benea, M. T., Seghrouchni, A. E. F., Herpson, C., Honiden, S., Nguyen, T. T. N., Olaru, A., Shimizu, R., Tei, K. & Toriumi, S., 2012, In : Unknown Journal. 10, p. 30-37 8 p.

Research output: Contribution to journalArticle

programming languages
Mobile agents
Mobile devices
Computer programming languages
Web services
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

Adaptive systems
Application programs
Interfaces (computer)
Chemical activation
Experiments
4 Citations (Scopus)

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

Mobile agents
Wireless sensor networks
2009
2 Citations (Scopus)

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

Model checking
Taxonomies
Education
Synchronization
Copying

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

Formal methods
Industrial applications
2008
6 Citations (Scopus)

An architecture for exception management in multiagent systems

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

Research output: Contribution to journalArticle

Multi agent systems
Autonomous agents

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

Sampling
2 Citations (Scopus)

A survey of application development in ubiquitous computing

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

Research output: Contribution to journalArticle

Ubiquitous computing

A survey on distributed coordination mechanisms in ubiquitous computing

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

Research output: Contribution to journalArticle

Ubiquitous computing
Chemical analysis
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

Mobile agents
Mobile Agent
Multimedia
Specifications
Communication
26 Citations (Scopus)

Improving accuracy of Recommender System by item clustering

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

Research output: Contribution to journalArticle

Recommender systems
Collaborative filtering
Websites
Experiments

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

Mobile agents
Interoperability
Response time (computer systems)

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

Multi agent systems
Large scale systems
Testing
35 Citations (Scopus)

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

Multi agent systems

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

Visualization
2006
81 Citations (Scopus)

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

Multi agent systems
Merging
simulation
renewable resources
assistant
1 Citation (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

Formal model
Web services
Interaction
Language
Business process
2005
3 Citations (Scopus)

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

Mobile agents
Mobile Agent
Web services
Web Services
Mobile Services

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 agents
Interoperability
Response time (computer systems)
4 Citations (Scopus)

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

Agent Systems
Mobile agents
Mobile Systems
Mobile Agent
Web services
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

Mobile agents
Authentication
Personal digital assistants
Chaos theory
Cryptography

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

Ubiquitous computing
User interfaces
Ad hoc networks
Authentication
Processing
Mobile computing
Mobile agents
Mobile Computing
Mobile Agent
Mobile devices
1 Citation (Scopus)

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

Context-aware
Agent Technology
Mobile agents
Information services
Intelligent Environments
Mobile agents
Mobile Agent
Computer software maintenance
Methodology
Software engineering

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

Mobile agents
Software engineering
Monitoring
Communication
2003
4 Citations (Scopus)
Formal Model
Calculus
Mobile agents
Intellectual property
Telecommunication

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

Ubiquitous computing
User interfaces
1 Citation (Scopus)

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

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

Research output: Contribution to journalArticle

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

Mobile agents
Authentication

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

Formal Specification
Specifications
Algebraic Specification
Transaction Processing
Processing
2002

Evaluation of a multi agent framework for open distributed systems

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

Research output: Contribution to journalArticle

Open Systems
Interoperability
Distributed Systems
Evaluation
Framework
1 Citation (Scopus)

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

Information technology
Ontology
Statistics
Internet
Experiments
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

Agent Architecture
Mobile agents
Mobile Agent
Planning
Level control
Dielectric waveguides
Electromagnetic waves
Electromagnetic fields
Wave propagation
Radiation
2001
5 Citations (Scopus)

Designing multi-agent systems based on pairwise agent interactions

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

Research output: Contribution to journalArticle

Multi agent systems
Mobile agents
Explosions
Large scale systems
Systems analysis

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

Computer terminals
Mobile agents
Middleware
Network protocols
Ad hoc networks

Software platform for mobile agent

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

Research output: Contribution to journalArticle

information process
flexibility
assistance
programming
paradigm