Darren Cofer

Identifiers

• name variant Darren Cofer 0.60 · backfill

Papers (5)

1. Input Prioritization for Testing Neural Networks cs.SE · 2019 · author #5
2. From Design Contracts to Component Requirements Verification cs.SE · 2016 · author #3
3. Requirements Analysis of a Quad-Redundant Flight Control System cs.SE · 2015 · author #2
4. Towards Realizability Checking of Contracts using Theories cs.SE · 2015 · author #5
5. Resolute: An Assurance Case Language for Architecture Models cs.SE · 2014 · author #3

Mentions

• 1502.03343 #2 · backfill · confidence 0.70 Darren Cofer
• 1502.03005 #5 · backfill · confidence 0.70 Darren Cofer
• 1409.4629 #3 · backfill · confidence 0.70 Darren Cofer

Frequent Coauthors

• Andrew Gacek 3 shared papers
• John Backes 3 shared papers
• Mike Whalen 2 shared papers
• Abhishek Vijayakumar 1 shared papers
• Andreas Katis 1 shared papers
• Jing Liu 1 shared papers
• John D. Backes 1 shared papers
• Konrad Slind 1 shared papers
• Michael W. Whalen 1 shared papers
• Sanjai Rayadurgam 1 shared papers
• Steven Miller 1 shared papers
• Taejoon Byun 1 shared papers
• Vaibhav Sharma 1 shared papers