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
Acoustic waves Engineering & Materials Science
Refinement Mathematics
Horn clause Mathematics
Recursive functions Engineering & Materials Science
Program Verification Mathematics

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

Research Output 2011 2019

  • 147 Citations
  • 5 h-Index
  • 16 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

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

Programming
Reasoning
Uncertainty
Software engineering
Software Development

When and Why Do Software Developers Face Uncertainty?

Ubayashi, N., Kamei, Y. & Sato, R., Jul 2019, Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019. Institute of Electrical and Electronics Engineers Inc., p. 288-299 12 p. 8854688. (Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019).

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

Uncertainty
Software engineering
Defects