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.

  • 5 Similar Profiles
Model checking Engineering & Materials Science
Higher Order Mathematics
Software engineering Engineering & Materials Science
Software design Engineering & Materials Science
Model Checking Mathematics
Acoustic waves Engineering & Materials Science
Refinement Mathematics
Horn clause Mathematics

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

Research Output 2011 2019

  • 145 Citations
  • 5 h-Index
  • 15 Conference contribution
  • 6 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

Model checking

Git-based integrated uncertainty manager

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

Managers
uncertainty
manager
software development
Software engineering

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., van Sinderen, M. & Maciaszek, L. (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

Model checking
Software design
Software engineering
Uncertainty

Modular Programming and Reasoning for Living with Uncertainty

Ubayashi, N., Kamei, Y. & Sato, R., Jan 1 2019, Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers. Maciaszek, L. A., Maciaszek, L. A. & van Sinderen, M. (eds.). Springer Verlag, p. 220-244 25 p. (Communications in Computer and Information Science; vol. 1077).

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

Software Design
Model checking
Software design
Model Checking
Programming

An empirical study on weighting techniques for open source software assessment models

Nakano, D., Kamei, Y., Sato, R., Ubayashi, N., Takayama, S. & Iwasaki, T., Jan 1 2018, In : Computer Software. 35, 4, p. 136-143 8 p.

Research output: Contribution to journalArticle

Open source software
Degradation
Industry