Paul C Attie

Cited by

	All	Since 2019
Citations	1781	154
h-index	21	6
i10-index	34	4

120

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 3 10 12 34 39 68 50 61 50 43 37 49 62 69 107 105 74 89 67 52 83 64 54 40 49 72 48 47 42 26 16 37 19 14

Co-authors

Munindar P SinghProfessor of Computer Science, North Carolina State UniversityVerified email at ncsu.edu
Nancy LynchProfessor of EECS, MITVerified email at csail.mit.edu
Amit ShethNCR Chair & Prof.; Founding Director, AI Institute; U. of South CarolinaVerified email at sc.edu
Anish AroraChair & Distinguished Professor, Computer Science & Engg., Ohio State; Founder, Samraksh CompanyVerified email at cse.ohio-state.edu
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoVerified email at im.unam.mx
Mohamad JaberSoftware Engineer @ GoogleVerified email at google.com
vassilis tsaoussidisProfessor of Computer Engineering, Democritus University of Thrace, GreeceVerified email at ee.duth.gr
Mohamed GoudaProfessor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Nissim FrancezComputer Science Faculty, TechnionVerified email at cs.technion.ac.il
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Shigang ChenProfessor, University of Florida, IEEE Fellow, ACM Distinguished ScientistVerified email at cise.ufl.edu
Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreVerified email at inria.fr
rachid guerraouiProfessor of Computer and Communication Systems, EPFLVerified email at epfl.ch
Petr KuznetsovProfessor of Computer Science, Telecom Paris, Institut Polytechnique ParisVerified email at telecom-paris.fr
Fadi A ZaraketAmerican University of BeirutVerified email at aub.edu.lb

Paul C Attie

Professor of Compuer Science, Augusta University

Verified email at augusta.edu

Software engineering distributed computing formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Specifying and enforcing intertask dependencies P Attie, M Singh, AP Sheth, M Rusinkiewicz	388	1993
Turing machines, transition systems, and interaction DQ Goldin, SA Smolka, PC Attie, EL Sonderegger Information and computation 194 (2), 101-128, 2004	126	2004
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	121	2004
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	110	1998
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	85	2001
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	81	1989
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	70*	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	60	2016
Scheduling workflows by enforcing intertask dependencies PC Attie, MP Singh, EA Emerson, A Sheth, M Rusinkiewicz Distributed Systems Engineering 3 (4), 222, 1996	60	1996
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	60	1996
An Event Algebra for Specifying and Scheduling Workflows. MP Singh, G Meredith, C Tomlinson, PC Attie DASFAA, 53-60, 1995	51	1995
Synthesis of large concurrent programs via pairwise composition PC Attie International Conference on Concurrency Theory, 130-145, 1999	49	1999
Dynamic input/output automata: A formal and compositional model for dynamic systems PC Attie, NA Lynch Information and Computation 249, 28-75, 2016	35	2016
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	35	2001
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	35	1993
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs PC Attie, H Chockler International Workshop on Verification, Model Checking, and Abstract …, 2005	31	2005
Convergence of iteration systems A Arora, P Attie, M Evangelist, M Gouda Distributed Computing 7, 43-53, 1993	31	1993
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	29	1993
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	28	1989
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	24	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors