A Fault Taxonomy for Service-Oriented Architecture
Bruning, S., Weissleder, S., Malek, M.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Vulnerability Discovery in Multi-Version Software Systems
Jinyoo Kim, Malaiya, Y.K., Ray, I.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Behavioral Fault Modeling for Model-based Safety Analysis
Joshi, A., Heimdahl, M.P.E.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Validation Support for Distributed Real-Time Embedded Systems in VDM
Fitzgerald, J.S., Gorm Larsen, P., Tjell, S., Verhoef, M.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies
Romani, Francesco, Chiaradonna, Silvano, Di Giandomenico, Felicita, Simoncini, Luca
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Integrating Product-Line Fault Tree Analysis into AADL Models
Hongyu Sun, Hauptman, M., Lutz, R.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software
Tsai, W.T., Xinyu Zhou, Paul, R.A., Yinong Chen, Xiaoying Bai
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms
Poulding, S., Emberson, P., Bate, I., Clark, J.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Improving Reliability and Safety by Trading off Software Failure Criticalities
Mohamed, A., Zulkernine, M.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Delegation-Based Security Model for Web Services
Wei She, Thuraisingham, B., I-Ling Yen
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities
Mendonca, M., Neves, N.F.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Precise Documentation of Critical Software
Parnas, D.L., Vilkomir, S.A.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
A Secure and Scalable Update Protocol for P2P Data Grids
Manghui Tu, Tadayon, N., Zhonghang Xia, Enyue Lu
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Measuring Reliability as a Mean Failure Cost
Mili, A., Sheldon, F.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
Ebnenasir, A., Cheng, B.H.C.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Availability Monitor for a Software Based System
Haberkorn, M., Trivedi, K.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Model Validation using Automatically Generated Requirements-Based Tests
Rajan, A., Whalen, M.W., Heimdahl, M.R.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
CROWN-C: A High-Assurance Service-Oriented Grid Middleware System
Townend, P., Looker, N., Dacheng Zhang, Jie Xu, Jianxin Li, Liang Zhong, Jinpeng Huai
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
Message from HASE 2007 Program Committee Chairs
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
(01.11.2007)
Get full text
Conference Proceeding