Yuki Chiba

28 papers A 1B 2C 3Misc 4Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
Turning graffiti into art! The impact of shutter designs on shopping street attractiveness.
KES
Takumi Kato, Yuki Chiba, Ami Hattori, Ryosuke Ikeda, Masaki Koizumi
2021 J jnl
Computing Morse decomposition of ODEs via Runge-Kutta method.
JSIAM Lett.
Yuki Chiba, Tomoyuki Miyaji, Toshiyuki Ogawa
2021 J jnl
Erratum: Computing Morse decomposition of ODEs via Runge-Kutta method.
JSIAM Lett.
Yuki Chiba, Tomoyuki Miyaji, Toshiyuki Ogawa
2019 J jnl
Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies.
IEICE Trans. Inf. Syst.
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
2018 J jnl
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.
IEICE Trans. Inf. Syst.
Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
2018 Misc conf
Formalization and Verification of AUTOSAR OS Standard's Memory Protection.
TASE
Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki
2018 Misc conf
Qualitative and quantitative analysis with scheduling policies in model checking.
SAC
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
2017 C conf
A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay.
APSEC
Xiaoyun Guo, Hsin-hung Lin, Toshiaki Aoki, Yuki Chiba
2017 Misc conf
Assembly program verification for multiprocessors with relaxed memory model using SMT solver.
TASE
Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
2017 C conf
Domain-Specific Language Facilitates Scheduling in Model Checking.
APSEC
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
2016 Misc conf
Verifying OSEK/VDX OS Design Using Its Formal Specification.
TASE
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
2015 — ed.
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, Warsaw, Poland, July 2, 2015
WPTE@RDP
Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß
2015 J jnl
A Framework for Verifying the Conformance of Design to Its Formal Specifications.
IEICE Trans. Inf. Syst.
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
2015 — conf
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.
FTSCS
Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa
2015 J jnl
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach.
IEICE Trans. Inf. Syst.
Haitao Zhang, Toshiaki Aoki, Yuki Chiba
2015 A conf
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications.
ICST
Haitao Zhang, Toshiaki Aoki, Yuki Chiba
2014 — conf
A Spin-Based Approach for Checking OSEK/VDX Applications.
FTSCS
Haitao Zhang, Toshiaki Aoki, Yuki Chiba
2014 — conf
Checking the Conformance of a Promela Design to its Formal Specification in Event-B.
FTSCS
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
2014 — ed.
First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RTA 2014, Vienna, Austria, July 13, 2014
WPTE@RTA/TLCA
Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, Yuki Chiba
2013 B conf
Constructor-Based Inductive Theorem Prover.
CALCO
Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto
2013 — conf
SMT-Based Bounded Model Checking for OSEK/VDX Applications.
APSEC (1)
Haitao Zhang, Toshiaki Aoki, Hsin-hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake
2011 — conf
Natural Inductive Theorems for Higher-Order Rewriting.
RTA
Takahito Aoto, Toshiyuki Yamada, Yuki Chiba
2010 J jnl
Program Transformation Templates for Tupling Based on Term Rewriting.
IEICE Trans. Inf. Syst.
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
2008 J jnl
Automatic Construction of Program Transformation Templates.
Inf. Media Technol.
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
2007 J jnl
A Higher-Order Knuth-Bendix Procedure and Its Applications.
IEICE Trans. Inf. Syst.
Keiichirou Kusakari, Yuki Chiba
2007 J jnl
Program Transformation by Templates: A Rewriting Framework.
Inf. Media Technol.
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
2006 — conf
RAPT: A Program Transformation System Based on Term Rewriting.
RTA
Yuki Chiba, Takahito Aoto
2005 C conf
Program transformation by templates based on term rewriting.
PPDP
Yuki Chiba, Takahito Aoto, Yoshihito Toyama