News

  • Congratulations to the paper accepted by APSEC 2017
    September 27, 2017

    Extracting Traceability between Predicates in Event-B Refinement
    Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden

  • Congratulations to the paper accepted by SETTA 2017
    September 7, 2017

    Construction of Abstract State Graphs for Understanding Event-B Models
    Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden

  • Congratulations to the paper accepted by APSys 2017
    August 29, 2017

    Bash on Ubuntu on macOS
    Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, and Shinichi Honiden

  • Congratulations to the paper accepted by Models@run.time 2017
    June 6, 2017

    Soft-Goal Approximation Context Awareness of Goal-driven Self-Adaptive Systems
    Aurélien Vialon, Kenji Tei and Samir Aknin

  • Congratulations to the paper accepted by TAP 2017
    May 9, 2017

    Test Suite Reduction in Idempotence Testing of Infrastructure as Code
    Katsuhiro Ikeshita, Fuyuki Ishikawa and Shinichi Honiden

  • Congratulations to the paper accepted by SAC 2017
    November 24, 2016

    Learning environment model at runtime for self-adaptive systems
    Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden

  • Congratulations to the paper accepted by FM 2016
    August 17, 2016

    Refactoring Refinement Structures of Event-B Machines
    Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden

  • Congratulations to the paper accepted by ICFEM 2016
    July 21, 2016

    Automatic Generation of Potentially Pathological Instances for Validating Alloy Models
    Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden

  • Congratulations to the paper accepted by EuroSys
    June 30, 2016

    Optimizing Distributed Actor Systems for Dynamic Interactive Services
    Andrew Newell, Gabriel Kliot, Ishai Menache, Aditya Gopalan, Soramichi Akiyama, Mark Silberstein

  • Congratulations to the paper accepted by IEICE Transactions on Information and Systems
    June 30, 2016

    Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN

    Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden

  • Congratulations to the paper accepted by ER 2016
    June 30, 2016

    Stepwise Refinement of Software Development Problem Analysis
    Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden

  • Congratulations to the paper accepted by SEAMS '16
    June 15, 2016

    Assured and correct dynamic update of controllers
    L. Nahabedian FCEN, Universidad de Buenos Aires, Argentina
    V. Braberman FCEN, Universidad de Buenos Aires, Argentina
    N. D'Ippolito FCEN, Universidad de Buenos Aires, Argentina
    S. Honiden National Institute of Informatics, Japan
    J. Kramer Imperial College London, UK
    K. Tei National Institute of Informatics, Japan
    S. Uchitel Universidad de Buenos Aires, UK
    Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS' 2016), June 2016

  • Congratulations to the paper accepted by ICST 2016
    June 15, 2016

    MuVM: Higher Order Mutation Analysis Virtual Machine for C
    Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
    IEEE International Conference on Software Testing, Verification and Validation(ICST 2016), April 2016

  • Congratulations to the paper accepted by ISSTA 2015
    June 15, 2016

    Feedback-controlled Random Test Generation
    Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
    International Symposium on Software Testing and Analysis (ISSTA 2015), July 2015

  • Congratulations to the paper accepted by ASE 2014
    July 26, 2014
    • Validating Ajax Applications Using a Delay-Based Mutation Technique
    • Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden
    • The 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) , September 2014 (to appear)
  • Congratulations to the paper accepted by IEEE CLOUD 2014
    March 31, 2014
    • Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel
    • Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
    • The 2014 IEEE 7th International Conference on Cloud Computing (IEEE CLOUD'14), June 2014 (to appear)
  • Congratulations to the paper accepted by ICPC 2014
    March 24, 2014
    • An Approach for Evaluating and Suggesting Method Names using N-gram Models
    • Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
    • 22nd International Conference on Program Comprehension (ICPC 2014), June 2014 (to appear)
  • Congratulations to the paper accepted by ABZ 2014
    March 24, 2014
    • Understanding and Planning Event-B Refinement through Primitive Rationales
    • Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
    • 4th International ABZ 2014 Conference, June 2014 (to appear)
  • Congratulations to the paper accepted by ICST 2014
    February 17, 2014
    • 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), March 2014 (to appear)
  • Congratulations to the paper accepted by AAMAS 2014
    December 20, 2013
    • 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), May 2014 (to appear)
  • Congratulations to the paper accepted by IEEE Transactions on Services Computing
    December 11, 2013
    • Robust Service Compositions with Functional and Location Diversity
    • Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden
    • IEEE Transactions on Services Computing, 2014 (to appear)
  • Congratulations to the paper accepted by CPSNA 2013
    August 23, 2013
    • 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
  • Congratulations to the paper accepted by ASE 2013
    July 25, 2013
    • Automated Verification of Pattern-based Interaction Invariants in Ajax Applications
    • Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe and Shinichi Honiden
    • The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13), November 2013 (to appear)
  • Congratulations to the paper accepted by ICIMCS'13
    June 16, 2013
    • Automatic Image Description by Using Word-level Features
    • Shingo Horiuch, Hirotaka Moriguch, Shengbo Xu, Shinichi Honiden
    • The 4th International Conference on Internet Multimedia Computing and Service (ICIMCS'12), August 2013 (to appear)
  • Congratulations to the paper accepted by ICWS 2013
    April 30, 2013

     

    • Intention-based Automated Composition Approach for Coordination Protocol
    • Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa
    • IEEE 11th International Conference on Web Services (ICWS2013) (Application & Experience Track), June 2013 (to appear)
  • Congratulations to the paper accepted by CEC 2013
    April 23, 2013
    • Sample Efficiency Analysis of Neuroevolution Algorithms on a Quadruped Robot
    • Shengbo Xu, Hirotaka Moriguch and Shinichi Honiden
    • 2013 IEEE Congress on Evolutionary Computation (CEC' 13), June 2013 (to appear)
  • Congratulations to the paper accepted by SEKE 2013
    April 21, 2013
    • Mutation Analysis for JavaScript Web Applications Testing
    • Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki and Shinichi Honiden
    • The 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13), June 2013 (to appear)
  • Congratulations to the paper accepted by RE 2013
    April 11, 2013
    •  
    • A Goal Model Elaboration for Localizing Changes in Software Evolution
    • Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
    • 21st IEEE International Requirements Engineering Conference (RE'13), July 2013 (to appear)
  • Congratulations to the paper accepted by IPSN 2013
    March 8, 2013

     

    • Data Quality-Centric Model-Driven Development Process for Wireless Sensor Network Applications
    • Ryo Shimizu
    • The 12th ACM/IEEE Int. Conference on Information Processing in Sensor Network (IPSN 2013), Ph.D. Forum, April 2013 (to appear)
  • Congratulations to the paper accepted by CCGrid 2013
    March 4, 2013

     

    • Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation
    • Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
    • The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'13), Doctral Symposium, May 2013 (to appear)
  • Congratulations to the paper accepted by Sensors & Transducers
    January 21, 2013

     

    • Faults in Sensory Readings: Classification and Model Learning
    • Valentina Baljak, Tei Kenji, Shinichi Honiden
    • Sensors & Transducers, Vol.18, 177-187, January 2013 (to appear)
  • Congratulations to the paper accepted by Procedia Computer Science
    January 9, 2013

     

    • S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study
    • Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, , Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
    • Procedia Computer Science, Vol.10, 30-37, 2012
  • Congratulations to the paper accepted by IEEE ISSNIP 2013
    December 26, 2012
    • 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 (to appear)
  • Congratulations to the paper accepted by IEEE Transactions on Services Computing
    December 19, 2012

     

    • SanGA: A Self-adaptive Network-aware Approach to Service Composition
    • Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
    • IEEE Transactions on Services Computing, 2013 (to appear)
  • Congratulations to the paper accepted by DS-Event-B 2012
    October 16, 2012
    •  
    • Towards Refinement Strategy Planning for Event-B
    • Tsutomu Kobayashi and Shinichi Honiden
    • Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B'12) in conjunction with ICFEM, November 2012 (to appear)
  • Congratulations to the best paper award on SENSORCOMM 2012
    October 12, 2012

    Valentina Baljak won the Best Paper Award on SENCORCOMM 2012.

     

    • SENSORCOMM 2012, Best Paper Award
    • Winners:Valentina Baljak, Kenji Tei, Shinichi Honiden
    • Date:August 2012
    • Paper:Classification of Faults in Sensor Readings withStatistical Pattern Recognition
    • Association:International Academy, Research, and Industry Association
  • Call for Internships
    October 5, 2012

    We updated a Call for internships page.

  • Congratulations to the paper accepted by IEEE MASS2012
    July 18, 2012

     

    • A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks
    • Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello
    • The 9th IEEE International Conference on Mobile Ad hoc and Sensor Systems (IEEE MASS2012), October 2012 (to appear)
  • Congratulations to the best paper award on SENSORCOMM 2012
    October 12, 2012

    Valentina Baljak won the Best Paper Award on SENCORCOMM 2012.

     

    • SENSORCOMM 2012, Best Paper Award
    • Winners:Valentina Baljak, Kenji Tei, Shinichi Honiden
    • Date:August 2012
    • Paper:Classification of Faults in Sensor Readings withStatistical Pattern Recognition
    • Association:International Academy, Research, and Industry Association
  • Call for Internships
    October 5, 2012

    We updated a Call for internships page.

  • Congratulations to the paper accepted by IEEE MASS2012
    July 18, 2012

     

    • A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks
    • Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello
    • The 9th IEEE International Conference on Mobile Ad hoc and Sensor Systems (IEEE MASS2012), October 2012 (to appear)
  • Congratulations to the paper accepted by SEAL2012
    July 17, 2012

     

    • Efficient Neuroevolution for a Quadruped Robot
    • Xu Shengbo, Hirotaka Moriguchi,Shinichi Honiden
    • The Ninth International Conference on Simulated Evolution And Learning (SEAL 2012), December 2012 (to appear)
  • Congratulations to the paper accepted by SENSORCOMM2012
    June 1, 2012

     

    • Classification of Faults in Sensor Readings with Statistical Pattern Recognition
    • Valentina Baljak, Kenji Tei, and Shinichi Honiden
    • The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012), August 2012 (to appear)
  • Congratulations to the paper accepted by IEEE CLOUD2012
    May 4, 2012
    • MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation
    • Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
    • The 5th International Conference on Cloud Computing (IEEE CLOUD 2012) (Application & Experience Track), June 2012 (to appear)
  • Congratulations to 4 papers accepted by ICWS2012
    May 3, 2012

     

    • Multi-objective Service Composition with Time- and Input-Dependent QoS
    • Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden
    • The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), June 2012 (to appear)
    •  
    • 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), June 2012 (to appear)
    •  
    • 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), June 2012 (to appear)
    •  
    • 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), June 2012 (to appear)
  • Congratulations to the paper accepted by ANT-2012
    April 19, 2012

     

    • S-CLAIM: An Agent-based Programming language for AmI, A Smart-Room Case Study
    • Valantina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, RyoShimizu, Kenji Tei and Susumu Toriumi
    • The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012), August 2012 (to appear)
  • Congratulations to the paper accepted by ICWE2012
    April 17, 2012

     

    • Supporting View Transition Design of Smartphone Applications Using Web Templates
    • Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa and Shinichi Honiden
    • 12th International Conference on Web Engineering (ICWE'12), July 2012 (to appear)
  • Congratulations to the paper accepted by SESENA2012
    March 21, 2012

    Congratulations to the paper accepted by SESENA2012 for two consecutive years.

     

    • 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), June 2012 (to appear)
  • Congratulations to the paper accepted by GECCO2012
    March 14, 2012

     

    • CMA-TWEANN: Efficient Neuroevolution via Synthetic Evolution
    • Hirotaka Moriguchi and Shinichi Honiden
    • Genetic and Evolutionary Computation Conference (GECCO2012), July 2012 (to appear)
  • Congratulations to the poster accepted by IPSN2012
    February 21, 2012

     

    • Fault Detection in Wireless Sensor Networks: a Hybrid Approach
    • Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello
    • Poster session of the 11th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN'12), April 2012 (to appear)
  • Congratulations to 2 papers accepted by WWW2012
    January 28, 2012

    Congratulations to 2 papers accepted by WWW2012.

    • 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 (to appear)
    •  
    • 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 (to appear)
  • Congratulations to the paper accepted by CSMR2012
    January 15, 2012

     

    • Extracting Interaction-Based Stateful Behavior in Rich Internet Applications
    • Yuta Maezawa, Hironori Washizaki and Shinichi Honiden
    • The 16th European Conference on Software Maintenance and Reengineering (CSMR'12) (Early Research Achievements Track), March 2012 (to appear)
  • CEA-NII Workshop
    October 19, 2011

    CEA-NII Workshop was held on October 12, 2011 in LETI(Grenoble, France), organized by Honiden Laboratory and CEA (French Alternative Energies and Atomic Energy Commission) .

  • Sixth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems
    October 19, 2011

    Sixth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems was held on October 10-11, 2011 in LIP6 (Paris, France), organized by Honiden Laboratory and LIP6.

  • The 10th anniversary party of Honiden Laboratory
    October 17, 2011

    We celebrated the 10th anniversary of our laboratory!!

  • Congratulations to the paper accepted by EUC2011
    August 2, 2011

     

    • Assignment of Sensors for Multiple Tasks Using Path Information
    • Susumu Toriumi, Shinichi Honiden
    • 9th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-2011), October 2011 (to appear)
  • Congratulations to the paper accepted by ICAIS2011
    July 11, 2011

     

    • Utility‐based Self‐Adaption with Environment Specific Quality Models
    • Camilo Fitzgerald, Benjamin Klöpper, Shinichi Honiden
    • 2011 International Conference on Adaptive and Intelligent Systems (ICAIS'11), September 2011 (to appear)
  • Congratulations to the paper accepted by SASO2011
    June 22, 2011

     

    • Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks
    • Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden and Morris Sloman
    • Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'11), October 2011 (to appear)
  • Congratulations to the paper accepted by ECAL2011
    June 14, 2011
      • Learning Symbolic Forward Models for Robotic Motion Planning and Control
      • Hirotaka Moriguchi, Hod Lipson
      • European Conference of Artificial Life (ECAL 2011), August 2011 (to appear)
  • Lero-NII-OU Workshop on "Evolving Critical Systems"
    June 14, 2011

    Lero-NII-OU Workshop on "Evolving Critical Systems" was held in University of Limerick (Ireland) on 9-10 June, 2011. Professors and students in our lab attended and presented their research works.

  • List of alumni is released
    May 14, 2011

    Check out the alumni page.

  • List of theses is released
    May 12, 2011

    Check out the thesis page

  • 3 papers are accepted by ICWS2011 and 1 paper is accepted by SCC2011
    May 9, 2011

    Congratulations to the 3 papers accepted by ICWS2011 and the paper accepted by SCC2011:

      • Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures
      • Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden
      • The 8th International Conference on Services Computing (SCC 2011), July 2011 (to appear)
      • Efficient Heuristic Approach with Improved Time Complexity for QoS-aware Service Composition
      • Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
      • The 9th International Conference on Web Services (ICWS 2011) (Application and Experience Track), July 2011 (to appear)
      • QoS-aware Automatic Service Composition by Applying Functional Clustering
      • Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
      • The 9th International Conference on Web Services (ICWS 2011), July 2011 (to appear)
      • Service Selection with Combinational Use of Functionally-Equivalent Services
      • Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden
      • The 9th International Conference on Web Services (ICWS 2011), July 2011 (to appear)
  • A new intern, Alexandre PICHOT, has joined the lab.
    May 9, 2011

    A new intern, Alexandre PICHOT (LIP6) has joined the lab. He will stay for five months working with Johan Nystrom-Persson.

  • "Publications" pages are released
    May 4, 2011

    We have released the publication pages including "Journal", "International Conference" and "Book".

Syndicate content