Paul C. Attie

	2008
38		Paul C. Attie: Finite-state concurrent programs can be expressed pairwise CoRR abs/0801.0677: (2008)
37		Paul C. Attie: On the Refinement of Liveness Properties of Distributed Systems CoRR abs/0801.0949: (2008)
36		Paul C. Attie: Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications CoRR abs/0801.1687: (2008)
	2007
35		Paul C. Attie, Jad Saklawi: Model and Program Repair via SAT Solvers CoRR abs/0710.3332: (2007)
	2006
34		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		Paul C. Attie, Hana Chockler: Automatic Verification of Fault-Tolerant Register Emulations. Electr. Notes Theor. Comput. Sci. 149(1): 49-60 (2006)
	2005
32		Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum: The Impossibility of Boosting Distributed Service Resilience. ICDCS 2005: 39-48
31		Paul C. Attie, Hana Chockler: Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. VMCAI 2005: 465-481
	2004
30		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		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		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		Paul C. Attie: On the Implementation Complexity of Specifications of Concurrent Programs. DISC 2003: 151-165
25		Paul C. Attie, Adrian Lahanas, Vassilios Tsaoussidis: Beyond AIMD: Explicit Fair-share Calculation. ISCC 2003: 727-734
	2002
24		Paul C. Attie: Wait-free Byzantine consensus. Inf. Process. Lett. 83(4): 221-227 (2002)
	2001
23		Paul C. Attie, Nancy A. Lynch: Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. CONCUR 2001: 137-151
22		Paul C. Attie, Nancy A. Lynch: Dynamic input/output automata, a formal model for dynamic systems. PODC 2001: 314-316
21		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		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		Paul C. Attie: Synthesis of Large Concurrent Programs via Pairwise Composition. CONCUR 1999: 130-145
18		Paul C. Attie: Liveness-Preserving Simulation Relations. PODC 1999: 63-72
	1998
17		Anish Arora, Paul C. Attie, E. Allen Emerson: Synthesis of Fault-Tolerant Concurrent Programs. PODC 1998: 173-182
16		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		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		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		Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie: An Event Algebra for Specifying and Scheduling Workflows. DASFAA 1995: 53-60
	1993
9		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		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		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

Coauthor Index

1	Tadashi Araragi	[20]
2	Anish Arora	[4] [6] [17] [30]
3	Philip Cannata	[5] [9]
4	Shigang Chen	[14]
5	Hana Chockler	[31] [33] [34]
6	Agostino Cortesi	[27] [28]
7	Champak Das	[15]
8	Yi Deng	[12] [14]
9	Wenliang Du	[12]
10	E. Allen Emerson	[1] [11] [13] [16] [17] [21] [30]
11	Michael Evangelist	[4] [6] [12]
12	Ira R. Forman	[3]
13	Nissim Francez	[2] [7]
14	Dina Q. Goldin	[29]
15	Mohamed G. Gouda	[4] [6]
16	Orna Grumberg	[2] [7]
17	Rachid Guerraoui	[32]
18	Idit Keidar	[20]
19	Kiyoshi Kogure	[20]
20	Petr Kuznetsov (Petr Kouznetsov)	[32]
21	Adrian Lahanas	[25]
22	Eliezer Levy	[3]
23	David H. Lorenz	[34]
24	Victor Luchangco	[20]
25	Nancy A. Lynch	[20] [22] [23] [32]
26	Ken Mano	[20]
27	Greg Meredith	[5] [9] [10]
28	Supratik Mukhopadhyay	[27]
29	Aleksandra Portnova	[34]
30	Sergio Rajsbaum	[32]
31	Marek Rusinkiewicz	[8] [11]
32	Jad Saklawi	[35]
33	Amit P. Sheth	[5] [8] [9] [11]
34	Munindar P. Singh	[5] [8] [9] [10] [11]
35	Scott A. Smolka	[29]
36	Elaine L. Sonderegger	[29]
37	Wei Sun	[14]
38	Christine Tomlinson	[5] [9] [10]
39	Vassilis Tsaoussidis (Vassilios Tsaoussidis)	[25]
40	Darrell Woelk	[5] [9]
41	Lenore D. Zuck	[27] [28]

Colors in the list of coauthors