If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Ryosuke Sato is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 9 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 174 Citations
  • 6 h-Index
  • 17 Conference contribution
  • 8 Article

Combining higher-order model checking with refinement type inference

Sato, R., Iwayama, N. & Kobayashi, N., Jan 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. (eds.). 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Citation (Scopus)

    Git-based integrated uncertainty manager

    Ubayashi, N., Watanabe, T., Kamei, Y. & Sato, R., May 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).

    Research output: 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., Jan 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., Maciaszek, L. & van Sinderen, M. (eds.). SciTePress, p. 176-184 9 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

    Research output: 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., Jan 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., Maciaszek, L. & van Sinderen, M. (eds.). SciTePress, p. 176-184 9 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Citation (Scopus)