Shinichi Honiden

教授(任期付)

  • Source: Scopus
  • Calculated based on number of publications stored in Pure and citations from Scopus
1984 …2021

Research activity per year

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

Search results

  • 2007

    Agreements and policies in cooperative mobile agents: Formalization and implementation

    Ishikawa, F., Yoshioka, N. & Honiden, S., 2007 Jan 1, 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, Proceedings. PART 1 ed. Springer Verlag, p. 683-700 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4803 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A hierarchical mobile agent framework and its application to multimedia contents

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

    Research output: Contribution to journalArticlepeer-review

    1 Citation (Scopus)
  • AOP-based automated unit test classification of large benchmarks

    Artho, C., Chen, Z. & Honiden, S., 2007, Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007. p. 17-22 6 p. 4291097. (Proceedings - International Computer Software and Applications Conference; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Applying design patterns to wireless sensor network programming

    Tei, K., Fukazawa, Y. & Honiden, S., 2007 Dec 1, Proceedings of 16th International Conference on Computer Communications and Networks 2007, ICCCN 2007. p. 1099-1104 6 p. 4317965. (Proceedings - International Conference on Computer Communications and Networks, ICCCN).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • Building assistive technology for breakdown situations in collaborative communications via IM

    Abdullah, N. N. B., Tschetter, E. & Honiden, S., 2007 Dec 1, Plan, Activity, and Intent Recognition, PAIR - Papers from the 2007 AAAI Workshop, Technical Report. p. 23-30 8 p. (AAAI Workshop - Technical Report; vol. WS-07-09).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Building coalitions involving agents and humans: Reports from agent-based participatory simulations

    Guyot, P. & Honiden, S., 2007 Dec 1, AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. p. 1257-1259 3 p. 210. (Proceedings of the International Conference on Autonomous Agents).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Challenges for exception handling in multi-agent systems

    Platon, E., Sabouret, N. & Honiden, S., 2007, Software Engineering for Multi-Agent Systems V - Research Issues and Practical Applications. Springer Verlag, p. 41-56 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4408 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Context in use for analyzing conversation structures on the Web tied to the notion of situatedness

    Abdullah, N. N. B. & Honiden, S., 2007 Dec 24, Modeling and Using Context - 6th International and Interdisciplinary Conference, CONTEXT 2007, Proceedings. p. 94-107 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4635 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Detecting intrusions in agent system by means of exception handling

    Platon, E., Rehak, M., Sabouret, N., Prchoucek, M. & Honiden, S., 2007 Dec 24, Holonic and Multi-Agent Systems for Manufacturing - 3rd International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Proceedings. p. 161-172 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4659 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Developing consistent contractual policies in service composition

    Ishikawa, F., Yoshioka, N. & Honiden, S., 2007 Dec 1, Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007. p. 527-534 8 p. 4414505. (Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Efficient model checking of applications with input/output

    Artho, C., Zweimüller, B., Bière, A., Shibayama, E. & Honiden, S., 2007, Computer Aided Systems Theory - EUROCAST 2007 - 11th International Conference on Computer Aided Systems Theory, Revised Selected Papers. Springer Verlag, p. 515-522 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4739 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Environmental support for tag interactions

    Platon, E., Sabouret, N. & Honiden, S., 2007 Jan 1, Environments for Multi-Agent Systems III - Third International Workshop, E4MAS 2006, Selected Revised and Invited Papers. Springer Verlag, p. 106-123 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4389 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    14 Citations (Scopus)
  • Exhaustive testing of exception handlers with enforcer

    Artho, C., Biere, A. & Honiden, S., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 26-46 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4709 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models

    Nakagawa, H., Taguchi, K. & Honiden, S., 2007 Dec 1, ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering. p. 531-532 2 p. (ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    13 Citations (Scopus)
  • 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 journalArticlepeer-review

    34 Citations (Scopus)
  • Increasing the ease of deployment in ubiquitous environments

    Matsuzaki, K. & Honiden, S., 2007 Aug 13, Proceedings - Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2007. p. 581-584 4 p. 4144904. (Proceedings - Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Interoperability of mobile agents for ubiquitous applications

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

    Research output: Contribution to journalArticlepeer-review

    1 Citation (Scopus)
  • IOM/T: interaction-oriented model by textual notation

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

    Research output: Contribution to journalArticlepeer-review

  • Managing difference-based objects with sub-networks in peer-to-peer environments

    Fukuchi, D., Sei, Y. & Honiden, S., 2007 Dec 1, 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, PerS. PART 2 ed. p. 1001-1010 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4806 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

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

    Research output: Contribution to journalArticlepeer-review

    39 Citations (Scopus)
  • Model checking networked programs in the presence of transmission failures

    Artho, C., Sommer, C. & Honiden, S., 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07. p. 219-228 10 p. 4239966. (First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Citations (Scopus)
  • Policy-based runtime partner management in process-based services

    Ishikawa, F., Yoshioka, N. & Honiden, S., 2007 Dec 1, Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007. p. 1191-1194 4 p. 4279740. (Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Protocol selection alongside service selection and composition

    Quenum, J. G., Ishikawa, F. & Honiden, S., 2007 Dec 1, Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007. p. 719-726 8 p. 4279664. (Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Real-time POI detection and rating using floating car data

    Masutani, O., Iwasaki, H., Tei, K., Fukazawa, Y. & Honiden, S., 2007 Dec 1, 14th World Congress on Intelligent Transport Systems, ITS 2007. p. 2552-2559 8 p. (14th World Congress on Intelligent Transport Systems, ITS 2007; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Resilient security for false event detection without loss of legitimate events in wireless sensor networks

    Sei, Y. & Honiden, S., 2007 Jan 1, 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, Proceedings. PART 1 ed. Springer Verlag, p. 454-470 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4803 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Ringed filters for peer-to-peer keyword searching

    Sei, Y. & Honiden, S., 2007, Proceedings of 16th International Conference on Computer Communications and Networks 2007, ICCCN 2007. p. 772-779 8 p. 4317911. (Proceedings - International Conference on Computer Communications and Networks, ICCCN).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Top SE: Educating superarchitects who can apply software engineering tools to practical development in Japan

    Honiden, S., Tahara, Y., Yoshioka, N., Taguchi, K. & Washizaki, H., 2007, Proceedings - 29th International Conference on Software Engineering, ICSE 2007. p. 708-717 10 p. 4222632. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Citations (Scopus)
  • Visualization of concurrent program executions

    Artho, C., Havelund, K. & Honiden, S., 2007, Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007. p. 541-546 6 p. 4291176. (Proceedings - International Computer Software and Applications Conference; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    28 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 journalArticlepeer-review

  • 2006

    Adaptive geographically bound mobile agents

    Tei, K., Sommer, C., Fukazawa, Y., Honiden, S. & Garoche, P. L., 2006, Mobile Ad-Hoc and Sensor Networks - 2nd International Conference, MSN 2006, Proceedings. p. 353-364 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4325 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 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 journalArticlepeer-review

    97 Citations (Scopus)
  • A modeling framework for generic agent interaction protocols

    Quenum, J. G., Aknine, S., Briot, J. P. & Honiden, S., 2006, Declarative Agent Languages and Technologies IV - 4th InternationalWorkshop, DALT 2006, Selected, Revised and Invited Papers. Baldoni, M. & Endriss, U. (eds.). Springer Verlag, p. 207-224 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4327 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • An algorithm to reduce the communication traffic for multi-word searches in a distributed hash table

    Sei, Y., Matsuzaki, K. & Honiden, S., 2006, Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006: IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago Chile. Navarro, G., Bertossi, L. & Kohayakawa, Y. (eds.). p. 115-129 15 p. (IFIP International Federation for Information Processing; vol. 209).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    3 Citations (Scopus)
  • Analysis of multi-agent systems based on KAOS modeling

    Nakagawa, H., Karube, T. & Honiden, S., 2006, Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06. IEEE Computer Society, p. 926-929 4 p. (Proceedings - International Conference on Software Engineering; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • A sensor middleware for lightweight relocatable sensing programs

    Ishiguro, M., Tei, K., Fukazawa, Y. & Honiden, S., 2006 Jan 1, CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies .... IEEE Computer Society, 4052812. (CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Automatic generation of software component wizards based on the wizard pattern

    Washizaki, H., Honiden, S., Yamamoto, R., Adachi, T. & Fukazawa, Y., 2006, Advances in Systems, Computing Sciences and Software Engineering - Proceedings of SCSS 2005. Kluwer Academic Publishers, p. 61-68 8 p. (Advances in Systems, Computing Sciences and Software Engineering - Proceedings of SCSS 2005).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Challenges in exception handling in multi-agent systems

    Platon, E., Honiden, S. & Sabouret, N., 2006, Proc. 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, SELMAS '06, Co-located with the 28th International Conference on Software Engineering, ICSE 2006. p. 45-50 6 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Cooperative multi-agent approach to dynamic coverage in multi-robot activities

    Kataoka, S. & Honiden, S., 2006 Dec 1, Proceedings of the 2nd International Workshop on Multi-Agent Robotic Systems, MARS 2006, in Conjunction with ICINCO 2006. p. 93-98 6 p. (Proceedings of the 2nd International Workshop on Multi-Agent Robotic Systems, MARS 2006, in Conjunction with ICINCO 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Dynamic protocol selection in open and heterogeneous systems

    Quenum, J. G., Shehory, O., Aknine, S. & Honiden, S., 2006, Proceedings - 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT'06. IEEE Computer Society, p. 333-341 9 p. 4052940. (Proceedings - 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT'06).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • Enforcer - Efficient failure injection

    Artho, C., Biere, A. & Honiden, S., 2006, FM 2006: Formal Methods - 14th International Symposium on Formal Methods, Proceedings. Springer Verlag, p. 412-427 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4085 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)
  • Formal model of mobile BPEL4WS process

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

    Research output: Contribution to journalArticlepeer-review

    1 Citation (Scopus)
  • Improving accuracy of recommender system by clustering items based on stability of user similarity

    Quan, T. K., Fuyuki, I. & Shinichi, H., 2006, CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies .... IEEE Computer Society, 4052704. (CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    31 Citations (Scopus)
  • Interaction design in agent-based service-oriented computing systems

    Quenum, J. G., Ishikawa, F. & Honiden, S., 2006 Dec 1, AI-Driven Technologies for Services-Oriented Computing - Papers from the AAAI Workshop, Technical Report. p. 36-43 8 p. (AAAI Workshop - Technical Report; vol. WS-06-01).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Introducing auction scheme to route allocation to prolong the lifetime of ad-hoc networks

    Tei, K., Muto, H., Fukazawa, Y. & Honiden, S., 2006, CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies .... IEEE Computer Society, 4052817. (CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Multi-robot positioning model: Multi-agent approach

    Kataoka, S. & Honiden, S., 2006 Jan 1, CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies .... IEEE Computer Society, 4052745. (CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Overhearing and direct interactions: Point of view of an active environment

    Platon, E., Sabouret, N. & Honiden, S., 2006 Jul 3, Environments for Multi-Agent Systems II - Second International Workshop, E4MAS 2005, Selected Revised and Invited Papers. p. 121-138 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3830 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Citations (Scopus)
  • Performance of pheromone model for predicting traffic congestion

    Ando, Y., Fukazawa, Y., Masutani, O., Iwasaki, H. & Honiden, S., 2006, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. p. 73-80 8 p. (Proceedings of the International Conference on Autonomous Agents; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    49 Citations (Scopus)
  • Pheromone model: Application to traffic congestion prediction

    Ando, Y., Masutani, O., Sasaki, H., Iwasaki, H., Fukazawa, Y. & Honiden, S., 2006 Jul 14, Engineering Self-Organising Systems - Third International Workshop, ESOA 2005, Revised Selected Papers. p. 182-196 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3910 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    19 Citations (Scopus)
  • PID-filtered negotiation for decision making in dynamic coverage problem

    Kataoka, S., Ishikawa, F. & Honiden, S., 2006, Procedings - 18th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2006. p. 481-485 5 p. 4031934. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Power and negotiation: Lessons from agent-based participatory simulations

    Guyot, P., Drogoul, A. & Honiden, S., 2006 Dec 1, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. p. 27-33 7 p. (Proceedings of the International Conference on Autonomous Agents; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    16 Citations (Scopus)