Synthesis of Concurrent Systems with Many Similar Sequential Processes. - Paul C. Attie; E. Allen Emerson (POPL, 1989)

Vanna: a visual environment for the design of distributed systems. - Paul C. Attie; Glenn Bruns; Michael Evangelist; Charles Richter; Vincent Y. Shen (TRI-Ada, 1989)

Convergence of Iteration Systems (Extended Abstract). - Anish Arora; Paul C. Attie; Michael Evangelist; Mohamed G. Gouda (CONCUR, 1990)

On Fairness as an Abstraction for the Design of Distributed Systems. - Paul C. Attie; Ira R. Forman; Eliezer Levy (ICDCS, 1990)

Task Scheduling Using Intertask Dependencies in Carot. - Darrell Woelk; Paul C. Attie; Philip Cannata; Greg Meredith; Amit P. Sheth; Munindar P. Singh; Christine Tomlinson (SIGMOD Conference, 1993)

Specifying and Enforcing Intertask Dependencies. - Paul C. Attie; Munindar P. Singh; Amit P. Sheth; Marek Rusinkiewicz (VLDB, 1993)

Convergence of Iteration Systems. - Anish Arora; Paul C. Attie; Michael Evangelist; Mohamed G. Gouda (Distributed Comput., 1993)

Fairness and Hyperfairness in Multi-Party Interactions. - Paul C. Attie; Nissim Francez; Orna Grumberg (Distributed Comput., 1993)

Workflow Support in Carnot. - Christine Tomlinson; Paul C. Attie; Philip Cannata; Greg Meredith; Amit P. Sheth; Munindar P. Singh; Darrell Woelk (IEEE Data Eng. Bull., 1993)

An Event Algebra for Specifying and Scheduling Workflows. - Munindar P. Singh; Greg Meredith; Christine Tomlinson; Paul C. Attie (DASFAA, 1995)

Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. - Shigang Chen; Yi Deng 001; Paul C. Attie; Wei Sun 002 (ICDCS, 1996)

Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). - Paul C. Attie; E. Allen Emerson (PODC, 1996)

A Formalism for Architectural Modeling of Distributed Real-Time Systems. - Yi Deng 001; Wenliang Du; Paul C. Attie; Michael Evangelist (SEKE, 1996)

Scheduling workflows by enforcing intertask dependencies. - Paul C. Attie; Munindar P. Singh; E. Allen Emerson; Amit P. Sheth; Marek Rusinkiewicz (Distributed Syst. Eng., 1996)

Automating the refinement of specifications for distributed systems via syntactic transformations. - Paul C. Attie; Champak Das (Int. J. Syst. Sci., 1997)

Synthesis of Concurrent Systems with Many Similar Processes. - Paul C. Attie; E. Allen Emerson (ACM Trans. Program. Lang. Syst., 1998)

Synthesis of Large Concurrent Programs via Pairwise Composition. - Paul C. Attie (CONCUR, 1999)

Liveness-Preserving Simulation Relations. - Paul C. Attie (PODC, 1999)

On Formal Modeling of Agent Computations. - Tadashi Araragi; Paul C. Attie; Idit Keidar; Kiyoshi Kogure; Victor Luchangco; Nancy A. Lynch; Ken Mano (FAABS, 2000)

Efficient formal methods for the synthesis of concurrent programs. - Paul C. Attie (ACM SIGSOFT Softw. Eng. Notes, 2000)

Dynamic input/output automata, a formal model for dynamic systems. - Paul C. Attie; Nancy A. Lynch (PODC, 2001)

Synthesis of concurrent programs for an atomic read/write model of computation. - Paul C. Attie; E. Allen Emerson (ACM Trans. Program. Lang. Syst., 2001)

Wait-free Byzantine consensus. - Paul C. Attie (Inf. Process. Lett., 2002)

Beyond AIMD: Explicit Fair-share Calculation. - Paul C. Attie; Adrian Lahanas; Vassilios Tsaoussidis (ISCC, 2003)

On the Implementation Complexity of Specifications of Concurrent Programs. - Paul C. Attie (DISC, 2003)

Turing machines, transition systems, and interaction. - Dina Q. Goldin; Scott A. Smolka; Paul C. Attie; Elaine L. Sonderegger (Inf. Comput., 2004)

Preface by the section editors. - Lenore D. Zuck; Paul C. Attie; Agostino Cortesi (Int. J. Softw. Tools Technol. Transf., 2004)

Synthesis of fault-tolerant concurrent programs. - Paul C. Attie; Anish Arora; E. Allen Emerson (ACM Trans. Program. Lang. Syst., 2004)

Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. - Paul C. Attie; Hana Chockler (VMCAI, 2005)

Automatic Verification of Fault-Tolerant Register Emulations. - Paul C. Attie; Hana Chockler (INFINITY, 2005)

Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. - Paul C. Attie; David H. Lorenz; Aleksandra Portnova; Hana Chockler (CBSE, 2006)

Model and Program Repair via SAT Solvers - Paul C. Attie; Jad Saklawi (CoRR, 2007)

Finite-state concurrent programs can be expressed pairwise - Paul C. Attie (CoRR, 2008)

On the refinement of liveness properties of distributed systems. - Paul C. Attie (Formal Methods Syst. Des., 2011)

The impossibility of boosting distributed service resilience. - Paul C. Attie; Rachid Guerraoui; Petr Kuznetsov; Nancy A. Lynch; Sergio Rajsbaum (Inf. Comput., 2011)

An Abstract Framework for Deadlock Prevention in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (FMOODS/FORTE, 2013)

Specification Construction Using Behaviours, Equivalences, and SMT Solvers. - Paul C. Attie; Fadi A. Zaraket; Mohamad Noureddine; Farah El-Hariri (CoRR, 2013)

Semantic Guidance and Feedback for the Construction of Specifications and Implementations - Paul C. Attie; Fadi A. Zaraket; Mohammad Fawaz; Mohamad Noureddine (CoRR, 2013)

Model and program repair via SAT solving. - Paul C. Attie; Ali Cherri; Kinan Dak-Al-Bab; Mouhammad Sakr; Jad Saklawi (MEMOCODE, 2015)

A general framework for architecture composability. - Paul C. Attie; Eduard Baranov; Simon Bliudze; Mohamad Jaber 001; Joseph Sifakis (Formal Aspects Comput., 2016)

Synthesis of large dynamic concurrent programs from dynamic specifications. - Paul C. Attie (Formal Methods Syst. Des., 2016)

Dynamic input/output automata: A formal and compositional model for dynamic systems. - Paul C. Attie; Nancy A. Lynch (Inf. Comput., 2016)

Finite-state concurrent programs can be expressed in pairwise normal form. - Paul C. Attie (Theor. Comput. Sci., 2016)

Finite-state concurrent programs can be expressed succinctly in triple normal form. - Paul C. Attie (Inf. Process. Lett., 2017)

Model and Program Repair via SAT Solving. - Paul C. Attie; Kinan Dak-Al-Bab; Mouhammad Sakr (ACM Trans. Embed. Comput. Syst., 2018)

Global and Local Deadlock Freedom in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (ACM Trans. Softw. Eng. Methodol., 2018)

From Global Choreographies to Provably Correct and Efficient Distributed Implementations. - Mohamad Jaber 001; Yliès Falcone; Paul C. Attie; Al-Abbass Khalil; Rayan Hallal (CoRR, 2019)

From global choreographies to verifiable efficient distributed implementations. - Mohamad Jaber 001; Yliès Falcone; Paul C. Attie; Al-Abbass Khalil; Rayan Hallal; Antoine El-Hokayem (J. Log. Algebraic Methods Program., 2020)

Operational Annotations - A New Method for Sequential Program Verification. - Paul C. Attie (NFM, 2022)

Model Repair via Symmetry. - Paul C. Attie; William Cocke (CoRR, 2022)

Model and Program Repair via Group Actions. - Paul C. Attie; William Cocke (FoSSaCS, 2023)

Code Documentation and Analysis to Secure Software Development. - Paul C. Attie; Anas Obeidat; Nathaniel Oh; Ian Yelle (CoRR, 2024)

Bypassing Array Canaries via Autonomous Function Call Resolution. - Nathaniel Oh; Paul C. Attie; Anas Obeidat (CoRR, 2025)

Model and Program Repair via Group Actions and Structure Unwinding. - Paul C. Attie; William L. Cocke (ACM Trans. Comput. Log., 2025)