Akihisa Yamada

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 53

Top Topics

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

René Thiemann, Akihisa Yamada
A Verified Algorithm for Deciding Pattern Completeness. FSCD (2024)
René Thiemann, Akihisa Yamada
Verifying a Decision Procedure for Pattern Completeness. Arch. Formal Proofs 2024 (2024)
Akihisa Yamada, René Thiemann
Sorted Terms. Arch. Formal Proofs 2024 (2024)
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
Goal-Aware RSS for Complex Scenarios via Program Logic. IV (2024)
Akihisa Yamada
Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk). FSCD (2023)
Akihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer, Fred Mesnard, Étienne Payet
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions. CoRR (2023)
Akihisa Yamada, Jérémy Dubut
Formalizing Results on Directed Sets. Arch. Formal Proofs 2023 (2023)
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
Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 8 (4) (2023)
Akihisa Yamada, Jérémy Dubut
Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl). ITP (2023)
Jérémy Dubut, Akihisa Yamada
Fixed Points Theorems for Non-Transitive Relations. Log. Methods Comput. Sci. 18 (1) (2022)
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
Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR (2022)
Akihisa Yamada
Term Orderings for Non-reachability of (Conditional) Rewriting. IJCAR (2022)
Akihisa Yamada
Tuple Interpretations for Termination of Term Rewriting. J. Autom. Reason. 66 (4) (2022)
Christian Sternagel, René Thiemann, Akihisa Yamada
A Formalization of Weighted Path Orders and Recursive Path Orders. Arch. Formal Proofs 2021 (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation Via Logic. CoRR (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF (2021)
Akihisa Yamada
Multi-Dimensional Interpretations for Termination of Term Rewriting. CADE (2021)
Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational Differential Dynamic Logic. TACAS (1) (2020)
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
On probabilistic term rewriting. Sci. Comput. Program. 185 (2020)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. J. Autom. Reason. 64 (4) (2020)
René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. J. Autom. Reason. 64 (5) (2020)
René Thiemann, Jonas Schöpf, Christian Sternagel, Akihisa Yamada
Certifying the Weighted Path Order (Invited Talk). FSCD (2020)
Jérémy Dubut, Akihisa Yamada
Fixed Points Theorems for Non-Transitive Relations. CoRR (2020)
Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A Verified Implementation of Algebraic Numbers in Isabelle/HOL. J. Autom. Reason. 64 (3) (2020)
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational differential dynamic logic: poster abstract. HSCC (2019)
Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada
The Termination and Complexity Competition. TACAS (3) (2019)
Akihisa Yamada, Jérémy Dubut
Complete Non-Orders and Fixed Points. ITP (2019)
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational Differential Dynamic Logic. CoRR (2019)
Akihisa Yamada, Jérémy Dubut
Complete Non-Orders and Fixed Points. Arch. Formal Proofs 2019 (2019)
Christian Sternagel, Akihisa Yamada
Reachability Analysis for Termination and Confluence of Rewriting. TACAS (1) (2019)
Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. ICST Workshops (2019)
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
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A verified LLL algorithm. Arch. Formal Proofs 2018 (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A verified factorization algorithm for integer polynomials with polynomial complexity. Arch. Formal Proofs 2018 (2018)
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
On Probabilistic Term Rewriting. CoRR (2018)
Jose Divasón, Sebastiaan J. C. Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada
Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). CPP (2018)
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
On Probabilistic Term Rewriting. FLOPS (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A Formalization of the LLL Basis Reduction Algorithm. ITP (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A formalization of the Berlekamp-Zassenhaus factorization algorithm. CPP (2017)
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho
Classification Tree Method with Parameter Shielding. SAFECOMP (2017)
José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
Relative Termination via Dependency Pairs. J. Autom. Reason. 58 (3) (2017)
Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
Certifying Safety and Termination Proofs for Integer Transition Systems. CADE (2017)
Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
Subresultants. Arch. Formal Proofs 2017 (2017)
Jose Divasón, Ondrej Kuncar, René Thiemann, Akihisa Yamada
Perron-Frobenius Theorem for Spectral Radius Analysis. Arch. Formal Proofs 2016 (2016)
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
AC-KBO revisited. Theory Pract. Log. Program. 16 (2) (2016)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
The Factorization Algorithm of Berlekamp and Zassenhaus. Arch. Formal Proofs 2016 (2016)
Akihisa Yamada, Christian Sternagel, René Thiemann, Keiichirou Kusakari
AC Dependency Pairs Revisited. CSL (2016)
Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi
Greedy combinatorial test case generation using unsatisfiable cores. ASE (2016)
René Thiemann, Akihisa Yamada
Polynomial Factorization. Arch. Formal Proofs 2016 (2016)
Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada
Distance-Integrated Combinatorial Testing. ISSRE (2016)
René Thiemann, Akihisa Yamada
Polynomial Interpolation. Arch. Formal Proofs 2016 (2016)
René Thiemann, Akihisa Yamada
Formalizing jordan normal forms in Isabelle/HOL. CPP (2016)
René Thiemann, Akihisa Yamada
Algebraic Numbers in Isabelle/HOL. ITP (2016)
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere
Optimization of Combinatorial Testing by Incremental SAT Solving. ICST (2015)
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe
A unified ordering for termination proving. Sci. Comput. Program. 111 (2015)
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi
Combinatorial Testing for Tree-Structured Test Models with Constraints. QRS (2015)
René Thiemann, Akihisa Yamada
Algebraic Numbers in Isabelle/HOL. Arch. Formal Proofs 2015 (2015)
José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
Reducing Relative Termination to Dependency Pair Problems. CADE (2015)
René Thiemann, Akihisa Yamada
Matrices, Jordan Normal Forms, and Spectral Radius Theory. Arch. Formal Proofs 2015 (2015)
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa
Priority Integration for Weighted Combinatorial Testing. COMPSAC (2015)
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe
Nagoya Termination Tool. RTA-TLCA (2014)
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
AC-KBO Revisited. CoRR (2014)
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe
A Unified Ordering for Termination Proving. CoRR (2014)
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe
Nagoya Termination Tool. CoRR (2014)
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
AC-KBO Revisited. FLOPS (2014)
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe
Unifying the Knuth-Bendix, recursive path and polynomial orders. PPDP (2013)