2 citations · 2 across the 2 of their papers we have counts for
4 papers · 1 filter
Input Prioritization for Testing Neural Networks
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar +2
Deep neural networks (DNNs) are increasingly being adopted for sensing and control functions in a variety of safety and mission-critical systems such as self-driving cars, autonomo…
From Design Contracts to Component Requirements Verification
Jing Liu, John D. Backes, Darren Cofer +1
During the development and verification of complex airborne systems, a variety of languages and development environments are used for different levels of the system hierarchy. As a…
Requirements Analysis of a Quad-Redundant Flight Control System
John Backes, Darren Cofer, Steven Miller +1
In this paper we detail our effort to formalize and prove requirements for the Quad-redundant Flight Control System (QFCS) within NASA's Transport Class Model (TCM). We use a compo…
Towards Realizability Checking of Contracts using Theories
Andrew Gacek, Andreas Katis, Michael W. Whalen +2
Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quali…