2020年度

  1. A Robust and Flexible Operating System Compatibility Architecture
    Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
    The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’20)
  2. Towards Bridging the Gap between Control and Self-Adaptive System Properties
    Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
    15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020), 2020

2019年度

  1. Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
    Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
  2. Modelling and Analysing Resilient Cyber-Physical Systems
    Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinishi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos and Haiyan Zhao
    the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019), pp.1-7, May 2019
  3. A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
    Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
    2nd International Workshop on Robotics Software Engineering (RoSE 2019) , May 2019
  4. Minimising Makespan of Discrete Controllers: A Qualitative Approach
    Ezequiel Castellano, Victor Braberman, Nicolás D’Ippolito, Sebastián Uchitel, Kenji Tei
    58th IEEE Conference on Decision and Control (CDC 2019)  September 2019
  5. An efficient co-Attention Neural Network for Social Recommendation
    Munan Li, Kenji Tei, and Yoshiaki Fukazawa
    IEEE/WIC/ACM International Conference on Web Intelligence (WI’19), pp.1-8, October 2019
  6. Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime
    Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019), October 2019
  7. Analysis Space Reduction Method with Decomposing Control Problem
    Takuto Yamauchi, Kenji Tei, Shinichi Honiden
    The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019), October 2019
  8. An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment
    Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019), October 2019
  9. Analysis of changed game space for ensuring safety properties at runtime
    Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019), October 2019

2018年度

  1. Analysis space reduction for identifying guaranteeable safety property of reactive systems
    Kazuya Aizawa
    Third International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 in Hakone (CPSS-2018-Hakone)
  2. Differential learning environment model at runtime for self-adaptive systems.
    Moeka Tanabe
    Third International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 in Hakone (CPSS-2018-Hakone)
  3. Assured Graceful Degradation by Models@run.time
    Kenji Tei
    Third International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 in Hakone (CPSS-2018-Hakone)
  4. Reducing the size of two-player game for identifying guaranteeable safety property at runtime
    Kazuya Aizawa
    THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE),November 2018
  5. Updating Environment Model at Runtime for Self-Adaptive Systems
    Moeka Tanabe
    THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE),November 2018
  6. Assured Graceful Degradation by Models@run.time
    Kenji Tei
    THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE),November 2018
  7. Identifying safety properties guaranteed in changed environment at runtime
    Kazuya Aizawa, Kenji Tei and Shinichi Honiden
    the 3rd IEEE International Conference on Agents (IEEE ICA 2018), July 2018
  8. Assured Runtime Graceful Degradation by Models@run.time
    Kenji Tei
    OU-NII-Lero-Khalifa-LYON1 Workshop on Software Engineering for Cyber-Physical-Social Systems CPSS, July 2018
  9. 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

2017年度

  1. Test Suite Reduction in Idempotence Testing of Infrastructure as Code.
    Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden
    TAP2017: 98-115
  2. 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
  3. 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
  4. Qualitative Analysis for Adaptation Strategies
    Kenji Tei
    No.110 The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017), September 2017
  5. 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
  6. Learning Environment Model at Runtime for Self-Adaptive Systems
    Kenji Tei
    6th Asian Workshop of Advanced Software Engineering (AWASE2017), May 2017
  7. A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks
    Ehsan Ullah Warriach, and Kenji Tei
    The 32nd ACM Symposium on Applied Computing, April 2017
  8. 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
  9. Learning Environment Model at Runtime for Self-Adaptive Systems
    Kenji Tei
    OU-NII-Khalifa Workshop on SE for Cyber-Physical-Social Systems (CPSS2017), April 2017

2016年度

  1. ClouT/BigClouT Project
    Kenji Tei, ClouT/BigClouT Consortium
    10th International Symposium on Intelligent Distributed Computing (IDC2016), October 2016
  2. 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
  3. Assured and Correct Dynamic Update of Controllers
    Kenji Tei with Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, and Sebastian Uchitel
    Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, November 2016
  4. Qualitative Analysis for Adaptation Strategies
    Kenji Tei
    No.77 NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS), April 2016
  5. Assured Graceful Degradation with Discrete Controller Synthesis
    Kenji Tei
    5th Asian Workshop on Advanced Software Engineering (AWASE2016)
  6. 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
  7. 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
  8. 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
  9. 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年度

  1. TopSE : Intellectual Manufacturing Education Program based on Science
    Kenji Tei
    World Engineering Conference and Convention 2015 (WECC2015), December 2015
  2. ClouT project, Cloud of Things for empowering the citizen clout in smart cities
    Kenji Tei
    3rd International Workshop on Self-Aware Internet of Things (Self-IoT 2015), July 2015
  3. Quality Analysis for Self-adaptive Systems with Multiple Adaptation Loops
    Kenji Tei, ClouT/BigClouT Consortium
    GRACE Workshop on Adaptive and Evolve Software Systems, January 2015
  4. 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
  5. 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
  6. 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年度

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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年度

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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年度

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. CMA-TWEANN: Efficient Neuroevolution via Synthetic Evolution
    Hirotaka Moriguchi and Shinichi Honiden
    Genetic and Evolutionary Computation Conference (GECCO2012), July 2012
  16. 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
  17. 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
  18. 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年度

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. Learning Symbolic Forward Models for Robotic Motion Planningand Control
    Hirotaka Moriguchi, Hod Lipson
    European Conference of Artificial Life (ECAL 2011), August 2011
  8. 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
  9. 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
  10. QoS-aware AutomaticService Composition by Applying Functional Clustering
    Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
    The 9th InternationalConference on Web Services (ICWS 2011), July 2011
  11. Service Selection withCombinational Use of Functionally-Equivalent Services
    Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden
    The 9th InternationalConference on Web Services (ICWS 2011), July 2011
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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年度

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. Sustaining Behavioral Diversity in NEAT
    Hirotaka Moriguchi, Shinichi Honiden
    Genetic and Evolutionary Computation Conference (GECCO 2010), July 2010
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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年度

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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年度

  1. 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
  2. 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
  3. Model Checking Process with Goal Oriented Requirements Analysis
    Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden
    15th Asia-Pacific Software Engineering Conference, 377-384, December 2008
  4. Energy-Efficient Event Detection in 3D Wireless Sensor Networks
    Susumu Toriumi, Yuichi Sei, Shinichi Honiden
    1st. IFIP Wireless Days Conference 2008, November 2008
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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年度

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. Protocol Selection alongside Service Selection
    Jose Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden
    IEEE International Conference on Web Services (ICWS 2007), 719-726, July 2007
  19. 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
  20. 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
  21. Iterative Delta Debugging
    Cyrille Artho, Etsuya Shibayama, Shinichi Honiden
    TESTCOM 2007, Tallinn, Estonia, June 2007
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. A topic categorization approach for understanding IM activities on the Web
    Nik Nailah Binti Abdullah, Shinichi Honiden
    tiple and Ubiquitous Interaction- book of abstracts. Christina Brodersen, Susanne Bodker, and Clemens N. Klokmose (Editors)2007

2006年度

  1. Increasing the Ease of Deployment in Ubiquitous Environments
    Kazutaka Matsuzaki, Shinichi Honiden
    2007 IEEE PerCom WiP, March 19-23, March 2007
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. Accurate Centralization for Applying Model Checking on Networked Applications
    C. Artho, P. Garoche
    ASE 2006, Tokyo, Japan, September 2006, September 2006
  15. 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
  16. Testing I/O Failures with Enforcer
    C. Artho, A. Biere, and S. Honiden
    FM 2006 (tool demonstration track), Hamilton, Canada, August 2006, August 2006
  17. Enforcer — Efficient Failure Injectionk
    C. Artho, A. Biere, and S. Honiden
    FM 2006, Hamilton, Canada, August, August 2006
  18. 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
  19. 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
  20. 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
  21. 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
  22. Analysis of Multi-Agent Systems based on KAOS Modeling
    Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden
    ICSE 2006 Emerging Results track, May 2006
  23. 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
  24. 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
  25. 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
  26. 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年度

  1. 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
  2. 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
  3. 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
  4. Tag Interactions in Multi-Agent Systems: Environment Support
    Eric Platon, Nicolas Sabouret, and Shinichi Honiden
    European Workshop on Multi-Agent Systems, December 2005
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. Mobeet: A Multi-agent Framework for Ubiquitous Information Systems,
    Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
    Agent-Oriented Information Systems II, 19-35, 2005

2004年度

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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年度

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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年度

  1. 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
  2. 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
  3. 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
  4. Pattern based Design for Secure and Safe Mobile Agent Systems
    Artificial and Computational Intelligence (ACI 2002), 365-117, September 2002
  5. 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