フォロー
Paul C Attie
Paul C Attie
Professor of Compuer Science, Augusta University
確認したメール アドレス: augusta.edu
タイトル
引用先
引用先
年
Specifying and enforcing intertask dependencies
P Attie, M Singh, AP Sheth, M Rusinkiewicz
3881993
Turing machines, transition systems, and interaction
DQ Goldin, SA Smolka, PC Attie, EL Sonderegger
Information and computation 194 (2), 101-128, 2004
1262004
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
1222004
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
1111998
Dynamic input/output automata, a formal model for dynamic systems
PC Attie, NA Lynch
Proceedings of the twentieth annual ACM symposium on Principles of …, 2001
852001
Fairness and hyperfairness in multi-party interactions
PC Attie, N Francez, O Grumberg
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
811989
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
71*2001
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
612016
Scheduling workflows by enforcing intertask dependencies
PC Attie, MP Singh, EA Emerson, A Sheth, M Rusinkiewicz
Distributed Systems Engineering 3 (4), 222, 1996
601996
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
601996
An Event Algebra for Specifying and Scheduling Workflows.
MP Singh, G Meredith, C Tomlinson, PC Attie
DASFAA, 53-60, 1995
511995
Synthesis of large concurrent programs via pairwise composition
PC Attie
International Conference on Concurrency Theory, 130-145, 1999
491999
Dynamic input/output automata: A formal and compositional model for dynamic systems
PC Attie, NA Lynch
Information and Computation 249, 28-75, 2016
352016
On formal modeling of agent computations
T Araragi, P Attie, I Keidar, K Kogure, V Luchangco, N Lynch, K Mano
Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS …, 2001
352001
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
351993
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, 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
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
281989
Model and program repair via sat solving
PC Attie, KDA Bab, M Sakr
ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-25, 2017
242017
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20