Geert Janssen  Geert Janssen photo       

contact information

Formal Methods, Software Design, Deep Learning
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash2198

links

Professional Associations

Professional Associations:  IEEE

more information

More information:  My LinkedIn Page


Patent name Patent date Patent number Patent issuing country or region
METHOD AND SYSTEM FOR BUILDING BINARY DECISION DIAGRAMS EFFICIENTLY IN A STRUCTURAL NETWORK REPRESENTATION OF A DIGITAL CIRCUIT 2008-03-04 7340473 United States
FRAMEWORK FOR MULTIPLE-ENGINE BASED VERIFICATION TOOLS FOR INTEGRATED CIRCUITS 2004-02-24 6698003 United States
METHOD AND SYSTEM FOR EQUIVALENCE-CHECKING COMBINATORIAL CIRCUITS USING INTERACTIVE BINARY-DECISION-DIAGRAM SWEEPING AND STRUCTURAL SATISFIABILITY ANALYSIS 2002-10-29 6473884 United States
METHOD AND SYSTEM FOR CASE-SPLITTING ON NODES IN A SYMBOLIC SIMULATION FRAMEWORK 2008-04-22 7363603 United States
DESIGN OF A POINTERLESS BDD PACKAGE 2006-01-31 6993732 United States
METHOD FOR PRESERVING CONSTRAINTS DURING SEQUENTIAL REPARAMETERIZATION 2007-11-20 7299432 United States
METHOD AND SYSTEM FOR REVERSING THE EFFECTS OF SEQUENTIAL REPARAMETERIZATION ON TRACES 2008-03-25 7350166 United States
METHOD FOR IMPROVED SYNTHESIS OF BINARY DECISION DIAGRAMS WITH INVERTED EDGES AND QUANTIFIABLE AS WELL AS NONQUANTIFIABLE VARIABLES 2008-03-25 7350179 United States
METHOD AND SYSTEM FOR PARAMETRIC REDUCTION OF SEQUENTIAL DESIGNS 2008-04-29 7367002 United States
METHOD FOR HEURISTIC PRESERVATION OF CRITICAL INPUTS DURING SEQUENTIAL REPARAMETERIZATION 2008-05-06 7370298 United States
METHOD AND SYSTEM FOR CASE-SPLITTING ON NODES IN A SYMBOLIC SIMULATION FRAMEWORK 2009-01-06 7475371 United States
METHOD AND SYSTEM FOR CASE-SPLITTING ON NODES IN A SYMBOLIC SIMULATION FRAMEWORK 2009-03-17 7506290 United States
PARAMETRIC REDUCTION OF SEQUENTIAL DESIGNS 2010-03-30 7689943 United States
METHOD FOR IMPROVED SYNTHESIS OF BINARY DECISION DIAGRAMS WITH INVERTED EDGES AND QUANTIFIABLE AS WELL AS NONQUANTIFIABLE VARIABLES 2010-07-06 7752593 United States
METHOD FOR IMPROVED SYNTHESIS OF BINARY DECISION DIAGRAMS WITH INVERTED EDGES AND QUANTIFIABLE AS WELL AS NONQUANTIFIABLE VARIABLES 2010-07-27 7765514 United States
SCALABLE DEPENDENT STATE ELEMENT IDENTIFICATION 2010-08-31 7788618 United States
BUILDING BINARY DECISION DIAGRAMS EFFICIENTLY IN A STRUCTURAL NETWORK REPRESENTATION OF A DIGITAL CIRCUIT 2010-11-16 7836413 United States
SYSTEM FOR BUILDING BINARY DECISION DIAGRAMS EFFICIENTLY IN A STRUCTURAL NETWORK REPRESENTATION OF A DIGITAL CIRCUIT 2010-12-14 7853917 United States
METHOD FOR HEURISTIC PRESERVATION OF CRITICAL INPUTS DURING SEQUENTIAL REPARAMETERIZATION 2011-02-01 7882470 United States
METHOD AND SYSTEM FOR REVERSING THE EFFECTS OF SEQUENTIAL REPARAMETERIZATION ON TRACES 2011-03-22 7913205 United States
METHOD AND SYSTEM FOR REVERSING THE EFFECTS OF SEQUENTIAL REPARAMETERIZATION ON TRACES 2011-03-29 7917874 United States
Circuit verification using computational algebraic geometry 2014-01-28 8640065 United States
SYSTEM AND METHOD TO REDUCE HUMAN ACTIVITY DAMAGE-INDUCED POWER OUTAGE 2015-12-24 20150369878 United States