| Predicate abstraction and CEGAR for higher-order model checking N Kobayashi, R Sato, H Unno Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 163 | 2011 |
| ICE-based refinement type discovery for higher-order functional programs A Champion, T Chiba, N Kobayashi, R Sato Journal of Automated Reasoning 64 (7), 1393-1418, 2020 | 65 | 2020 |
| Towards a scalable software model checker for higher-order programs R Sato, H Unno, N Kobayashi Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 52 | 2013 |
| Temporal verification of higher-order functional programs A Murase, T Terauchi, N Kobayashi, R Sato, H Unno Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 31 | 2016 |
| Verifying relational properties of functional programs by first-order refinement K Asada, R Sato, N Kobayashi Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015 | 28 | 2015 |
| Predicate abstraction and CEGAR for disproving termination of higher-order functional programs T Kuwahara, R Sato, H Unno, N Kobayashi International Conference on Computer Aided Verification, 287-303, 2015 | 21 | 2015 |
| Automatically disproving fair termination of higher-order functional programs K Watanabe, R Sato, T Tsukada, N Kobayashi ACM SIGPLAN Notices 51 (9), 243-255, 2016 | 9 | 2016 |
| Modular verification of higher-order functional programs R Sato, N Kobayashi Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 8 | 2017 |
| Can Abstraction Be Taught? Refactoring-based Abstraction Learning. N Ubayashi, Y Kamei, R Sato MODELSWARD, 429-437, 2018 | 6 | 2018 |
| Exploring uncertainty in GitHub OSS projects: when and how do developers face uncertainty? N Ubayashi, H Muraoka, D Muramoto, Y Kamei, R Sato Proceedings of the 40th International Conference on Software Engineering …, 2018 | 4 | 2018 |
| Modular programming and reasoning for living with uncertainty N Ubayashi, Y Kamei, R Sato Software Technologies: 13th International Conference, ICSOFT 2018, Porto …, 2019 | 3 | 2019 |
| Git-based integrated uncertainty manager N Ubayashi, T Watanabe, Y Kamei, R Sato 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 2 | 2019 |
| Refinement type checking via assertion checking R Sato, K Asada, N Kobayashi Journal of information processing 23 (6), 827-834, 2015 | 2 | 2015 |
| iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns. N Ubayashi, Y Kamei, R Sato ICSOFT, 210-218, 2018 | 1 | 2018 |
| MoCHi: Software Model Checker for a Higher-Order Functional Language R Sato, H Unno, N Kobayashi | 1 | |
| Stack Overflow を利用した自動バグ修正の検討 廣瀬賢幸， 鵜林尚靖， 亀井靖高， 佐藤亮介 コンピュータ ソフトウェア 35 (4), 144-150, 2018 | | 2018 |
| OSS 事前品質評価における重み付け手法の実証実験 中野大扉， 亀井靖高， 佐藤亮介， 鵜林尚靖， 高山修一， 岩崎孝司 コンピュータ ソフトウェア 35 (4), 136-143, 2018 | | 2018 |
| Toward automatic program repair using knowledge extracted from stack overflow M Hirose, N Ubayashi, Y Kamei, R Sato Computer Software 35 (4), 144-150, 2018 | | 2018 |
| An empirical study on weighting techniques for open source software assessment models D Nakano, Y Kamei, R Sato, U Naoyasu, S Takayama, T Iwasaki Computer Software 35 (4), 136-143, 2018 | | 2018 |
| OSS プロジェクトにおける Tangled コミットの実証分析 三浦圭裕， 亀井靖高， 鵜林尚靖， 佐藤亮介 日本ソフトウェア科学会大会論文集/日本ソフトウェア科学会 編 34, 637-640, 2017 | | 2017 |
Naoki KobayashiThe University of TokyoGeverifieerd e-mailadres voor is.s.u-tokyo.ac.jp
