2020

  1. A Robust and Flexible Operating System Compatibility Architecture
    • Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Honiden Laboratory
    • 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 books 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, Honiden Laboratory
    • 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 books 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • the 33rd ACM/SIGAPP books on Applied Computing (SAC’18), April 2018

2017

  1. Test Suite Reduction in Idempotence Testing of Infrastructure as Code.
    • Katsuhiko Ikeshita, Fuyuki Ishikawa, Honiden Laboratory
    • TAP2017: 98-115
  2. Extracting Traceability between Predicates in Event-B Refinement
    • Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Honiden Laboratory
    • The 24th Asia-Pacific Software Engineering Conference (APSEC 2017), December 2017
  3. Construction of Abstract State Graphs for Understanding Event-B Models
    • Daichi Morita, Fuyuki Ishikawa and Honiden Laboratory
    • Name: books on Dependable Software Engineering: Theories, Tools and Applicatoins 2017 (SETTA 2017), October 2017
  4. Bash on Ubuntu on macOS
    • Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, and Honiden Laboratory**
    • The 8th ACM SIGOPS Asia-Pacific Workshop on Systems 2017 (APSys2017), September 2017
  5. Qualitative Analysis for Adaptation Strategies
    • Kenji Tei
    • No.110 The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017), September 2017
  6. 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
  7. Learning Environment Model at Runtime for Self-Adaptive Systems
    • Kenji Tei
    • 6th Asian Workshop of Advanced Software Engineering (AWASE2017), May 2017
  8. A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks
    • Ehsan Ullah Warriach, and Kenji Tei
    • The 32nd ACM books on Applied Computing, April 2017
  9. Learning environment model at runtime for self-adaptive systems
    • Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Honiden Laboratory
    • The 32nd ACM books on Applied Computing, April 2017
  10. 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 books on Intelligent Distributed Computing (IDC2016), October 2016
  2. Refactoring Refinement Structures of Event-B Machines
    • Tsutomu Kobayashi, Fuyuki Ishikawa, and Honiden Laboratory
    • The 21st International books 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, Honiden Laboratory, 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, Honiden Laboratory
    • International Conference on Formal Engineering Methods (ICFEM 2016), July 2016
  7. Stepwise Refinement of Software Development Problem Analysis
    • Tsutomu Kobayashi, Fuyuki Ishikawa, and Honiden Laboratory
    • 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 books 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, Honiden Laboratory
    • 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 Honiden Laboratory
    • International books 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • ACM CHI 2015 books on Emerging Japanese HCI Research Collection, April 2015 ##2014
  7. Evaluating Impact of Live Migration on Data Center Energy Saving
    • Soramichi Akiyama, Takahiro Hirofuchi and Honiden Laboratory
    • 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014), 759-762, December 2014
  8. Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software
    • Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Honiden Laboratory
    • The 2014 International Conference on Smart Computing (SMARTCOMP 2014), 253-260, November 2014
  9. Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sesnor Network Case
    • Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Honiden Laboratory
    • The 11th International Conference Applied Computing 2014 (AC 2014), 673-687, October 2014
  10. Validating Ajax Applications Using a Delay-Based Mutation Technique
    • Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Honiden Laboratory
    • The 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) , 491-502, September 2014
  11. 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
  12. 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
  13. Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel
    • Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Honiden Laboratory
    • The 2014 IEEE 7th International Conference on Cloud Computing (IEEE CLOUD’14), 40-47, June 2014
  14. An Approach for Evaluating and Suggesting Method Names using N-gram Models
    • Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Honiden Laboratory
    • 22nd International Conference on Program Comprehension (ICPC 2014), 40-47, June 2014
  15. Understanding and Planning Event-B Refinement through Primitive Rationales
    • Tsutomu Kobayashi, Fuyuki Ishikawa, and Honiden Laboratory
    • 4th International ABZ Conference (ABZ 2014), 277-283, June 2014
  16. Sample Efficiency Improvement on Neuroevolution via Estimation-Based Elimination Strategy
    • Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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, Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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, Honiden Laboratory
    • 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 Honiden Laboratory
    • The 13th IEEE/ACM International books on Cluster, Cloud and Grid Computing (CCGrid’13), Doctral books, 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 Honiden Laboratory
    • 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,Honiden Laboratory
    • 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), Honiden Laboratory
    • The 6th International Workshop on Juris-informatics (JURISIN 2012), 143-156, November 2012
  3. Towards Refinement Strategy Planning for Event-B
    • Tsutomu Kobayashi and Honiden Laboratory
    • 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, Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory, 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 Honiden Laboratory
    • 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, Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 21st International World Wide Web Conference (WWW ’12), April 2012
  18. Towards Network-aware Service Composition in the Cloud
    • Adrian Klein, Fuyuki Ishikawa and Honiden Laboratory
    • 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, Honiden Laboratory
    • AAAI Spring books 2012: Intelligent Web Services Meet Social Computing, March 2012
  2. Extracting Interaction-Based Stateful Behavior in Rich Internet Applications
    • Yuta Maezawa, Hironori Washizaki and Honiden Laboratory
    • 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 Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory 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,Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • The 9th InternationalConference on Web Services (ICWS 2011), July 2011
  11. Service Selection withCombinational Use of Functionally-Equivalent Services
    • Nobuaki Hiratsuka, Fuyuki Ishikawa, Honiden Laboratory
    • The 9th InternationalConference on Web Services (ICWS 2011), July 2011
  12. A Method for Data-flow Analysis of Business Components
    • Taku Inoue, Honiden Laboratory
    • The 14thInternational ACM SIGSOFT books 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, Honiden Laboratory
    • The 6th International books 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory, Wilhelm Dangelmaier
    • 2011 IEEE books Series on Computational Intelligence (SSCI 2011), April 2011
  17. Decision Making in Adaptive Manufacturing Systems: Multi-Objective Scheduling and User Interface
    • Benjamin Klöpper, Honiden Laboratory, Jan Patrick Pater, Wilhelm Dangelmaier
    • 2011 IEEE books 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, Honiden Laboratory
    • In Proceedings of the 26th books On Applied Computing (SAC2011), March 2011
  2. Effcient, Failure-Resilient Semantic Web Service Planning
    • Florian Wagner, Fuyuki Ishikawa, Honiden Laboratory
    • In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010, PhD books / poster track), 688-689, December 2010
  3. Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes
    • Benjamin Klöpper, Fuyuki Ishikawa, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory,
    • 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, Honiden Laboratory, 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, Honiden Laboratory
    • In proceedings of the 7th ACM International Conference on Pervasive Services (ICPS 2010), July 2010
  13. Sustaining Behavioral Diversity in NEAT
    • Hirotaka Moriguchi, Honiden Laboratory
    • Genetic and Evolutionary Computation Conference (GECCO 2010), July 2010
  14. Business Semantics CentricReliability Testing for Web Services in BPEL
    • Yongbo Wang, Fuyuki Ishikawa, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory,
    • 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, Honiden Laboratory,
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory,
    • 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, Honiden Laboratory,
    • 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é, Honiden Laboratory,
    • 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
    • Honiden Laboratory, Michael E. Houle, Christian Sommer, and Martin Wolff,
    • Sixth annual International books on Voronoi Diagrams in science and engineering (ISVD 2009). Copenhagen, Denmark., June 2009
  10. Balancing Graph Voronoi Diagrams
    • Honiden Laboratory, Michael E. Houle, and Christian Sommer,
    • Sixth annual International books on Voronoi Diagrams in science and engineering (ISVD 2009). Copenhagen, Denmark. , June 2009
  11. Management of networked sensing devices
    • Levent Gürgen, Honiden Laboratory,
    • 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, Honiden Laboratory,
    • 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, Honiden Laboratory,
    • 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, Honiden Laboratory
    • In the Proceedings of the 2009 ACM books on Applied Computing, 1214-1218, 2009 ##2008
  15. Generative Dynamic Deployment of Multiple Components in Wireless Sensor Networks
    • Shunichiro Suenaga, Nobukazu Yoshioka, Honiden Laboratory
    • Sixth International Conference on Wireless On-demand Network Systems and Services, February 2009
  16. Reporter node determination of replicated node detection in wireless sensor networks
    • Yuichi Sei, Honiden Laboratory
    • 3rd International Conference on Ubiquitous Information Management and Communication, 566-573, January 2009
  17. Model Checking Process with Goal Oriented Requirements Analysis
    • Hideto Ogawa, Fumihiro Kumeno, Honiden Laboratory
    • 15th Asia-Pacific Software Engineering Conference, 377-384, December 2008
  18. Energy-Efficient Event Detection in 3D Wireless Sensor Networks
    • Susumu Toriumi, Yuichi Sei, Honiden Laboratory
    • 1st. IFIP Wireless Days Conference 2008, November 2008
  19. An Efficient Node Selection Metric for In-network Process Deployment
    • Kenji Tei, Yoshiaki Fukazawa, Honiden Laboratory
    • Fourth International Wireless Internet Conference (WICON 2008), November 2008
  20. Distributed Detection of Node Replication Attacks Resilient to Many Compromised Nodes in Wireless Sensor Networks
    • Yuichi Sei, Honiden Laboratory
    • Fourth International Wireless Internet Conference (WICON 2008), November 2008
  21. Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems
    • Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Honiden Laboratory
    • 12th International IEEE Enterprise Distributed Object Computing Conference, 372-378, September 2008
  22. Transparent Application Lifetime Management in Wireless Sensor Networks
    • Eric Platon , Shunichiro Suenaga, Nobukazu Yoshioka, Honiden Laboratory
    • the 10th International Conference on Ubiquitous Computing (UbiComp 2008), September 2008
  23. The challenges in analyzing online videoconferencing meetings
    • Nik Nailah Binti Abdullah, Honiden Laboratory
    • Third international conference on Interdisciplinary social science. Monash University Center, Prato, Tuscany, Italy, July 2008
  24. What Goes on in a Meeting? Empirical Work
    • Nik Nailah Binti Abdullah, Tomadaki, E., Scott, P.J., Honiden Laboratory
    • 30th Annual Conference of the Cognitive Science Society, 2512-2512, July 2008
  25. Region-based Sensor Selection for Wireless Sensor Networks
    • Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Honiden Laboratory
    • 2008 IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing, 326-331, June 2008
  26. Constructing Locally Centralized Applications by Mobile Agents in Wireless Sensor Networks
    • Shunichiro Suenaga, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 3rd Int. Conference on IASTED-HCI, Innsbruck, Austria, March 2008
  3. Name-based Location Service for Mobile Agents in Wireless Sensor Networks
    • Shunichiro Suenaga, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • The 9th International books 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, Honiden Laboratory
    • The 9th International books 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • Poster/Demo Track of the 6th International Semantic Web Conference(ISWC 2007), November 2007
  9. Formal Specification Generator for KAOS
    • Hiroyuki Nakagawa, Kenji Taguchi, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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 Honiden Laboratoryn
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 1st IEEE & IFIP International books on Theoretical Aspects of Software Engineering (TASE2007), 219-228, June 2007
  21. Iterative Delta Debugging
    • Cyrille Artho, Etsuya Shibayama, Honiden Laboratory
    • TESTCOM 2007, Tallinn, Estonia, June 2007
  22. Building coalitions involving agents and humans: Reports from agent-based participatory simulations
    • Paul Guyot, Honiden Laboratory
    • 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
    • Honiden Laboratory, 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, Honiden Laboratory:
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory:
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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, Honiden Laboratory
    • 2007 IEEE PerCom WiP, March 19-23, March 2007
  2. Organizing Folksonomy Tags: Analysis of Folksonomy Tripartite Graph Structure
    • Satoshi Niwa, Takuo Doi and Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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, Honiden Laboratory 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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, Honiden Laboratory
    • ICSE 2006 Emerging Results track, May 2006
  23. Performance of Pheromone Model for Predicting Traffic Congestion
    • Yasushi Ando, Osamu Masutani, Hirotoshi Iwasaki, Yoshiaki Fukazawa, Honiden Laboratory
    • 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, Honiden Laboratory
    • 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 Honiden Laboratory
    • 3th International Conference on Information Technology : New Generations(ITNG-2006), April 10-12 – Las Vegas/USA, April 2006 ##2005
  27. 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
  28. A Modelling Framework for Generic Agent Interaction Protocols
    • Jose Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, and Honiden Laboratory
    • Workshop on Declarative Agent Languages and. Technologies (DALT 2006), January 2006
  29. An algorithm to reduce the communication traffic for multi-word search in Distributed Hash Table
    • Yuichi Sei, Kazutaka Matsuzaki, and Honiden Laboratory
    • 4th IFIP International Conference on Theoretical Computer Science, January 2006
  30. Tag Interactions in Multi-Agent Systems: Environment Support
    • Eric Platon, Nicolas Sabouret, and Honiden Laboratory
    • European Workshop on Multi-Agent Systems, December 2005
  31. Traffic Prediction using Pheromone Model
    • Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yasushi Ando, Yoshiaki Fukazawa, and Honiden Laboratory
    • Proc. of 12th World Congress on Intelligent Transport Systems, November 6-10, 2005, November 2005
  32. Flexible and Maintainable Contents Activities in Ubiquitous Environment
    • Kazutaka Matsuzaki, Nobukazu Yoshioka & Honiden Laboratory
    • International books on Distributed Objects and Applications 31 Oct – 4 Nov 2005, Agia Napa, Cyprus, November 2005
  33. Incorporating Agreements on Service Options into BPEL-based Services
    • Fuyuki Ishikawa, Nobukazu Yoshioka, and Honiden Laboratory
    • International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC’2005), Nov 28-30, 2005, Vienna/Austria, November 2005
  34. Using Mobile Agent for Location-Specific Data Retrieval in MANET
    • Kenji Tei, Nobukazu Yoshioka, Yoshiaki Fukazawa, and Honiden Laboratory
    • The 2005 IFIP International Conference on Intelligence in Communication Systems (INTELLCOMM 2005)October 17-19, 2005, Montreal, Canada, October 2005
  35. Common Metamodel of Goal-Oriented Requirements Engineering Methodologies
    • Yasuyuki Tahara, Shinichi Nagano, Nobukazu Yoshioka & SHoniden Laboratory
    • The Third International Workshop on Comparative Evaluation in Requirements Engineering Paris, France August 29, 2005, October 2005
  36. Location Scope : A Conceptual Event Modeling for Location-Aware Application Development
    • Kazutaka Matsuzaki, Nobukazu Yoshioka & Honiden Laboratory
    • 2nd International Workshop on Mobility Aware Technologies and Applications, October 17-19, 2005, Montreal, Canada, October 2005
  37. Oversensing with a softbody in the environment – Another dimension of observation
    • Eric Platon, Nicolas Sabouret, and Honiden Laboratory
    • in Modeling Others from Observations at the International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, August 2005
  38. IOM/T : An Interaction Description Language
    • Takuo DOI, Nobukazu Yoshioka, Yasuyuki Tahara and Honiden Laboratory
    • The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems, July 25 to 29, 2005,The Netherlands, July 2005
  39. Agent Synthesis: Partnership and Agreement in Cooperative Mobile Agents
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara and Honiden Laboratory
    • The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), July 25 to 29, 2005, The Netherlands, July 2005
  40. Pheromone Model: Application to Traffic Congestion Prediction
    • Yasushi Ando, Yoshiaki Fukazawa, Osamu Masutani,HIroshi Sasaki, Hirotoshi Iwasaki and Honiden Laboratory
    • The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems, July 25 to 29, 2005, The Netherlands, July 2005
  41. Mobile and Cooperative Compounds of Multimedia Services
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Honiden Laboratory
    • The 2005 IEEE International Conference on Services Computing (SCC2005), July 12-15, 2005, U.S.A, July 2005
  42. Geographically Bound Mobile Agent in MANET
    • Kenji Tei, Nobukazu Yoshioka, Yoshiaki Fukazawa, and Honiden Laboratory
    • 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
  43. Overhearing and Direct Interactions: Point of View of an Active Environment -a Preliminary Study
    • Eric Platon, Nicolas Sabouret, and Honiden Laboratory
    • Second Workshop on Environments for Multi-Agent Systems, Utrecht, The Netherlands, July 2005
  44. Developing Service-Oriented Compounds of Cooperative Mobile Agents
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Honiden Laboratory
    • Workshop on Service-Oriented Computing and Agent-Based Engineering, Utrecht, The Netherlands, July 2005
  45. Pheromone Model: Application to Traffic Congestion Prediction
    • Yasushi Ando, Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki ,Yoshiaki Fukazawa, and Honiden Laboratory
    • Workshop on Engineering Self-Organizing Applications, Utrecht, The Netherlands, July 2005
  46. Knowledge Based Design Method of Agent Protocols
    • Kazunori Matsumoto, Tetsuhiro Miyahara, Yasuo Nagai and Honiden Laboratory
    • The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, July 10-13, 2005 – Orlando, Florida, USA, July 2005
  47. Multi-Agent Participatory Simulations Between Experimental Economics and Role-Playing Games
    • Paul Guyot, Alexis Drogoul and Honiden Laboratory
    • The Fourth International Workshop on Agent-based Approaches in Economics and Social Complex Systems, July 9-13, 2005, July 2005
  48. A MODEL FOR POLICY BASED SERVICE COMMUNITY
    • Hironobu Kuruma and Honiden Laboratory
    • 7th International Conference on Enterprise Information Systems(ICEIS-2005), May 25-28 2005 – Miami/USA, May 2005
  49. FRAMEWORK FOR HIERARCHICAL MOBILE AGENTS: TOWARD SERVICE-ORIENTED AGENT COMPOUND
    • Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Honiden Laboratory
    • 7th International Conference on Enterprise Information Systems(ICEIS-2005), May 25-28 2005 – Miami/USA, May 2005
  50. Modelling Interactions in Assistant Teams (IEEE Catalog Number: 05EX1041)
    • Eric Platon, Nicolas Sabouret, and Honiden Laboratory
    • The Third International Conference on Active Media Technology (AMT2005), May 19-212005 – Kagawa, Japan, May 2005
  51. Mobeet: A Multi-agent Framework for Ubiquitous Information Systems,
    • Nobukazu Yoshioka, Akihiko Ohsuga, Honiden Laboratory
    • Agent-Oriented Information Systems II, 19-35, 2005

2004

  1. Requirements analysis to cope with the concept of environment
    • Eric Platon, Nicolas Sabouret and Honiden Laboratory
    • 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 Honiden Laboratory
    • 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 Honiden Laboratory
    • 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