Kenrou Yatake Assistant Professor
Center for Highly Dependable Embedded Systems Technology

■Degrees

B.S. from Tokyo Institute of Technology(2000)、M.S.from JAIST(2002)、Ph.D from JAIST(2006)

Researcher of JAIST(2006)

Software engeneering

Formal method, Theorem proving, Model checking

Model Checking of OSEK/VDX OS Design Models based on Environment Modeling，Kenro Yatake, Toshiaki Aoki，ICTAC，Sep 25, 2012
SMT-based enumeration of Object Graphs from UML Class Diagrams，Kenro Yatake, Toshiaki Aoki，UML&FM，August 27, 2012
Automatic Generation of Model Checking Scripts based onEnvironment Modeling，Kenro Yatake, Toshiak Aoki，SPIN 2010, LNCS，Vol. 6349，pp. 58-75