Topics

Our paper for SEAMS2019、RoSE2019、IEICE Transactions on Information and Systems were accepted.

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

Attnding to CPSS2018

On December 20-22 2018, Third International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 was held in Hakone. Participants presented their research and discuss the cyber physical social systems. Participants are from various countries including Canada, the U.K., Chine and so on. From our laboratory, Tei-sensei, Aizawa-san and Tanabe-san introduced their research there.