Assaf Kfoury

Affiliations: 
Boston University, Boston, MA, United States 
Area:
Computer Science, Mathematics
Google:
"Assaf Kfoury"
BETA: Related publications

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
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
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
Hallett JJ, Kfoury AJ. (2005) Programming examples needing polymorphic recursion Electronic Notes in Theoretical Computer Science. 136: 57-102
Amtoft T, Kfoury AJ, Pericas-Geertsen SM. (2002) Orderly communication in the ambient calculus Computer Languages. 28: 29-60
Amtoft T, Kfoury AJ, Pericas-Geertsen SM. (2001) What are polymorphically-typed ambients? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2028: 190-205
See more...