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

Research Output

  • 175 Citations
  • 6 h-Index
  • 17 Conference contribution
  • 8 Article
Filter
Article
2018

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

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

Research output: Contribution to journalArticle

Toward automatic program repair using knowledge extracted from stack overflow

Hirose, M., Ubayashi, N., Kamei, Y. & Sato, R., Jan 1 2018, In : Computer Software. 35, 4, p. 144-150 7 p.

Research output: Contribution to journalArticle

2017

Verifying relational properties of functional programs by first-order refinement

Asada, K., Sato, R. & Kobayashi, N., Apr 1 2017, In : Science of Computer Programming. 137, p. 2-62 61 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2016

Automatically disproving fair termination of higher-order functional programs

Watanabe, K., Sato, R., Tsukada, T. & Kobayashi, N., Sep 4 2016, In : ACM SIGPLAN Notices. 51, 9, p. 243-255 13 p.

Research output: Contribution to journalArticle

Temporal verification of higher-order functional programs

Murase, A., Terauchi, T., Kobayashi, N., Sato, R. & Unno, H., Apr 8 2016, In : ACM SIGPLAN Notices. 51, 1, p. 57-68 12 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)
2015

Refinement type checking via assertion checking

Sato, R., Asada, K. & Kobayashi, N., Nov 15 2015, In : Journal of information processing. 23, 6, p. 827-834 8 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
2011

Ordered types for stream processing of tree-structured data

Sato, R., Suenaga, K. & Kobayashi, N., Jan 1 2011, In : Journal of information processing. 19, p. 74-87 14 p.

Research output: Contribution to journalArticle