Paul C. Attie

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 15

Top Topics

Relational Algebra

Concurrent Programs

Dynamic Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

J. Log. Algebraic Methods Program.

Publications

Paul C. Attie, William Cocke
Model and Program Repair via Group Actions. FoSSaCS (2023)
Paul C. Attie
Operational Annotations - A New Method for Sequential Program Verification. NFM (2022)
Paul C. Attie, William Cocke
Model Repair via Symmetry. CoRR (2022)
Paul C. Attie
Operational Annotations: A new method for sequential program verification. CoRR (2021)
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem
From global choreographies to verifiable efficient distributed implementations. J. Log. Algebraic Methods Program. 115 (2020)
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal
From Global Choreographies to Provably Correct and Efficient Distributed Implementations. CoRR (2019)
Paul C. Attie, Kinan Dak-Al-Bab, Mouhammad Sakr
Model and Program Repair via SAT Solving. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. 26 (3) (2018)
Paul C. Attie
Finite-state concurrent programs can be expressed succinctly in triple normal form. Inf. Process. Lett. 123 (2017)
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
A general framework for architecture composability. Formal Aspects Comput. 28 (2) (2016)
Paul C. Attie, Nancy A. Lynch
Dynamic input/output automata: A formal and compositional model for dynamic systems. Inf. Comput. 249 (2016)
Paul C. Attie
Finite-state concurrent programs can be expressed in pairwise normal form. Theor. Comput. Sci. 619 (2016)
Paul C. Attie, Nancy A. Lynch
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems. CoRR (2016)
Paul C. Attie
Synthesis of large dynamic concurrent programs from dynamic specifications. Formal Methods Syst. Des. 48 (1-2) (2016)
Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi
Model and program repair via SAT solving. MEMOCODE (2015)
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
A General Framework for Architecture Composability. SEFM (2014)
Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri
Specification Construction Using Behaviours, Equivalences, and SMT Solvers. CoRR (2013)
Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine
Semantic Guidance and Feedback for the Construction of Specifications and Implementations CoRR (2013)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE (2013)
Paul C. Attie
On the refinement of liveness properties of distributed systems. Formal Methods Syst. Des. 39 (1) (2011)
Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum
The impossibility of boosting distributed service resilience. Inf. Comput. 209 (6) (2011)
Paul C. Attie
Finite-state concurrent programs can be expressed pairwise CoRR (2008)
Paul C. Attie
On the Refinement of Liveness Properties of Distributed Systems CoRR (2008)
Paul C. Attie
Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications CoRR (2008)
Paul C. Attie, Jad Saklawi
Model and Program Repair via SAT Solvers CoRR (2007)
Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. CBSE (2006)
Paul C. Attie, Hana Chockler
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. VMCAI (2005)
Paul C. Attie, Hana Chockler
Automatic Verification of Fault-Tolerant Register Emulations. INFINITY (2005)
Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum
The Impossibility of Boosting Distributed Service Resilience. ICDCS (2005)
Paul C. Attie, Anish Arora, E. Allen Emerson
Synthesis of fault-tolerant concurrent programs. ACM Trans. Program. Lang. Syst. 26 (1) (2004)
Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger
Turing machines, transition systems, and interaction. Inf. Comput. 194 (2) (2004)
Lenore D. Zuck, Paul C. Attie, Agostino Cortesi
Preface by the section editors. Int. J. Softw. Tools Technol. Transf. 6 (1) (2004)
Paul C. Attie, Adrian Lahanas, Vassilios Tsaoussidis
Beyond AIMD: Explicit Fair-share Calculation. ISCC (2003)
Paul C. Attie
On the Implementation Complexity of Specifications of Concurrent Programs. DISC (2003)
Paul C. Attie
Wait-free Byzantine consensus. Inf. Process. Lett. 83 (4) (2002)
Paul C. Attie, E. Allen Emerson
Synthesis of concurrent programs for an atomic read/write model of computation. ACM Trans. Program. Lang. Syst. 23 (2) (2001)
Paul C. Attie, Nancy A. Lynch
Dynamic input/output automata, a formal model for dynamic systems. PODC (2001)
Paul C. Attie, Nancy A. Lynch
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. CONCUR (2001)
Paul C. Attie
Efficient formal methods for the synthesis of concurrent programs. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
On Formal Modeling of Agent Computations. FAABS (2000)
Paul C. Attie
Liveness-Preserving Simulation Relations. PODC (1999)
Paul C. Attie
Synthesis of Large Concurrent Programs via Pairwise Composition. CONCUR (1999)
Paul C. Attie, E. Allen Emerson
Synthesis of Concurrent Systems with Many Similar Processes. ACM Trans. Program. Lang. Syst. 20 (1) (1998)
Anish Arora, Paul C. Attie, E. Allen Emerson
Synthesis of Fault-Tolerant Concurrent Programs. PODC (1998)
Paul C. Attie, Champak Das
Automating the refinement of specifications for distributed systems via syntactic transformations. Int. J. Syst. Sci. 28 (11) (1997)
Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist
A Formalism for Architectural Modeling of Distributed Real-Time Systems. SEKE (1996)
Paul C. Attie, E. Allen Emerson
Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). PODC (1996)
Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun
Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. ICDCS (1996)
Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz
Scheduling workflows by enforcing intertask dependencies. Distributed Syst. Eng. 3 (4) (1996)
Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie
An Event Algebra for Specifying and Scheduling Workflows. DASFAA (1995)
Darrell Woelk, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Christine Tomlinson
Task Scheduling Using Intertask Dependencies in Carot. SIGMOD Conference (1993)
Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz
Specifying and Enforcing Intertask Dependencies. VLDB (1993)
Paul C. Attie, Nissim Francez, Orna Grumberg
Fairness and Hyperfairness in Multi-Party Interactions. Distributed Comput. 6 (4) (1993)
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
Convergence of Iteration Systems. Distributed Comput. 7 (1) (1993)
Christine Tomlinson, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Darrell Woelk
Workflow Support in Carnot. IEEE Data Eng. Bull. 16 (2) (1993)
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
Convergence of Iteration Systems (Extended Abstract). CONCUR (1990)
Paul C. Attie, Ira R. Forman, Eliezer Levy
On Fairness as an Abstraction for the Design of Distributed Systems. ICDCS (1990)
Paul C. Attie, Nissim Francez, Orna Grumberg
Fairness and Hyperfairness in Multi-Party Interactions. POPL (1990)
Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen
Vanna: a visual environment for the design of distributed systems. TRI-Ada (1989)
Paul C. Attie, E. Allen Emerson
Synthesis of Concurrent Systems with Many Similar Sequential Processes. POPL (1989)