国際会議

2018年度

    • AutoPUT: An Automated Technique for Retrofitting Closed Unit Tests into Parameterized Unit Tests
    • Keita Tsukamoto, Yuta Maezawa and Shinichi Honiden
    • the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC’18), April 2018 (to appear)

2017年度

    • Extracting Traceability between Predicates in Event-B Refinement
    • Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
    • The 24th Asia-Pacific Software Engineering Conference (APSEC 2017), December 2017
    • Construction of Abstract State Graphs for Understanding Event-B Models
    • Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • Name: Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins 2017 (SETTA 2017), October 2017
    • Bash on Ubuntu on macOS
    • Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, and Shinichi Honiden
    • The 8th ACM SIGOPS Asia-Pacific Workshop on Systems 2017 (APSys2017), September 2017
    • Soft-Goal Approximation Context Awareness of Goal-driven Self-Adaptive Systems
    • Aurélien Vialon, Kenji Tei and Samir Aknine
    • The 2nd Models@run.time in International Conference on Autonomic Computing 2017(MRT 2017), July 2017
    • Test Suite Reduction in Idempotence Testing of Infrastructure as Code
    • Katsuhiro Ikeshita, Fuyuki Ishikawa and Shinichi Honiden
    • The 11th International Conference on Tests & Proofs (TAP 2017), July 2017
    • Learning environment model at runtime for self-adaptive systems
    • Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • The 32nd ACM Symposium on Applied Computing, April 2017

2016年度

    • Refactoring Refinement Structures of Event-B Machines
    • Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
    • The 21st International Symposium on Formal Methods (FM 2016), November 2016
    • Automatic Generation of Potentially Pathological Instances for Validating Alloy Models
    • Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
    • International Conference on Formal Engineering Methods (ICFEM 2016), July 2016
    • Stepwise Refinement of Software Development Problem Analysis
    • Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
    • The 35th International Conference on Conceptual Modeling (ER 2016), November 2016
    • Assured and correct dynamic update of controllers
    • L. Nahabedian, V. Braberman, N. D’Ippolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel
    • The 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016), 96-107, May 2016
    • MuVM: Higher Order Mutation Analysis Virtual Machine for C
    • Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
    • IEEE International Conference on Software Testing, Verification and Validation (ICST 2016), April 2016

2015年度

    • Feedback-controlled Random Test Generation
    • Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
    • International Symposium on Software Testing and Analysis (ISSTA 2015), 316-326, July 2015
    • An Application Conflict Detection and Resolution System for Smart Homes
    • Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden
    • International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 33-39, May 2015
    • Mobile Augmented Reality Gaming for Daily Activity Learning and Satisfaction
    • Natsumi Asahara, Keita Higuchi, Soramichi Akiyama, Shinichi Honiden
    • ACM CHI 2015 Symposium on Emerging Japanese HCI Research Collection, April 2015

2014年度

    • Evaluating Impact of Live Migration on Data Center Energy Saving
    • Soramichi Akiyama, Takahiro Hirofuchi and Shinichi Honiden
    • 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014), 759-762, December 2014
    • Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software
    • Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • The 2014 International Conference on Smart Computing (SMARTCOMP 2014), 253-260, November 2014
    • Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sesnor Network Case
    • Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • The 11th International Conference Applied Computing 2014 (AC 2014), 673-687, October 2014
    • Validating Ajax Applications Using a Delay-Based Mutation Technique
    • Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden
    • The 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) , 491-502, September 2014
    • HoppingDuster: Self-adaptive Cleaning Robot based on Aerial Vehicle
    • Kenji Tei, Kazuya Aizawa, Shunichiro Suenaga, Ryuichi Takahashi, Shun Lee, Yoshiaki Fukazawa
    • The 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014) (Demos Session), 271-274, September 2014
    • Project Management Inspired Framework for Action Selection in WirelessSensor Networks
    • Shunichiro Suenaga, Kenji Tei
    • Asia Pacific Conference on Wireless and Mobile 2014 (APWiMob2014), 54-59, August 2014
    • Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel
    • Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
    • The 2014 IEEE 7th International Conference on Cloud Computing (IEEE CLOUD’14), 40-47, June 2014
    • An Approach for Evaluating and Suggesting Method Names using N-gram Models
    • Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
    • 22nd International Conference on Program Comprehension (ICPC 2014), 40-47, June 2014
    • Understanding and Planning Event-B Refinement through Primitive Rationales
    • Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
    • 4th International ABZ Conference (ABZ 2014), 277-283, June 2014
    • Sample Efficiency Improvement on Neuroevolution via Estimation-Based Elimination Strategy
    • Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden
    • The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014), 1537-1538, May 2014

2013年度

    • ArbitCheck: a highly automated property-based testing tool for Java
    • Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
    • IEEE International Conference on Software Testing, Verification and Validation (ICST 2014) (Testing Tools Track), 405-412, March 2014
    • A Decentralized Scheme for Fault Detection and Classification in WSNs
    • Tuan Anh Nguyen, Marco Aiello, and Kenji Tei
    • The 1st International Conference on Cyber-Physical Systems, Networks, and Applications, WIP session, August 2013
    • Automated Verification of Pattern-based Interaction Invariants in Ajax Applications
    • Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe and Shinichi Honiden
    • The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE’13), 158-168, November 2013
    • Automatic Image Description by Using Word-level Features
    • Shingo Horiuchi, Hirotaka Moriguchi, Shengbo Xu, Shinichi Honiden
    • The 4th International Conference on Internet Multimedia Computing and Service (ICIMCS’12), 309-314, August 2013
    • Intention-based Automated Composition Approach for Coordination Protocol
    • Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa
    • IEEE 11th International Conference on Web Services (ICWS2013) (Application & Experience Track), 260-267, June 2013
    • Mutation Analysis for JavaScript Web Applications Testing
    • Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki and Shinichi Honiden
    • The 25th International Conference on Software Engineering and Knowledge Engineering (SEKE’13), 159-165, June 2013
    • Sample Efficiency Analysis of Neuroevolution Algorithms on a Quadruped Robot
    • Shengbo Xu, Hirotaka Moriguchi and Shinichi Honiden
    • 2013 IEEE Congress on Evolutionary Computation (CEC’ 13), 2170-2177, June 2013
    • A Goal Model Elaboration for Localizing Changes in Software Evolution
    • Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
    • 21st IEEE International Requirements Engineering Conference (RE’13), 155-164, July 2013
    • Data Quality-Centric Model-Driven Development Process for Wireless Sensor Network Applications
    • Ryo Shimizu
    • The 12th ACM/IEEE Int. Conference on Information Processing in Sensor Network (IPSN 2013), Ph.D. Forum, April 2013
    • Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation
    • Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
    • The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid’13), Doctral Symposium, 78-82, May 2013
    • Fault Classification and Model Learning from Sensory Readings – Framework for Fault Tolerance in Wireless Sensor Networks
    • Valentina Baljak, Tei Kenji and Shinichi Honiden
    • IEEE 8th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP’13), April 2013

2012年度

    • Efficient Neuroevolution for a Quadruped Robot
    • Xu Shengbo, Hirotaka Moriguchi,Shinichi Honiden
    • The Ninth International Conference on Simulated Evolution And Learning (SEAL 2012), 361-370, December 2012
    • Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches
    • Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden
    • The 6th International Workshop on Juris-informatics (JURISIN 2012), 143-156, November 2012
    • Towards Refinement Strategy Planning for Event-B
    • Tsutomu Kobayashi and Shinichi Honiden
    • Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B’12) in conjunction with ICFEM, November 2012
    • A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks
    • Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello
    • The 9th IEEE International Conference on Mobile Ad hoc and Sensor Systems (IEEE MASS2012), 281-289, October 2012
    • Towards Dynamic Evolution of Self-adaptive Systems Based on Dynamic Updating of Control Loops
    • Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
    • The 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), 59-68, September 2012
    • Classification of Faults in Sensor Readings with Statistical Pattern Recognition
    • Valentina Baljak, Kenji Tei, and Shinichi Honiden
    • The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012), August 2012
    • MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation
    • Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
    • The 5th International Conference on Cloud Computing (IEEE CLOUD 2012) (Application & Experience Track), 606-613, June 2012
    • Multi-objective Service Composition with Time- and Input-Dependent QoS
    • Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden
    • The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), 234-241, June 2012
    • A Probabilistic Approach for Long-Term B2B Service Compositions
    • Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
    • The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), 259-266, June 2012
    • Web Service Selection Algorithm using Vickrey Auction
    • Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
    • The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), 336-342, June 2012
    • Trust Computation in Web Service Compositions Using Bayesian Networks
    • Mohammad Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
    • The 10th International Conference on Web Services (ICWS 2012) (Work-in-Progress Track), 623-625, June 2012
    • S-CLAIM: An Agent-based Programming language for AmI, A Smart-Room Case Study
    • Valantina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, RyoShimizu, Kenji Tei and Susumu Toriumi
    • The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012), Vol.10, 30-37, August 2012
    • Supporting View Transition Design of Smartphone Applications Using Web Templates
    • Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa and Shinichi Honiden
    • 12th International Conference on Web Engineering (ICWE’12), 323-331, July 2012
    • Case Studies on the Development of Wireless Sensor Network Applications using Multiple Abstraction Levels
    • Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 3rd International Workshop on Software Engineering for Sensor Network Applications (SESENA ’12) in conjunction with ICSE, June 2012
    • CMA-TWEANN: Efficient Neuroevolution via Synthetic Evolution
    • Hirotaka Moriguchi and Shinichi Honiden
    • Genetic and Evolutionary Computation Conference (GECCO2012), July 2012
    • Fault Detection in Wireless Sensor Networks: a Hybrid Approach
    • Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello
    • Poster session of the 11th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN’12), April 2012
    • Towards Robust Service Compositions in the Context of Functionally Diverse Services
    • Florian Wagner, Benjamin Kloepper, Fuyuki Ishikawa and Shinichi Honiden
    • 21st International World Wide Web Conference (WWW ’12), April 2012
    • Towards Network-aware Service Composition in the Cloud
    • Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
    • 21st International World Wide Web Conference (WWW ’12), April 2012

2011年度

    • Trust in Web Service Compositions Using Bayesian Networks
    • Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
    • AAAI Spring Symposium 2012: Intelligent Web Services Meet Social Computing, March 2012
    • Extracting Interaction-Based Stateful Behavior in Rich Internet Applications
    • Yuta Maezawa, Hironori Washizaki and Shinichi Honiden
    • The 16th European Conference on Software Maintenance and Reengineering (CSMR’12) (Early Research Achievements Track), 423-428, March 2012
    • Applying QoS-aware Service Selection on Functionally Diverse Services
    • Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden
    • The 5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC ’11), December 2011
    • Assignment of Sensors for Multiple Tasks Using Path Information
    • Susumu Toriumi, Shinichi Honiden
    • 9th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-2011), 120-127, October 2011
    • Utility‐based Self‐Adaption with Environment Specific Quality Models
    • Camilo Fitzgerald, Benjamin Klöpper, Shinichi Honiden
    • 2011 International Conference on Adaptive and Intelligent Systems (ICAIS’11 ), September 2011
    • Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks
    • Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden and Morris Sloman
    • Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO’11), October 2011
    • Learning Symbolic Forward Models for Robotic Motion Planningand Control
    • Hirotaka Moriguchi, Hod Lipson
    • European Conference of Artificial Life (ECAL 2011), August 2011
    • Bridging the Gap between Semantic Web Service Compositionand Common Implementation Architectures
    • Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa,Shinichi Honiden
    • The 8th International Conference onServices Computing (SCC 2011), July 2011
    • Efficient HeuristicApproach with Improved Time Complexity for QoS-aware Service Composition
    • Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
    • The 9th International Conference on Web Services (ICWS 2011) (Applicationand Experience Track), July 2011
    • QoS-aware AutomaticService Composition by Applying Functional Clustering
    • Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
    • The 9th InternationalConference on Web Services (ICWS 2011), July 2011
    • Service Selection withCombinational Use of Functionally-Equivalent Services
    • Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden
    • The 9th InternationalConference on Web Services (ICWS 2011), July 2011
    • A Method for Data-flow Analysis of Business Components
    • Taku Inoue, Shinichi Honiden
    • The 14thInternational ACM SIGSOFT Symposium on Component Based SoftwareEngineering (CBSE-2011), June 2011
    • gocc: A Configuration Compiler for Self-adaptive Systems UsingGoal-oriented Requirements Description
    • Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
    • The 6th International Symposium on Software Engineering for Adaptive andSelf-Managing Systems(SEAMS 2011), co-located with ICSE 2011, May 2011
    • edubase Cloud: An Open Source Cloud Platform for Cloud Engineers
    • Nobukazu Yoshioka, Shigetoshi Yokoyama, Yoshionori Tanabe, Shinichi Honiden
    • International Workshop on Software Engineering for Cloud Computing(ICSE SECLOUD 2011), in conjunction with ICSE, May 2011
    • Model Driven Development for Rapid Prototyping and Optimization ofWireless Sensor Network Applications
    • Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 2nd International Workshop on Software Engineering for Sensor NetworkApplications (SESENA ’11) in conjunction with ICSE, May 2011
    • Decision Divide & Conquer in Planning for Self-Optimizing Mechatronic Systems – A First Application Example
    • Benjamin Klöpper, Shinichi Honiden, Wilhelm Dangelmaier
    • 2011 IEEE Symposium Series on Computational Intelligence (SSCI 2011), April 2011
    • Decision Making in Adaptive Manufacturing Systems: Multi-Objective Scheduling and User Interface
    • Benjamin Klöpper, Shinichi Honiden, Jan Patrick Pater, Wilhelm Dangelmaier
    • 2011 IEEE Symposium Series on Computational Intelligence (SSCI 2011), April 2011

2010年度

    • IMPULSE: a Design Framework for Multi-Agent Systems Based on ModelTransformation
    • Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
    • In Proceedings of the 26th Symposium On Applied Computing (SAC2011), March 2011
    • Effcient, Failure-Resilient Semantic Web Service Planning
    • Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
    • In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010, PhD symposium / poster track), 688-689, December 2010
    • Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes
    • Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
    • In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010, short paper), 635-640, December 2010
    • Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle
    • Fuyuki Ishikawa
    • In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010), 579-586, December 2010
    • Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy
    • Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
    • In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010), 182-196, December 2010
    • A Framework for Validating Task Assignment in Multi-agent Systemsusing Requirements Importance
    • Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
    • In Proceedings of the 13th International Conference on Principles andPractice of Multi-Agent Systems (PRIMA2010), November 2010
    • Adaptive Geographic Routing in Wireless Sensor Networks
    • Rey Abe, Shinichi Honiden
    • In Proceedings of the 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2010), October 2010
    • Planning with Utilities and State Trajectory Constraints for Self-Healing in Automotive System
    • Benjamin Klöpper, Jan Meyer, Matthias Tichy, Shinichi Honiden
    • In Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, September 2010
    • Towards Effective Useof Requirements Description in Self-adaptive System Development
    • Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
    • InProceedings of the International Workshop on Modern Science and Technology2010 (IWMST2010), 100-105, September 2010
    • Extraction of Places Related to Flickr Tags
    • Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden,
    • In proceeding of the 19th European Conference on Artificial Intelligence (ECAI 2010), August 2010
    • Agile Software Development Process: A Case Of CollaborativeCognition In Flux
    • Nik Nailah Binti Abdullah, Shinichi Honiden, Robert GM Hausmann, Helen Sharp
    • In proceeding of the annual meeting of the Cognitive Science Society (CogSci 2010), August 2010
    • Service-oriented middleware for dynamic management of heterogeneous sensing devices
    • Levent Gürgen, Johan Nyström-Persson, Amin Cherbal, Cyril Labbé, Claudia Roncancio, Shinichi Honiden
    • In proceedings of the 7th ACM International Conference on Pervasive Services (ICPS 2010), July 2010
    • Sustaining Behavioral Diversity in NEAT
    • Hirotaka Moriguchi, Shinichi Honiden
    • Genetic and Evolutionary Computation Conference (GECCO 2010), July 2010
    • Business Semantics CentricReliability Testing for Web Services in BPEL
    • Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden
    • In proceeding of the 2010 IEEE Fourth International Workshop on WebServices and Cloud Services Testing (WS-CS-Testing 2010), July 2010
    • Description and Matching of Triggering Capabilities inEvent-Driven Services
    • Fuyuki Ishikawa
    • In proceeding of the 2010 IEEE Fourth International Workshop on WebServices and Cloud Services Testing (WS-CS-Testing 2010), July 2010
    • Toward Consistent Combination of Service Selection Methodsand Process Adaptation Methods
    • Fuyuki Ishikawa
    • In proceeding of the 7th International Conference on ServicesComputing (SCC 2010) (Work-in-Progress Track), July 2010
    • Suppressing Redundancy in Wireless Sensor Network Traffic
    • Rey Abe, Shinichi Honiden
    • In Proceedings of DCOSS 2010, 6th IEEE International Conference on Distributed Computing in Sensor Systems, June 2010
    • Discovery of Configurations for Indoor Wireless Sensor Networks Through Use of Simulation in Virtual Worlds
    • Valentina Baljak, Shinichi Honiden
    • In proceedings of the Fourth International Conference on Sensor Technologies and Applications (SENSORCOMM 2010), June 2010
    • Communication in context: a stimulus-response account of Agile team interactions
    • Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
    • In Proceedings of XP 2010, 11th International Conference on Agile Software Development., June 2010
    • A Method of Analysis to Uncover Physical Artefact-Communication Relationship
    • Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
    • In Proceedings of the 23rd FLAIRS conference. Special track: Cognition and AI: Capturing Cognitive Plausibility and Informing Psychological Processes., May 2010
    • Cooperative Behaviors Description for Self-* Systems Implementation
    • Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
    • The 8th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 10) . Salamanca, Spain, April 2010
    • N-ary Sensor Model for Target Tracking in Wireless Sensor Networks
    • Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden
    • Proceedings of the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS’10), in conjunction with CPSWEEK in Stockholm, Sweden., 33-41, April 2010

2009年度

    • Autonomic thinking for sensing devices
    • Rémi Sharrock, Amin Cherbal, Levent Gürgen, Thierry Monteil, Shinichi Honiden
    • The Sixth International Conference on Autonomic and Autonomous Systems (ICAS’10), Cancun, Mexico, March 2010
    • Specifying and Checking Refinement Relationships in VDM++
    • Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden,
    • The 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM2009), Hanoi, Vietnam,, November 2009
    • How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project
    • Fuyuki Ishikawa, Kenji Taguchi, Shinichi Honiden,
    • The 7th VDM-Overture Workshop at FM 2009, Eindhoven, the Netherlands, November 2009
    • Top-Level Software Engineers Tackles after Learning Formal Methods – Experiences from the Top SE Project
    • Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
    • The 2nd International FME Conference on Teaching Formal Methods (TFM2009), Eindhoven, the Netherlands,, November 2009
    • Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering
    • Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden
    • The 2nd International Workshop on Requirements Engineering and Law (RELAW 2009) at RE 2009, Atlanta, Georgia, USA,, September 2009
    • Plug&Manage Heterogeneous Sensing Devices
    • Levent Gürgen, Johan Nyström-Persson, Amin Cherbal, Cyril Labbé, Claudia Roncancio, Shinichi Honiden,
    • Demonstration) In Proceedings of the 6th International Workshop on Data Management for Sensor Networks (DMSN’09), in conjunction with VLDB’09. Lyon, France, August 2009
    • Physical Interaction in Pervasive Computing: Formal Modeling, Analysis and Verification
    • Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden,
    • The ACM International Conference on Pervasive Services (ICPS2009). Imperial College, London, UK., July 2009
    • Opérations d’administration pour SStreaMWare
    • Levent Gürgen, Cyril Labbé, Shinichi Honiden,
    • In Proceedings of the 5th French speaking conference on Ubiquity and Mobility (UBIMOB’09), , July 2009
    • Approximate Shortest Path Queries in Graphs Using Voronoi Duals
    • Shinichi Honiden, Michael E. Houle, Christian Sommer, and Martin Wolff,
    • Sixth annual International Symposium on Voronoi Diagrams in science and engineering (ISVD 2009). Copenhagen, Denmark., June 2009
    • Balancing Graph Voronoi Diagrams
    • Shinichi Honiden, Michael E. Houle, and Christian Sommer,
    • Sixth annual International Symposium on Voronoi Diagrams in science and engineering (ISVD 2009). Copenhagen, Denmark. , June 2009
    • Management of networked sensing devices
    • Levent Gürgen, Shinichi Honiden,
    • The Second International Workshop on Sensor Network Technologies for Information Explosion Era (Sentie’09); in conjunction with International Conference on Mobile Data Management, MDM., May 2009
    • An integrated management middleware for networked sensing systems
    • Levent Gürgen, Shinichi Honiden,
    • The Seventh International Conference on Pervasive Computing, Late Breaking Results, May 2009
    • Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays
    • Daisuke Fukuchi, Christian Sommer, Yuichi Sei, Shinichi Honiden,
    • The 28th Conference on Computer Communications, Rio de Janeiro, Brazil, April 2009
    • Efficient & Flexible Routing in Wireless Sensor Networks with Self Organizing Transaction Cluster Heads
    • Neeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden
    • In the Proceedings of the 2009 ACM symposium on Applied Computing, 1214-1218, 2009

2008年度

    • Generative Dynamic Deployment of Multiple Components in Wireless Sensor Networks
    • Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
    • Sixth International Conference on Wireless On-demand Network Systems and Services, February 2009
    • Reporter node determination of replicated node detection in wireless sensor networks
    • Yuichi Sei, Shinichi Honiden
    • 3rd International Conference on Ubiquitous Information Management and Communication, 566-573, January 2009
    • Model Checking Process with Goal Oriented Requirements Analysis
    • Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden
    • 15th Asia-Pacific Software Engineering Conference, 377-384, December 2008
    • Energy-Efficient Event Detection in 3D Wireless Sensor Networks
    • Susumu Toriumi, Yuichi Sei, Shinichi Honiden
    • 1st. IFIP Wireless Days Conference 2008, November 2008
    • An Efficient Node Selection Metric for In-network Process Deployment
    • Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • Fourth International Wireless Internet Conference (WICON 2008), November 2008
    • Distributed Detection of Node Replication Attacks Resilient to Many Compromised Nodes in Wireless Sensor Networks
    • Yuichi Sei, Shinichi Honiden
    • Fourth International Wireless Internet Conference (WICON 2008), November 2008
    • Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems
    • Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
    • 12th International IEEE Enterprise Distributed Object Computing Conference, 372-378, September 2008
    • Transparent Application Lifetime Management in Wireless Sensor Networks
    • Eric Platon , Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
    • the 10th International Conference on Ubiquitous Computing (UbiComp 2008), September 2008
    • The challenges in analyzing online videoconferencing meetings
    • Nik Nailah Binti Abdullah, Shinichi Honiden
    • Third international conference on Interdisciplinary social science. Monash University Center, Prato, Tuscany, Italy, July 2008
    • What Goes on in a Meeting? Empirical Work
    • Nik Nailah Binti Abdullah, Tomadaki, E., Scott, P.J., Shinichi Honiden
    • 30th Annual Conference of the Cognitive Science Society, 2512-2512, July 2008
    • Region-based Sensor Selection for Wireless Sensor Networks
    • Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 2008 IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing, 326-331, June 2008
    • Constructing Locally Centralized Applications by Mobile Agents in Wireless Sensor Networks
    • Shunichiro Suenaga, Shinichi Honiden
    • Second International Workshop on Agent Technology for Sensor Networks (ATSN-08). Estoril, Portugal, May 2008

2007年度

    • A Flexible Protocol Composition for Multi-Party Coordination Protocols in Multi-Agent Systems
    • Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
    • The 1st IEEE Workshop on Agent Technologies for Pervasive Communities (ATPC2008) in Hong Kong, March 2008
    • The what and how of IM functions in distributed scientific collaboration
    • Nik Nailah Binti Abdullah, Shinichi Honiden
    • 3rd Int. Conference on IASTED-HCI, Innsbruck, Austria, March 2008
    • Name-based Location Service for Mobile Agents in Wireless Sensor Networks
    • Shunichiro Suenaga, Shinichi Honiden
    • First International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (MOBILWARE 2008), February 2008
    • Developing Consistent Contractual Policies in Service Composition
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    • the 2007 IEEE Asia-Pacific Services Computing Conference (IEEE APSCC 2007), 527-534, December 2007
    • Resilient Security for False Event Detection without Loss of Legitimate Events in Wireless Sensor Networks
    • Yuichi Sei, Shinichi Honiden
    • The 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA 2007), 454-470, November 2007
    • Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    • The 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA 2007), 683-700, November 2007
    • Managing Difference-based Objects with Sub-networks in Peer-to-Peer Environments
    • Daisuke Fukuchi, Yuichi Sei, Shinichi Honiden
    • 1st International Workshop on Peer to Peer Networks (PPN´07), 1001-1010, November 2007
    • Extracting and Utilizing Event-Context Relationships in Blogsphere
    • Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden
    • Poster/Demo Track of the 6th International Semantic Web Conference(ISWC 2007), November 2007
    • Formal Specification Generator for KAOS
    • Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden
    • Tool Demo, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (ASE’07), 531-532, November 2007
    • Errors and Misconceptions in Learning i*
    • Toshihiko Tsumaki, Yasuyuki Tahara, Nobukazu Yoshioka, Haruhiko Kaiya, Kenji Taguchi, Shinichi Honiden
    • 2nd International Workshop on Requirements Engineering Education and Training (REET’07), October 2007
    • Real-time POI detection and rating using floating car data
    • Osamu Masutani, Hirotoshi Iwasaki, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 14th World Congress on Intelligent Transport Systems, October 2007
    • Detecting Intrusions in Agent System by Means of Exception Handling
    • Eric Platon, Martin Rehak, Nicolas Sabouret, Michal Pechoucek, Shinichi Honiden
    • 3nd International Conference on Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS), 161-172, September 2007
    • Context in use for analyzing conversation structures on the Web tied to the notion of situatedness
    • Nik Nailah Binti Abdullah and Shinichi Honidenn
    • Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT), 94-107, August 2007
    • Applying Design Patterns to Wireless Sensor Network Programming
    • Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • The First International Workshop on Wireless Mesh and Ad Hoc Networks (WiMAN 2007) in conjunction with ICCCN 2007, 1099-1104, August 2007
    • Ringed Filters for Peer-to-Peer Keyword Searching
    • Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden
    • IEEE 16th International Conference on Computer Communications and Networks (ICCCN 2007), 772-779, August 2007
    • Predicting Breakdown Situations over the Instant Messaging through Analyzing Conversational Structure
    • Nik Nailah Binti Abdullah, Shinichi Honiden
    • 29th Annual Meeting of the Cognitive Science Society, August 2007
    • Building Assistive Technology for Breakdown Situations in Collaborative Communications via IM
    • Nik Nailah Binti Abdullah, Eric Tschetter, Shinichi Honiden
    • Plan, Activity and Intent Recognition Workshop. AAAI 2007. Twenty-Second Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 2007
    • Protocol Selection alongside Service Selection
    • Jose Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden
    • IEEE International Conference on Web Services (ICWS 2007), 719-726, July 2007
    • Policy-based Runtime Partner Management in Process-Based Services
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    • IEEE International Conference on Web Services (ICWS 2007), 1191-1194, July 2007
    • Model Checking Networked Programs in the Presence of Transmission Failures
    • Cyrille Artho, Christian Sommer, Shinichi Honiden
    • 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE2007), 219-228, June 2007
    • Iterative Delta Debugging
    • Cyrille Artho, Etsuya Shibayama, Shinichi Honiden
    • TESTCOM 2007, Tallinn, Estonia, June 2007
    • Building coalitions involving agents and humans: Reports from agent-based participatory simulations
    • Paul Guyot, Shinichi Honiden
    • Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems (AAMAS 2007), 1-3, May 2007
    • Top SE: Education Program of Japan to Produce Superarchitects Who Can Apply Software Engineering Tools to Practical Development
    • Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi
    • Proceedings of the 29th International Conference on Software Engineering, 708-718, 2007
    • Flexible Bloom Filters for Searching Textual Objects
    • Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden:
    • Sixth International Workshop on Agents and Peer-to-Peer Computing (AP2PC 2007), Honolulu, Hawaii, 2007
    • Enabling direct communication protocol between mobile agents in Wireless Sensor Networks
    • Shunichiro Suenaga, Shinichi Honiden
    • First International Workshop on Agent Technology for Sensor Network (ATSN 2007), Honolulu, Hawaii, 2007
    • On agent-based aggregation schemes in networks with malicious nodes
    • Christian Sommer, Shinichi Honiden
    • First International Workshop on Agent Technology for Sensor Network (ATSN 2007), Honolulu, Hawaii, 2007
    • Participatory Design of Agents for Hybrid Coalitions
    • Guyot, Paul and Honiden, Shinichi
    • Eighth International Workshop on Multi-Agent-Based Simulation (MABS ’07), Honolulu, Hawaii., 2007
    • Position Evaluation in Go: Self-Coordinating Neural Agents
    • Eric Tschetter, Eric Platon, Shinichi Honiden
    • The Second International Workshop on Emergent Intelligence on Networked Agents (WEIN’07), Honolulu, Hawaii, 2007
    • AOP-based automated unit test classification of large benchmarks
    • Cyrille Artho, Zhongwei Chen, Shinichi Honiden:
    • Proceedings of the 31st Annual International Computer Software and Applications Conference(COMPSAC 2007),, 17-22, 2007
    • Visualization of Concurrent Program Executions
    • Cyrille Artho, Klaus Havelund, Shinichi Honiden
    • Proceedings of the 31st Annual International Computer Software and Applications Conference(COMPSAC 2007), 541-546, 2007
    • A topic categorization approach for understanding IM activities on the Web
    • Nik Nailah Binti Abdullah, Shinichi Honidentiple and Ubiquitous Interaction- book of abstracts. Christina Brodersen, Susanne Bodker, and Clemens N. Klokmose (Editors)
    • 2007

2006年度

    • Increasing the Ease of Deployment in Ubiquitous Environments
    • Kazutaka Matsuzaki, Shinichi Honiden
    • 2007 IEEE PerCom WiP, March 19-23, March 2007
    • Organizing Folksonomy Tags: Analysis of Folksonomy Tripartite Graph Structure
    • Satoshi Niwa, Takuo Doi and Shinichi Honiden
    • Eighth International Conference on Intelligent Text Processing and Computational Linguistics (CICLing 2007), February 18-24, 2007, Mexico City, Mexicoa, February 2007
    • Folksonomy Tag Organization Method Based on the Tripartite Graph Analysis
    • Satoshi Niwa, Takuo Doi and Shinichi Honiden
    • IJCAI Workshop on Semantic Web for Collaborative Knowledge Acquisition, January 6-12 Hyderabad, India, January 2007
    • Dynamic Protocol Selection on Open and Heterogeneous Systems
    • Jose Ghislain Quenum, Samir Aknine, Onn Shehory and Shinichi Honiden
    • EEE/WIC/ACM International Conference on Intelligent Agent Technology, 18-22 Dec 2006, Hong Kong, China, December 2006
    • Adaptive Geographically Bound Mobile Agents
    • Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Shinichi Honiden and Pierre-Loic Garoche
    • The 2nd International Conference on Mobile Ad-hoc and Sensor Networks (MSN 2006), 13 – 15 December 2006, Hong Kong, China, December 2006
    • Reduction of the communication traffic for multi-word searches in DHTs
    • Yuichi Sei, Kazutaka Matsuzaki, and Shinichi Honiden
    • International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 28 November – 1 December 2006, Sydney, Australia, November 2006
    • Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity
    • Truong Khanh Quan, Fuyuki Ishikawa, and Shinichi Honiden
    • International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 28 November – 1 December 2006, Sydney, Australia, November 2006
    • Smartive: Mobile Composite Agents for Multimedia Services
    • Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden
    • International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 28 November – 1 December 2006, Sydney, Australia, November 2006
    • Multi-Robot Positioning Model: Multi-Agent approach
    • Satoshi Kataoka and Shinichi Honiden
    • International Conference on Computational for Modelling, Control and Automation (CIMCA2006), 28 November – 1 December 2006, Sydney, Australia, November 2006
    • Sensor Middleware for Lightweight Relocatable Sensing Programs
    • Makoto Ishiguro, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 28 November – 1 December 2006, Sydney, Australia, November 2006
    • Introducing Auction Scheme to Route Allocation to Prolong the Lifetime of Ad-hoc Networks
    • Kenji Tei, Hiromi Muto, Yoshiaki Fukazawa and Shinichi Honiden
    • International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 28 November – 1 December 2006, Sydney, Australia, November 2006
    • PID-filtered negotiation for decision making in dynamic coverage problem
    • Satoshi Kataoka , Fuyuki Ishikawa and Shinichi Honiden
    • IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), November 2006
    • A Definition of Exception in Agent-Oriented Computing
    • Eric Platon, Nicolas Sabouret, and Shinichi Honiden
    • Engineering Societies in the Agent World (ESAW 2006), 6-8 September 2006, Dublin, Ireland, September 2006
    • Accurate Centralization for Applying Model Checking on Networked Applications
    • C. Artho, P. Garoche
    • ASE 2006, Tokyo, Japan, September 2006, September 2006
    • Cooperative Multi-Agent Approach to Dynamic Coverage in Multi-Robot Activities
    • Satoshi Kataoka and Shinichi Honiden
    • The Second International Workshop on Multi-Agent Robotic Systems (MARS 2006), August 2006
    • Testing I/O Failures with Enforcer
    • C. Artho, A. Biere, and S. Honiden
    • FM 2006 (tool demonstration track), Hamilton, Canada, August 2006, August 2006
    • Enforcer — Efficient Failure Injectionk
    • C. Artho, A. Biere, and S. Honiden
    • FM 2006, Hamilton, Canada, August, August 2006
    • Interaction Design in Agent-based Service-oriented Computing Systems
    • Jose Quenum, Fuyuki Ishikawa, and Shinichi Honiden
    • AAAI Workshop on AI-Driven Technologies for Services-Oriented Computing, July 16–20, 2006, Boston, USA, 2006, July 2006
    • Challenges in Exception Handling for Multi-Agent Systems
    • Eric Platon, Nicolas Sabouret, and Shinichi Honiden
    • Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2006), Shanghai, China, May 20th-28th, 2006, May 2006
    • Smart Environment for Smarter Agents in E-markets
    • Eric Platon, Nicolas Sabouret, and Shinichi Honiden
    • Poster at the Nineteenth Florida Artificial Intelligence Research Society Conference, AAAI, May 11th-13th, 2006, May 2006
    • Tag Interactions in Multi-Agent Systems: Environment Support
    • Eric Platon, Nicolas Sabouret, and Shinichi Honiden
    • Workshop on Environment for Multi-Agent Systems (E4MAS 2006), May 2006
    • Analysis of Multi-Agent Systems based on KAOS Modeling
    • Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden
    • ICSE 2006 Emerging Results track, May 2006
    • Performance of Pheromone Model for Predicting Traffic Congestion
    • Yasushi Ando, Osamu Masutani, Hirotoshi Iwasaki, Yoshiaki Fukazawa, Shinichi Honiden
    • The Fifth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2006), May 2006
    • Power and Negotiation – Lessons from Agent-Based Participatory Simulations (full paper)
    • Paul Guyot, Alexis Drogoul, 本位田真一
    • The Fifth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2006), May 2006
    • Service-Oriented and Autonomous Distribution and Provision of Multimedia Contents
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    • The Fifth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2006), pp.949-951, May 2006
    • Web Page Recommender System based on Folksonomy Mining
    • Satoshi Niwa, Takuo Doi and Shinichi Honiden
    • 3th International Conference on Information Technology : New Generations(ITNG-2006), April 10-12 – Las Vegas/USA, April 2006

2005年度

    • Advanced Unit Testing — How to Scale Up a Unit Test Framework
    • C. Artho and A. Biere and S. Honiden and V. Schuppan and P.Eugster and M. Baur and B. Zweimueller and P. Farkas
    • Workshop on Automation of Software Test (AST 2006), Shanghai, China, January 2006
    • A Modelling Framework for Generic Agent Interaction Protocols
    • Jose Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, and Shinichi Honiden
    • Workshop on Declarative Agent Languages and. Technologies (DALT 2006), January 2006
    • An algorithm to reduce the communication traffic for multi-word search in Distributed Hash Table
    • Yuichi Sei, Kazutaka Matsuzaki, and Shinichi Honiden
    • 4th IFIP International Conference on Theoretical Computer Science, January 2006
    • Tag Interactions in Multi-Agent Systems: Environment Support
    • Eric Platon, Nicolas Sabouret, and Shinichi Honiden
    • European Workshop on Multi-Agent Systems, December 2005
    • Traffic Prediction using Pheromone Model
    • Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yasushi Ando, Yoshiaki Fukazawa, and Shinichi Honiden
    • Proc. of 12th World Congress on Intelligent Transport Systems, November 6-10, 2005, November 2005
    • Flexible and Maintainable Contents Activities in Ubiquitous Environment
    • Kazutaka Matsuzaki, Nobukazu Yoshioka & Shinichi Honiden
    • International Symposium on Distributed Objects and Applications 31 Oct – 4 Nov 2005, Agia Napa, Cyprus, November 2005
    • Incorporating Agreements on Service Options into BPEL-based Services
    • Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden
    • International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC’2005), Nov 28-30, 2005, Vienna/Austria, November 2005
    • Using Mobile Agent for Location-Specific Data Retrieval in MANET
    • Kenji Tei, Nobukazu Yoshioka, Yoshiaki Fukazawa, and Shinichi Honiden
    • The 2005 IFIP International Conference on Intelligence in Communication Systems (INTELLCOMM 2005)October 17-19, 2005, Montreal, Canada, October 2005
    • Common Metamodel of Goal-Oriented Requirements Engineering Methodologies
    • Yasuyuki Tahara, Shinichi Nagano, Nobukazu Yoshioka & Sshinichi Honiden
    • The Third International Workshop on Comparative Evaluation in Requirements Engineering Paris, France August 29, 2005, October 2005
    • Location Scope : A Conceptual Event Modeling for Location-Aware Application Development
    • Kazutaka Matsuzaki, Nobukazu Yoshioka & Shinichi Honiden
    • 2nd International Workshop on Mobility Aware Technologies and Applications, October 17-19, 2005, Montreal, Canada, October 2005
    • Oversensing with a softbody in the environment – Another dimension of observation
    • Eric Platon, Nicolas Sabouret, and Shinichi Honiden
    • in Modeling Others from Observations at the International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, August 2005
    • IOM/T : An Interaction Description Language
    • Takuo DOI, Nobukazu Yoshioka, Yasuyuki Tahara and Shinichi Honiden
    • The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems, July 25 to 29, 2005,The Netherlands, July 2005
    • Agent Synthesis: Partnership and Agreement in Cooperative Mobile Agents
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara and Shinichi Honiden
    • The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), July 25 to 29, 2005, The Netherlands, July 2005
    • Pheromone Model: Application to Traffic Congestion Prediction
    • Yasushi Ando, Yoshiaki Fukazawa, Osamu Masutani,HIroshi Sasaki, Hirotoshi Iwasaki and Shinichi Honiden
    • The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems, July 25 to 29, 2005, The Netherlands, July 2005
    • Mobile and Cooperative Compounds of Multimedia Services
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Shinichi Honiden
    • The 2005 IEEE International Conference on Services Computing (SCC2005), July 12-15, 2005, U.S.A, July 2005
    • Geographically Bound Mobile Agent in MANET
    • Kenji Tei, Nobukazu Yoshioka, Yoshiaki Fukazawa, and Shinichi Honiden
    • The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous 2005), July 17-21, 2005, San Diego, California, U.S.A, July 2005
    • Overhearing and Direct Interactions: Point of View of an Active Environment -a Preliminary Study
    • Eric Platon, Nicolas Sabouret, and Shinichi Honiden
    • Second Workshop on Environments for Multi-Agent Systems, Utrecht, The Netherlands, July 2005
    • Developing Service-Oriented Compounds of Cooperative Mobile Agents
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Shinichi Honiden
    • Workshop on Service-Oriented Computing and Agent-Based Engineering, Utrecht, The Netherlands, July 2005
    • Pheromone Model: Application to Traffic Congestion Prediction
    • Yasushi Ando, Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki ,Yoshiaki Fukazawa, and Shinichi Honiden
    • Workshop on Engineering Self-Organizing Applications, Utrecht, The Netherlands, July 2005
    • Knowledge Based Design Method of Agent Protocols
    • Kazunori Matsumoto, Tetsuhiro Miyahara, Yasuo Nagai and Shinichi Honiden
    • The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, July 10-13, 2005 – Orlando, Florida, USA, July 2005
    • Multi-Agent Participatory Simulations Between Experimental Economics and Role-Playing Games
    • Paul Guyot, Alexis Drogoul and Shinichi Honiden
    • The Fourth International Workshop on Agent-based Approaches in Economics and Social Complex Systems, July 9-13, 2005, July 2005
    • A MODEL FOR POLICY BASED SERVICE COMMUNITY
    • Hironobu Kuruma and Shinichi Honiden
    • 7th International Conference on Enterprise Information Systems(ICEIS-2005), May 25-28 2005 – Miami/USA, May 2005
    • FRAMEWORK FOR HIERARCHICAL MOBILE AGENTS: TOWARD SERVICE-ORIENTED AGENT COMPOUND
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Shinichi Honiden
    • 7th International Conference on Enterprise Information Systems(ICEIS-2005), May 25-28 2005 – Miami/USA, May 2005
    • Modelling Interactions in Assistant Teams (IEEE Catalog Number: 05EX1041)
    • Eric Platon, Nicolas Sabouret, and Shinichi Honiden
    • The Third International Conference on Active Media Technology (AMT2005), May 19-212005 – Kagawa, Japan, May 2005
    • Mobeet: A Multi-agent Framework for Ubiquitous Information Systems,
    • Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
    • Agent-Oriented Information Systems II, 19-35, 2005

2004年度

    • Requirements analysis to cope with the concept of environment
    • Eric Platon, Nicolas Sabouret and Shinichi Honiden
    • Second AgentLink III Technical Forum (AL3-TF2) Environments for Multiagent Systems, 28 February to 2 March 2005, Ljubljana, Slovenia, March 2005
    • Requirements analysis to cope with the concept of environment
    • Eric Platon, Nicolas Sabouret and Shinichi Honiden
    • Second AgentLink III Technical Forum (AL3-TF2) Environments for Multiagent Systems, 28 February to 2 March 2005, Ljubljana, Slovenia, March 2005
    • Formal Model of Mobile BPEL4WS Process
    • Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden
    • International Journal of Business Process Integration and Management (IJBPIM), Vol.1(No.3), January 2005
    • A Pattern Oriented Mobile Agent Framework for Mobile Computing
    • N. Yoshioka and S. Honiden
    • International Workshop on Mobility Aware Technologies and Applications (MATA2004), October 20-22, 2004 Florian?polis, Brazil, October 2004
    • Location-aware Application Development Methodology using Mobile Agent-based System
    • K. Matsuzaki, N. Yoshioka, and S. Honiden
    • International Workshop on Mobility Aware Technologies and Applications (MATA2004), October 20-22, 2004 – Florian?polis, Brazil, October 2004
    • T-compound Interaction and Listening Agents
    • E. Platon, N. Sabouret, and S. Honiden
    • Engineering Societies in the Agent World (ESAW2004) October 20-22, 2004 – Toulouse, France, October 2004
    • T-shaped Interaction Compounds and Listening Agents
    • E. Platon, N. Sabouret, and S. Honiden
    • Third International Workshop on Agent-Oriented Methodologies Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA2004) October 24, 2004 – Vancouver, Canada, October 2004
    • Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems
    • N. Yoshioka, S. Honiden, A. Finkelstein
    • The 8th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2004) 20-24 September 2004, Monterey, California, USA, September 2004
    • Introducing Participative Personal Assistant Teams in Negotiation Support Systems
    • Eric Platon and Shinichi Honiden
    • Intelligent Agents and Multi-Agent Systems, Seventh Pacific Rim International Workshop on Multi-Agents (PRIMA2004), August 8-13, 2004 – Auckland, New Zealand, August 2004
    • Behavior Descriptions of Mobile Agents for Web Services Integration
    • F. Ishikawa, Y. Tahara, N. Yoshioka, and S. Honiden
    • 2004 IEEE International Conference on Web Services (ICWS 2004), July 6-9, 2004 – San Diego, USA, July 2004
    • Dynamic Invocation Model of Web Services Using Subsumption Relations
    • S. Nagano, T. Hasegawa, A. Ohsuga, and S. Honiden
    • 2004 IEEE International Conference on Web Services (ICWS 2004), July 6-9, 2004 – San Diego, USA, July 2004
    • a Specification Language for Mobile Agent Applications
    • Y. Tahara, A. Ohsuga, and S. Honiden, Pigeon
    • The Third International Joint Conference on Autonomous Agents & Multi Agent Systems(AAMAS-04), July 19-23, 2004, July 2004
    • Bridging the Gap between AUML and Implementation using IOM/T
    • T. Doi, N. Yoshioka, Y. Tahara, and S. Honiden
    • International Workshop on Programming Multi-Agent Systems(ProMAS 2004), July 19-20, 2004, July 2004
    • Toward Synthesis of Web Services and Mobile Agents
    • F. Ishikawa, N. Yoshioka, Y. Tahara, and S. Honiden
    • AAMAS’2004 Workshop on Web Services and Agent-based Engineering (WSABE), July 19, 2004 – New York, USA, July 2004
    • A multi-agent framework for ubiquitous information system: mobeet framework
    • N. Yoshioka, S. Honiden
    • Sixth International Bi-Conference Workshop on AGENT-ORIENTED INFORMATION SYSTEMS (AOIS-2004), July 20, 2004, July 2004
    • Mobile Agent System for Web Services Integration in Pervasive Networks
    • F. Ishikawa, N. Yoshioka, Y. Tahara, and S. Honiden
    • International Workshop on Ubiquitous Computing (IWUC 2004), April 13-14, 2004 – Porto, Portugal, April 2004
    • Ubiquitous Application Development using a Mobile Agent-based System
    • K. Matsuzaki, N. Yoshioka, and S. Honiden
    • International Workshop on Ubiquitous Computing (IWUC 2004), April 13-14, 2004 – Porto, Portugal, April 2004

2003年度

    • Software Design Method for Agent Systems from Scenarios
    • K.Matsumoto, S.Honiden
    • 19th International Conference on Computers and Their Applications (CATA-2004), March 18-20, 2004, Seattle, Washington U.S.A, March 2004
    • A Security Architecture or Collaboration Among Many and Unspecifiled Agents
    • Y. Okataku, H. Okutomi, N. Yoshioka, and S. Honiden
    • 8th International Workshop on Mobile Multimedia Communications (MoMuC2003), Oct. 6-8 2003, Munich, Germany, October 2003
    • A Formal Model of Active Contents Based on the Ambient Calculus
    • Y. Tahara, N. Yoshioka, and S. Honiden
    • 5th International Workshop on Mobile Agents for Telecommunication Applications (MATA’03), Oct.8-10 2003, Marrakech, Moocco, October 2003
    • Integrating Multiple Internet Directories by Instance-based Learning Subtitle Eighteenth
    • R. Ichise, H. Takeda, S. Honiden
    • Eighteenth International Joint Conference in Artificial Intelligence (IJCAI-03), August 2003
    • Panning Mobile Agent Architecture for Realizing Mobile Intteligence
    • M. Hattori, A. Ohsuga, and S. Honiden
    • The 2003 International Conference on Parellel and Distributed Processing Techniques and Applications, June 24-27, 2002, Monte-Carlo Resort, Las-Vegas, USA, June 2003

2002年度

    • Interoperability for Mobile Agents by incarnation Agents
    • T. Hasegawa, K. Cho, F. Kumeno, S. Nakajima, A.Ohsuga, and S. Honiden
    • Scecond International Conference on Autonomous agents and Multiagent Systems (AAMAS-03), January 2003
    • Context-aware agent platform in ubiquitous environments and its verification tests
    • M. Hattori, K. Cho, A. Ohsuga, M. Ishiki, and S. Honiden
    • IEEE International Conference on Prevasive Computing and Communications (PerCom), January 2003
    • Mobile Agent Based Evacuation System When The Battery Runs Out : Easter
    • H. Kaneko, Y. Fukuzawa, F. Kumeno, N. Yoshioka, and S. Honiden
    • IEEE International Conference on Prevasive Computing and Communications (PerCom), January 2003
    • Pattern based Design for Secure and Safe Mobile Agent Systems
    • Artificial and Computational Intelligence (ACI 2002), 365-117, September 2002
    • Pattern Oriented Mobile Agents Design for Security and Safety
    • N. Yoshioka, Y. Tahara, A. Ohsuga, and S. Honiden
    • ACI 2002, Proc. of IASTED (2002), September 2002