Assaf J. Kfoury

Publication Activity (10 Years)

Years Active: 1999-2020
Publications (10 Years): 12

Top Topics

Computer Science

Mathematical Concepts

Top Venues

J. Comb. Optim.

Math. Struct. Comput. Sci.

Fundam. Informaticae

Publications

Assaf J. Kfoury, Benjamin Sisson
Efficient reassembling of three-regular planar graphs. J. Comb. Optim. 39 (4) (2020)
Vatche Ishakian, Azer Bestavros, Assaf J. Kfoury
MORPHOSYS: Efficient Colocation of QoS-Constrained Workloads in the Cloud. CoRR (2019)
Assaf J. Kfoury
Personal Reflections on the Role of Mathematical Logic in Computer Science. Fundam. Informaticae 170 (1-3) (2019)
Assaf J. Kfoury
A Fixed-Parameter Linear-Time Algorithm for Maximum Flow in Planar Flow Networks. CoRR (2018)
Assaf J. Kfoury, Benjamin Sisson
Efficient Reassembling of Three-Regular Planar Graphs. CoRR (2018)
Assaf J. Kfoury
A Compositional Approach to Network Algorithms. CoRR (2018)
Assaf J. Kfoury
Mathematical Logic in Computer Science. CoRR (2018)
Assaf J. Kfoury
A Fixed-Parameter Linear-Time Algorithm to Compute Principal Typings of Planar Flow Networks. CoRR (2018)
Assaf J. Kfoury, Saber Mirzaei
Efficient reassembling of graphs, part 1: the linear case. J. Comb. Optim. 33 (3) (2017)
Saber Mirzaei, Sanaz Bahargam, Richard Skowyra, Assaf J. Kfoury, Azer Bestavros
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. CoRR (2016)
Saber Mirzaei, Assaf J. Kfoury
Shortest path and maximum flow problems in planar flow networks with additive gains and losses. CoRR (2016)
Saber Mirzaei, Assaf J. Kfoury
Efficient Reassembling of Graphs, Part 2: The Balanced Case. CoRR (2016)
Saber Mirzaei, Assaf J. Kfoury
Linear Arrangement of Halin Graphs. CoRR (2015)
Assaf J. Kfoury, Saber Mirzaei
Efficient Reassembling of Graphs, Part 1: The Linear Case. CoRR (2015)
Richard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury
A Verification Platform for SDN-Enabled Applications. IC2E (2014)
Assaf J. Kfoury
The syntax and semantics of a domain-specific language for flow-network design. Sci. Comput. Program. 93 (2014)
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets
Postlude: seamless composition and integration - a perspective on formal methods research. Math. Struct. Comput. Sci. 23 (4) (2013)
Azer Bestavros, Assaf J. Kfoury
Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems. Math. Struct. Comput. Sci. 23 (4) (2013)
Andrei Lapets, Richard Skowyra, Azer Bestavros, Assaf J. Kfoury
Towards accessible integration and deployment of formal tools and techniques. TOPI@ICSE (2013)
Richard William Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury
Verifiably-safe software-defined networks for CPS. HiCoNS (2013)
Andrei Lapets, Assaf J. Kfoury
A User-friendly Interface for a Lightweight Verification System. Electron. Notes Theor. Comput. Sci. 285 (2012)
Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury
Formal Verification of SLA Transformations. SERVICES (2011)
Azer Bestavros, Assaf J. Kfoury
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report). DSL (2011)
Nate Soule, Azer Bestavros, Assaf J. Kfoury, Andrei Lapets
Safe Compositional Equation-based Modeling of Constrained Flow Networks. EOOLT (2011)
Vatche Ishakian, Azer Bestavros, Assaf J. Kfoury
A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems. RTCSA (2010)
Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets
The Complexity of Restricted Variants of the Stable Paths Problem. Fundam. Informaticae 103 (1-4) (2010)
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean
Safe compositional network sketches: formal framework. HSCC (2010)
Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. MOMPES (2009)
Yarom Gabay, Assaf J. Kfoury
A calculus for java's reference objects. ACM SIGPLAN Notices 42 (8) (2007)
Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury
Formal semantics of weak references. ISMM (2006)
Michael J. Ocean, Azer Bestavros, Assaf J. Kfoury
snBench: programming and virtualization framework for distributed multitasking sensor networks. VEE (2006)
Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta
Typed Abstraction of Complex Network Compositions. ICNP (2005)
J. J. Hallett, Assaf J. Kfoury
Programming Examples Needing Polymorphic Recursion. Electron. Notes Theor. Comput. Sci. 136 (2005)
Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta
Safe compositional specification of networking systems. Comput. Commun. Rev. 34 (3) (2004)
Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury
A Typed Model for Encoding-Based Protocol Interoperability. ICNP (2004)
Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury
Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. ICNP (2003)
Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells
Implementing Compositional Analysis Using Intersection Types With Expansion Variables. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)
Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). ICFP (1999)