Akihisa Yamada

According to our database, Akihisa Yamada authored at least 54 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sorted Terms.

Akihisa Yamada, René Thiemann

Arch. Formal Proofs, 2024

Verifying a Decision Procedure for Pattern Completeness.

René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2024

A Verified Algorithm for Deciding Pattern Completeness.

René Thiemann, Akihisa Yamada

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Goal-Aware RSS for Complex Scenarios via Program Logic.

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi

IEEE Trans. Intell. Veh., April, 2023

The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions.

Akihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer, Fred Mesnard, Étienne Payet

CoRR, 2023

Formalizing Results on Directed Sets.

Akihisa Yamada, Jérémy Dubut

Arch. Formal Proofs, 2023

Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl).

Akihisa Yamada, Jérémy Dubut

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk).

Akihisa Yamada

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Fixed Points Theorems for Non-Transitive Relations.

Jérémy Dubut, Akihisa Yamada

Log. Methods Comput. Sci., 2022

Tuple Interpretations for Termination of Term Rewriting.

Akihisa Yamada

J. Autom. Reason., 2022

Term Orderings for Non-reachability of (Conditional) Rewriting.

Akihisa Yamada

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

A Formalization of Weighted Path Orders and Recursive Path Orders.

Christian Sternagel, René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2021

Architecture-Guided Test Resource Allocation via Logic.

Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

Proceedings of the Tests and Proofs - 15th International Conference, 2021

Multi-Dimensional Interpretations for Termination of Term Rewriting.

Akihisa Yamada

Proceedings of the Automated Deduction - CADE 28, 2021

2020

On probabilistic term rewriting.

Martin Avanzini, Ugo Dal Lago, Akihisa Yamada

Sci. Comput. Program., 2020

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.

René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada

J. Autom. Reason., 2020

A Verified Implementation of Algebraic Numbers in Isabelle/HOL.

Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

J. Autom. Reason., 2020

A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

J. Autom. Reason., 2020

Relational Differential Dynamic Logic.

Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Certifying the Weighted Path Order (Invited Talk).

René Thiemann, Jonas Schöpf, Christian Sternagel, Akihisa Yamada

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Complete Non-Orders and Fixed Points.

Akihisa Yamada, Jérémy Dubut

Arch. Formal Proofs, 2019

Reachability Analysis for Termination and Confluence of Rewriting.

Christian Sternagel, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

The Termination and Complexity Competition.

Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.

Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Scenario Sampling for Cyber Physical Systems using Combinatorial Testing.

Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Relational differential dynamic logic: poster abstract.

Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

A verified factorization algorithm for integer polynomials with polynomial complexity.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2018

A verified LLL algorithm.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2018

A Formalization of the LLL Basis Reduction Algorithm.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper).

Jose Divasón, Sebastiaan J. C. Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Relative Termination via Dependency Pairs.

José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada

J. Autom. Reason., 2017

Subresultants.

Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2017

Classification Tree Method with Parameter Shielding.

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho

Proceedings of the Computer Safety, Reliability, and Security, 2017

A formalization of the Berlekamp-Zassenhaus factorization algorithm.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

Certifying Safety and Termination Proofs for Integer Transition Systems.

Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Proceedings of the Automated Deduction - CADE 26, 2017

2016

AC-KBO revisited.

Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp

Theory Pract. Log. Program., 2016

Polynomial Interpolation.

René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2016

Polynomial Factorization.

René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2016

Perron-Frobenius Theorem for Spectral Radius Analysis.

Jose Divasón, Ondrej Kuncar, René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2016

The Factorization Algorithm of Berlekamp and Zassenhaus.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2016

Greedy combinatorial test case generation using unsatisfiable cores.

Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Distance-Integrated Combinatorial Testing.

Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

AC Dependency Pairs Revisited.

Akihisa Yamada, Christian Sternagel, René Thiemann, Keiichirou Kusakari

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Formalizing jordan normal forms in Isabelle/HOL.

René Thiemann, Akihisa Yamada

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

A unified ordering for termination proving.

Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe

Sci. Comput. Program., 2015

Matrices, Jordan Normal Forms, and Spectral Radius Theory.

René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2015

Algebraic Numbers in Isabelle/HOL.

René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2015

Combinatorial Testing for Tree-Structured Test Models with Constraints.

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Optimization of Combinatorial Testing by Incremental SAT Solving.

Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Priority Integration for Weighted Combinatorial Testing.

Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Reducing Relative Termination to Dependency Pair Problems.

José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Nagoya Termination Tool.

Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2013

Unifying the Knuth-Bendix, recursive path and polynomial orders.

Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

A Sound Type System for Typing Runtime Errors.

Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe, Masahiko Sakai, Naoki Nishida

Inf. Media Technol., 2012