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 BibTeX
@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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Pramod Gupta, Johann Schumann:
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems.
277-278
Electronic Edition (link) BibTeX
- Dejan Desovski:
Combining Testing and Model Checking for Verification of High Assurance Systems.
279-280
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong:
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV.
285-286
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
A Formal Approach to Designing Secure Software Architectures.
289-290
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Ewen Denney, Bernd Fischer, Johann Schumann:
Adding Assurance to Automatically Generated Code.
297-299
Electronic Edition (link) BibTeX
- Tom Keeley:
KEEL Technology Applied to Highly Distributed Loosely Coupled Systems.
300-301
Electronic Edition (link) BibTeX
- Jia Zhou, Kendra Cooper, I-Ling Yen:
A Rule-Based Component Customization Technique for QoS Properties.
302-303
Electronic Edition (link) BibTeX
- Hideki Nomoto:
State Oriented Programming.
304-305
Electronic Edition (link) BibTeX
- Jing Dong, Sheng Yang:
Towards Trusted Composition in Software Design.
306-307
Electronic Edition (link) BibTeX
- Wei Yu:
Analyze the Worm-Based Attack in Large Scale P2P.
308-309
Electronic Edition (link) BibTeX
- Yiannis Papadopoulos, David Parker, Christian Grante:
Automating the Failure Modes and Effects Analysis of Safety Critical Systems.
310-311
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:14:17 2009
by Michael Ley (ley@uni-trier.de)
