Conferences in DBLP
Ann Q. Gates , Patricia J. Teller DynaMICs: An Automated and Independent Software-FaultDetection Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Monica Brockmeyer Using Modechart Modules for Testing Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Tek Tsai , Weiguang Shao , Sanjai Rayadurgam , Jinbao Li , Raymond A. Paul Assurance-Based Y2K Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Dal Cin , Gábor Huszerl , Konstantinos Kosmidis Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Gnesi , Diego Latella , Mieke Massink Model Checking UML Statechart Diagrams Using JACK. [Citation Graph (0, 0)][DBLP ] Conf ] William E. McUmber , Betty H. C. Cheng UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Bondavalli , Ivan Mura , István Majzik Automatic Dependability Analysis for Supporting Design Decisions in UML. [Citation Graph (0, 0)][DBLP ] Conf ] Damien Cailliau , Remy Bellenger The CorotInstrument's Software: Towards Intrinsically Reconfigurable Real-Time Embedded Processing Software in Space-Born Instruments. [Citation Graph (0, 0)][DBLP ] Conf ] James Kirby Jr. , Myla Archer , Constance L. Heitmeyer Applying Formal Methods to an Information Security Device: An Experience Report. [Citation Graph (0, 0)][DBLP ] Conf ] Li Gong , Satya Dodda Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2). [Citation Graph (0, 0)][DBLP ] Conf ] Ann T. Tai , Savio N. Chau , Leon Alkalai COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Taghi M. Khoshgoftaar , Edward B. Allen Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond A. Paul , Ann T. Tai Building High-Assurance Systems Using COTS Components: Whether, Why, When and How? [Citation Graph (0, 0)][DBLP ] Conf ] Savio N. Chau Experience of Using COTS Components for Deep Space Missions. [Citation Graph (0, 0)][DBLP ] Conf ] Isaac Levendel HASE in Wireless Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Lui Sha Using COTS Software in High Assurance Control Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey M. Voas COTS and High Assurance: An Oxymoron? [Citation Graph (0, 0)][DBLP ] Conf ] Dolores R. Wallace , D. Richard Kuhn Lessons from 342 Medical Device Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara J. Czerny , Mats Per Erik Heimdahl Identifying Domain Axioms Using Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Goddard , Kevin Jeffay Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Tronci Formally Modeling a Metal Processing Plant and its Closed Loop Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] I-Ling Yen , Biao Chen , Ing-Ray Chen Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Isao Kaji , Yongdong Tan , Kinji Mori Autonomous Data Synchronization in Heterogeneous Systems to Assure the Transaction. [Citation Graph (0, 0)][DBLP ] Conf ] Haihong Zheng , Sourav Bhattacharya Look-Ahead Channel Reservation and Borrowing in Cellular Network System. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer Ren , Michel Cukier , Paul Rubel , William H. Sanders , David E. Bakken , David A. Karr Building Dependable Distributed Applications Using AQUA. [Citation Graph (0, 0)][DBLP ] Conf ] Alec Yasinsac , William A. Wulf A Framework for a Cryptographic Protocol Evaluation Workbench. [Citation Graph (0, 0)][DBLP ] Conf ] Carol L. Hoover , Jeffery P. Hansen , Philip Koopman , Sandeep Tamboli The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Michael W. Whalen , Mats Per Erik Heimdahl On the Requirements of High-Integrity Code Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Hecht What are the Most Critical Challenges to Integrating High Assurance Systems?. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Del Gobbo , Bojan Cukic , Marcello R. Napolitano , Steve M. Easterbrook Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Ammann , Paul E. Black A Specification-Based Coverage Metric to Evaluate Test Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Chen , Anneliese von Mayrhauser , Amjad Hajjar , Charles Anderson , Mehmet Sahinoglu How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Victor L. Winter A Synchronous Paradigm for Modeling Stable Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Victor L. Winter , Raymond Berg Software Systems: Consequence versus Functionality. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Covan Why Modern Systems Should Minimize the Use of Safety Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] Larry J. Dalton An "in the limit" View. [Citation Graph (0, 0)][DBLP ] Conf ] Ben L. Di Vito Software Can Be Entrusted with High Consequence Functionality. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey M. Voas A World Without Risks: Let Me Out! [Citation Graph (0, 0)][DBLP ] Conf ] 