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