Yuki Chiba

发表

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns

Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, 2015, FTSCS.

Verifying the Correctness of Tupling Transformations based on Conditional Rewriting

Yuki Chiba, 2014 .

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

Toshiaki Aoki, Haitao Zhang, Yuki Chiba, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

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

Toshiaki Aoki, Yuki Chiba, Nhat-Hoa Tran, 2019, IEICE Trans. Inf. Syst..

Verifying OSEK/VDX OS Design Using Its Formal Specification

Toshiaki Aoki, Yuki Chiba, Dieu-Huong Vu, 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

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

Toshiaki Aoki, Yuki Chiba, Pattaravut Maleehuan, 2017, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).

Automatic Construction of Program Transformation Templates

Yuki Chiba, Yoshihito Toyama, Takahito Aoto, 2008 .

A Higher-Order Knuth-Bendix Procedure and Its Applications

Yuki Chiba, Keiichirou Kusakari, Keiichirou Kusakari, 2007, IEICE Trans. Inf. Syst..

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

Toshiaki Aoki, Haitao Zhang, Yuki Chiba, 2015, IEICE Trans. Inf. Syst..

Natural Inductive Theorems for Higher-Order Rewriting

Yuki Chiba, Takahito Aoto, Toshiyuki Yamada, 2011, RTA.

Program transformation by templates based on term rewriting

Yuki Chiba, Yoshihito Toyama, Takahito Aoto, 2005, PPDP.

Program Transformation Templates for Tupling Based on Term Rewriting

Yuki Chiba, Yoshihito Toyama, Takahito Aoto, 2010, IEICE Trans. Inf. Syst..

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

Toshiaki Aoki, Yuki Chiba, Dieu-Huong Vu, 2014, FTSCS.

Domain-Specific Language Facilitates Scheduling in Model Checking

Toshiaki Aoki, Yuki Chiba, Nhat-Hoa Tran, 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).

SMT-Based Bounded Model Checking for OSEK/VDX Applications

Toshiaki Aoki, Haitao Zhang, Min Zhang, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

Utilization of high frequent monitoring data by commercial train

Yuki Chiba, Sohei Yamada, Takao Shibai, 2018 .

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

Toshiaki Aoki, Yuki Chiba, Pattaravut Maleehuan, 2018, IEICE Trans. Inf. Syst..

A Spin-Based Approach for Checking OSEK/VDX Applications

Toshiaki Aoki, Haitao Zhang, Yuki Chiba, 2014, FTSCS.

RAPT: A Program Transformation System Based on Term Rewriting

Yuki Chiba, Takahito Aoto, Yuki Chiba, 2006, RTA.

Constructor-Based Inductive Theorem Prover

Min Zhang, Yuki Chiba, Daniel Gâinâ, 2013, CALCO.

PAPER Special Section on Formal Approach A Framework for Verifying the Conformance of Design to Its Formal Specifications ∗

Toshiaki Aoki, Yuki Chiba, Dieu-Huong Vu, 2015 .

Formalization and Verification of AUTOSAR OS Standard's Memory Protection

Toshiaki Aoki, Yuki Chiba, Khanh Trinh Le, 2018, 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE).

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

Toshiaki Aoki, Yuki Chiba, Hsin-Hung Lin, 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).

Program Transformation by Templates: A Rewriting Framework

Yuki Chiba, Yoshihito Toyama, Takahito Aoto, 2006 .

2A1-A10 Control of a Mobility Assistance Robot by Tongue Movements(Sense, Motion and Measurement(1))

Makoto Sasaki, Atsushi Nakayama, Yuki Chiba, 2012 .

Qualitative and quantitative analysis with scheduling policies in model checking

Toshiaki Aoki, Yuki Chiba, Nhat-Hoa Tran, 2018, SAC.