pith. sign in

Andrew Gacek

Identifiers

  • name variant Andrew Gacek 0.60 · backfill

Papers (21)

  1. The JKind Model Checker cs.LO · 2017 · author #1
  2. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts cs.SE · 2017 · author #4
  3. Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability cs.SE · 2016 · author #3
  4. On Implementing Real-time Specification Patterns Using Observers cs.SE · 2016 · author #3
  5. Reasoning about Algebraic Data Types with Abstractions cs.LO · 2016 · author #2
  6. From Design Contracts to Component Requirements Verification cs.SE · 2016 · author #4
  7. Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report cs.SE · 2016 · author #3
  8. Towards Realizability Checking of Contracts using Theories cs.SE · 2015 · author #1
  9. Machine-Checked Proofs For Realizability Checking Algorithms cs.SE · 2015 · author #2
  10. Resolute: An Assurance Case Language for Architecture Models cs.SE · 2014 · author #1
  11. Reasoning About Higher-Order Relational Specifications cs.LO · 2013 · author #3
  12. Relating Nominal and Higher-order Abstract Syntax Specifications cs.LO · 2010 · author #1
  13. A two-level logic approach to reasoning about computations cs.LO · 2009 · author #1
  14. A Framework for Specifying, Prototyping, and Reasoning about Computational Systems cs.LO · 2009 · author #1
  15. Nominal Abstraction cs.LO · 2009 · author #1
  16. Reasoning in Abella about Structural Operational Semantics Specifications cs.LO · 2008 · author #1
  17. The Abella Interactive Theorem Prover (System Description) cs.LO · 2008 · author #1
  18. Combining generic judgments with recursive definitions cs.LO · 2008 · author #1
  19. A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi cs.LO · 2007 · author #1
  20. The Bedwyr system for model checking over syntactic expressions cs.LO · 2007 · author #2
  21. The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi cs.LO · 2007 · author #1

Mentions

  • 1302.2584 #3 · backfill · confidence 0.70 Andrew Gacek
  • 1003.5447 #1 · backfill · confidence 0.70 Andrew Gacek
  • 0911.2993 #1 · backfill · confidence 0.70 Andrew Gacek
  • 0910.0747 #1 · backfill · confidence 0.70 Andrew Gacek
  • 0908.1390 #1 · backfill · confidence 0.70 Andrew Gacek
  • 0804.3914 #1 · backfill · confidence 0.70 Andrew Gacek
  • 0803.2305 #1 · backfill · confidence 0.70 Andrew Gacek
  • 0802.0865 #1 · backfill · confidence 0.70 Andrew Gacek

Frequent Coauthors