Yuki Chiba

According to our database1, Yuki Chiba authored at least 21 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies.
IEICE Trans. Inf. Syst., 2019

2018
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.
IEICE Trans. Inf. Syst., 2018

Formalization and Verification of AUTOSAR OS Standard's Memory Protection.
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Qualitative and quantitative analysis with scheduling policies in model checking.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017
Assembly program verification for multiprocessors with relaxed memory model using SMT solver.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Domain-Specific Language Facilitates Scheduling in Model Checking.
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.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Verifying OSEK/VDX OS Design Using Its Formal Specification.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach.
IEICE Trans. Inf. Syst., 2015

A Framework for Verifying the Conformance of Design to Its Formal Specifications.
IEICE Trans. Inf. Syst., 2015

Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014
A Spin-Based Approach for Checking OSEK/VDX Applications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Checking the Conformance of a Promela Design to its Formal Specification in Event-B.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2013
Constructor-Based Inductive Theorem Prover.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

SMT-Based Bounded Model Checking for OSEK/VDX Applications.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2011
Natural Inductive Theorems for Higher-Order Rewriting.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010
Program Transformation Templates for Tupling Based on Term Rewriting.
IEICE Trans. Inf. Syst., 2010

2007
A Higher-Order Knuth-Bendix Procedure and Its Applications.
IEICE Trans. Inf. Syst., 2007

2006
RAPT: A Program Transformation System Based on Term Rewriting.
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005
Program transformation by templates based on term rewriting.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005


  Loading...