Paul C. Attie - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

The impossibility of boosting distributed service resiliencePaul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum. iandc, 209(6):927-950, 2011. [doi]

2006

Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control SystemPaul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler. cbse 2006: 33-49 [doi]

Automatic Verification of Fault-Tolerant Register EmulationsPaul C. Attie, Hana Chockler. ENTCS, 149(1):49-60, 2006. [doi]

2005

Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent ProgramsPaul C. Attie, Hana Chockler. vmcai 2005: 465-481 [doi]

The Impossibility of Boosting Distributed Service ResiliencePaul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum. icdcs 2005: 39-48 [doi]

2004

Synthesis of fault-tolerant concurrent programsPaul C. Attie, Anish Arora, E. Allen Emerson. TOPLAS, 26(1):125-185, 2004. [doi]

Turing machines, transition systems, and interactionDina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger. iandc, 194(2):101-128, 2004. [doi]

Preface by the section editorsLenore D. Zuck, Paul C. Attie, Agostino Cortesi. STTT, 6(1):1-3, 2004. [doi]

2003

On the Implementation Complexity of Specifications of Concurrent ProgramsPaul C. Attie. wdag 2003: 151-165 [doi]

Beyond AIMD: Explicit Fair-share CalculationPaul C. Attie, Adrian Lahanas, Vassilios Tsaoussidis. ISCC 2003: 727-734 [doi]

Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, ProceedingsLenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay, editors, Volume 2575 of Lecture Notes in Computer Science, Springer, 2003.

2002

Wait-free Byzantine consensusPaul C. Attie. ipl, 83(4):221-227, 2002. [doi]

2001

Dynamic input/output automata, a formal model for dynamic systemsPaul C. Attie, Nancy A. Lynch. podc 2001: 314-316 [doi]

Dynamic Input/Output Automata: A Formal Model for Dynamic SystemsPaul C. Attie, Nancy A. Lynch. concur 2001: 137-151 [doi]

Synthesis of concurrent programs for an atomic read/write model of computationPaul C. Attie, E. Allen Emerson. TOPLAS, 23(2):187-242, 2001. [doi]

2000

On Formal Modeling of Agent ComputationsTadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano. faabs 2001: 48-62 [doi]

1999

Synthesis of Large Concurrent Programs via Pairwise CompositionPaul C. Attie. concur 1999: 130-145 [doi]

Liveness-Preserving Simulation RelationsPaul C. Attie. podc 1999: 63-72 [doi]

1998

Synthesis of Fault-Tolerant Concurrent ProgramsAnish Arora, Paul C. Attie, E. Allen Emerson. podc 1998: 173-182 [doi]

Synthesis of Concurrent Systems with Many Similar ProcessesPaul C. Attie, E. Allen Emerson. TOPLAS, 20(1):51-115, 1998. [doi]

1997

Automating the refinement of specifications for distributed systems via syntactic transformationsPaul C. Attie, Champak Das. ijsysc, 28(11):1129-1144, 1997. [doi]

1996

1995

An Event Algebra for Specifying and Scheduling WorkflowsMunindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie. dasfaa 1995: 53-60 [doi]

1993

1990

Convergence of Iteration Systems (Extended Abstract)Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda. concur 1990: 70-82

Fairness and Hyperfairness in Multi-Party InteractionsPaul C. Attie, Nissim Francez, Orna Grumberg. POPL 1990: 292-305

On Fairness as an Abstraction for the Design of Distributed SystemsPaul C. Attie, Ira R. Forman, Eliezer Levy. icdcs 1990: 150-157

1989

Synthesis of Concurrent Systems with Many Similar Sequential ProcessesPaul C. Attie, E. Allen Emerson. POPL 1989: 191-201