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.

Back to my home page.