The following papers are accepted by SEAMS2019、RoSE2019、IEICE Transactions on Information and Systems.

  • Detecting Latent Structure Uncertainty with Structural EntropyModelling and Analysing Resilient Cyber-Physical Systems
    Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinishi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos and Haiyan Zhao
    the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019) pp.1-7 2019年5月
  • A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
    Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
    2nd International Workshop on Robotics Software Engineering (RoSE 2019) 2019年5月
  • Change Impact Analysis for Refinement-based Formal Specification,Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden,
    The IEICE Transactions on Information and Systems, to appear