Mike Whalen

Identifiers

• name variant Mike Whalen 0.60 · backfill

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

• 1502.03343 #4 · backfill · confidence 0.70 Mike Whalen
• 1409.4629 #5 · backfill · confidence 0.70 Mike Whalen

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