Yuki Chiba

According to our database, Yuki Chiba authored at least 25 papers between 2005 and 2021.

Collaborative distances:

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

2021

Erratum: Computing Morse decomposition of ODEs via Runge-Kutta method.

Yuki Chiba, Tomoyuki Miyaji, Toshiyuki Ogawa

JSIAM Lett., 2021

Computing Morse decomposition of ODEs via Runge-Kutta method.

Yuki Chiba, Tomoyuki Miyaji, Toshiyuki Ogawa

JSIAM Lett., 2021

2019

Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies.

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2019

2018

A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.

Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2018

Formalization and Verification of AUTOSAR OS Standard's Memory Protection.

Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Qualitative and quantitative analysis with scheduling policies in model checking.

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Assembly program verification for multiprocessors with relaxed memory model using SMT solver.

Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Domain-Specific Language Facilitates Scheduling in Model Checking.

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay.

Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Verifying OSEK/VDX OS Design Using Its Formal Specification.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach.

Haitao Zhang, Toshiaki Aoki, Yuki Chiba

IEICE Trans. Inf. Syst., 2015

A Framework for Verifying the Conformance of Design to Its Formal Specifications.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2015

Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Yuki Chiba

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

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.

Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

A Spin-Based Approach for Checking OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Yuki Chiba

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Checking the Conformance of a Promela Design to its Formal Specification in Event-B.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2013

Constructor-Based Inductive Theorem Prover.

Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

SMT-Based Bounded Model Checking for OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2011

Natural Inductive Theorems for Higher-Order Rewriting.

Takahito Aoto, Toshiyuki Yamada, Yuki Chiba

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

Program Transformation Templates for Tupling Based on Term Rewriting.

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

IEICE Trans. Inf. Syst., 2010

2008

Automatic Construction of Program Transformation Templates.

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

Inf. Media Technol., 2008

2007

Program Transformation by Templates: A Rewriting Framework.

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

Inf. Media Technol., 2007

A Higher-Order Knuth-Bendix Procedure and Its Applications.

Keiichirou Kusakari, Yuki Chiba

IEICE Trans. Inf. Syst., 2007

2006

RAPT: A Program Transformation System Based on Term Rewriting.

Yuki Chiba, Takahito Aoto

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005

Program transformation by templates based on term rewriting.

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005