Assaf Kfoury
Affiliations: | Boston University, Boston, MA, United States |
Area:
Computer Science, MathematicsGoogle:
"Assaf Kfoury"Children
Sign in to add traineeSantiago M. Pericas-Geertsen | grad student | 2002 | Boston University |
Ian C. Westmacott | grad student | 2003 | Boston University |
Joseph J. Hallett | grad student | 2008 | Boston University |
Andrei Lapets | grad student | 2011 | Boston University |
Mark C. Reynolds | grad student | 2012 | Boston University |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Skowyra R, Lapets A, Bestavros A, et al. (2014) A verification platform for SDN-enabled applications Proceedings - 2014 Ieee International Conference On Cloud Engineering, Ic2e 2014. 337-342 |
Kfoury A. (2014) The syntax and semantics of a domain-specific language for flow-network design Science of Computer Programming. 93: 19-38 |
Skowyra RW, Lapets A, Bestavros A, et al. (2013) Verifiably-safe software-defined networks for CPS Hicons 2013 - Proceedings of the 2nd Acm International Conference On High Confidence Networked Systems, Part of Cpsweek 2013. 101-110 |
Lapets A, Skowyra R, Bestavros A, et al. (2013) Towards accessible integration and deployment of formal tools and techniques International Workshop On Developing Tools as Plug-Ins, Topi. 19-24 |
Bestavros A, Kfoury A, Lapets A. (2013) Postlude: Seamless composition and integration-A perspective on formal methods research Mathematical Structures in Computer Science. 23: 934-943 |
Lapets A, Kfoury A. (2012) A User-friendly Interface for a Lightweight Verification System Electronic Notes in Theoretical Computer Science. 285: 29-41 |
Soule N, Bestavros A, Kfoury A, et al. (2011) Safe compositional equation-based modeling of constrained flow networks Proceedings of the 4th International Workshop On Equation-Based Object-Oriented Modeling Languages and Tools, Eoolt 2011. 35-44 |
Donnelly K, Kfoury A, Lapets A. (2010) The complexity of restricted variants of the stable paths problem Fundamenta Informaticae. 103: 69-87 |
Bestavros A, Kfoury A, Lapets A, et al. (2010) Safe compositional network sketches: Formal framework Hscc'10 - Proceedings of the 13th Acm International Conference On Hybrid Systems: Computation and Control. 231-241 |
Donnelly K, Hallett JJ, Kfoury A. (2006) Formal semantics of weak references International Symposium On Memory Management, Ismm. 2006: 126-137 |