ニュース

  • 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

  • EuroSysに論文が採択されました
    June 29, 2016

    2015年博士修了の穐山くんの研究が、EuroSysに採択されました.

     

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

Syndicate content