Concepedia

Paul C. Attie

PC

24

Publications

874

Citations

17

H-Index

1989

Active since

Affiliations

The University of Texas at Austin(Current)

Florida International University

Northeastern University

American University of Beirut

The Ohio State University

Paul C. Attie is an author at The University of Texas at Austin specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringFormal VerificationAutomated ReasoningProgram AnalysisVerificationParallel ComputingParallel Programming

Publications per year

1989–2016

24

Publications

24

Specifying and Enforcing Intertask Dependencies

Paul C. Attie, Munindar P. Singh, Amit Sheth et al. · Journal of Bioresource Management · 1993 · 188 citations · Full text

Turing machines, transition systems, and interaction

Dina Goldin, Scott A. Smolka, Paul C. Attie et al. · Information and Computation · 2004 · 100 citations

Abstract Machine, Transition Systems, Engineering +6

Synthesis of concurrent systems with many similar processes

Paul C. Attie, E. Allen Emerson · ACM Transactions on Programming Languages and Systems · 1998 · 69 citations · Full text

Formal Specification, Engineering, Program Analysis +15

Synthesis of fault-tolerant concurrent programs

Paul C. Attie, Anish Arora, E. Allen Emerson · ACM Transactions on Programming Languages and Systems · 2004 · 64 citations · Full text

Engineering, Fault-tolerant Concurrent Programs, Program Analysis +15

Synthesis of concurrent programs for an atomic read/write model of computation

Paul C. Attie, E. Allen Emerson · ACM Transactions on Programming Languages and Systems · 2001 · 42 citations · Full text

Engineering, Synthesis Methods, Verification +19

Rows per page

1–5 of 24