Mike Whalen

Identifiers

No identifiers captured yet.

Papers (3)

1. The JKind Model Checker cs.LO · 2017 · author #3
2. Requirements Analysis of a Quad-Redundant Flight Control System cs.SE · 2015 · author #4
3. Resolute: An Assurance Case Language for Architecture Models cs.SE · 2014 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• John Backes 3 shared papers
• Andrew Gacek 2 shared papers
• Darren Cofer 2 shared papers
• Elaheh Ghassabani 1 shared papers
• Konrad Slind 1 shared papers
• Lucas Wagner 1 shared papers
• Steven Miller 1 shared papers