Kenro Yatake

13 papers C 2Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2016 Misc conf
Verifying OSEK/VDX OS Design Using Its Formal Specification.
TASE
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
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
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
2013 — conf
An Approach for Checking OSEK/VDX Applications.
QSIC
Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-hung Lin
2013 — conf
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.
FTSCS
Xiaoyun Guo, Hsin-hung Lin, Kenro Yatake, Toshiaki Aoki
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
2012 C conf
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.
ICTAC
Kenro Yatake, Toshiaki Aoki
2012 J jnl
SMT-based enumeration of object graphs from UML class diagrams.
ACM SIGSOFT Softw. Eng. Notes
Kenro Yatake, Toshiaki Aoki
2011 J jnl
An executable object-oriented semantics and its application to firewall verification.
Softw. Syst. Model.
Kenro Yatake, Takuya Katayama
2010 — conf
Automatic Generation of Model Checking Scripts Based on Environment Modeling.
SPIN
Kenro Yatake, Toshiaki Aoki
2008 — conf
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.
MSVVEIS
Kenro Yatake, Takuya Katayama
2005 C conf
Implementing Application-Specific Object-Oriented Theories in HOL.
ICTAC
Kenro Yatake, Toshiaki Aoki, Takuya Katayama
2004 — conf
Collaboration-based verification of Object-Oriented models in HOL.
VVEIS
Kenro Yatake, Toshiaki Aoki, Takuya Katayama