The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2002)
Tokyo, Japan
Oct. 23, 2002 to Oct. 25, 2002
ISSN: 1530-2059
ISBN: 0-7695-1769-2

Committees (PDF)

pp. xi

Reviewers (PDF)

pp. xiii
Keynote 1
Invited Paper
Invited Paper

Open Source Software Research Activities in AIST towards Secure Open Systems (Abstract)

Kazuhito Ohmaki , National Research Institutes of Advanced Industrial Science and Technology
pp. 37

Assurance System Architecture for Distributed Database Systems (Abstract)

Carlos Perez Leguizamo , Tokyo Institute of Technology
Aqeel A. Syed , Tokyo Institute of Technology
Kinji Mori , Tokyo Institute of Technology
pp. 43

Cost-Sensitive Boosting In Software Quality Modeling (Abstract)

Laurent Nguyen , Florida Atlantic University
Lofton Bullard , Florida Atlantic University
Taghi M. Khoshgoftaar , Florida Atlantic University
Erik Geleyn , Florida Atlantic University
pp. 51
Invited Paper

A Biologically Inspired Assurance Definition and Specification in Heterogeneous Autonomous Decentralized Systems (Abstract)

Lijun Yin , Southwest Jiaotong University
Kinji Mori , Tokyo Institute of Technology
Qingquan Qian , Southwest Jiaotong University
Yongdong Tan , Southwest Jiaotong University
pp. 63

Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation (Abstract)

Satoru Kitamura , East Japan Railway Company
Dai Watanabe , Hitachi, Ltd.
Masayuki Matsumoto , East Japan Railway Company
Tadao Tsurumaki , East Japan Railway Company
Kinji Mori , Tokyo Institute of Technology
pp. 71

High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System (Abstract)

Issei Masumoto , Tokyo Institute of Technology
Kazuo Kera , Hitachi Ltd.
Kinji Mori , Tokyo Institute of Technology
Keisuke Bekki , Hitachi Ltd.
pp. 79
Fast Abstracts
Keynote 2

High Assurance, My Personal Experience and View Point (Abstract)

Shuichiro Yamanouchi , National Space Development Agency of Japan
pp. 93
Invited Paper

Model Checking RSML<sup>-e</sup> Requirements (Abstract)

Yunja Choi , University of Minnesota
Mats P.E. Heimdahl , University of Minnesota
pp. 109

An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models (Abstract)

David Owen , West Virginia University
Bojan Cukic , West Virginia University
Tim Menzies , West Virginia University
pp. 119
Invited Paper

Experiment for High-Assurance Video Conference System over the Internet (Abstract)

Masayuki Arai , Tokyo Metropolitan University
Mamoru Ohara , Tokyo Metropolitan University
Hitoshi Kurosu , Tokyo Metropolitan University
Satoshi Fukumoto , Tokyo Metropolitan University
Kazuhiko Iwasaki , Tokyo Metropolitan University
Ryo Suzuki , Tokyo Metropolitan University
pp. 137

Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks (Abstract)

Yoshiaki Kakuda , Hiroshima City University
Shinji Inoue , Hiroshima City University
Munehiko Fujimoto , Hiroshima City University
Tomoyuki Ohta , Hiroshima City University
pp. 143
Invited Paper

Towards Adaptive Networking (Abstract)

Katsushi Iwashita , NTT Network Innovation Laboratories
Toshiaki Miyazaki , NTT Network Innovation Laboratories
pp. 151

Discrete Availability Models to Rejuvenate a Telecommunication Billing Application (Abstract)

Naoto Kaio , Hiroshima Shudo University
Tadashi Dohi , Hiroshima University
Hiroyuki Okamura , Hiroshima University
Kazuki Iwamoto , Hiroshima University
pp. 159

Assuring Interoperability between Heterogeneous Multi-Agent Systems with a Gateway Agent (Abstract)

Isao Kaji , Miyagi University
Masatoshi Miyazaki , Iwate Prefectural University
Hiroki Suguri , Communication Technologies
Eiichiro Kodama , Iwate Prefectural University
pp. 167
Fast Abstracts

Extending WSDL to Facilitate Web Services Testing (PDF)

Chun Fan , Arizona State University
W. T. Tsai , Arizona State University
Ray Paul , Department of Defense
Yamin Wang , University of Minnesota
Dong Wang , Arizona State University
pp. 171

Coyote: An XML-Based Framework for Web Services Testing (PDF)

Zhibin Cao , Arizona State University
Ray Paul , Department of Defense
Weiwei Song , Arizona State University
W. T. Tsai , Arizona State University
pp. 173
Keynote 3

Integration of Formal Specification into the Standard ASIC Design Flow (Abstract)

Stefan Gossens , University of Erlangen-Nuremberg
Werner Haas , University of Erlangen-Nuremberg
Ulrich Heinkel , Lucent Technologies
pp. 189

A Kind of Deadlock-free Scheduling Method Based on Petri Net (Abstract)

Xu Gang , ShangHai Jiaotong University
Zhiming Wu , ShangHai Jiaotong University
pp. 195

Enhancing System Validation with Behavioural Types (Abstract)

Stefan Gossens , University of Erlangen-Nürnberg
pp. 201

An Approach to Specify and Test Component-Based Dependable Software (Abstract)

Martin Hiller , Chalmers University of Technology
Arshad Jhumka , Chalmers University of Technology
Neeraj Suri , Chalmers University of Technology
pp. 211

Towards a Problem-Driven Approach to Perspective-Based Reading (Abstract)

Pak-Lok Poon , Hong Kong Polytechnic University
T. H. Tse , University of Hong Kong
T. Y. Chen , Swinburne University of Technology
Sau-Fun Tang , Hong Kong Baptist University
Y. T. Yu , City University of Hong Kong
pp. 221

Object-Oriented System Decomposition Quality (Abstract)

Nejmeddine Tagoug , United Arab Emirates University
pp. 230
Fast Abstracts

Towards Research on Software Cybernetics (PDF)

Kai- Yuan Cai , Beijing University of Aeronautics and Astronautics
T. H. Tse , University of Hong Kong
T. Y. Chen , Swinburne University of Technology
pp. 240
Author Index

Author Index (PDF)

pp. 245
89 ms
(Ver 3.3 (11022016))