• 489 Citations
  • 13 h-Index
1989 …2018

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

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 journalArticle

  • 2 Scopus citations

    Finite-state concurrent programs can be expressed succinctly in triple normal form

    Attie, P. C., Jul 1 2017, In : Information Processing Letters. 123, p. 8-13 6 p.

    Research output: Contribution to journalArticle

  • 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 journalArticle

  • A general framework for architecture composability

    Attie, P., Baranov, E., Bliudze, S., Jaber, M. & Sifakis, J., Apr 1 2016, In : Formal Aspects of Computing. 28, 2, p. 207-231 25 p.

    Research output: Contribution to journalArticle

    Open Access
  • 15 Scopus citations

    Dynamic input/output automata: A formal and compositional model for dynamic systems

    Attie, P. C. & Lynch, N. A., Aug 1 2016, In : Information and Computation. 249, p. 28-75 48 p.

    Research output: Contribution to journalArticle

  • 6 Scopus citations