Search the dblp DataBase

Publications of Author

1. A. J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells
   Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   ICFP, 1999, pp:90-101 [Conf]
   
2. Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta
   Typed Abstraction of Complex Network Compositions. [Citation Graph (0, 0)][DBLP]
   ICNP, 2005, pp:289-300 [Conf]
   
3. Adam Bradley, Azer Bestavros, Assaf J. Kfoury
   Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. [Citation Graph (0, 0)][DBLP]
   ICNP, 2003, pp:234-0 [Conf]
   
4. Adam Bradley, Azer Bestavros, Assaf J. Kfoury
   A Typed Model for Encoding-Based Protocol Interoperability. [Citation Graph (0, 0)][DBLP]
   ICNP, 2004, pp:72-83 [Conf]
   
5. Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury
   Formal semantics of weak references. [Citation Graph (0, 0)][DBLP]
   ISMM, 2006, pp:126-137 [Conf]
   
6. Michael J. Ocean, Azer Bestavros, Assaf J. Kfoury
   snBench: programming and virtualization framework for distributed multitasking sensor networks. [Citation Graph (0, 0)][DBLP]
   VEE, 2006, pp:89-99 [Conf]
   
7. Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta
   Safe compositional specification of networking systems. [Citation Graph (0, 0)][DBLP]
   Computer Communication Review, 2004, v:34, n:3, pp:21-34 [Journal]
   
8. J. J. Hallett, Assaf J. Kfoury
   Programming Examples Needing Polymorphic Recursion. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:57-102 [Journal]
   
9. Assaf J. Kfoury, Geoffrey Washburn, Joe Wells
   Implementing Compositional Analysis Using Intersection Types With Expansion Variables. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
   
10. Yarom Gabay, Assaf J. Kfoury
    A calculus for java's reference objects. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2007, v:42, n:8, pp:9-17 [Journal]
    
11. 
    Safe compositional network sketches: formal framework. [Citation Graph (, )][DBLP]
    
    
12. 
    A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. [Citation Graph (, )][DBLP]