Paul C. Attie

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

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

2018
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

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

2016
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

2015
Model and program repair via SAT solving.
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
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

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

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

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

2007
Model and Program Repair via SAT Solvers
CoRR, 2007

2006
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

2005
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

2004
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

2003
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

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

2001
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

2000
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

1999
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

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

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

1996
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

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

1993
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

1990
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

1989
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


  Loading...