Akihisa Yamada
Akihisa Yamada
National Institute of Informatics, Japan
Verified email at trs.cm.is.nagoya-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
Optimization of combinatorial testing by incremental SAT solving
A Yamada, T Kitamura, C Artho, EH Choi, Y Oiwa, A Biere
8th International Conference on Software Testing, Verification and …, 2015
332015
Nagoya termination tool
A Yamada, K Kusakari, T Sakabe
Joint 25th International Conference on Rewriting Techniques and Applications …, 2014
312014
Greedy combinatorial test case generation using unsatisfiable cores
A Yamada, A Biere, C Artho, T Kitamura, EH Choi
31st IEEE/ACM International Conference on Automated Software Engineering …, 2016
242016
On Probabilistic Term Rewriting
M Avanzini, U Dal Lago, A Yamada
14th International Symposium on Functional and Logic Programming (FLOPS 2018 …, 2018
222018
Formalizing Jordan normal forms in Isabelle/HOL
R Thiemann, A Yamada
5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016), 88-99, 2016
212016
A formalization of the Berlekamp-Zassenhaus factorization algorithm
J Divasón, S Joosten, R Thiemann, A Yamada
6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), 17-29, 2017
172017
Algebraic numbers in Isabelle/HOL
R Thiemann, A Yamada
9th International Conference on Interactive Theorem Proving, 391-408, 2016
162016
Matrices, Jordan normal forms, and spectral radius theory
R Thiemann, A Yamada
Archive of Formal Proofs 2015, 2015
16*2015
A unified ordering for termination proving
A Yamada, K Kusakari, T Sakabe
Science of Computer Programming 111, 110-134, 2015
152015
TOOLympics 2019: An overview of competitions in formal methods
E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
132019
Priority integration for weighted combinatorial testing
EH Choi, T Kitamura, C Artho, A Yamada, Y Oiwa
IEEE 39th Annual Computer Software and Applications Conference (COMPSAC 2015 …, 2015
122015
The termination and complexity competition
J Giesl, A Rubio, C Sternagel, J Waldmann, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2019
112019
Combinatorial testing for tree-structured test models with constraints
T Kitamura, A Yamada, G Hatayama, C Artho, EH Choi, NTB Do, Y Oiwa, ...
IEEE International Conference on Software Quality, Reliability and Security …, 2015
82015
Certifying safety and termination proofs for integer transition systems
M Brockschmidt, SJC Joosten, R Thiemann, A Yamada
26th International Conference on Automated Deduction (CADE-26), 454-471, 2017
72017
Unifying the Knuth-Bendix, recursive path and polynomial orders
A Yamada, K Kusakari, T Sakabe
15th Symposium on Principles and Practice of Declarative Programming (PPDP …, 2013
72013
A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm
J Divasón, SJC Joosten, R Thiemann, A Yamada
Journal of Automated Reasoning, 1-37, 2019
62019
Reachability analysis for termination and confluence of rewriting
C Sternagel, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2019
62019
Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper)
J Divasón, S Joosten, O Kunčar, R Thiemann, A Yamada
7th ACM SIGPLAN International Conference on Certified Programs and Proofs …, 2018
62018
Distance-integrated combinatorial testing
EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada
IEEE 27th International Symposium on Software Reliability Engineering (ISSRE …, 2016
62016
AC dependency pairs revisited
A Yamada, C Sternagel, R Thiemann, K Kusakari
25th EACSL Annual Conference on Computer Science Logic (CSL 2016), 8:1-8:16, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20