HASE 2010: San Jose, CA, USA
- 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010. IEEE Computer Society 2010, ISBN 978-1-4244-9091-2
Fault Tolerance
- Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung:
EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. 10-19
Reliability/Availability Modeling
- Naeem Seliya, Taghi M. Khoshgoftaar, Jason Van Hulse:
Predicting Faults in High Assurance Software. 26-34 - Pejman Salehi, Abdelwahab Hamou-Lhadj, Pietro Colombo, Ferhat Khendek, Maria Toeroe:
A UML-Based Domain Specific Modeling Language for the Availability Management Framework. 35-44 - Salvatore Distefano, Francesco Longo, Marco Scarpa:
Symbolic Representation Techniques in Dynamic Reliability Evaluation. 45-53
Testing
- Richard H. Carver, Jeff Lei:
A Stateful Approach to Testing Monitors in Multithreaded Programs. 54-63 - Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels:
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. 74-83
Case Studies
- Marco Gribaudo, Anne Remke:
Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. 84-93 - Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka:
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. 94-103 - Jérémie Guiochet, Damien Martin-Guillerez, David Powell:
Experience with Model-Based User-Centered Risk Assessment for Service Robots. 104-113
Formal Methods
- Yunja Choi, Hoon Jang:
Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software. 122-131 - Matthias Güdemann, Frank Ortmeier:
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. 132-141
Information and System Assurance
- Shige Wang:
Domain-Specific Feature Modeling for High Integrity Vehicle Control System Functional Design. 142-151 - Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani:
Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. 152-161
Fast Abstracts
- Bo Zhou, Hiroyuki Okamura, Tadashi Dohi:
Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods. 162-163 - Cobra Rahmani, Azad H. Azadmanesh, Harvey P. Siy:
Architecture-Based Reliability Modeling of Web Services Using Petri Nets. 164-165 - Luca Pazzi, Matteo Interlandi, Marco Pradelli:
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method. 166-167 - Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa:
A Dependability Case Editor with Pattern Library. 170-171