News

  • 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

  • Congratulations to the paper accepted by EuroSys
    June 30, 2016

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

Syndicate content