Paul C. Attie

Identifiers

• name variant Paul C. Attie 0.60 · backfill

Papers (6)

1. Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems cs.DC · 2016 · author #1
2. Specification Construction Using Behaviours, Equivalences, and SMT Solvers cs.SE · 2013 · author #1
3. Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications cs.LO · 2008 · author #1
4. On the Refinement of Liveness Properties of Distributed Systems cs.LO · 2008 · author #1
5. Finite-state concurrent programs can be expressed pairwise cs.LO · 2008 · author #1
6. Model and Program Repair via SAT Solving cs.LO · 2007 · author #1

Mentions

• 1307.6901 #1 · arxiv_oai · confidence 0.70 Paul C. Attie
• 0710.3332 #1 · arxiv_oai · confidence 0.70 Paul C. Attie
• 0801.1687 #1 · arxiv_oai · confidence 0.70 Paul C. Attie
• 0801.0949 #1 · arxiv_oai · confidence 0.70 Paul C. Attie
• 0801.0677 #1 · arxiv_oai · confidence 0.70 Paul C. Attie
• 1307.6901 #1 · backfill · confidence 0.70 Paul C. Attie
• 0801.1687 #1 · backfill · confidence 0.70 Paul C. Attie
• 0801.0949 #1 · backfill · confidence 0.70 Paul C. Attie
• 0801.0677 #1 · backfill · confidence 0.70 Paul C. Attie
• 0710.3332 #1 · backfill · confidence 0.70 Paul C. Attie

Frequent Coauthors

• Fadi A. Zaraket 1 shared papers
• Farah El-Hariri 1 shared papers
• Jad Saklawi 1 shared papers
• Mohamad Noureddine 1 shared papers
• Nancy A. Lynch 1 shared papers