START Conference Manager    

The Eighth IEEE International Symposium on High Assurance Systems Engineering

HASE 2004

Submission Page

To revise a previous submission, please type in its passcode below, and press the ENTER button.


If you lost the passcode for your submission, please click HERE.

To make a new submission, please fill in the form below, and then press the submit button at the bottom.

Title of Submission:  

List of Authors:

Please enter the complete list of authors for your submission, in the order in which they will appear on the abstract. You can add as many author slots as you want, to accommodate the total number of authors for your submission.

First name(s) Last name Email Affiliation

More authors      Fewer authors

Contact Informaton:

First name*
Last name*
       Affiliation Dept/Lab 
Zip/Postal Code*

Submission Category:

Please enter the category under which the submission should be reviewed.

Submission Type:  


Type (or cut-and-paste) a short summary for your submission. You must enter plain text only, and you may not exceed 300 words.


Submit Paper:

Your submission must be in one of the following document formats:

  • Adobe PDF (pdf)
  • Postscript (ps)
  • Microsoft Word (doc)
  • Rich Text (rtf)

The file's name should have the proper MIME extent associated with its document type. For example, a pdf file could have a name such as "mypaper.pdf".

Find the file containing your submission: 


Please use the list of topics below to characterize your submission. Check all categories that seem appropriate.

Formal Methods
Transformation-based system development
Validation of specifications, model checking, testing, system level V&V
Quantitative and qualitative methods of evaluation
Safety analysis, reliability evaluation and enhancement techniques
Fault-tolerant software design
Experimental and model-based evaluation
Performance Modeling and Evaluation
Design Methodologies
Software Process
Middleware and APIs
Debugging Support
Hybrid Systems
Mission-Critical Systems
V&V of Adaptive Control Systems
Real-time validation of existing systems
Evolutionary design of complex systems
Hardware/software design tradeoffs
Software engineering for embedded systems
Interoperability of secure systems

(Note: Javascript must be enabled to make a submission.)

START Conference Manager (V2.61.0 - Rev. 3973)