Yuki Chiba

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 10

Top Topics

Qualitative And Quantitative Analysis

Temporal Properties

Top Venues

IEICE Trans. Inf. Syst.

Publications

Yuki Chiba, Tomoyuki Miyaji, Toshiyuki Ogawa
Erratum: Computing Morse decomposition of ODEs via Runge-Kutta method. JSIAM Lett. 13 (2021)
Yuki Chiba, Tomoyuki Miyaji, Toshiyuki Ogawa
Computing Morse decomposition of ODEs via Runge-Kutta method. JSIAM Lett. 13 (2021)
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies. IEICE Trans. Inf. Syst. (7) (2019)
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
Qualitative and quantitative analysis with scheduling policies in model checking. SAC (2018)
Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki
Formalization and Verification of AUTOSAR OS Standard's Memory Protection. TASE (2018)
Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver. IEICE Trans. Inf. Syst. (12) (2018)
Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba
A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay. APSEC (2017)
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
Domain-Specific Language Facilitates Scheduling in Model Checking. APSEC (2017)
Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
Assembly program verification for multiprocessors with relaxed memory model using SMT solver. TASE (2017)
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
Verifying OSEK/VDX OS Design Using Its Formal Specification. TASE (2016)
Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. FTSCS (2015)
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
A Framework for Verifying the Conformance of Design to Its Formal Specifications. IEICE Trans. Inf. Syst. (6) (2015)
Haitao Zhang, Toshiaki Aoki, Yuki Chiba
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. ICST (2015)
Haitao Zhang, Toshiaki Aoki, Yuki Chiba
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach. IEICE Trans. Inf. Syst. (10) (2015)
Haitao Zhang, Toshiaki Aoki, Yuki Chiba
A Spin-Based Approach for Checking OSEK/VDX Applications. FTSCS (2014)
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
Checking the Conformance of a Promela Design to its Formal Specification in Event-B. FTSCS (2014)
Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake
SMT-Based Bounded Model Checking for OSEK/VDX Applications. APSEC (1) (2013)
Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto
Constructor-Based Inductive Theorem Prover. CALCO (2013)
Takahito Aoto, Toshiyuki Yamada, Yuki Chiba
Natural Inductive Theorems for Higher-Order Rewriting. RTA (2011)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Program Transformation Templates for Tupling Based on Term Rewriting. IEICE Trans. Inf. Syst. (5) (2010)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Automatic Construction of Program Transformation Templates. Inf. Media Technol. 3 (2) (2008)
Keiichirou Kusakari, Yuki Chiba
A Higher-Order Knuth-Bendix Procedure and Its Applications. IEICE Trans. Inf. Syst. (4) (2007)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Program Transformation by Templates: A Rewriting Framework. Inf. Media Technol. 2 (1) (2007)
Yuki Chiba, Takahito Aoto
RAPT: A Program Transformation System Based on Term Rewriting. RTA (2006)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Program transformation by templates based on term rewriting. PPDP (2005)