ニュース

  • Models@run.time 2017に論文が採択されました
    June 6, 2017

    博士2年のAurelienくんの研究が, Models@run.time_2017に採択されました.

     

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

  • TAP 2017に論文が採択されました
    May 9, 2017

    修了生の池下さんの研究が,TAP 2017に採択されました.

     

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

  • 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