Paul C Attie

Cited by

	All	Since 2018
Citations	1742	174
h-index	21	7
i10-index	33	4

120

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 2 8 14 33 43 63 50 58 48 42 38 49 60 61 109 109 77 89 67 53 81 65 54 41 49 75 48 47 44 24 18 34 7

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 ShethDirector, AI Institute; NCR Chair, U. of South CarolinaVerified email at sc.edu
Anish AroraProfessor of Computer Science and Engineering, The Ohio State University; Founder, SamrakshVerified 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
Fadi A ZaraketAmerican University of BeirutVerified email at aub.edu.lb
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
vassilis tsaoussidisProfessor of Computer Engineering, Democritus University of Thrace, GreeceVerified email at ee.duth.gr
Mohamad JaberSoftware Engineer @ GoogleVerified email at google.com
Mohamed GoudaProfessor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Nissim FrancezComputer Science Dept., 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, INRIA Lille - Nord EuropeVerified 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

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	385	1993
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 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
Turing machines, transition systems, and interaction DQ Goldin, SA Smolka, PC Attie, EL Sonderegger Information and computation 194 (2), 101-128, 2004	119	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	105	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	87	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	77	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	69*	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	58	1996
Scheduling workflows by enforcing intertask dependencies PC Attie, MP Singh, EA Emerson, A Sheth, M Rusinkiewicz Distributed Systems Engineering 3 (4), 222, 1996	57	1996
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	56	2016
Synthesis of large concurrent programs via pairwise composition PC Attie CONCUR 99, 130-145, 1999	50	1999
An Event Algebra for Specifying and Scheduling Workflows. MP Singh, G Meredith, C Tomlinson, PC Attie DASFAA, 53-60, 1995	50	1995
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
Dynamic input/output automata: A formal and compositional model for dynamic systems PC Attie, NA Lynch Information and Computation 249, 28-75, 2016	33	2016
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs PC Attie, H Chockler Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005	32	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	30	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	27	1989

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