Paul C. Attie

According to our database1, Paul C. Attie authored at least 48 papers between 1989 and 2021.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



Operational Annotations: A new method for sequential program verification.
CoRR, 2021

From global choreographies to verifiable efficient distributed implementations.
J. Log. Algebraic Methods Program., 2020

From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR, 2019

Global and Local Deadlock Freedom in BIP.
ACM Trans. Softw. Eng. Methodol., 2018

Model and Program Repair via SAT Solving.
ACM Trans. Embed. Comput. Syst., 2018

Finite-state concurrent programs can be expressed succinctly in triple normal form.
Inf. Process. Lett., 2017

Finite-state concurrent programs can be expressed in pairwise normal form.
Theor. Comput. Sci., 2016

Dynamic input/output automata: A formal and compositional model for dynamic systems.
Inf. Comput., 2016

Synthesis of large dynamic concurrent programs from dynamic specifications.
Formal Methods Syst. Des., 2016

A general framework for architecture composability.
Formal Aspects Comput., 2016

Model and program repair via SAT solving.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Semantic Guidance and Feedback for the Construction of Specifications and Implementations
CoRR, 2013

Specification Construction Using Behaviours, Equivalences, and SMT Solvers.
CoRR, 2013

An Abstract Framework for Deadlock Prevention in BIP.
Proceedings of the Formal Techniques for Distributed Systems, 2013

The impossibility of boosting distributed service resilience.
Inf. Comput., 2011

On the refinement of liveness properties of distributed systems.
Formal Methods Syst. Des., 2011

Finite-state concurrent programs can be expressed pairwise
CoRR, 2008

Model and Program Repair via SAT Solvers
CoRR, 2007

Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

Automatic Verification of Fault-Tolerant Register Emulations.
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005

Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.
Proceedings of the Verification, 2005

Synthesis of fault-tolerant concurrent programs.
ACM Trans. Program. Lang. Syst., 2004

Preface by the section editors.
Int. J. Softw. Tools Technol. Transf., 2004

Turing machines, transition systems, and interaction.
Inf. Comput., 2004

On the Implementation Complexity of Specifications of Concurrent Programs.
Proceedings of the Distributed Computing, 17th International Conference, 2003

Beyond AIMD: Explicit Fair-share Calculation.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

Wait-free Byzantine consensus.
Inf. Process. Lett., 2002

Synthesis of concurrent programs for an atomic read/write model of computation.
ACM Trans. Program. Lang. Syst., 2001

Dynamic input/output automata, a formal model for dynamic systems.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Efficient formal methods for the synthesis of concurrent programs.
ACM SIGSOFT Softw. Eng. Notes, 2000

On Formal Modeling of Agent Computations.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Liveness-Preserving Simulation Relations.
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Synthesis of Large Concurrent Programs via Pairwise Composition.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

Synthesis of Concurrent Systems with Many Similar Processes.
ACM Trans. Program. Lang. Syst., 1998

Automating the refinement of specifications for distributed systems via syntactic transformations.
Int. J. Syst. Sci., 1997

Scheduling workflows by enforcing intertask dependencies.
Distributed Syst. Eng., 1996

A Formalism for Architectural Modeling of Distributed Real-Time Systems.
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).
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.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

An Event Algebra for Specifying and Scheduling Workflows.
Proceedings of the Database Systems for Advanced Applications '95, 1995

Workflow Support in Carnot.
IEEE Data Eng. Bull., 1993

Fairness and Hyperfairness in Multi-Party Interactions.
Distributed Comput., 1993

Convergence of Iteration Systems.
Distributed Comput., 1993

Specifying and Enforcing Intertask Dependencies.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Task Scheduling Using Intertask Dependencies in Carot.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

On Fairness as an Abstraction for the Design of Distributed Systems.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

Convergence of Iteration Systems (Extended Abstract).
Proceedings of the CONCUR '90, 1990

Synthesis of Concurrent Systems with Many Similar Sequential Processes.
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989