2 citations · 5 across the 4 of their papers we have counts for
4 papers
Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications
Paul C. Attie
We present a tractable method for synthesizing arbitrarily large concurrent programs, for a shared memory model with common hardware-available primitives such as atomic registers,…
On the Refinement of Liveness Properties of Distributed Systems
Paul C. Attie
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reaso…
Finite-state concurrent programs can be expressed pairwise
Paul C. Attie
We present a \emph{pairwise normal form} for finite-state shared memory concurrent programs: all variables are shared between exactly two processes, and the guards on transitions a…
Model and Program Repair via SAT Solving
Paul C. Attie, Jad Saklawi
We consider the following \emph{model repair problem}: given a finite Kripke structure and a specification formula in some modal or temporal logic, determine if contain…