Projects per year
Fingerprint
Dive into the research topics where Paul C Attie is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 5 Finished
-
SoD: Design Locality: A Concept for Controlling the Design Complexity of Large Software Systems
Lorenz, D. H. (PI), Brooks, D. D. H. (CoPI) & Attie, P. C. (CoPI)
8/31/05 → 11/30/08
Project: Research project
-
SoD: Design Locality: A Concept for Controlling the Design Complexity of Large Software Systems
Lorenz, D. H. (PI), Brooks, D. D. H. (CoPI) & Attie, P. C. (CoPI)
12/1/04 → 2/28/06
Project: Research project
-
Constructing Large Complex Systems via Tractable Pairwise Composition of Software Components
Attie, P. C. (PI) & Lorenz, D. H. (CoPI)
9/1/02 → 8/31/04
Project: Research project
-
CAREER: Tractable Formal Methods for the Synthesis of Concurrent Programs
Attie, P. C. (PI)
7/1/00 → 4/30/01
Project: Research project
-
CAREER: Tractable Formal Methods for the Synthesis of Concurrent Programs
Attie, P. C. (PI)
5/1/97 → 9/30/00
Project: Research project
-
Model and Program Repair via Group Actions
Attie, P. C. & Cocke, W. L., 2023, Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Kupferman, O. & Sobocinski, P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 520-540 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13992 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Operational Annotations: A New Method for Sequential Program Verification
Attie, P. C., 2022, NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer Science and Business Media Deutschland GmbH, p. 597-615 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13260 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
From global choreographies to verifiable efficient distributed implementations
Jaber, M., Falcone, Y., Attie, P., Khalil, A. A., Hallal, R. & El-Hokayem, A., Oct 2020, In: Journal of Logical and Algebraic Methods in Programming. 115, 100577.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
Global and local deadlock freedom in BIP
Attie, P. C., Bensalem, S., Bozga, M., Jaber, M., Sifakis, J. & Zaraket, F. A., Jan 2018, In: ACM Transactions on Software Engineering and Methodology. 26, 3, 9.Research output: Contribution to journal › Article › peer-review
3 Scopus citations -
Model and program repair via sat solving
Attie, P. C., Al Bab, K. D. & Sakr, M., Dec 2017, In: ACM Transactions on Embedded Computing Systems. 17, 2, 32.Research output: Contribution to journal › Article › peer-review
4 Scopus citations