Edit Profile Attie, Paul C. Compute Distance To: Compute Author ID: attie.paul-c Published as: Attie, Paul; Attie, Paul C. External Links: MGP Documents Indexed: 23 Publications since 1993, including 1 Book all top 5 Co-Authors 8 single-authored 4 Lynch, Nancy Ann 2 Arora, Anish 2 Chockler, Hana 2 Emerson, Ernest Allen 2 Jaber, Mohamad Y. 1 Araragi, Tadashi 1 Baranov, Eduard 1 Bliudze, Simon 1 Cortesi, Agostino 1 Das, Champak 1 El-Hokayem, Antoine 1 Evangelist, Michael 1 Falcone, Yliès 1 Francez, Nissim 1 Goldin, Dina Q. 1 Gouda, Mohamed G. 1 Grumberg, Orna 1 Guerraoui, Rachid 1 Hallal, Rayan 1 Keidar, Idit 1 Khalil, Al-Abbass 1 Kogure, Kiyoshi 1 Kuznetsov, Petr 1 Luchangco, Victor 1 Mano, Ken 1 Mukhopadhyay, Supratik 1 Rajsbaum, Sergio 1 Sifakis, Joseph 1 Smolka, Scott A. 1 Sonderegger, Elaine L. 1 Zuck, Leonore D. all top 5 Serials 3 Information and Computation 2 Information Processing Letters 2 Distributed Computing 2 Formal Methods in System Design 1 International Journal of Systems Science 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 23 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 20 Publications have been cited 73 times in 64 Documents Cited by ▼ Year ▼ Turing machines, transition systems, and interaction. Zbl 1090.68040Goldin, Dina Q.; Smolka, Scott A.; Attie, Paul C.; Sonderegger, Elaine L. 14 2004 Fairness and hyperfairness in multi-party interactions. Zbl 0797.68100Attie, Paul C.; Francez, Nissim; Grumberg, Orna 8 1993 Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. Zbl 1111.68495Attie, Paul C.; Chockler, Hana 7 2005 A general framework for architecture composability. Zbl 1342.68029Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph 6 2016 Dynamic input/output automata: a formal and compositional model for dynamic systems. Zbl 1344.68114Attie, Paul C.; Lynch, Nancy A. 5 2016 On formal modeling of agent computations. Zbl 0988.68721Araragi, Tadashi; Attie, Paul; Keidar, Idit; Kogure, Kiyoshi; Luchangco, Victor; Lynch, Nancy; Mano, Ken 4 2001 Liveness-preserving simulation relations. Zbl 1321.68353Attie, Paul C. 4 1999 Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080Arora, Anish; Attie, Paul C.; Emerson, E. Allen 4 1998 Convergence of iteration systems. Zbl 0818.68072Arora, Anish; Attie, Paul; Evangelist, Michael; Gouda, Mohamed 4 1993 The impossibility of boosting distributed service resilience. Zbl 1228.68015Attie, Paul; Guerraoui, Rachid; Kuznetsov, Petr; Lynch, Nancy; Rajsbaum, Sergio 3 2011 Synthesis of large dynamic concurrent programs from dynamic specifications. Zbl 1392.68143Attie, Paul C. 2 2016 Finite-state concurrent programs can be expressed in pairwise normal form. Zbl 1335.68042Attie, Paul C. 2 2016 Dynamic input/output automata: A formal model for dynamic systems (extended abstract). Zbl 1006.68537Attie, Paul C.; Lynch, Nancy A. 2 2001 Synthesis of concurrent systems for an atomic read/atomic write model of computation. Zbl 1321.68342Attie, Paul C.; Emerson, E. Allen 2 1996 From global choreographies to verifiable efficient distributed implementations. Zbl 1452.68125Jaber, Mohamad; Falcone, Yliès; Attie, Paul; Khalil, Al-Abbass; Hallal, Rayan; El-Hokayem, Antoine 1 2020 On the refinement of liveness properties of distributed systems. Zbl 1233.68160Attie, Paul C. 1 2011 On the implementation complexity of specifications of concurrent programs. Zbl 1180.68106Attie, Paul C. 1 2003 Wait-free Byzantine consensus. Zbl 1044.68512Attie, Paul 1 2002 Synthesis of large concurrent programs via pairwise composition. Zbl 0940.68029Attie, Paul C. 1 1999 Automating the refinement of specifications for distributed systems via syntactic transformations. Zbl 0897.68006Attie, Paul; Das, Champak 1 1997 From global choreographies to verifiable efficient distributed implementations. Zbl 1452.68125Jaber, Mohamad; Falcone, Yliès; Attie, Paul; Khalil, Al-Abbass; Hallal, Rayan; El-Hokayem, Antoine 1 2020 A general framework for architecture composability. Zbl 1342.68029Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph 6 2016 Dynamic input/output automata: a formal and compositional model for dynamic systems. Zbl 1344.68114Attie, Paul C.; Lynch, Nancy A. 5 2016 Synthesis of large dynamic concurrent programs from dynamic specifications. Zbl 1392.68143Attie, Paul C. 2 2016 Finite-state concurrent programs can be expressed in pairwise normal form. Zbl 1335.68042Attie, Paul C. 2 2016 The impossibility of boosting distributed service resilience. Zbl 1228.68015Attie, Paul; Guerraoui, Rachid; Kuznetsov, Petr; Lynch, Nancy; Rajsbaum, Sergio 3 2011 On the refinement of liveness properties of distributed systems. Zbl 1233.68160Attie, Paul C. 1 2011 Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. Zbl 1111.68495Attie, Paul C.; Chockler, Hana 7 2005 Turing machines, transition systems, and interaction. Zbl 1090.68040Goldin, Dina Q.; Smolka, Scott A.; Attie, Paul C.; Sonderegger, Elaine L. 14 2004 On the implementation complexity of specifications of concurrent programs. Zbl 1180.68106Attie, Paul C. 1 2003 Wait-free Byzantine consensus. Zbl 1044.68512Attie, Paul 1 2002 On formal modeling of agent computations. Zbl 0988.68721Araragi, Tadashi; Attie, Paul; Keidar, Idit; Kogure, Kiyoshi; Luchangco, Victor; Lynch, Nancy; Mano, Ken 4 2001 Dynamic input/output automata: A formal model for dynamic systems (extended abstract). Zbl 1006.68537Attie, Paul C.; Lynch, Nancy A. 2 2001 Liveness-preserving simulation relations. Zbl 1321.68353Attie, Paul C. 4 1999 Synthesis of large concurrent programs via pairwise composition. Zbl 0940.68029Attie, Paul C. 1 1999 Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080Arora, Anish; Attie, Paul C.; Emerson, E. Allen 4 1998 Automating the refinement of specifications for distributed systems via syntactic transformations. Zbl 0897.68006Attie, Paul; Das, Champak 1 1997 Synthesis of concurrent systems for an atomic read/atomic write model of computation. Zbl 1321.68342Attie, Paul C.; Emerson, E. Allen 2 1996 Fairness and hyperfairness in multi-party interactions. Zbl 0797.68100Attie, Paul C.; Francez, Nissim; Grumberg, Orna 8 1993 Convergence of iteration systems. Zbl 0818.68072Arora, Anish; Attie, Paul; Evangelist, Michael; Gouda, Mohamed 4 1993 all cited Publications top 5 cited Publications all top 5 Cited by 126 Authors 7 Attie, Paul C. 5 Bliudze, Simon 3 Baranov, Eduard 3 Dikovsky, Alexander Yakovlevich 3 Majster-Cederbaum, Mila E. 3 Valiev, Mars K. 2 Antonino, Pedro 2 Baeten, Jos C. M. 2 Broy, Manfred 2 Cabessa, Jérémie 2 Dekhtyar, Michael I. 2 Ducourthial, Bertrand 2 Francez, Nissim 2 Gibson-Robinson, Thomas 2 Guerraoui, Rachid 2 Hesselink, Wim H. 2 Jaber, Mohamad Y. 2 Kurki-Suonio, Reino 2 Kuznetsov, Petr 2 Luttik, Bas 2 Lynch, Nancy Ann 2 Martens, Moritz 2 Roscoe, Andrew William 2 Sifakis, Joseph 2 Tixeuil, Sébastien 2 van Tilburg, Paul 1 Aguirre, Nazareno M. 1 Alon, Noga M. 1 Apt, Krzysztof Rafal 1 Arbab, Farhad 1 Archer, Myla M. 1 Arjona, J. L. 1 Back, Ralph-Johan 1 Bedregal, Benjamín Callejas 1 Bedregal, Benjamín R. Callejas 1 Castro, Pablo F. 1 Chen, Jingshu 1 Corchuelo, Rafael 1 Dekhtyar, Michael 1 Delahaye, Benoît 1 Demasi, Ramiro 1 Deng, Yuxin 1 Dixon, Clare 1 Dokter, Kasper 1 Dong, JinSong 1 Drábik, Peter 1 Dworzański, Leonid W. 1 El-Hokayem, Antoine 1 Falcone, Yliès 1 Fiadeiro, José Luiz 1 Figueira, Santiago 1 Gouda, Mohamed G. 1 Haddix, F. Furman 1 Hallal, Rayan 1 Heitmeyer, Constance L. 1 Herman, Ted 1 Höfner, Peter 1 Hou, Zechen 1 Hustadt, Ullrich 1 Jeffords, Ralph D. 1 Jongmans, Sung-Shik T. Q. 1 Joung, Yuh-Jzer 1 Katz, Shmuel 1 Khalil, Al-Abbass 1 Kim, Myunghwan 1 Kulkarni, Sandeep S. 1 Kurnia, Ilham W. 1 Lafortune, Stéphane 1 Lamport, Leslie 1 Legay, Axel 1 Lennartson, Bengt 1 Leonard, Elizabeth I. 1 Liu, Xingwu 1 Liu, Yang 1 Lomazova, Irina A. 1 Lopes, Antónia 1 Loulergue, Frédéric 1 Madelaine, Eric 1 Maggiolo-Schettini, Andrea 1 Maibaum, Thomas Stephen Edward 1 Mavridou, Anastasia 1 Merritt, Michael J. 1 Milazzo, Paolo 1 Minnameier, Christoph 1 Pan, Jianzhong 1 Pang, Jun 1 Paoli, Andrea 1 Park, Moon Hwa 1 Pemmaraju, Sriram V. 1 Poetzsch-Heffter, Arnd 1 Qin, Xudong 1 Qiu, Daowen 1 Rajsbaum, Sergio 1 Ranyer de Araújo Lopes, Luiz 1 Raptis, Theophanes E. 1 Ray, Sandip 1 Reingold, Omer 1 Ruiz Cortés, David 1 Santiago, Regivan H. Nunes 1 Sartini, Matteo ...and 26 more Authors all top 5 Cited in 22 Serials 7 Theoretical Computer Science 7 Distributed Computing 6 Information and Computation 4 Information Processing Letters 4 Formal Aspects of Computing 4 Journal of Logical and Algebraic Methods in Programming 3 Acta Informatica 3 Formal Methods in System Design 2 Automatica 2 Fuzzy Sets and Systems 2 Journal of Computer and System Sciences 2 Programming and Computer Software 1 Chaos, Solitons and Fractals 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 Neural Computation 1 MSCS. Mathematical Structures in Computer Science 1 ACM Transactions on Modeling and Computer Simulation 1 Journal of Intelligent and Fuzzy Systems 1 ACM Transactions on Computational Logic 1 Frontiers of Computer Science all top 5 Cited in 6 Fields 61 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 4 Systems theory; control (93-XX) 3 Biology and other natural sciences (92-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year