Conferences in DBLP
Mario Dal Cin Checking Modification Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] David Coppit , Kevin J. Sullivan Formal Specification in Collaborative Design of Critical Software Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Ragavan Manian , Joanne Bechta Dugan , David Coppit , Kevin J. Sullivan Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Duane E. Olawsky , Charles Payne , Thomas Sundquist , David Apostal , Todd Fine Using Composition to Design Secure, Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Swapna S. Gokhale , Kishor S. Trivedi Log-Logistic Software Reliability Growth Model. [Citation Graph (0, 0)][DBLP ] Conf ] Ravishankar K. Iyer , Zbigniew Kalbarczyk , Keith Whisnant , Saurabh Bagchi A Flexible Software Architecture for High Availability Computing. [Citation Graph (0, 0)][DBLP ] Conf ] K. H. Kim ROAFTS: A Middleware Architecture for Real-Time Object-Oriented Adaptive Fault Tolerance Support. [Citation Graph (0, 0)][DBLP ] Conf ] Gary Johnson , John Calvert , Kelly J. Hayhurst , John Janeri , Herbert Hecht System Requirements and Analysis Issues for High Assurance Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ying C. (Bob) Yeh Design Considerations in Boeing 777 Fly-By-Wire Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Denise M. Woit , David V. Mason Software Component Independence. [Citation Graph (0, 0)][DBLP ] Conf ] Taghi M. Khoshgoftaar , Edward B. Allen , Archana Naik , Wendell D. Jones , John P. Hudepohl Using Classification Trees for Software Quality Models: Lessons Learned. [Citation Graph (0, 0)][DBLP ] Conf ] Donald F. Schenker , Taghi M. Khoshgoftaar The Application of Fuzzy Enhanced Case-Based Reasoning for Identifying Fault-Prone Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Yashwant K. Malaiya , Jason Denton Estimating the Number of Residual Defects. [Citation Graph (0, 0)][DBLP ] Conf ] Calton Pu , Crispin Cowan System Survivability through Security Bug Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Satish Subramanian , Sanjai Rayadurgam , Wei-Tek Tsai Design for Constraint Violation Detection in Safety-Critical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert N. Smith , Sourav Bhattacharya Fault and Leak Tolerance in Firewall Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Kamel Barkaoui , Jean-François Pradat-Peyre Verification in Concurrent Programming with Petri Nets Structural Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Farn Wang , Pao-Ann Hsiung Automatic Verification on the Large. [Citation Graph (0, 0)][DBLP ] Conf ] Susan Stepney Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen J. H. Yang , Sam Lin , Jonathan Lee , William C. Chu Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic. [Citation Graph (0, 0)][DBLP ] Conf ] David Chenho Kung , Pei Hsia , Yasufumi Toyoshima , Cris Chen , Jerry Gao Object-Oriented Software Testing: Some Research and Development. [Citation Graph (0, 0)][DBLP ] Conf ] William E. Howden Good Enough versus High Assurance Software Testing and Evaluation Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Dolores R. Wallace Enhancing Competitiveness via a Public Fault & Failure Data Repository . [Citation Graph (0, 0)][DBLP ] Conf ] Carol L. Hoover , Pradeep K. Khosla Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Covan , J. Arlin Cooper Predictable Safety in the Control of High Consequence Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Xu , Mukesh Singhal A Firewalling Scheme for Securing MPOA-Based Enterprise Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Del Gobbo , Marcello R. Napolitano , John Callahan , Bojan Cukic Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] M. Pizza , Lorenzo Strigini , Andrea Bondavalli , Felicita Di Giandomenico Optimal Discrimination between Transient and Permanent Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Grandoni 0002 , Andrea Bondavalli , Silvano Chiaradonna A New Heuristic to Discriminate between Transient and Intermittent Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Ronjeet Lal , Gwan S. Choi Error and Failure Analysis of a UNIX Server. [Citation Graph (0, 0)][DBLP ] Conf ] Seung H. Hwang , Gwan S. Choi On-Chip Cache Memory Resilience. [Citation Graph (0, 0)][DBLP ] Conf ] Eltefaat Shokri , Herbert Hecht Matching Software Fault Tolerance with Application Needs. [Citation Graph (0, 0)][DBLP ] Conf ] Yu Lei , Kuo-Chung Tai In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Anneliese von Mayrhauser , Andre Bai , Tom Chen , Charles Anderson , Amjad Hajjar Fast Antirandom (FAR) Test Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Deng , Jiacun Wang Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Tei-Wei Kuo , Yuan-Ting Kao , LihChyun Shu A Two-Version Approach for Real-Time Concurrency Control and Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Hideo Hanamura , Kinji Mori Assurance of Transactions in Allied Heterogeneous Systems by Autonomous Decentralized System Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Shashi Phoha , Eugene Eberbach , Eileen Peluso , Atilla P. Kiraly Coordination of Engineering Design Agents for High Assurance in Complex Dynamic System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Aparicio IV , Peter Herman , Wendy Stephens , Anuj K. Jain , Munindar P. Singh Agent Information Contracts within Virtual Private Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Rajiv Khosla Human-Centered Virtual Machine of Problem Solving Agents, Software Agents, Intelligent Agents and Objects. [Citation Graph (0, 0)][DBLP ] Conf ] 