Assaf J. Kfoury

41 papers A 1B 7C 1Journal 20Unranked 9

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