Paul C Attie
Paul C Attie
Professor of Compuer Science, Augusta University
Verified email at augusta.edu
Title
Cited by
Cited by
Year
Specifying and enforcing intertask dependencies
P Attie, M Singh, AP Sheth, M Rusinkiewicz
3831993
Synthesis of fault-tolerant concurrent programs
PC Attie, A Arora, EA Emerson
ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (1), 125-185, 2004
1192004
Synthesis of fault-tolerant concurrent programs
PC Attie, A Arora, EA Emerson
ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (1), 125-185, 2004
1192004
Turing machines, transition systems, and interaction
DQ Goldin, SA Smolka, PC Attie, EL Sonderegger
Information and computation 194 (2), 101-128, 2004
1152004
Synthesis of concurrent systems with many similar processes
PC Attie, EA Emerson
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 51-115, 1998
991998
Dynamic input/output automata: a formal model for dynamic systems
PC Attie, NA Lynch
International Conference on Concurrency Theory, 137-151, 2001
842001
Fairness and hyperfairness in multi-party interactions
PC Attie, N Francez, O Grumberg
Distributed Computing 6 (4), 245-254, 1993
771993
Synthesis of concurrent programs for an atomic read/write model of computation
PC Attie, EA Emerson
ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (2), 187-242, 2001
68*2001
Optimal deadlock detection in distributed systems based on locally constructed wait-for graphs
S Chen, Y Deng, P Attie, W Sun
Proceedings of 16th International Conference on Distributed Computing …, 1996
581996
Scheduling workflows by enforcing intertask dependencies
PC Attie, MP Singh, EA Emerson, A Sheth, M Rusinkiewicz
Distributed Systems Engineering 3 (4), 222, 1996
571996
A general framework for architecture composability
P Attie, E Baranov, S Bliudze, M Jaber, J Sifakis
Formal Aspects of Computing 28 (2), 207-231, 2016
502016
An Event Algebra for Specifying and Scheduling Workflows.
MP Singh, G Meredith, C Tomlinson, PC Attie
DASFAA, 53-60, 1995
491995
Synthesis of large concurrent programs via pairwise composition
PC Attie
International Conference on Concurrency Theory, 130-145, 1999
471999
Task scheduling using intertask dependencies in Carnot
D Woelk, P Attie, P Cannata, G Meredith, A Sheth, M Singh, C Tomlinson
Proceedings of the 1993 ACM SIGMOD international conference on Management of …, 1993
341993
On formal modeling of agent computations
T Araragi, P Attie, I Keidar, K Kogure, V Luchangco, N Lynch, K Mano
International Workshop on Formal Approaches to Agent-Based Systems, 48-62, 2000
332000
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
PC Attie, H Chockler
International Workshop on Verification, Model Checking, and Abstract …, 2005
312005
Convergence of iteration systems
A Arora, P Attie, M Evangelist, M Gouda
Distributed Computing 7 (1), 43-53, 1993
311993
Workflow support in Carnot
C Tomlinson, PC Attie, P Cannata, G Meredith, AP Sheth, MP Singh, ...
IEEE Data Eng. Bull. 16 (2), 33-36, 1993
311993
Synthesis of concurrent systems with many similar sequential processes
PC Attie, EA Emerson
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
251989
Dynamic input/output automata: A formal and compositional model for dynamic systems
PC Attie, NA Lynch
Information and Computation 249, 28-75, 2016
232016
The system can't perform the operation now. Try again later.
Articles 1–20