default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHASE 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 Yu 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 23:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
