HASE 2004:
Tampa,
FL,
USA
8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA.
IEEE Computer Society 2004, ISBN 0-7695-2094-4 
@proceedings{DBLP:conf/hase/2004,
title = {8th IEEE International Symposium on High-Assurance Systems Engineering
(HASE 2004), 25-26 March 2004, Tampa, FL, USA},
booktitle = {HASE},
publisher = {IEEE Computer Society},
year = {2004},
isbn = {0-7695-2094-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Design Assurance
Knowledge Based System Assurance Techniques
Fault Tolerant System Design and Analysis
System Level Test Methodologies
Quantitative and Model Based Approaches
Formal Approaches to System Verification
Reliability Modeling for Dependable Systems
Design and Assessment of Secure Systems
NISTP Abstracts
Session 2FA
- Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski:
Evaluation of Software Development Tools for High Assurance Safety Critical Systems.
273-274
- Xiaodong Lu, Yi Zhou, Misato Tasaka, Ivan Luque, Kinji Mori, Ryuji Takanuki:
Autonomous Rating Oriented Agent Allocation to Achieve High Response in Demand-Oriented Information Service System.
275-276
- Pramod Gupta, Johann Schumann:
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems.
277-278
- Dejan Desovski:
Combining Testing and Model Checking for Verification of High Assurance Systems.
279-280
- Laura Pullum, Marjorie Darrah, Spiro T. Skias, Kam S. Tso, Ann T. Tai:
Developing a Data Driven Prognostic System with Limited System Information.
281-282
- Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha:
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC).
283-284
- Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong:
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV.
285-286
- Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch:
A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report.
287-288
- Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
A Formal Approach to Designing Secure Software Architectures.
289-290
Session 3FA
- Frederick T. Sheldon, Thomas E. Potok, Andy Loebl, Axel W. Krings, Paul W. Oman:
Managing Secure Survivable Critical Infrastructures to Avoid Vulnerabilities.
293-296
- Ewen Denney, Bernd Fischer, Johann Schumann:
Adding Assurance to Automatically Generated Code.
297-299
- Tom Keeley:
KEEL Technology Applied to Highly Distributed Loosely Coupled Systems.
300-301
- Jia Zhou, Kendra Cooper, I-Ling Yen:
A Rule-Based Component Customization Technique for QoS Properties.
302-303
- Hideki Nomoto:
State Oriented Programming.
304-305
- Jing Dong, Sheng Yang:
Towards Trusted Composition in Software Design.
306-307
- Wei Yu:
Analyze the Worm-Based Attack in Large Scale P2P.
308-309
- Yiannis Papadopoulos, David Parker, Christian Grante:
Automating the Failure Modes and Effects Analysis of Safety Critical Systems.
310-311
- Mansour H. Assaf, Sunil R. Das, Emil M. Petriu, Mehmet Sahinoglu:
Enhancing Testability in Architectural Design for the New Generation of Core-Based Embedded Systems.
312-313
Last update Wed Feb 15 05:03:11 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
