ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
Latest Publications
TOTAL DOCUMENTS
71
(FIVE YEARS 0)
H-INDEX
7
(FIVE YEARS 0)
Published By IEEE
9781467301077, 9780769546155
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
So Much to Learn from One Accident Crash of 737 on 25 February 2009
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.45
◽
2011
◽
Author(s):
Herbert Hecht
Download Full-text
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.57
◽
2011
◽
Cited By ~ 13
Author(s):
Tushar Deshpande
◽
Panagiotis Katsaros
◽
Stylianos Basagiannis
◽
Scott A. Smolka
Keyword(s):
Model Checking
◽
Probabilistic Model
◽
Formal Analysis
◽
Probabilistic Model Checking
Download Full-text
A Unifying Approach to Validating Specification-Oriented XML Constraints
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.28
◽
2011
◽
Author(s):
Yongxin Zhao
◽
Zheng Wang
◽
Hao Xiao
◽
Jing Ping
◽
Geguang Pu
◽
...
Download Full-text
Discriminatively Fortified Computing with Reconfigurable Digital Fabric
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.49
◽
2011
◽
Author(s):
Mingjie Lin
◽
Yu Bai
◽
John Wawrzynek
Download Full-text
Copyright Page
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.3
◽
2011
◽
Download Full-text
High-Assurance Reconfigurable Multicore Processor Based Systems
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.33
◽
2011
◽
Cited By ~ 1
Author(s):
Manasi Peshave
◽
Farokh B. Bastani
◽
I-Ling Yen
Keyword(s):
Multicore Processor
◽
High Assurance
Download Full-text
Publisher's Information
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.67
◽
2011
◽
Download Full-text
An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.11
◽
2011
◽
Cited By ~ 2
Author(s):
Ricardo Paharsingh
◽
Olivia Das
Keyword(s):
Cluster Computing
◽
Cloud Cluster
◽
Availability Model
Download Full-text
Preface
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.4
◽
2011
◽
Download Full-text
A Testing Service for Lifelong Validation of Dynamic SOA
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2011.18
◽
2011
◽
Cited By ~ 7
Author(s):
Andrea Ceccarelli
◽
Marco Vieira
◽
Andrea Bondavalli
Keyword(s):
Testing Service
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close