Paul C Attie

View Scopus Profile

Paul C Attie

Professor

Calculated based on number of publications stored in Pure and citations from Scopus
1989 …2023

Research activity per year

Filter
Conference contribution

Search results

  • 2023

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

    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

  • 2015

    Model and program repair via SAT solving

    Attie, P., Cherri, A., Dak Al Bab, K., Sakr, M. & Saklawi, J., Nov 30 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers Inc., p. 148-157 10 p. 7340481. (2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations
  • 2014

    A general framework for architecture composability

    Attie, P., Baranov, E., Bliudze, S., Jaber, M. & Sifakis, J., 2014, Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Proceedings. Springer Verlag, p. 128-143 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8702 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    12 Scopus citations
  • 2013

    An abstract framework for deadlock prevention in BIP

    Attie, P. C., Bensalem, S., Bozga, M., Jaber, M., Sifakis, J. & Zaraket, F. A., 2013, Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on DisCoTec 2013, Proceedings. p. 161-177 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7892 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    12 Scopus citations
  • 2006

    Behavioral compatibility without state explosion: Design and verification of a component-based elevator control system

    Attie, P. C., Lorenz, D. H., Portnova, A. & Chockler, H., 2006, Component-Based Software Engineering - 9th International Symposium, CBSE 2006, Proceedings. Springer Verlag, p. 33-49 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4063 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations
  • 2003

    Beyond AIMD: Explicit fair-share calculation

    Attie, P. C., Lahanas, A. & Tsaoussidis, V., Dec 1 2003, Proceedings - 8th IEEE International Symposium on Computers and Communication, ISCC 2003. p. 727-734 8 p. 1214204. (Proceedings - IEEE Symposium on Computers and Communications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Scopus citations
  • 2001

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

    Attie, P. C. & Lynch, N. A., 2001, Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings. Larsen, K. G. & Nielsen, M. (eds.). Springer Verlag, p. 137-151 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2154).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    18 Scopus citations

  • On formal modeling of agent computations

    Araragi, T., Attie, P., Keidar, I., Kogure, K., Luchangco, V., Lynch, N. & Mano, K., 2001, Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers. Rash, J. L., Truszkowski, W., Hinchey, M. G., Rouff, C. A. & Gordon, D. (eds.). Springer Verlag, p. 48-62 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1871).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations
  • 1999

    Synthesis of large concurrent programs via pairwise composition

    Attie, P. C., 1999, CONCUR 1999, Concurrency Theory - 10th International Conference, Proceedings. Springer Verlag, p. 130-145 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1664 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Scopus citations
  • 1990

    Convergence of iteration systems

    Arora, A., Attie, P., Evangelist, M. & Gouda, M., Jan 1 1990, CONCUR 1990 - Theories of Concurrency: Unification and Extension, Proceedings. Klop, J. W., Baeten, J. C. M., Klop, J. W. & Baeten, J. C. M. (eds.). Springer Verlag, p. 70-82 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 458 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations
  • 1989

    Synthesis of concurrent systems with many similar sequential processes

    Attie, P. C. & Emerson, E. A., Dec 1 1989, Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Publ by ACM, p. 191-201 11 p. (Conf Rec Sixteenth Annu ACM Symp Princ Program Lang).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Scopus citations