Kenro Yatake

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j2		Kenro Yatake, Toshiaki Aoki: SMT-based enumeration of object graphs from UML class diagrams. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)
c5		Kenro Yatake, Toshiaki Aoki: Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. ICTAC 2012: 183-197
	2011
j1		Kenro Yatake, Takuya Katayama: An executable object-oriented semantics and its application to firewall verification. Software and System Modeling 10(4): 515-536 (2011)
	2010
c4		Kenro Yatake, Toshiaki Aoki: Automatic Generation of Model Checking Scripts Based on Environment Modeling. SPIN 2010: 58-75
	2008
c3		Kenro Yatake, Takuya Katayama: An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS 2008: 71-80
	2005
c2		Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516
	2004
c1		Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80

Coauthor Index

1	Toshiaki Aoki	[j2] [c5] [c4] [c2] [c1]
2	Takuya Katayama	[j1] [c3] [c2] [c1]

Last update Sun May 26 02:44:00 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page