Assaf J. Kfoury - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2020

Efficient reassembling of three-regular planar graphsAssaf J. Kfoury, Benjamin Sisson. jco, 39(4):1153-1207, 2020. [doi]

2019

Personal Reflections on the Role of Mathematical Logic in Computer ScienceAssaf J. Kfoury. FUIN, 170(1-3):207-221, 2019. [doi]

2017

Efficient reassembling of graphs, part 1: the linear caseAssaf J. Kfoury, Saber Mirzaei. jco, 33(3):1057-1089, 2017. [doi]

2014

The syntax and semantics of a domain-specific language for flow-network designAssaf J. Kfoury. SCP, 93:19-38, 2014. [doi]

A Verification Platform for SDN-Enabled ApplicationsRichard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury. ic2e 2014: 337-342 [doi]

2013

2012

A User-friendly Interface for a Lightweight Verification SystemAndrei Lapets, Assaf J. Kfoury. ENTCS, 285:29-41, 2012. [doi]

2011

Formal Verification of SLA TransformationsVatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury. services 2011: 540-547 [doi]

Safe Compositional Equation-based Modeling of Constrained Flow NetworksNate Soule, Azer Bestavros, Assaf J. Kfoury, Andrei Lapets. eoolt 2011: 35-44 [doi]

2010

Safe compositional network sketches: formal frameworkAzer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean. hybrid 2010: 231-241 [doi]

The Complexity of Restricted Variants of the Stable Paths ProblemKevin Donnelly, Assaf J. Kfoury, Andrei Lapets. FUIN, 103(1-4):69-87, 2010. [doi]

A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time SystemsVatche Ishakian, Azer Bestavros, Assaf J. Kfoury. rtcsa 2010: 143-152 [doi]

2009

A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systemsMichael J. Ocean, Assaf J. Kfoury, Azer Bestavros. MOMPES 2009: 31-41 [doi]

2007

A calculus for java s reference objectsYarom Gabay, Assaf J. Kfoury. SIGPLAN, 42(8):9-17, 2007. [doi]

2006

Formal semantics of weak referencesKevin Donnelly, J. J. Hallett, Assaf J. Kfoury. iwmm 2006: 126-137 [doi]

snBench: programming and virtualization framework for distributed multitasking sensor networksMichael J. Ocean, Azer Bestavros, Assaf J. Kfoury. vee 2006: 89-99 [doi]

2005

Typed Abstraction of Complex Network CompositionsAzer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta. icnp 2005: 289-300 [doi]

Programming Examples Needing Polymorphic RecursionJ. J. Hallett, Assaf J. Kfoury. ENTCS, 136:57-102, 2005. [doi]

2004

Safe compositional specification of networking systemsAzer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta. ccr, 34(3):21-34, 2004. [doi]

A Typed Model for Encoding-Based Protocol InteroperabilityAdam Bradley, Azer Bestavros, Assaf J. Kfoury. icnp 2004: 72-83 [doi]

2003

Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAINAdam Bradley, Azer Bestavros, Assaf J. Kfoury. icnp 2003: 234 [doi]

2002

Implementing Compositional Analysis Using Intersection Types With Expansion VariablesAssaf J. Kfoury, Geoffrey Washburn, Joe Wells. ENTCS, 70(1):124-148, 2002. [doi]

1982

A Programming Approach to ComputabilityAssaf J. Kfoury, Robert N. Moll, Michael A. Arbib. Texts and Monographs in Computer Science, Springer, 1982. [doi]

1981

A basis for theoretical computer scienceMichael A. Arbib, Assaf J. Kfoury, Robert N. Moll. Texts and monographs in computer science, Springer, 1981.

Sign in or sign up to see more results.

runs on WebDSL