The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul C. Attie: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz
    Specifying and Enforcing Intertask Dependencies. [Citation Graph (30, 15)][DBLP]
    VLDB, 1993, pp:134-145 [Conf]
  2. Darrell Woelk, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Christine Tomlinson
    Task Scheduling Using Intertask Dependencies in Carot. [Citation Graph (4, 4)][DBLP]
    SIGMOD Conference, 1993, pp:491-494 [Conf]
  3. Christine Tomlinson, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Darrell Woelk
    Workflow Support in Carnot. [Citation Graph (4, 5)][DBLP]
    IEEE Data Eng. Bull., 1993, v:16, n:2, pp:33-36 [Journal]
  4. Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun
    Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. [Citation Graph (1, 0)][DBLP]
    ICDCS, 1996, pp:613-619 [Conf]
  5. Paul C. Attie, E. Allen Emerson
    Synthesis of Concurrent Systems with Many Similar Sequential Processes. [Citation Graph (1, 0)][DBLP]
    POPL, 1989, pp:191-201 [Conf]
  6. Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler
    Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. [Citation Graph (0, 0)][DBLP]
    CBSE, 2006, pp:33-49 [Conf]
  7. Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
    Convergence of Iteration Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:70-82 [Conf]
  8. Paul C. Attie
    Synthesis of Large Concurrent Programs via Pairwise Composition. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:130-145 [Conf]
  9. Paul C. Attie, Nancy A. Lynch
    Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:137-151 [Conf]
  10. Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie
    An Event Algebra for Specifying and Scheduling Workflows. [Citation Graph (0, 8)][DBLP]
    DASFAA, 1995, pp:53-60 [Conf]
  11. Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
    On Formal Modeling of Agent Computations. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:48-62 [Conf]
  12. Paul C. Attie, Ira R. Forman, Eliezer Levy
    On Fairness as an Abstraction for the Design of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1990, pp:150-157 [Conf]
  13. Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum
    The Impossibility of Boosting Distributed Service Resilience. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2005, pp:39-48 [Conf]
  14. Paul C. Attie, Adrian Lahanas, Vassilios Tsaoussidis
    Beyond AIMD: Explicit Fair-share Calculation. [Citation Graph (0, 0)][DBLP]
    ISCC, 2003, pp:727-734 [Conf]
  15. Anish Arora, Paul C. Attie, E. Allen Emerson
    Synthesis of Fault-Tolerant Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    PODC, 1998, pp:173-182 [Conf]
  16. Paul C. Attie
    Liveness-Preserving Simulation Relations. [Citation Graph (0, 0)][DBLP]
    PODC, 1999, pp:63-72 [Conf]
  17. Paul C. Attie, E. Allen Emerson
    Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:111-120 [Conf]
  18. Paul C. Attie, Nancy A. Lynch
    Dynamic input/output automata, a formal model for dynamic systems. [Citation Graph (0, 0)][DBLP]
    PODC, 2001, pp:314-316 [Conf]
  19. Paul C. Attie, Nissim Francez, Orna Grumberg
    Fairness and Hyperfairness in Multi-Party Interactions. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:292-305 [Conf]
  20. Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist
    A Formalism for Architectural Modeling of Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:408-417 [Conf]
  21. Paul C. Attie, Hana Chockler
    Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:465-481 [Conf]
  22. Paul C. Attie
    On the Implementation Complexity of Specifications of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    DISC, 2003, pp:151-165 [Conf]
  23. Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
    Convergence of Iteration Systems. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1993, v:7, n:1, pp:43-53 [Journal]
  24. Paul C. Attie, Nissim Francez, Orna Grumberg
    Fairness and Hyperfairness in Multi-Party Interactions. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1993, v:6, n:4, pp:245-254 [Journal]
  25. Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz
    Scheduling workflows by enforcing intertask dependencies. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1996, v:3, n:4, pp:222-238 [Journal]
  26. Paul C. Attie, Hana Chockler
    Automatic Verification of Fault-Tolerant Register Emulations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:49-60 [Journal]
  27. Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger
    Turing machines, transition systems, and interaction. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:194, n:2, pp:101-128 [Journal]
  28. Paul C. Attie
    Wait-free Byzantine consensus. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:83, n:4, pp:221-227 [Journal]
  29. Lenore D. Zuck, Paul C. Attie, Agostino Cortesi
    Preface by the section editors. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:1-3 [Journal]
  30. Paul C. Attie, Anish Arora, E. Allen Emerson
    Synthesis of fault-tolerant concurrent programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:1, pp:125-185 [Journal]
  31. Paul C. Attie, E. Allen Emerson
    Synthesis of concurrent programs for an atomic read/write model of computation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:2, pp:187-242 [Journal]
  32. Paul C. Attie, E. Allen Emerson
    Synthesis of Concurrent Systems with Many Similar Processes. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:1, pp:51-115 [Journal]
  33. Paul Attie, Jad Saklawi
    Model and Program Repair via SAT Solvers [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  34. Finite-state concurrent programs can be expressed pairwise [Citation Graph (, )][DBLP]


  35. On the Refinement of Liveness Properties of Distributed Systems [Citation Graph (, )][DBLP]


  36. Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications [Citation Graph (, )][DBLP]


Search in 0.410secs, Finished in 0.413secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002