Abstract is missing.
- Low-Cost Secret-Sharing in Sensor NetworksMarin Bertier, Achour Mostéfaoui, Gilles Trédan. 1-9 [doi]
- EBAWA: Efficient Byzantine Agreement for Wide-Area NetworksGiuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung. 10-19 [doi]
- Scalable Fualt Detection for FPGAsFrantz Iwu. 20-25 [doi]
- Predicting Faults in High Assurance SoftwareNaeem Seliya, Taghi M. Khoshgoftaar, Jason Van Hulse. 26-34 [doi]
- A UML-Based Domain Specific Modeling Language for the Availability Management FrameworkPejman Salehi, Abdelwahab Hamou-Lhadj, Pietro Colombo, Ferhat Khendek, Maria Toeroe. 35-44 [doi]
- Symbolic Representation Techniques in Dynamic Reliability EvaluationSalvatore Distefano, Francesco Longo, Marco Scarpa. 45-53 [doi]
- A Stateful Approach to Testing Monitors in Multithreaded ProgramsRichard H. Carver, Jeff Lei. 54-63 [doi]
- A Dataflow Testing Approach for Aspect-Oriented ProgramsFadi Wedyan, Sudipto Ghosh. 64-73 [doi]
- Paths to Property Violation: A Structural Approach for Analyzing Counter-ExamplesThomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels. 74-83 [doi]
- Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical InfrastructuresMarco Gribaudo, Anne Remke. 84-93 [doi]
- Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model CheckingNikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Dashpande, Scott A. Smolka. 94-103 [doi]
- Experience with Model-Based User-Centered Risk Assessment for Service RobotsJérémie Guiochet, Damien Martin-Guillerez, David Powell. 104-113 [doi]
- Proved Metamodels as Backbone for Software AdaptationFranck Barbier, Cyril Ballagny. 114-121 [doi]
- Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded SoftwareYunja Choi, Hoon Jang. 122-131 [doi]
- A Framework for Qualitative and Quantitative Formal Model-Based Safety AnalysisMatthias Güdemann, Frank Ortmeier. 132-141 [doi]
- Domain-Specific Feature Modeling for High Integrity Vehicle Control System Functional DesignShige Wang. 142-151 [doi]
- Evaluation and Comparisons of Dependable Distributed Storage Designs for CloudsLiangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani. 152-161 [doi]
- Enhancing Performance of Random Testing through Markov Chain Monte Carlo MethodsBo Zhou, Hiroyuki Okamura, Tadashi Dohi. 162-163 [doi]
- Architecture-Based Reliability Modeling of Web Services Using Petri NetsCobra Rahmani, Azad H. Azadmanesh, Harvey P. Siy. 164-165 [doi]
- Automatic Fault Behavior Detection and Modeling by a State-Based Specification MethodLuca Pazzi, Matteo Interlandi, Marco Pradelli. 166-167 [doi]
- Automated Testing of LTL Formula Generation by ProspecCuauhtemoc Munoz, Steve Roach. 168-169 [doi]
- A Dependability Case Editor with Pattern LibraryYutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa. 170-171 [doi]