| 2014 | IC2E | A Verification Platform for SDN-Enabled Applications. | Richard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury |
| 2013 | ICSE | Towards accessible integration and deployment of formal tools and techniques. | Andrei Lapets, Richard Skowyra, Azer Bestavros, Assaf J. Kfoury |
| 2011 | SERVICES | Formal Verification of SLA Transformations. | Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury |
| 2010 | RTCSA | A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems. | Vatche Ishakian, Azer Bestavros, Assaf J. Kfoury |
| 2006 | VEE | snBench: programming and virtualization framework for distributed multitasking sensor networks. | Michael J. Ocean, Azer Bestavros, Assaf J. Kfoury |
| 2005 | ICNP | Typed Abstraction of Complex Network Compositions. | Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta |
| 2004 | ICNP | A Typed Model for Encoding-Based Protocol Interoperability. | Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury |
| 2003 | ICNP | Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. | Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury |
| 1999 | ICFP | Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). | Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells |