1. Synthesis of large concurrent programs via pairwise composition;Attie,1999
2. Synthesis of large dynamic concurrent programs from dynamic specifications;Attie,2016
3. Efficiently verifiable conditions for deadlock-freedom of large concurrent programs;Attie,2005
4. Synthesis of concurrent systems with many similar processes;Attie;ACM Trans. Program. Lang. Syst.,1998
5. Rigorous component-based system design using the BIP framework;Basu;IEEE Softw.,2011