• H
  • HASE
  • 2004
  • Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)
Advanced Search 
Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)
Tampa, Florida
March 25-March 26
ISBN: 0-7695-2094-4
Table of Contents
Introduction
Reviewers (PDF)
pp. xiii-xiv
Session 1: Design Assurance
Dongfeng Wang, University of Texas at Dallas
Hui Ma, University of Texas at Dallas
Farokh B. Bastani, University of Texas at Dallas
I-Ling Yen, University of Texas at Dallas
pp. 3-11
Josh Dehlinger, Iowa State University
Robyn R. Lutz, Iowa State University and Jet Propulsion Laboratory
pp. 12-21
Session 2: Knowledge Based System Assurance Techniques
Session 3: Fault Tolerant System Design and Analysis
Ivan Luque, Tokyo Institute of Technology
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
Praveen Ikkurthy, University of South Florida
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
Shi Zhong, Florida Atlantic University
Taghi M. Khoshgoftaar, Florida Atlantic University
Naeem Seliya, Florida Atlantic University
pp. 149-155
Session 6: Formal Approaches to System Verification
Gregory L. Wickstrom, Sandia National Laboratories
Jared Davis, University of Texas at Austin
Steven E. Morrison, Sandia National Laboratories
Steve Roach, University of Texas at El Paso
Victor L. Winter, University of Nebraska at Omaha
pp. 167-177
Anneliese Andrews, Washington State University
Andrew O?Fallon, Washington State University
Tom Chen, Colorado State University
pp. 187-196
Session 7: Reliability Modeling for Dependable Systems
Session 8: Design and Assessment of Secure Systems
Qingkai Ma, University of Texas at Dallas
Wei Hao, 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
Mark Last, Ben-Gurion University of the Negev
Menahem Friedman, Nuclear Research Center — Negev
pp. 263-264
Richard C. Linger, Carnegie Mellon University
Alan R. Hevner, University of South Florida
Gwendolyn Walton, Florida Southern College
Mark G. Pleszkoch, Carnegie Mellon University
pp. 265-266
Session 2FA
Andrew J. Kornecki, Embry-Riddle Aeronautical University
Kimberley Hall, Embry-Riddle Aeronautical University
Darryl Hearn, Embry-Riddle Aeronautical University
Herman Lau, Embry-Riddle Aeronautical University
Janusz Zalewski, Florida Gulf Coast University
pp. 273-274
Xiaodong Lu, Tokyo Institute of Technology
Yi Zhou, Tokyo Institute of Technology
Misato Tasaka, Tokyo Institute of Technology
Ivan Luque, Tokyo Institute of Technology
Kinji Mori, Tokyo Institute of Technology
Ryuji Takanuki, Hitachi, Ltd.
pp. 275-276
Laura Pullum, Institute for Scienti.c Research, Inc.
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
Poong Hyun Seong, 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
Xudong He, Florida International University
Yi Deng, Florida International University
Lian Mo, Florida International University
pp. 289-290
Session 3FA
Frederick Sheldon, Oak Ridge National Laboratory
Tom Potok, Oak Ridge National Laboratory
Andy Loebl, Oak Ridge National Laboratory
Axel Krings, University of Idaho
Paul Oman, University of Idaho
pp. 293-296
Ewen Denney, NASA Ames Research Center
Bernd Fischer, NASA Ames Research Center
Johann Schumann, NASA Ames Research Center
pp. 297-299
Jia Zhou, University of Texas at Dallas
Kendra Cooper, University of Texas at Dallas
I-Ling Yen, 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
Mansour H. Assaf, University of Ottawa
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
Usage of this product signifies your acceptance of the Terms of Use.