The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (1997)
Washington, DC
Aug. 11, 1997 to Aug. 12, 1997
ISBN: 0-8186-7971-9
TABLE OF CONTENTS

Reviewers (PDF)

pp. xii
Plenary Session

Plenary Session (PDF)

pp. null
Keynote Address
Paper Session 1
Invited Speaker Session 1

Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment (Abstract)

Wei-Tek Tsai , Cardiac Pacemakers Inc., Guidant Corporation,
Ramin Mojdehbakhsh , Cardiac Pacemakers Inc., Guidant Corporation,
Sanjai Rayadurgam , University of Minnesota
pp. 0032
Panel Session 1
Paper Session 2

A Graphical Property Specification Language (Abstract)

Insup Lee , University of Pennsylvania
Oleg Sokolsky , University of Pennsylvania
pp. 0042

Analytical Design of Evolutionary Control Flow Components (Abstract)

Carol L. Hoover , Carnegie Mellon University
Pradeep K. Khosla , Carnegie Mellon University
pp. 0048
Paper Session 3

Design and Assurance Strategy for the NRL Pump (Abstract)

Myong H. Kang , Naval Research Laboratory
Andrew P. Moore , Naval Research Laboratory
Ira S. Moskowitz , Naval Research Laboratory
pp. 0064

Automated Computation of Decomposable Synchronization Conditions (Abstract)

Gilberto Matos , University of Maryland
James Purtilo , University of Maryland
Elizabeth White , George Mason University
pp. 0072

Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications (Abstract)

A. Bondavalli , CNUCE/CNR
I. Mura , University of Pisa, Italy
M. Nelli , PDCC - Consorzio Pisa Ricerche, Pisa, Italy
pp. 0085
State-Of-The-Art Session 1
Open Discussion Session
Short Paper Session 1

Verifying Fault-Tolerant Behavior of State Machines (Abstract)

M. Dal Cin , University of Erlangen-Nuernberg
pp. 0094

Scalable and Reliable Synchronous Collaboration Environment on CORBA using WWW (Abstract)

Minsoon Kweon , Konkuk University
Soomyung Park , Konkuk University
Sangjin Joung , Konkuk University
Sunyoung Han , Konkuk University
Moon Hae Kim , Konkuk University
pp. 0100

Evaluation and Improvement of Software Products and Processes based on Measurement (Abstract)

F. Maurice , Universit? Paul Sabatier, bat 1R1 IRIT/SIERA
A. Benzekri , Universit? Paul Sabatier, bat 1R1 IRIT/SIERA
Y. Raynaud , Universit? Paul Sabatier, bat 1R1 IRIT/SIERA
pp. 0108
Short Paper Session 2

A Recovery Model for Extended Real-Time Transactions (Abstract)

Edgar Nett , German National Research Center for Information Technology
Michael Mock , German National Research Center for Information Technology
pp. 0124
Keynote Address
Paper Session 4

Hierarchical Specification of System Behavior (Abstract)

Rob Sumners , University of Texas at Austin
Jacob Abraham , University of Texas at Austin
pp. 0134

Process Measures for Predicting Software Quality (Abstract)

T.M. Khoshgoftaar , Florida Atlantic University
E.B. Allen , Florida Atlantic University
R. Halstead , Northrop Grumman
G. Trio , Northrop Grumman
R. Flass , Northrop Grumman
pp. 0155
Invited Speaker Session 2
Panel Session 2
Paper Session 5

Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems (Abstract)

Jeffrey J.P. Tsai , University of Illinois at Chicago
Eric Y.T. Juan , University of Illinois at Chicago
pp. 0188

Modeling Applications for Adaptive QoS-based Resource Management (Abstract)

Saurav Chatterjee , SRI International
Jerry Sydir , SRI International
Bikash Sabata , SRI International
Thomas Lawrence , Rome Laboratory
pp. 0194
Paper Session 6

A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems (Abstract)

Mehrdad Hassani , University of Maryland, College Park
David B. Stewart , University of Maryland, College Park
pp. 0215

A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System (Abstract)

Guillem Bernat , Universitat de les Illes Balears
Jose Miro-Julia , Universitat de les Illes Balears
Julian Proenza , Universitat de les Illes Balears
pp. 0221
State-Of-The-Art Session 2

Index of Authors (PDF)

pp. 0227
89 ms
(Ver )