default search action
Yuki Chiba
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j10]Yuki Chiba, Tomoyuki Miyaji, Toshiyuki Ogawa:
Computing Morse decomposition of ODEs via Runge-Kutta method. JSIAM Lett. 13: 40-43 (2021) - [j9]Yuki Chiba, Tomoyuki Miyaji, Toshiyuki Ogawa:
Erratum: Computing Morse decomposition of ODEs via Runge-Kutta method. JSIAM Lett. 13: 88 (2021)
2010 – 2019
- 2019
- [j8]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. 102-D(7): 1280-1295 (2019) - 2018
- [j7]Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver. IEICE Trans. Inf. Syst. 101-D(12): 3038-3058 (2018) - [c15]Nhat-Hoa Tran
Qualitative and quantitative analysis with scheduling policies in model checking. SAC 2018: 1873-1880 - [c14]Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki
Formalization and Verification of AUTOSAR OS Standard's Memory Protection. TASE 2018: 68-75 - 2017
- [c13]Xiaoyun Guo
A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay. APSEC 2017: 140-149 - [c12]Nhat-Hoa Tran
Domain-Specific Language Facilitates Scheduling in Model Checking. APSEC 2017: 417-426 - [c11]Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
Assembly program verification for multiprocessors with relaxed memory model using SMT solver. TASE 2017: 1-8 - 2016
- [c10]Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
Verifying OSEK/VDX OS Design Using Its Formal Specification. TASE 2016: 81-88 - 2015
- [j6]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. 98-D(6): 1137-1149 (2015) - [j5]Haitao Zhang, Toshiaki Aoki
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach. IEICE Trans. Inf. Syst. 98-D(10): 1765-1776 (2015) - [c9]Toshiaki Aoki
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. FTSCS 2015: 206-221 - [c8]Haitao Zhang, Toshiaki Aoki
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. ICST 2015: 1-10 - [e2]Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß:
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland. OASIcs 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-94-1 [contents] - 2014
- [c7]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: 110-126 - [c6]Haitao Zhang, Toshiaki Aoki
A Spin-Based Approach for Checking OSEK/VDX Applications. FTSCS 2014: 239-255 - [e1]Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, Yuki Chiba:
First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria. OASIcs 40, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-70-5 [contents] - 2013
- [c5]Haitao Zhang, Toshiaki Aoki
SMT-Based Bounded Model Checking for OSEK/VDX Applications. APSEC (1) 2013: 307-314 - [c4]Daniel Gâinâ, Min Zhang
Constructor-Based Inductive Theorem Prover. CALCO 2013: 328-333 - 2011
- [c3]Takahito Aoto, Toshiyuki Yamada, Yuki Chiba:
Natural Inductive Theorems for Higher-Order Rewriting. RTA 2011: 107-121 - 2010
- [j4]Yuki Chiba, Takahito Aoto, Yoshihito Toyama:
Program Transformation Templates for Tupling Based on Term Rewriting. IEICE Trans. Inf. Syst. 93-D(5): 963-973 (2010)
2000 – 2009
- 2008
- [j3]Yuki Chiba, Takahito Aoto, Yoshihito Toyama:
Automatic Construction of Program Transformation Templates. Inf. Media Technol. 3(2): 211-224 (2008) - 2007
- [j2]Keiichirou Kusakari, Yuki Chiba:
A Higher-Order Knuth-Bendix Procedure and Its Applications. IEICE Trans. Inf. Syst. 90-D(4): 707-715 (2007) - [j1]Yuki Chiba, Takahito Aoto, Yoshihito Toyama:
Program Transformation by Templates: A Rewriting Framework. Inf. Media Technol. 2(1): 53-67 (2007) - 2006
- [c2]Yuki Chiba, Takahito Aoto:
RAPT: A Program Transformation System Based on Term Rewriting. RTA 2006: 267-276 - 2005
- [c1]Yuki Chiba, Takahito Aoto, Yoshihito Toyama:
Program transformation by templates based on term rewriting. PPDP 2005: 59-69
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: