Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kfoury, Assaf J.
38  Ergebnisse:
Personensuche X
?
1

Efficient reassembling of three-regular planar graphs:

Kfoury, Assaf ; Sisson, Laura
Journal of Combinatorial Optimization.  39 (2020)  4 - p. 1153-1207 , 2020
Link: https://doi.org/10.1007/..
 
?
2

Efficient reassembling of graphs, part 1: the linear case:

Kfoury, Assaf ; Mirzaei, Saber
Journal of Combinatorial Optimization.  33 (2016)  3 - p. 1057-1089 , 2016
Link: https://doi.org/10.1007/..
 
?
3

The syntax and semantics of a domain-specific language for ..:

Kfoury, Assaf
Science of Computer Programming.  93 (2014)  - p. 19-38 , 2014
Link: https://doi.org/10.1016/..
 
?
4

Verifiably-safe software-defined networks for CPS:

, In: Proceedings of the 2nd ACM international conference on High confidence networked systems,
Skowyra, Richard William ; Lapets, Andrei ; Bestavros, Azer. - p. 101-110 , 2013
Link: https://dl.acm.org/doi/1..
 
?
5

Postlude: seamless composition and integration – a perspect..:

BESTAVROS, AZER ; KFOURY, ASSAF ; LAPETS, ANDREI
Mathematical Structures in Computer Science.  23 (2013)  4 - p. 934-943 , 2013
Link: https://doi.org/10.1017/..
 
?
6

Preface to special issue: lightweight and practical formal ..:

BESTAVROS, AZER ; KFOURY, ASSAF
Mathematical Structures in Computer Science.  23 (2013)  4 - p. 675-675 , 2013
Link: https://doi.org/10.1017/..
 
?
7

Proceedings of the 1st annual workshop on Functional progra..:

Lazarus, Richard ; Kfoury, Assaf ; Beal, Jacob , 2013
Link: https://dl.acm.org/doi/1..
 
?
8

A User-friendly Interface for a Lightweight Verification Sy..:

Lapets, Andrei ; Kfoury, Assaf
Electronic Notes in Theoretical Computer Science.  285 (2012)  - p. 29-41 , 2012
Link: https://doi.org/10.1016/..
 
?
9

Safe compositional network sketches : formal framework:

, In: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control,
Bestavros, Azer ; Kfoury, Assaf ; Lapets, Andrei. - p. 231-241 , 2010
Link: https://dl.acm.org/doi/1..
 
?
10

A calculus for java's reference objects:

Gabay, Yarom ; Kfoury, Assaf J.
ACM SIGPLAN Notices.  42 (2007)  8 - p. 9-17 , 2007
Link: https://dl.acm.org/doi/1..
 
?
11

A calculus for java's reference objects:

Gabay, Yarom ; Kfoury, Assaf J.
ACM SIGPLAN Notices.  42 (2007)  8 - p. 9-17 , 2007
Link: https://doi.org/10.1145/..
 
?
12

snBench : programming and virtualization framework for d..:

, In: Proceedings of the 2nd international conference on Virtual execution environments,
Ocean, Michael J. ; Bestavros, Azer ; Kfoury, Assaf J. - p. 89-99 , 2006
Link: https://dl.acm.org/doi/1..
 
?
13

Formal semantics of weak references:

, In: Proceedings of the 5th international symposium on Memory management,
Donnelly, Kevin ; Hallett, J. J. ; Kfoury, Assaf - p. 126-137 , 2006
Link: https://dl.acm.org/doi/1..
 
?
14

Safe compositional specification of networking systems:

Bestavros, Azer ; Bradley, Adam ; Kfoury, Assaf.
ACM SIGCOMM Computer Communication Review.  34 (2004)  3 - p. 21-34 , 2004
Link: https://dl.acm.org/doi/1..
 
?
15

Safe compositional specification of networking systems:

Bestavros, Azer ; Bradley, Adam ; Kfoury, Assaf.
ACM SIGCOMM Computer Communication Review.  34 (2004)  3 - p. 21-34 , 2004
Link: https://doi.org/10.1145/..
 
1-15