| A general model checking framework for various memory consistency models T Abe, T Maeda International Journal on Software Tools for Technology Transfer 19 (5), 623-647, 2017 | 19 | 2017 |
| Model checking copy phases of concurrent copying garbage collection with various memory models T Ugawa, T Abe, T Maeda Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017 | 11 | 2017 |
| Reducing state explosion for software model checking with relaxed memory consistency models T Abe, T Ugawa, T Maeda, K Matsumoto Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016 | 11 | 2016 |
| Concurrent program logic for relaxed memory consistency models with dependencies across loop iterations T Abe, T Maeda Journal of Information Processing 25, 244-255, 2017 | 10 | 2017 |
| Observation-based concurrent program logic for relaxed memory consistency models T Abe, T Maeda Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016 | 10 | 2016 |
| Model checking stencil computations written in a partitioned global address space language T Abe, T Maeda, M Sato 2013 IEEE International Symposium on Parallel & Distributed Processing …, 2013 | 9 | 2013 |
| Polymorphic computation systems: Theory and practice of confluence with call-by-value M Hamana, T Abe, K Kikuchi Science of Computer Programming 187, 102322, 2020 | 8 | 2020 |
| Model checking with user-definable abstraction for partitioned global address space languages T Abe, T Maeda, M Sato Proceedings of the 6th Conference on Partitioned Global Address Space …, 2012 | 8 | 2012 |
| Xcrypt: a perl extension for job level parallel programming T Hiraishi, T Abe, T Iwashita, H Nakashima Proceedings of the WHIST, 2012 | 8 | 2012 |
| Optimization of a general model checking framework for various memory consistency models T Abe, T Maeda Proceedings of the 8th International Conference on Partitioned Global …, 2014 | 7 | 2014 |
| Model Checking with User-Definable Memory Consistency Models T Abe, T Maeda 7th International Conference on PGAS Programming Models, 225, 2013 | 6 | 2013 |
| Auto-tuning of Numerical Programs by Block Multi-color Ordering Code Generation and Job-Level Parallel Execution T Abe, M Sato High Performance Computing for Computational Science-VECPAR 2012, 404-419, 2013 | 4 | 2013 |
| Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN K Matsumoto, T Ugawa, T Abe Journal of Information Processing 26, 314-326, 2018 | 3 | 2018 |
| A verifier of directed acyclic graphs for model checking with memory consistency models T Abe Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 3 | 2017 |
| Completeness of modal proofs in first-order predicate logic T Abe Computer Software 24 (4), 165-177, 2007 | 3 | 2007 |
| Reordering control approaches to state explosion in model checking with memory consistency models T Abe, T Ugawa, T Maeda Verified Software. Theories, Tools, and Experiments: 9th International …, 2017 | 2 | 2017 |
| 柔軟かつ直観的な記述が可能なジョブ並列スクリプト言語 Xcrypt 平石拓， 安部達也， 三宅洋平， 岩下武史， 中島浩 先進的計算基盤システムシンポジウム SACSIS2010 論文集 2010 (5), 183-191, 2010 | 2 | 2010 |
| Formalization of system LSI specification and automatic generation of verification items T Abe, T Higuchi, R Imai, Y Kinoshita, S Nakano, K Okamoto, M Saito, ... Supplementary Proceedings of TESTCOM/FATES 2008, 75-76, 2008 | 2 | 2008 |
| A typed lambda-calculus with first-class configurations T Abe, D Kimura Journal of Logic and Computation 33 (7), 1527-1565, 2023 | 1 | 2023 |
| The System SOL: Second-Order Laboratory M Hamana, T Abe, Y Murase, K Sakaguchi 6th International Workshop on Confluence, 79, 2020 | 1 | 2020 |
Mitsuhisa SatoRIKEN Center for Computational Sciencecs.tsukuba.ac.jp üzerinde doğrulanmış e-posta adresine sahip