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
3681993
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
1182004
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
1182004
Turing machines, transition systems, and interaction
DQ Goldin, SA Smolka, PC Attie, EL Sonderegger
Information and computation 194 (2), 101-128, 2004
1112004
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
802001
Fairness and hyperfairness in multi-party interactions
PC Attie, N Francez, O Grumberg
Distributed Computing 6 (4), 245-254, 1993
711993
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
562001
Scheduling workflows by enforcing intertask dependencies
PC Attie, MP Singh, EA Emerson, A Sheth, M Rusinkiewicz
Distributed Systems Engineering 3 (4), 222, 1996
551996
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
541996
Synthesis of large concurrent programs via pairwise composition
PC Attie
International Conference on Concurrency Theory, 130-145, 1999
461999
An Event Algebra for Specifying and Scheduling Workflows.
MP Singh, G Meredith, C Tomlinson, PC Attie
DASFAA, 53-60, 1995
461995
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
452016
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
322000
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
PC Attie, H Chockler
International Workshop on Verification, Model Checking, and Abstract …, 2005
302005
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
301993
Convergence of iteration systems
A Arora, P Attie, M Evangelist, M Gouda
Distributed Computing 7 (1), 43-53, 1993
291993
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
291989
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
281993
Dynamic input/output automata: a formal and compositional model for dynamic systems
PC Attie, NA Lynch
Information and Computation 249, 28-75, 2016
192016
The system can't perform the operation now. Try again later.
Articles 1–20