1. Home
  2. Proceedings
  3. HASE
  4. HASE 2010
Default Cover Image

2010 IEEE 12th International Symposium on High Assurance Systems Engineering

Nov. 3 2010 to Nov. 4 2010

San Jose, CA

ISSN: 1530-2059

ISBN: 978-0-7695-4292-8

Table of Contents

Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Message from Program ChairFreely available from IEEE.pp. viii
Table of contentsFreely available from IEEE.pp. v-vii
Papers
Organizing CommitteeFreely available from IEEE.pp. ix
Papers
Program CommitteeFreely available from IEEE.pp. x-xi
Papers
Steering CommitteeFreely available from IEEE.pp. xii
Papers
ReviewersFreely available from IEEE.pp. xiii
Papers
Plenary PanelFreely available from IEEE.pp. xiv
Papers
Low-Cost Secret-Sharing in Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 1-9
by Marin Bertier, Achour Mostefaoui, Gilles Trédan
Papers
EBAWA: Efficient Byzantine Agreement for Wide-Area NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 10-19
by Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung
Papers
Scalable Fualt Detection for FPGAsFull-text access may be available. Sign in or learn about subscription options.pp. 20-25
by Frantz Iwu
Papers
Predicting Faults in High Assurance SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 26-34
by Naeem Seliya, Taghi M. Khoshgoftaar, Jason Van Hulse
Papers
A UML-Based Domain Specific Modeling Language for the Availability Management FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 35-44
by Pejman Salehi, Abdelwahab Hamoud-Lhadj, Pietro Colombo, Ferhat Khendek, Maria Toeroe
Papers
Symbolic Representation Techniques in Dynamic Reliability EvaluationFull-text access may be available. Sign in or learn about subscription options.pp. 45-53
by Salvatore Distefano, Francesco Longo, Marco Scarpa
Papers
A Stateful Approach to Testing Monitors in Multithreaded ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 54-63
by Richard H. Carver, Jeff Lei
Papers
A Dataflow Testing Approach for Aspect-Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 64-73
by Fadi Wedyan, Sudipto Ghosh
Papers
Paths to Property Violation: A Structural Approach for Analyzing Counter-ExamplesFull-text access may be available. Sign in or learn about subscription options.pp. 74-83
by Thomas Bochot, Pierre Virelizier, Helene Waeselynck, Virginie Wiels
Papers
Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical InfrastructuresFull-text access may be available. Sign in or learn about subscription options.pp. 84-93
by Marco Gribaudo, Anne Remke
Papers
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 94-103
by Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Dashpande, Scott A. Smolka
Papers
Experience with Model-Based User-Centered Risk Assessment for Service RobotsFull-text access may be available. Sign in or learn about subscription options.pp. 104-113
by Jérémie Guiochet, Damien Martin-Guillerez, David Powell
Papers
Proved Metamodels as Backbone for Software AdaptationFull-text access may be available. Sign in or learn about subscription options.pp. 114-121
by Franck Barbier, Cyril Ballagny
Papers
Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 122-131
by Yunja Choi, Hoon Jang
Papers
A Framework for Qualitative and Quantitative Formal Model-Based Safety AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 132-141
by Matthias Güdemann, Frank Ortmeier
Papers
Domain-Specific Feature Modeling for High Integrity Vehicle Control System Functional DesignFull-text access may be available. Sign in or learn about subscription options.pp. 142-151
by Shige Wang
Papers
Evaluation and Comparisons of Dependable Distributed Storage Designs for CloudsFull-text access may be available. Sign in or learn about subscription options.pp. 152-161
by Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh Bastani
Papers
Enhancing Performance of Random Testing through Markov Chain Monte Carlo MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 162-163
by Bo Zhou, Hiroyuki Okamura, Tadashi Dohi
Papers
Architecture-Based Reliability Modeling of Web Services Using Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 164-165
by Cobra Rahmani, Azad Azadmanesh, Harvey Siy
Papers
Automatic Fault Behavior Detection and Modeling by a State-Based Specification MethodFull-text access may be available. Sign in or learn about subscription options.pp. 166-167
by Luca Pazzi, Matteo Interlandi, Marco Pradelli
Papers
Automated Testing of LTL Formula Generation by ProspecFull-text access may be available. Sign in or learn about subscription options.pp. 168-169
by Cuauhtemoc Munoz, Steve Roach
Papers
A Dependability Case Editor with Pattern LibraryFull-text access may be available. Sign in or learn about subscription options.pp. 170-171
by Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa
Papers
Author IndexFreely available from IEEE.pp. 172
Papers
[Publisher's information]Freely available from IEEE.pp. 174
Showing 34 out of 34