| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum |
The impossibility of boosting distributed service resilience.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie |
On the refinement of liveness properties of distributed systems. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie |
Finite-state concurrent programs can be expressed pairwise |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paul C. Attie |
Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paul C. Attie |
On the Refinement of Liveness Properties of Distributed Systems |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paul C. Attie, Jad Saklawi |
Model and Program Repair via SAT Solvers |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Paul C. Attie, Hana Chockler |
Automatic Verification of Fault-Tolerant Register Emulations. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum |
The Impossibility of Boosting Distributed Service Resilience. |
ICDCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Hana Chockler |
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger |
Turing machines, transition systems, and interaction. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Anish Arora, E. Allen Emerson |
Synthesis of fault-tolerant concurrent programs. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
fault-tolerance, specification, temporal logic, Concurrent programs, program synthesis |
| 1 | Lenore D. Zuck, Paul C. Attie, Agostino Cortesi |
Preface by the section editors. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie |
On the Implementation Complexity of Specifications of Concurrent Programs. |
DISC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Adrian Lahanas, Vassilios Tsaoussidis |
Beyond AIMD: Explicit Fair-share Calculation. |
ISCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.) |
Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings |
VMCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paul C. Attie |
Wait-free Byzantine consensus. |
Inf. Process. Lett. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, E. Allen Emerson |
Synthesis of concurrent programs for an atomic read/write model of computation. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
specification, temporal logic, concurrent programs, program synthesis, atomic registers |
| 1 | Paul C. Attie, Nancy A. Lynch |
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Nancy A. Lynch |
Dynamic input/output automata, a formal model for dynamic systems. |
PODC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano |
On Formal Modeling of Agent Computations. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie |
Synthesis of Large Concurrent Programs via Pairwise Composition. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie |
Liveness-Preserving Simulation Relations. |
PODC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, E. Allen Emerson |
Synthesis of Concurrent Systems with Many Similar Processes. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
temporal logic, concurrent programs, program synthesis |
| 1 | Anish Arora, Paul C. Attie, E. Allen Emerson |
Synthesis of Fault-Tolerant Concurrent Programs. |
PODC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Champak Das |
Automating the refinement of specifications for distributed systems via syntactic transformations. |
Int. J. Systems Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz |
Scheduling workflows by enforcing intertask dependencies. |
Distributed Systems Engineering |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, E. Allen Emerson |
Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). |
PODC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist |
A Formalism for Architectural Modeling of Distributed Real-Time Systems. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun 0002 |
Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. |
ICDCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie |
An Event Algebra for Specifying and Scheduling Workflows. |
DASFAA |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda |
Convergence of Iteration Systems. |
Distributed Computing |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Nissim Francez, Orna Grumberg |
Fairness and Hyperfairness in Multi-Party Interactions. |
Distributed Computing |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
SQL |
| 1 | Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz |
Specifying and Enforcing Intertask Dependencies. |
VLDB |
1993 |
DBLP BibTeX RDF |
|
| 1 | Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda |
Convergence of Iteration Systems (Extended Abstract). |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Nissim Francez, Orna Grumberg |
Fairness and Hyperfairness in Multi-Party Interactions. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Ira R. Forman, Eliezer Levy |
On Fairness as an Abstraction for the Design of Distributed Systems. |
ICDCS |
1990 |
DBLP BibTeX RDF |
|
| 1 | Paul C. Attie, E. Allen Emerson |
Synthesis of Concurrent Systems with Many Similar Sequential Processes. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")