Journals in DBLP
Catherine Meadows , William H. Sanders Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6). [Citation Graph (0, 0)][DBLP ] Journal ] Christof Fetzer , Flaviu Cristian A Highly Available Local Leader Election Service. [Citation Graph (0, 0)][DBLP ] Journal ] Zbigniew Kalbarczyk , Ravishankar K. Iyer , Gregory L. Ries , Jaqdish U. Patel , Myeong S. Lee , Yuxiao Xiao Hierarchical Simulation Approach to Accurate Fault Modeling for System Dependability Evaluation. [Citation Graph (0, 0)][DBLP ] Journal ] Rodolphe Ortalo , Yves Deswarte , Mohamed Kaâniche Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security. [Citation Graph (0, 0)][DBLP ] Journal ] John M. Rushby Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. [Citation Graph (0, 0)][DBLP ] Journal ] Walter J. Gutjahr Partition Testing vs. Random Testing: The Influence of Uncertainty. [Citation Graph (0, 0)][DBLP ] Journal ] Norman E. Fenton , Martin Neil A Critique of Software Defect Prediction Models. [Citation Graph (0, 0)][DBLP ] Journal ] Ing-Ray Chen , Sayed Atef Banawan Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization. [Citation Graph (0, 0)][DBLP ] Journal ] Mohamed F. Younis , Thomas J. Marlowe , Alexander D. Stoyen , Grace Tsai Statically Safe Speculative Execution for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Lionel C. Briand , Sandro Morasca , Victor R. Basili Defining and Validating Measures for Object-Based High-Level Design. [Citation Graph (0, 0)][DBLP ] Journal ] 