Paul Attie's Publications
-
On the refinement of liveness properties of distributed systems
Abstract /
PDF /
Bibtex
P.C. Attie
Formal Methods in System Design 39(1):1-46, August 2011.
- The Impossibility of Boosting Distributed Service Resilience
Abstract /
PDF /
Bibtex
P.C. Attie, R. Guerraoui, P. Kouznetsov, N.A. Lynch, and S. Rajsbaum
Information and Computation 209(6):927-950, June 2011.
-
Behavioral Compatibility without State Explosion:
A Case Study in Designing a Componentized Elevator
Control System
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie, D. Lorenz, A. Portnova, and H. Chockler
The 9th International Symposium on
Component-Based Software Engineering (CBSE 2006),
June 2006, Vasteras, Sweden.
- The Impossibility of Boosting Distributed Service Resilience
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie, R. Guerraoui, P. Kouznetsov, N.A. Lynch, and S. Rajsbaum
The 25'th International Conference on Distributed Computing Systems,
June 2005, Columbus, Ohio.
-
Efficiently Verifiable Conditions for Deadlock-freedom of Large Concurrent Programs
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie and H. Chockler
Sixth International Conference on
Verification, Model Checking and Abstract Interpretation,
January 2005, Paris, France.
-
Turing Machines, Transition Systems, and Interaction
Abstract /
Postscript /
PDF /
Bibtex
D. Goldin, S. Smolka, P.C. Attie, and E. Sondregger
Information and Computation,
Volume 194, Issue 2, Nov. 2004, pp. 101-128.
Most downloaded paper in the period Oct-Dec 2004
-
Synthesis of Fault-tolerant Concurrent Programs
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie, A. Arora, and E.A. Emerson
ACM Transactions on Programming Languages and Systems (TOPLAS)
vol. 26, no. 1, pp 125-185, January 2004.
Extended abstract appears in
ACM Symposium on the Principles of Distributed Computing (PODC) 1998.
-
On the Implementation Complexity of Specifications of Concurrent Programs
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie
DISC 2003: 17th International Symposium on Distributed Computing, October 2003,
Sorrento, Italy.
-
Correctness of Model-based Component Composition without State Explosion
P.C. Attie and D. Lorenz
Abstract /
Postscript /
PDF /
Bibtex
ECOOP 2003 Workshop on Correctness of Model-based Software
Composition, Darmstadt, Germany, July 22, 2003.
-
Beyond AIMD: Explicit Fair-Share Calculation
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie, A. Lahanas, and V. Tsaoussidis
The Eighth IEEE Symposium On Computers And Communications (ISCC'2003),
Kemer - Antalya, Turkey, June 30 - July 3 2003.
-
Wait-free Byzantine Consensus
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie
Information Processing Letters, vol. 83, no. 4, pp. 221-227, August 2002.
-
Dynamic Input/Output Automata: a Formal Model for Dynamic Systems
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie and N.A. Lynch.
CONCUR'01, the International
Conference on Concurrency Theory, Aalborg, Denmark, August 2001.
-
Synthesis of Concurrent Systems for an
Atomic Read/Write Model of Computation.
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie and E.A. Emerson
ACM Transactions on Programming Languages and Systems (TOPLAS)
vol. 23, no. 2, pp. 187-242, March 2001.
Extended abstract appears in
ACM Symposium on the Principles of Distributed Computing (PODC) 1996
-
On Formal Modeling of Agent Computations.
Abstract /
Postscript /
PDF /
Bibtex
T. Araragi, P.C. Attie, I. Keidar, K. Kogure, V. Luchangco, N.A. Lynch, and K. Mano.
Formal Approaches to Agent-Based Systems (First International
Workshop, FAABS 2000, Greenbelt, MD, USA, April 2000).
Lecture Notes in Artificial Intelligence, vol. 1871, pp. 48-62,
2000, {Springer-Verlag}.
-
Synthesis of Large Concurrent Programs Via Pairwise Composition
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie
CONCUR'99: 10th International Conference on Concurrency Theory
-
Liveness-Preserving Simulation Relations
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie
ACM Symposium on the Principles of Distributed Computing (PODC) 1999
-
Synthesis of Concurrent Systems With Many Similar Processes
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie and E.A. Emerson
ACM Transactions on Programming Languages and Systems,
vol. 20, no. 1, pp. 51-115, January 1998
-
Scheduling Workflows by Enforcing Intertask Dependencies
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie, M. Singh, E.A. Emerson, A. Sheth, and M. Rusinkiewicz
Distributed Systems Engineering Journal 3 (1996) 222-238
-
Automating the Refinement of Specifications for
Distributed Systems Via Syntactic Transformations
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie and C. Das
International Journal of Systems Science; Special Issue on Distributed
Computing Systems 28(11), 1997, 1129-1144
-
Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed
Wait-For Graphs
Abstract /
Postscript /
PDF /
Bibtex
S. Chen, Y. Deng, P.C. Attie, and W. Sun
16th International Conference on Distribued Computing Systems (ICDCS) 1996
-
A Formalism for Architectural Modeling of Concurrent Real-Time Systems
Y. Deng, W. Du, P.C. Attie, and M. Evangelist
8th International Conference on Software Engineering and Knowledge
Engineering 1996
-
An Event Algebra for Specifying and Scheduling Workflows
Abstract /
Postscript /
PDF /
Bibtex
M.P. Singh, L.G. Meredith, C. Tomlinson, and P.C. Attie
4th International Conference on Database Systems for Advanced Applications
(DASFAA) 1995
-
Convergence of Iteration Systems
Abstract /
Postscript /
PDF /
Bibtex
A. Arora, P.C. Attie, M. Evangelist, and M. Gouda
Distributed Computing 7:1, pp. 43-53, November 1993.
Extended abstract in CONCUR'90, Springer LNCS vol. 458
-
Fairness and Hyperfairness in Multiparty Interactions
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie, N. Francez, and O. Grumberg
Distributed Computing, 6:4,pp. 245-254, July 1993.
Extended abstract in ACM POPL 1990
-
Specifying and Enforcing Intertask Dependencies
Abstract /
Postscript /
PDF /
Bibtex
P.C. Attie, M.P. Singh, A.P. Sheth, and M. Rusinkiewicz
Proceedings of the 19th VLDB Conference 1993
-
Workflow Support in Carnot
C. Tomlinson, P.C. Attie, P. Cannata, G. Meredith, A. Sheth, M. Singh, and
D. Woelk
IEEE Data Engineering; Special Issue on Workflow and Extended Transaction
Systems, 16(2), June 1993
-
Task Scheduling Using Intertask Dependencies in Carnot
Abstract /
Postscript /
PDF /
Bibtex
D. Woelk, P.C. Attie, P. Cannata, G. Meredith, A. Sheth, M. Singh, and
C. Tomlinson
ACM SIGMOD International Conference on Management of Data (Industrial Session)
1993
-
On Fairness as an Abstraction for fhe Design of Distributed Systems
P.C. Attie, I.R. Forman, and E. Levy
International Conference on Distributed Computing Systems (ICDCS) 1990.
-
Synthesis of Concurrent Systems With Many Similar Sequential Processes
P.C. Attie and E.A. Emerson
ACM Symposium on the Principles of Programming Languages (POPL) 1989
-
Vanna: a Visual Environment for the Design of Distributed Systems
P.C. Attie, G. Bruns, M. Evangelist, C. Richter, and V. Shen
Tri-ADA Conference, 1989
Theses
- Formal Methods for the Synthesis Of Concurrent Programs
From Temporal Logic Specifications, Ph.D. dissertation, Department
of Computer Sciences, The University of Texas at Austin, May 1995.
- Addition of an Error Detecting Layer to the Network
Independent File Transfer Protocol, M.Sc. thesis, University
College London, September 1982.
Technical Reports
-
Model and Program Repair via SAT Solvers
Abstract /
arXiv page
P.C. Attie and J. Saklawi,
October 2007.
-
Efficiently Verifiable Sufficient Conditions for Deadlock-Freedom of
Large Concurrent Programs
Abstract /
Postscript /
PDF
P.C. Attie and H. Chockler.
May 2004.
-
Finite-State Concurrent Programs can be Expressed Pairwise
Abstract /
arXiv page
P.C. Attie,
April 2004.
-
Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications
Abstract /
Postscript /
PDF
P.C. Attie,
November 2003.
Also available at
arxiv
-
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems
Abstract /
Postscript /
PDF
P.C. Attie and N.A. Lynch,
November 2003.
-
Formalizing the Temporal Order of Join Points
Abstract /
Postscript /
PDF
P.C. Attie, S. Kojarski, and D. Lorenz,
November 2003.
-
Bimodal Congestion Avoidance and Control
Abstract /
Postscript /
PDF
P.C. Attie, A. Lahanas, and V. Tsaoussidis,
June 2002.
-
Wait-free Byzantine Agreement.
Abstract /
Postscript /
PDF
P.C. Attie, May 2000.