News

  • 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)
Syndicate content