Kenro Yatake

According to our database, Kenro Yatake authored at least 13 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Verifying OSEK/VDX OS Design Using Its Formal Specification.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

A Framework for Verifying the Conformance of Design to Its Formal Specifications.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2015

2014

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

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2013

An Approach for Checking OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin

Proceedings of the 2013 13th International Conference on Quality Software, 2013

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.

Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

SMT-Based Bounded Model Checking for OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

SMT-based enumeration of object graphs from UML class diagrams.

Kenro Yatake, Toshiaki Aoki

ACM SIGSOFT Softw. Eng. Notes, 2012

Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.

Kenro Yatake, Toshiaki Aoki

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011

An executable object-oriented semantics and its application to firewall verification.

Kenro Yatake, Takuya Katayama

Softw. Syst. Model., 2011

2010

Automatic Generation of Model Checking Scripts Based on Environment Modeling.

Kenro Yatake, Toshiaki Aoki

Proceedings of the Model Checking Software, 2010

2008

An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.

Kenro Yatake, Takuya Katayama

Proceedings of the Modelling, 2008

2005

Implementing Application-Specific Object-Oriented Theories in HOL.

Kenro Yatake, Toshiaki Aoki, Takuya Katayama

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Collaboration-based verification of Object-Oriented models in HOL.

Kenro Yatake, Toshiaki Aoki, Takuya Katayama

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004