The Community for Technology Leaders
RSS Icon
Subscribe
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2004)
Tampa, Florida
Mar. 25, 2004 to Mar. 26, 2004
ISBN: 0-7695-2094-4
TABLE OF CONTENTS
Introduction
pp. xii
Reviewers (PDF)
pp. xiii-xiv
Session 1: Design Assurance
Hui Ma , University of Texas at Dallas
Farokh B. Bastani , University of Texas at Dallas
Dongfeng Wang , University of Texas at Dallas
pp. 3-11
Josh Dehlinger , Iowa State University
pp. 12-21
Iain Bate , University of York
Neil Audsley , University of York
pp. 22-31
Shige Wang , University of Michigan
Sharath Kodase , University of Michigan
Zonghua Gu , University of Michigan
pp. 32-41
Session 2: Knowledge Based System Assurance Techniques
Luke Bishop , Iowa State University
Jeremias Sauceda , Iowa State University
S. C. Kothari , Iowa State University
pp. 45-55
Yi Liu , Georgia College and State University
pp. 56-65
Session 3: Fault Tolerant System Design and Analysis
Arshad Jhumka , Technical University at Darmstadt
Neeraj Suri , Technical University at Darmstadt
pp. 69-78
Xiaodong Lu , Tokyo Institute of Technology
Misato Tasaka , Tokyo Institute of Technology
Kinji Mori , Tokyo Institute of Technology
Yasushi Kuba , Hitachi, Ltd.
pp. 79-88
Stefan Gossens , University of Erlangen-Nuremberg
Mario Dal Cin , University of Erlangen-Nuremberg
pp. 89-96
Session 4: System Level Test Methodologies
Mark Sh. Levin , Ben-Gurion University
Mark Last , Ben-Gurion University
pp. 99-108
John Shahbazian , University of South Florida
Miguel A. Labrador , University of South Florida
Kenneth J. Christensen , University of South Florida
pp. 109-115
Session 5: Quantitative and Model Based Approaches
Tim Menzies , West Virginia University
Justin S. Di Stefano , Galaxy Global Corporation
pp. 129-138
Norman F. Schneidewind , Naval Postgraduate School
pp. 139-148
Taghi M. Khoshgoftaar , Florida Atlantic University
Shi Zhong , Florida Atlantic University
pp. 149-155
Session 6: Formal Approaches to System Verification
Jared Davis , University of Texas at Austin
Steven E. Morrison , Sandia National Laboratories
Steve Roach , University of Texas at El Paso
Gregory L. Wickstrom , Sandia National Laboratories
pp. 167-177
Anneliese Andrews , Washington State University
Andrew O?Fallon , Washington State University
Tom Chen , Colorado State University
pp. 187-196
Chia-Chu Chiang , University of Arkansas at Little Rock
pp. 197-205
Session 7: Reliability Modeling for Dependable Systems
Session 8: Design and Assessment of Secure Systems
Qingkai Ma , University of Texas at Dallas
I-Ling Yen , University of Texas at Dallas
Farokh Bastani , University of Texas at Dallas
pp. 241-248
Session 1FA: NISTP Abstracts
Donald J. Berndt , University of South Florida
Alison Watkins , University of South Florida
pp. 261-262
Mark Last , Ben-Gurion University of the Negev
Menahem Friedman , Nuclear Research Center — Negev
pp. 263-264
Alan R. Hevner , University of South Florida
Gwendolyn Walton , Florida Southern College
Mark G. Pleszkoch , Carnegie Mellon University
pp. 265-266
Session 2FA
Kimberley Hall , Embry-Riddle Aeronautical University
Andrew J. Kornecki , Embry-Riddle Aeronautical University
Herman Lau , Embry-Riddle Aeronautical University
Janusz Zalewski , Florida Gulf Coast University
pp. 273-274
Yi Zhou , Tokyo Institute of Technology
Xiaodong Lu , Tokyo Institute of Technology
Ivan Luque , Tokyo Institute of Technology
Kinji Mori , Tokyo Institute of Technology
Ryuji Takanuki , Hitachi, Ltd.
pp. 275-276
Marjorie Darrah , Institute for Scienti.c Research, Inc.
Spiro T. Skias , Institute for Scienti.c Research, Inc.
Kam S. Tso , IA Tech, Inc.
Ann T. Tai , IA Tech, Inc.
pp. 281-282
Seo Ryong Koo , Korea Advanced Institute of Science and Technology
Sung Deok Cha , Korea Advanced Institute of Science and Technology
pp. 283-284
Myung Jun Song , Korea Advanced Institute of Science and Technology
Seo Ryong Koo , Korea Advanced Institute of Science and Technology
Poong Hyun Seong , Korea Advanced Institute of Science and Technology
pp. 285-286
Lazar Crawford , Embry Riddle Aeronautical University
Jared Erwin , Embry Riddle Aeronautical University
Steafano Grimaldi , Embry Riddle Aeronautical University
Soma Mitra , Embry Riddle Aeronautical University
Andrew Kornecki , Embry Riddle Aeronautical University
David P. Gluch , Embry Riddle Aeronautical University
pp. 287-288
Huiqun Yu , Florida International University
Yi Deng , Florida International University
Lian Mo , Florida International University
pp. 289-290
Session 3FA
Tom Potok , Oak Ridge National Laboratory
Frederick Sheldon , Oak Ridge National Laboratory
Axel Krings , University of Idaho
Paul Oman , University of Idaho
pp. 293-296
Bernd Fischer , NASA Ames Research Center
Ewen Denney , NASA Ames Research Center
pp. 297-299
Kendra Cooper , University of Texas at Dallas
Jia Zhou , University of Texas at Dallas
pp. 302-303
Hideki Nomoto , Massachusetts Institute of Technology
pp. 304-305
Jing Dong , University of Texas at Dallas
Sheng Yang , University of Texas at Dallas
pp. 306-307
Sunil R. Das , University of Ottawa and Troy State University Montgomery
Emil M. Petriu , University of Ottawa
Mehmet Sahinoglu , Troy State University Montgomery
pp. 312-313
Author Index
Author Index (PDF)
pp. 314-315
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool