News

  • 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

Syndicate content