Inventor
BEER ILAN
IL13 patents
⚠️ This page may combine multiple inventors who share the name “BEER ILAN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
6 patentsUS6691078B1Feb 10, 2004
Target design model behavior explorer
IBM25 citations90
US7146605B2Dec 5, 2006
Automatic abstraction of software source
IBM27 citations89
US6192505B1Feb 20, 2001
Method and system for reducing state space variables prior to symbolic model checking
IBM51 citations88
US6715107B2Mar 30, 2004
Method and system for reducing the computation tree to include only model behaviors defined succinctly by a user via regular expressions as being of interest
IBM10 citations65
US7188061B2Mar 6, 2007
Simulation monitors based on temporal formulas
IBM4 citations58
US8949766B2Feb 3, 2015
Detecting corresponding paths in combinationally equivalent circuit designs
IBM0 citations38
INTEL CORP
2 patentsADICET BIO INC
2 patentsUS11001642B2May 11, 2021
Affinity entities comprising a TCR-like antibody binding domain with high affinity and fine specificity and uses of same
ADICET BIO INC0 citations51
US11485785B2Nov 1, 2022
Antibodies capable of binding HLA-A2/TyrD in an HLA restricted manner and uses thereof
ADICET BIO INC0 citations43