Michael W. Whalen

Identifiers

• name variant Michael W. Whalen 0.60 · backfill

Papers (7)

1. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts cs.SE · 2017 · author #7
2. Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability cs.SE · 2016 · author #6
3. On Implementing Real-time Specification Patterns Using Observers cs.SE · 2016 · author #2
4. Reasoning about Algebraic Data Types with Abstractions cs.LO · 2016 · author #3
5. Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report cs.SE · 2016 · author #2
6. Towards Realizability Checking of Contracts using Theories cs.SE · 2015 · author #3
7. Machine-Checked Proofs For Realizability Checking Algorithms cs.SE · 2015 · author #3

Mentions

• 1502.03005 #3 · backfill · confidence 0.70 Michael W. Whalen
• 1502.01292 #3 · backfill · confidence 0.70 Michael W. Whalen

Frequent Coauthors

• Andrew Gacek 7 shared papers
• Andreas Katis 5 shared papers
• John Backes 3 shared papers
• Arie Gurfinkel 2 shared papers
• Grigory Fedyukovich 2 shared papers
• Darren Cofer 1 shared papers
• Huajun Guo 1 shared papers
• John D. Backes 1 shared papers
• John Komp 1 shared papers
• Tuan-Hung Pham 1 shared papers