×

zbMATH — the first resource for mathematics

Attie, Paul C.

Compute Distance To:
Author ID: attie.paul-c Recent zbMATH articles by "Attie, Paul C."
Published as: Attie, Paul; Attie, Paul C.
External Links: MGP
Documents Indexed: 23 Publications since 1993, including 1 Book

Publications by Year

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.68040
Goldin, Dina Q.; Smolka, Scott A.; Attie, Paul C.; Sonderegger, Elaine L.
14
2004
Fairness and hyperfairness in multi-party interactions. Zbl 0797.68100
Attie, Paul C.; Francez, Nissim; Grumberg, Orna
8
1993
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. Zbl 1111.68495
Attie, Paul C.; Chockler, Hana
7
2005
A general framework for architecture composability. Zbl 1342.68029
Attie, 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.68114
Attie, Paul C.; Lynch, Nancy A.
5
2016
On formal modeling of agent computations. Zbl 0988.68721
Araragi, Tadashi; Attie, Paul; Keidar, Idit; Kogure, Kiyoshi; Luchangco, Victor; Lynch, Nancy; Mano, Ken
4
2001
Liveness-preserving simulation relations. Zbl 1321.68353
Attie, Paul C.
4
1999
Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080
Arora, Anish; Attie, Paul C.; Emerson, E. Allen
4
1998
Convergence of iteration systems. Zbl 0818.68072
Arora, Anish; Attie, Paul; Evangelist, Michael; Gouda, Mohamed
4
1993
The impossibility of boosting distributed service resilience. Zbl 1228.68015
Attie, Paul; Guerraoui, Rachid; Kuznetsov, Petr; Lynch, Nancy; Rajsbaum, Sergio
3
2011
Synthesis of large dynamic concurrent programs from dynamic specifications. Zbl 1392.68143
Attie, Paul C.
2
2016
Finite-state concurrent programs can be expressed in pairwise normal form. Zbl 1335.68042
Attie, Paul C.
2
2016
Dynamic input/output automata: A formal model for dynamic systems (extended abstract). Zbl 1006.68537
Attie, Paul C.; Lynch, Nancy A.
2
2001
Synthesis of concurrent systems for an atomic read/atomic write model of computation. Zbl 1321.68342
Attie, Paul C.; Emerson, E. Allen
2
1996
From global choreographies to verifiable efficient distributed implementations. Zbl 1452.68125
Jaber, 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.68160
Attie, Paul C.
1
2011
On the implementation complexity of specifications of concurrent programs. Zbl 1180.68106
Attie, Paul C.
1
2003
Wait-free Byzantine consensus. Zbl 1044.68512
Attie, Paul
1
2002
Synthesis of large concurrent programs via pairwise composition. Zbl 0940.68029
Attie, Paul C.
1
1999
Automating the refinement of specifications for distributed systems via syntactic transformations. Zbl 0897.68006
Attie, Paul; Das, Champak
1
1997
From global choreographies to verifiable efficient distributed implementations. Zbl 1452.68125
Jaber, Mohamad; Falcone, Yliès; Attie, Paul; Khalil, Al-Abbass; Hallal, Rayan; El-Hokayem, Antoine
1
2020
A general framework for architecture composability. Zbl 1342.68029
Attie, 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.68114
Attie, Paul C.; Lynch, Nancy A.
5
2016
Synthesis of large dynamic concurrent programs from dynamic specifications. Zbl 1392.68143
Attie, Paul C.
2
2016
Finite-state concurrent programs can be expressed in pairwise normal form. Zbl 1335.68042
Attie, Paul C.
2
2016
The impossibility of boosting distributed service resilience. Zbl 1228.68015
Attie, Paul; Guerraoui, Rachid; Kuznetsov, Petr; Lynch, Nancy; Rajsbaum, Sergio
3
2011
On the refinement of liveness properties of distributed systems. Zbl 1233.68160
Attie, Paul C.
1
2011
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. Zbl 1111.68495
Attie, Paul C.; Chockler, Hana
7
2005
Turing machines, transition systems, and interaction. Zbl 1090.68040
Goldin, Dina Q.; Smolka, Scott A.; Attie, Paul C.; Sonderegger, Elaine L.
14
2004
On the implementation complexity of specifications of concurrent programs. Zbl 1180.68106
Attie, Paul C.
1
2003
Wait-free Byzantine consensus. Zbl 1044.68512
Attie, Paul
1
2002
On formal modeling of agent computations. Zbl 0988.68721
Araragi, 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.68537
Attie, Paul C.; Lynch, Nancy A.
2
2001
Liveness-preserving simulation relations. Zbl 1321.68353
Attie, Paul C.
4
1999
Synthesis of large concurrent programs via pairwise composition. Zbl 0940.68029
Attie, Paul C.
1
1999
Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080
Arora, Anish; Attie, Paul C.; Emerson, E. Allen
4
1998
Automating the refinement of specifications for distributed systems via syntactic transformations. Zbl 0897.68006
Attie, Paul; Das, Champak
1
1997
Synthesis of concurrent systems for an atomic read/atomic write model of computation. Zbl 1321.68342
Attie, Paul C.; Emerson, E. Allen
2
1996
Fairness and hyperfairness in multi-party interactions. Zbl 0797.68100
Attie, Paul C.; Francez, Nissim; Grumberg, Orna
8
1993
Convergence of iteration systems. Zbl 0818.68072
Arora, Anish; Attie, Paul; Evangelist, Michael; Gouda, Mohamed
4
1993
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

Citations by Year