Paul C. Attie

According to our database, Paul C. Attie authored at least 51 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Model and Program Repair via Group Actions.

Paul C. Attie, William Cocke

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

Model Repair via Symmetry.

Paul C. Attie, William Cocke

CoRR, 2022

Operational Annotations - A New Method for Sequential Program Verification.

Paul C. Attie

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2020

From global choreographies to verifiable efficient distributed implementations.

Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem

J. Log. Algebraic Methods Program., 2020

2019

From Global Choreographies to Provably Correct and Efficient Distributed Implementations.

Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal

CoRR, 2019

2018

Global and Local Deadlock Freedom in BIP.

Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket

ACM Trans. Softw. Eng. Methodol., 2018

Model and Program Repair via SAT Solving.

Paul C. Attie, Kinan Dak-Al-Bab, Mouhammad Sakr

ACM Trans. Embed. Comput. Syst., 2018

2017

Finite-state concurrent programs can be expressed succinctly in triple normal form.

Paul C. Attie

Inf. Process. Lett., 2017

2016

Finite-state concurrent programs can be expressed in pairwise normal form.

Paul C. Attie

Theor. Comput. Sci., 2016

Dynamic input/output automata: A formal and compositional model for dynamic systems.

Paul C. Attie, Nancy A. Lynch

Inf. Comput., 2016

Synthesis of large dynamic concurrent programs from dynamic specifications.

Paul C. Attie

Formal Methods Syst. Des., 2016

A general framework for architecture composability.

Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis

Formal Aspects Comput., 2016

2015

Model and program repair via SAT solving.

Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2013

Semantic Guidance and Feedback for the Construction of Specifications and Implementations

Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine

CoRR, 2013

Specification Construction Using Behaviours, Equivalences, and SMT Solvers.

Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri

CoRR, 2013

An Abstract Framework for Deadlock Prevention in BIP.

Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket

Proceedings of the Formal Techniques for Distributed Systems, 2013

2011

The impossibility of boosting distributed service resilience.

Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum

Inf. Comput., 2011

On the refinement of liveness properties of distributed systems.

Paul C. Attie

Formal Methods Syst. Des., 2011

2008

Finite-state concurrent programs can be expressed pairwise

Paul C. Attie

CoRR, 2008

2007

Model and Program Repair via SAT Solvers

Paul C. Attie, Jad Saklawi

CoRR, 2007

2006

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

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

Automatic Verification of Fault-Tolerant Register Emulations.

Paul C. Attie, Hana Chockler

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005

Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.

Paul C. Attie, Hana Chockler

Proceedings of the Verification, 2005

2004

Synthesis of fault-tolerant concurrent programs.

Paul C. Attie, Anish Arora, E. Allen Emerson

ACM Trans. Program. Lang. Syst., 2004

Preface by the section editors.

Lenore D. Zuck, Paul C. Attie, Agostino Cortesi

Int. J. Softw. Tools Technol. Transf., 2004

Turing machines, transition systems, and interaction.

Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger

Inf. Comput., 2004

2003

On the Implementation Complexity of Specifications of Concurrent Programs.

Paul C. Attie

Proceedings of the Distributed Computing, 17th International Conference, 2003

Beyond AIMD: Explicit Fair-share Calculation.

Paul C. Attie, Adrian Lahanas, Vassilios Tsaoussidis

Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

2002

Wait-free Byzantine consensus.

Paul C. Attie

Inf. Process. Lett., 2002

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

Dynamic input/output automata, a formal model for dynamic systems.

Paul C. Attie, Nancy A. Lynch

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

2000

Efficient formal methods for the synthesis of concurrent programs.

Paul C. Attie

ACM SIGSOFT Softw. Eng. Notes, 2000

On Formal Modeling of Agent Computations.

Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Liveness-Preserving Simulation Relations.

Paul C. Attie

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Synthesis of Large Concurrent Programs via Pairwise Composition.

Paul C. Attie

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Synthesis of Concurrent Systems with Many Similar Processes.

Paul C. Attie, E. Allen Emerson

ACM Trans. Program. Lang. Syst., 1998

1997

Automating the refinement of specifications for distributed systems via syntactic transformations.

Paul C. Attie, Champak Das

Int. J. Syst. Sci., 1997

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

A Formalism for Architectural Modeling of Distributed Real-Time Systems.

Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract).

Paul C. Attie, E. Allen Emerson

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs.

Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995

An Event Algebra for Specifying and Scheduling Workflows.

Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie

Proceedings of the Database Systems for Advanced Applications '95, 1995

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

Fairness and Hyperfairness in Multi-Party Interactions.

Paul C. Attie, Nissim Francez, Orna Grumberg

Distributed Comput., 1993

Convergence of Iteration Systems.

Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda

Distributed Comput., 1993

Specifying and Enforcing Intertask Dependencies.

Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz

Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Task Scheduling Using Intertask Dependencies in Carot.

Darrell Woelk, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Christine Tomlinson

Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

1990

On Fairness as an Abstraction for the Design of Distributed Systems.

Paul C. Attie, Ira R. Forman, Eliezer Levy

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

Convergence of Iteration Systems (Extended Abstract).

Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda

Proceedings of the CONCUR '90, 1990

1989

Vanna: a visual environment for the design of distributed systems.

Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen

Proceedings of the Conference on Tri-Ada 1989, 1989

Synthesis of Concurrent Systems with Many Similar Sequential Processes.

Paul C. Attie, E. Allen Emerson

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989