Conferences in DBLP
Ann T. Tai , Kishor S. Trivedi , Herbert Hecht On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Boyle , R. Daniel Resler , Victor L. Winter Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Tek Tsai , Ramin Mojdehbakhsh , Sanjai Rayadurgam Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas F. Lawrence The Quality of Service Model and High Assurance. [Citation Graph (0, 0)][DBLP ] Conf ] Insup Lee , Oleg Sokolsky Analytical Design of Evolutionary Control Flow Components. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Per Erik Heimdahl Verifying Communication Constraints in RSML Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Gilberto Matos , James M. Purtilo , Elizabeth L. White Automated Computation of Decomposable Synchronization Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Monica Brockmeyer , Farnam Jahanian , Elly Winner , Constance L. Heitmeyer , Bruce G. Labaw A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Bondavalli , Ivan Mura , Manuela Nelli Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Dal Cin Verifying Fault-Tolerant Behavior of State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Minsoon Kweon , Soomyung Park , Sangjin Joung , Sunyoung Han , Moon-hae Kim Scalable and Reliable Synchronous Collaboration Environment on CORBA using WWW. [Citation Graph (0, 0)][DBLP ] Conf ] Anouar Jamoussi An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases. [Citation Graph (0, 0)][DBLP ] Conf ] F. Maurice , Abdelmalek Benzekri , Yves Raynaud Evaluation and Improvement of Software Products and Processes based on Measurement. [Citation Graph (0, 0)][DBLP ] Conf ] S. Sanyal , Viren Shah , Samrat Bhattacharya Framework of a Software Reliability Engineering Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Zeyad Alkhalifa , V. S. S. Nair Design of a Portable Control-Flow Checking Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Edgar Nett , Michael Mock A Recovery Model for Extended Real-Time Transactions. [Citation Graph (0, 0)][DBLP ] Conf ] William G. Castaneda Software Complexity Analysis on Department of Defense Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert W. Sumners , Jacob A. Abraham Hierarchical Specification of System Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] K. H. Kim , Chittur Subbaraman , Eltefaat Shokri High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Kam S. Tso , Eltefaat Shokri , Roger J. Dziegiel Jr. ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Taghi M. Khoshgoftaar , Edward B. Allen , Robert Halstead , Gary P. Trio , Ronald M. Flass Process Measures for Predicting Software Quality. [Citation Graph (0, 0)][DBLP ] Conf ] J. Boulanger , V. Delebarre , Stéphane Natkin , J. Ozello Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kinji Mori High-Assurance Application Systems and Their Technologies Under Changing Situations. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Hecht , Myron Hecht , Dolores R. Wallace Toward More Effective Testing for High-Assurance Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bojan Cukic Combining Testing and Correctness Verification in Software Reliability Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey J. P. Tsai , Eric Y. T. Juan Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Saurav Chatterjee , Jaroslaw J. Sydir , Bikash Sabata , Thomas F. Lawrence Modeling Applications for Adaptive QoS-based Resource Management. [Citation Graph (0, 0)][DBLP ] Conf ] Husni Fahmi , Raymond A. Paul , Ahmed Bashandy , Arif Ghafoor Ensuring Quality of Service for Multimedia Applications in a LAN Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Raynal A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. [Citation Graph (0, 0)][DBLP ] Conf ] Mehrdad Hassani , David B. Stewart A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Guillem Bernat , José Miró-Julià , Julian Proenza A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System. [Citation Graph (0, 0)][DBLP ] Conf ] 