ニュース

  • SAC 2017に論文が採択されました
    November 24, 2016

    修士2年の田邉さんの研究が、SAC 2017に採択されました.

     

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

  • FM 2016に論文が採択されました
    August 17, 2016

    博士3年の小林くんの研究が、FM 2016に採択されました.

     

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

  • ICFEM 2016に論文が採択されました
    July 21, 2016

    修士1年の佐伯くんの研究が、ICFEM 2016に採択されました.

     

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

Syndicate content