Shinichi Honiden

教授(任期付)

  • Source: Scopus
  • Calculated based on no. 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

  • 2011

    Utility-based self-adaption with environment specific quality models

    Fitzgerald, C., Klöpper, B. & Honiden, S., 2011 Oct 4, Adaptive and Intelligent Systems - Second International Conference, ICAIS 2011, Proceedings. p. 107-118 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6943 LNAI).

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

    2 Citations (Scopus)
  • 2010

    Adaptive geographic routing in wireless sensor networks

    Abe, R. & Honiden, S., 2010, MSWiM'10 - Proceedings of the 13th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems. p. 91-100 10 p. (MSWiM'10 - Proceedings of the 13th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems).

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

    2 Citations (Scopus)
  • A method of analysis to uncover artefact-communication relationships

    Abdullah, N. N. B., Sharp, H. C. & Honiden, S., 2010, Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23. p. 349-354 6 p. (Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23).

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

    4 Citations (Scopus)
  • Approximate shortest path queries using Voronoi duals

    Honiden, S., Houle, M. E., Sommer, C. & Wolff, M., 2010, Transactions on Computational Science IX - Special Issue on Voronoi Diagrams in Science and Engineering. p. 28-53 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6290 LNCS).

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

    4 Citations (Scopus)
  • Business semantics centric reliability testing for Web services in BPEL

    Wang, Y., Ishikawa, F. & Honiden, S., 2010, Proceedings - 2010 6th World Congress on Services, Services-1 2010. p. 237-244 8 p. 5575837. (Proceedings - 2010 6th World Congress on Services, Services-1 2010).

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

    4 Citations (Scopus)
  • Communication in context: A stimulus-response account of agile team interactions

    Abdullah, N. N. B., Sharp, H. & Honiden, S., 2010 Jan 1, Agile Processes in Software Engineering and Extreme Programming - 11th International Conference, XP 2010, Proceedings. Springer Verlag, p. 166-171 6 p. (Lecture Notes in Business Information Processing; vol. 48 LNBIP).

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

    3 Citations (Scopus)
  • Cooperative behaviors description for self-* systems implementation

    Nakagawa, H., Ohsuga, A. & Honiden, S., 2010, Advances in Practical Applications of Agents and Multiagent Systems - 8th International Conference on Practical Applications of Agents and Multiagent Systems, PAAMS 2010. Demazeau, Y., Dignum, F., Corchado, J. M. & Pérez, J. B. (eds.). Springer Verlag, p. 69-74 6 p. (Advances in Intelligent and Soft Computing; vol. 70).

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

    5 Citations (Scopus)
  • Data management solutions in networked sensing systems

    Gürgen, L., Roncancio, C., Labbé, C. & Honiden, S., 2010, Wireless Sensor Network Technologies for the Information Explosion Era. Hara, T., Buchmann, E. & Zadorozhny, V. (eds.). p. 111-137 27 p. (Studies in Computational Intelligence; vol. 278).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Discovery of configurations for indoor wireless sensor networks through use of simulation in virtual worlds

    Baljak, V. & Honiden, S., 2010 Oct 21, Proceedings - 4th International Conference on Sensor Technologies and Applications, SENSORCOMM 2010. p. 323-328 6 p. 5558091. (Proceedings - 4th International Conference on Sensor Technologies and Applications, SENSORCOMM 2010).

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

    2 Citations (Scopus)
  • Efficient QoS-aware service composition with a probabilistic service selection policy

    Klein, A., Ishikawa, F. & Honiden, S., 2010, Service-Oriented Computing - 8th International Conference, ICSOC 2010, Proceedings. p. 182-196 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6470 LNCS).

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

    35 Citations (Scopus)
  • Extraction of places related to Flickr tags

    Baba, Y., Ishikawa, F. & Honiden, S., 2010, ECAI 2010. IOS Press, p. 523-528 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 215).

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

    2 Citations (Scopus)
  • Flexible bloom filters for searching textual objects

    Sei, Y., Matsuzaki, K. & Honiden, S., 2010, Agents and Peer-to-Peer Computing - 6th International Workshop, AP2PC 2007, Revised and Selected Papers. p. 110-121 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5319 LNAI).

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

  • Planning with utility and state trajectory constraints in self-healing automotive systems

    Klöpper, B., Honiden, S., Meyer, J. & Tichy, M., 2010 Dec 1, Proceedings - 2010 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010. p. 74-83 10 p. 5630669. (Proceedings - 2010 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010).

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

    9 Citations (Scopus)
  • Service composition with pareto-optimality of time-dependent QoS attributes

    Klöpper, B., Ishikawa, F. & Honiden, S., 2010 Dec 1, Service-Oriented Computing - 8th International Conference, ICSOC 2010, Proceedings. p. 635-640 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6470 LNCS).

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

    14 Citations (Scopus)
  • Suppressing redundancy in wireless sensor network traffic

    Abe, R. & Honiden, S., 2010 Aug 13, Distributed Computing in Sensor Systems - 6th IEEE International Conference, DCOSS 2010, Proceedings. p. 187-200 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6131 LNCS).

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

  • Sustaining behavioral diversity in NEAT

    Moriguchi, H. & Honiden, S., 2010 Aug 27, Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. p. 611-618 8 p. (Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10).

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

    8 Citations (Scopus)
  • Thinking autonomic for sensing devices

    Sharrock, R., Cherbal, A., Gürgen, L., Monteil, T. & Honiden, S., 2010 May 24, 6th International Conference on Autonomic and Autonomous Systems, ICAS 2010. p. 20-23 4 p. 5442611. (6th International Conference on Autonomic and Autonomous Systems, ICAS 2010).

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

    2 Citations (Scopus)
  • XAC project: Towards a middleware for open wireless sensor networks

    Tei, K., Suenaga, S., Nakamura, Y., Sei, Y., Nakazato, H., Kaneki, Y., Yoshioka, N., Fukazawa, Y. & Honiden, S., 2010, Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends. IGI Global, p. 214-231 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2009

    Approximate shortest path queries in graphs using Voronoi duals

    Honiden, S., Houle, M. E., Sommer, C. & Wolff, M., 2009 Dec 1, 6th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2009. p. 53-62 10 p. 5362417. (6th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2009).

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

    3 Citations (Scopus)
  • Balancing graph Voronoi diagrams

    Honide, S., Houle, M. E. & Sommer, C., 2009 Dec 1, 6th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2009. p. 183-191 9 p. 5362361. (6th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2009).

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

    9 Citations (Scopus)
  • Distributed arrays: A P2P data structure for efficient logical arrays

    Fukuchi, D., Sommer, C., Sei, Y. & Honiden, S., 2009 Oct 12, IEEE INFOCOM 2009 - The 28th Conference on Computer Communications. p. 1458-1466 9 p. 5062062. (Proceedings - IEEE INFOCOM).

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

    1 Citation (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 journalArticlepeer-review

    2 Citations (Scopus)
  • Generative dynamic deployment of multiple components in wireless sensor networks

    Suenaga, S., Yoshioka, N. & Honiden, S., 2009, WONS 2009 - 6th International Conference on Wireless On-demand Network Systems and Services. p. 197-204 8 p. 4801838. (WONS 2009 - 6th International Conference on Wireless On-demand Network Systems and Services).

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

    1 Citation (Scopus)
  • Geographical data collection in sensor networks with self-organizing transaction cluster-heads

    Rajgure, N., Platon, E., Borcea, C. & Honiden, S., 2009, 24th Annual ACM Symposium on Applied Computing, SAC 2009. p. 1214-1218 5 p. (Proceedings of the ACM Symposium on Applied Computing).

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

  • Management of networked sensing devices

    Gürgen, L. & Honiden, S., 2009 Oct 5, Proceedings - 2009 10th International Conference on Mobile Data Management: Systems, Services and Middleware, MDM 2009. p. 502-507 6 p. 5088994. (Proceedings - IEEE International Conference on Mobile Data Management).

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

    9 Citations (Scopus)
  • Modeling, analyzing and weaving legal interpretations in goal-oriented requirements engineering

    Ishikawa, F., Inoue, R. & Honiden, S., 2009 Dec 1, 2009 2nd International Workshop on Requirements Engineering and Law, RELAW 2009. p. 39-44 6 p. 5459751. (2009 2nd International Workshop on Requirements Engineering and Law, RELAW 2009).

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

    8 Citations (Scopus)
  • On applicability of formal methods and tools to dependable services

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

    Research output: Contribution to journalArticlepeer-review

  • Opérations d'administration pour SStreaMWare

    Gürgen, L., Labbé, C. & Honiden, S., 2009, Proceedings of the 5th French-Speaking Conference on Mobility and Ubiquity Computing, UbiMob '09. p. 41-44 4 p. (ACM International Conference Proceeding Series; vol. 394).

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

    1 Citation (Scopus)
  • Physical interaction in pervasive computing: Formal modeling, analysis and verification

    Ishikawa, F., Suleiman, B., Yamamoto, K. & Honiden, S., 2009 Dec 1, ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops. p. 133-140 8 p. (ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops).

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

    7 Citations (Scopus)
  • Plug & manage heterogeneous sensing devices

    Gürgen, L., Nyström-Persson, J., Cherbal, A., Labbé, C., Roncancio, C. & Honiden, S., 2009, 6th International Workshop on Data Management for Sensor Networks, DMSN'09 - in conjunction with the 35th International Conference on Very Large Data Bases. p. 3-4 2 p. (ACM International Conference Proceeding Series).

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

    1 Citation (Scopus)
  • Reporter node determination of replicated node detection in wireless sensor networks

    Sei, Y. & Honiden, S., 2009, Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC'09. p. 566-573 8 p. (Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC'09).

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

    5 Citations (Scopus)
  • Specifying and checking refinement relationships in VDM++

    Kawamata, Y., Sommer, C., Ishikawa, F. & Honiden, S., 2009 Dec 1, SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods. p. 220-227 8 p. 5368087. (SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods).

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

    2 Citations (Scopus)
  • Traffic prediction using pheromone model

    Masutani, O., Sasaki, H., Iwasaki, H., Ando, Y., Fukazawa, Y. & Honiden, S., 2009 Dec 1, Intelligent Transportation Society of America - 12th World Congress on Intelligent Transport Systems 2005. p. 964-975 12 p. (Intelligent Transportation Society of America - 12th World Congress on Intelligent Transport Systems 2005; vol. 2).

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

    2 Citations (Scopus)
  • What top-level software engineers tackle after learning formal methods: Experiences from the top SE project

    Ishikawa, F., Taguchi, K., Yoshioka, N. & Honiden, S., 2009 Dec 14, Teaching Formal Methods - Second International Conference, TFM 2009, Proceedings. p. 57-71 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5846 LNCS).

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

    7 Citations (Scopus)
  • 2008

    A flexible protocol composition for multi-party coordination protocols in multi-agent systems

    Takahashi, R., Tei, K., Fukazawa, Y., Ishikawa, F. & Honiden, S., 2008, 6th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2008. p. 609-614 6 p. 4517464. (6th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2008).

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

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

    13 Citations (Scopus)
  • An Efficient Node Selection Metric for In-network Process Deployment

    Tei, K., Fukazawa, Y. & Honiden, S., 2008 Jan 1.

    Research output: Contribution to conferencePaperpeer-review

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

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

    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, In: Computer Software. 25, 4, p. 133-144 12 p.

    Research output: Contribution to journalArticlepeer-review

  • Constructing self-adaptive systems using a KAOS model

    Nakagawa, H., Ohsuga, A. & Honiden, S., 2008 Dec 1, Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008. p. 132-137 6 p. 4800666. (Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008).

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

    15 Citations (Scopus)
  • Coordination protocol composition approach using metadata in multi-agent systems

    Takahashi, R., Tei, K., Fukazawa, Y., Ishikawa, F. & Honiden, S., 2008 Nov 28, Proceedings - 12th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2008. p. 372-378 7 p. 4634790. (Proceedings - 12th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2008).

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

    1 Citation (Scopus)
  • Distributed detection of node replication attacks resilient to many compromised nodes in wireless sensor networks

    Sei, Y. & Honiden, S., 2008 Jan 1.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    11 Citations (Scopus)
  • Energy-efficient event detection in 3D wireless sensor networks

    Toriumi, S., Sei, Y. & Honiden, S., 2008, 2008 1st IFIP Wireless Days, WD 2008. 4812898. (2008 1st IFIP Wireless Days, WD 2008).

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

    6 Citations (Scopus)
  • Model checking process with goal oriented requirements analysis

    Ogawa, H., Kumeno, F. & Honiden, S., 2008, Proceedings - 15th Asia-Pacific Software Engineering Conference, APSEC 2008. p. 377-384 8 p. 4724569. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

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

    7 Citations (Scopus)
  • Model checking process with goal oriented requirements analysis

    Ogawa, H., Kumeno, F. & Honiden, S., 2008, In: Neonatal, Paediatric and Child Health Nursing. p. 377-384 8 p., 4724569.

    Research output: Contribution to journalConference articlepeer-review

    2 Citations (Scopus)
  • Region-based sensor selection for wireless sensor networks

    Nakamura, Y., Tei, K., Fukazawa, Y. & Honiden, S., 2008 Sep 9, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, SUTC 2008. p. 326-331 6 p. 4545779. (Proceedings - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing).

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

    4 Citations (Scopus)
  • Special issue: The future of software engineering for security and privacy

    Honiden, S. & Nuseibeh, B., 2008 Mar, In: Progress in Informatics. 5, p. 5-6 2 p.

    Research output: Contribution to journalEditorialpeer-review

    Open Access
  • The what and how of IM functions in distributed scientific collaboration

    Abdullah, N. N. B. & Honiden, S., 2008 Dec 1, Proceedings of the 3rd IASTED International Conference on Human-Computer Interaction, HCI 2008. p. 273-278 6 p. (Proceedings of the 3rd IASTED International Conference on Human-Computer Interaction, HCI 2008).

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

  • 2007

    A definition of exceptions in agent-oriented computing

    Platon, E., Sabouret, N. & Honiden, S., 2007, Engineering Societies in the Agents World VII - 7th International Workshop, ESAW 2006, Revised Selected and Invited Papers. Springer Verlag, p. 161-174 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4457 LNAI).

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

    6 Citations (Scopus)