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

Marin Bertier, Achour Mostéfaoui, Gilles Trédan:
Low-Cost Secret-Sharing in Sensor Networks. 1-9
Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung:
EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. 10-19
Frantz Iwu:
Scalable Fualt Detection for FPGAs. 20-25

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
Fadi Wedyan, Sudipto Ghosh:
A Dataflow Testing Approach for Aspect-Oriented Programs. 64-73
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

Franck Barbier, Cyril Ballagny:
Proved Metamodels as Backbone for Software Adaptation. 114-121
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
Cuauhtemoc Munoz, Steve Roach:
Automated Testing of LTL Formula Generation by Prospec. 168-169
Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa:
A Dependability Case Editor with Pattern Library. 170-171

Last update Fri May 25 08:15:20 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page