Print edition: ISSN 0913-5685
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2006-34
Multi-Completion with new encoding for Partial Order Constraints
Haruhiko Sato, Masahito Kurihara (Hokkaido Univ.)
pp. 1 - 6
SS2006-35
The Research about Creating Auto Edition Template with the Formal Languages Method
Kenichi Zai (Rococo)
pp. 7 - 11
SS2006-36
Hierarchical Model Checking to Ensure Timeliness QoS Described in UML/OCL
Eigo Nagai, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 13 - 18
SS2006-37
Extension of Interaction Model by Mapping Method
Takuto Yanagida, Hidetoshi Nonaka, Masahito Kurihara (Hokkaido Univ.)
pp. 19 - 22
SS2006-38
An Efficient Model Checking Method for Programs with History-based Access Control
Jing Wang, Yoshiaki Takata, Hiroyuki Seki (NAIST)
pp. 23 - 28
SS2006-39
Hierarchical Model-checking for Web Application with SPIN
Yuu Hamaguchi, Akira Yoshimura, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 29 - 34
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.