Pureに変更を加えた場合、すぐここに表示されます。

フィンガープリント Ryosuke Satoが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。

  • 9 同様のプロファイル

ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

研究成果

  • 175 引用
  • 6 h指数
  • 17 Conference contribution
  • 8 Article

Combining higher-order model checking with refinement type inference

Sato, R., Iwayama, N. & Kobayashi, N., 1 14 2019, PEPM 2019 - Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2019. Hermenegildo, M. & Igarashi, A. (版). Association for Computing Machinery, Inc, p. 47-53 7 p. (PEPM 2019 - Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2019).

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 引用 (Scopus)

    Git-based integrated uncertainty manager

    Ubayashi, N., Watanabe, T., Kamei, Y. & Sato, R., 5 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019. Institute of Electrical and Electronics Engineers Inc., p. 95-98 4 p. 8802863. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019).

    研究成果: Chapter in Book/Report/Conference proceedingConference contribution

  • IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns

    Ubayashi, N., Kamei, Y. & Sato, R., 1 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., Maciaszek, L. & van Sinderen, M. (版). SciTePress, p. 176-184 9 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

    研究成果: Chapter in Book/Report/Conference proceedingConference contribution

  • IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns

    Ubayashi, N., Kamei, Y. & Sato, R., 1 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., Maciaszek, L. & van Sinderen, M. (版). SciTePress, p. 176-184 9 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

    研究成果: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 引用 (Scopus)