| 2023 | FOSSACS | Model and Program Repair via Group Actions. | Paul C. Attie, William Cocke |
| 2015 | MEMOCODE | Model and program repair via SAT solving. | Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi |
| 2014 | SEFM | A General Framework for Architecture Composability. | Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis |
| 2013 | FORTE | An Abstract Framework for Deadlock Prevention in BIP. | Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket |
| 2005 | ICDCS | The Impossibility of Boosting Distributed Service Resilience. | Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum |
| 2005 | VMCAI | Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. | Paul C. Attie, Hana Chockler |
| 2003 | ISCC | Beyond AIMD: Explicit Fair-share Calculation. | Paul C. Attie, Adrian Lahanas, Vassilios Tsaoussidis |
| 2001 | CONCUR | Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. | Paul C. Attie, Nancy A. Lynch |
| 2001 | PODC | Dynamic input/output automata, a formal model for dynamic systems. | Paul C. Attie, Nancy A. Lynch |
| 1999 | CONCUR | Synthesis of Large Concurrent Programs via Pairwise Composition. | Paul C. Attie |
| 1999 | PODC | Liveness-Preserving Simulation Relations. | Paul C. Attie |
| 1998 | PODC | Synthesis of Fault-Tolerant Concurrent Programs. | Anish Arora, Paul C. Attie, E. Allen Emerson |
| 1996 | ICDCS | Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. | Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun |
| 1996 | PODC | Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). | Paul C. Attie, E. Allen Emerson |
| 1996 | SEKE | A Formalism for Architectural Modeling of Distributed Real-Time Systems. | Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist |
| 1995 | DASFAA | An Event Algebra for Specifying and Scheduling Workflows. | Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie |
| 1993 | SIGMOD | Task Scheduling Using Intertask Dependencies in Carot. | Darrell Woelk, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Christine Tomlinson |
| 1993 | VLDB | Specifying and Enforcing Intertask Dependencies. | Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz |
| 1990 | CONCUR | Convergence of Iteration Systems (Extended Abstract). | Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda |
| 1990 | ICDCS | On Fairness as an Abstraction for the Design of Distributed Systems. | Paul C. Attie, Ira R. Forman, Eliezer Levy |
| 1990 | POPL | Fairness and Hyperfairness in Multi-Party Interactions. | Paul C. Attie, Nissim Francez, Orna Grumberg |
| 1989 | POPL | Synthesis of Concurrent Systems with Many Similar Sequential Processes. | Paul C. Attie, E. Allen Emerson |