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
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
Iain Bate , University of York
Neil Audsley , University of York
pp. 22-31
Zonghua Gu , University of Michigan
Shige Wang , University of Michigan
Sharath Kodase , University of Michigan
Kang G. Shin , University of Michigan
pp. 32-41
Session 2: Knowledge Based System Assurance Techniques
S. C. Kothari , Iowa State University
Luke Bishop , Iowa State University
Jeremias Sauceda , Iowa State University
Gary Daugherty , Rockwell Collins
pp. 45-55
Yi Liu , Georgia College and State University
Taghi Khoshgoftaar , Florida Atlantic 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
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
Mark Sh. Levin , Ben-Gurion University
Mark Last , Ben-Gurion University
pp. 99-108
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
Rosina Weber , Drexel University
Duanqing Wu , Drexel University
pp. 116-125
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
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
Mats P.E. Heimdahl , University of Minnesota
Devaraj George , University of Minnesota
Robert Weber , University of Minnesota
pp. 178-186
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
Hiroyuki Okamura , Hiroshima University
Atsushi Murayama , Hiroshima University
Tadashi Dohi , Hiroshima University
pp. 219-228
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
Taghi M Khoshgoftaar , Florida Atlantic University
Mohamed E. Abushadi , Florida Atlantic University
pp. 249-258
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
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
Yiannis Papadopoulos , University of Hull
David Parker , University of Hull
Christian Grante , Volvo Cars Corporation
pp. 310-311
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
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool