Geert Janssen

Person

Putnam Valley, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method to reduce human activity damage-induced power outage
- Patent number 10,460,403
- Issue date Oct 29, 2019
- International Business Machines Corporation
- Geert Janssen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing a netlist circuit representation by leveraging binary de...
- Patent number 8,799,837
- Issue date Aug 5, 2014
- International Business Machines Corporation
- Jason Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for design simplification through implication-bas...
- Patent number 8,418,093
- Issue date Apr 9, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for scalable derivation of an implication-based reachable st...
- Patent number 8,201,117
- Issue date Jun 12, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated convergence of ternary simulation by saturation of deep g...
- Patent number 8,171,437
- Issue date May 1, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reversing the effects of sequential reparameterization on traces
- Patent number 7,917,874
- Issue date Mar 29, 2011
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for reversing the effects of sequential reparamet...
- Patent number 7,913,205
- Issue date Mar 22, 2011
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for heuristic preservation of critical inputs during sequent...
- Patent number 7,882,470
- Issue date Feb 1, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for building binary decision diagrams efficiently in a struc...
- Patent number 7,853,917
- Issue date Dec 14, 2010
- International Business Machines Corporation
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Building binary decision diagrams efficiently in a structural netwo...
- Patent number 7,836,413
- Issue date Nov 16, 2010
- International Business Machines Corporation
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable dependent state element identification
- Patent number 7,788,618
- Issue date Aug 31, 2010
- International Business Machines Corporation
- Jason Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for improved synthesis of binary decision diagrams with inve...
- Patent number 7,765,514
- Issue date Jul 27, 2010
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for improved synthesis of binary decision diagrams with inve...
- Patent number 7,752,593
- Issue date Jul 6, 2010
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parametric reduction of sequential design
- Patent number 7,689,943
- Issue date Mar 30, 2010
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for case-splitting on nodes in a symbolic simulat...
- Patent number 7,506,290
- Issue date Mar 17, 2009
- International Business Machines Corporation
- Christian Jacobi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for case-splitting on nodes in a symbolic simulat...
- Patent number 7,475,371
- Issue date Jan 6, 2009
- International Business Machines Corporation
- Christian Jacobi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for heuristic preservation of critical inputs during sequent...
- Patent number 7,370,298
- Issue date May 6, 2008
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for parametric reduction of sequential designs
- Patent number 7,367,002
- Issue date Apr 29, 2008
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for case-splitting on nodes in a symbolic simulat...
- Patent number 7,363,603
- Issue date Apr 22, 2008
- International Business Machines Corporation
- Christian Jacobi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for reversing the effects of sequential reparamet...
- Patent number 7,350,166
- Issue date Mar 25, 2008
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for improved synthesis of binary decision diagrams with inve...
- Patent number 7,350,179
- Issue date Mar 25, 2008
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for building binary decision diagrams efficiently...
- Patent number 7,340,473
- Issue date Mar 4, 2008
- International Business Machines Corporation
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for preserving constraints during sequential reparameterization
- Patent number 7,299,432
- Issue date Nov 20, 2007
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Framework for multiple-engine based verification tools for integrat...
- Patent number 6,698,003
- Issue date Feb 24, 2004
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for equivalence-checking combinatorial circuits u...
- Patent number 6,473,884
- Issue date Oct 29, 2002
- International Business Machines Corporation
- Malay Kumar Ganai
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEM AND METHOD TO REDUCE HUMAN ACTIVITY DAMAGE-INDUCED POWER OUTAGE
- Publication number 20150369878
- Publication date Dec 24, 2015
- International Business Machines Corporation
- Geert Janssen
- G01 - MEASURING TESTING
Information Patent Application
Method and System for Design Simplification Through Implication-Bas...
- Publication number 20100293513
- Publication date Nov 18, 2010
- International Business Machines Corporation
- JASON R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for automated convergence of ternary simulation b...
- Publication number 20100251199
- Publication date Sep 30, 2010
- International Buisness Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR SCALABLE DERIVATION OF AN IMPLICATION-BASED REACHABLE ST...
- Publication number 20100185993
- Publication date Jul 22, 2010
- International Business Machines Corporation
- JASON R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Building Binary Decision Diagrams Efficiently...
- Publication number 20100146474
- Publication date Jun 10, 2010
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Building Binary Decision Diagrams Efficiently...
- Publication number 20100138805
- Publication date Jun 3, 2010
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Optimizing a Netlist Circuit Representation by Leveraging Binary De...
- Publication number 20100050145
- Publication date Feb 25, 2010
- International Business Machines Corporation
- Jason Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Building Binary Decision Diagrams Efficiently...
- Publication number 20090164965
- Publication date Jun 25, 2009
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Building Binary Decision Diagrams Efficiently...
- Publication number 20090164966
- Publication date Jun 25, 2009
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Scalable Dependent State Element Identification
- Publication number 20090089730
- Publication date Apr 2, 2009
- Jason Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR HEURISTIC PRESERVATION OF CRITICAL INPUTS DURING SEQUENT...
- Publication number 20080235637
- Publication date Sep 25, 2008
- JASON R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Reversing the Effects of Sequential Reparamet...
- Publication number 20080109769
- Publication date May 8, 2008
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for parametric reduction of sequential designs
- Publication number 20080109774
- Publication date May 8, 2008
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Reversing the Effects of Sequential Reparamet...
- Publication number 20080109781
- Publication date May 8, 2008
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for parametric reduction of sequential designs
- Publication number 20080104560
- Publication date May 1, 2008
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR CASE-SPLITTING ON NODES IN A SYMBOLIC SIMULAT...
- Publication number 20080092097
- Publication date Apr 17, 2008
- Christian Jacobi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR CASE-SPLITTING ON NODES IN A SYMBOLIC SIMULAT...
- Publication number 20080092098
- Publication date Apr 17, 2008
- Christian Jacobi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for Improved Synthesis of Binary Decision Diagrams with Inve...
- Publication number 20080092104
- Publication date Apr 17, 2008
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for Improved Synthesis of Binary Decision Diagrams with Inve...
- Publication number 20080092105
- Publication date Apr 17, 2008
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for case-splitting on nodes in a symbolic simulat...
- Publication number 20070061765
- Publication date Mar 15, 2007
- Christian Jacobi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for improved synthesis of binary decision diagrams with inve...
- Publication number 20060248483
- Publication date Nov 2, 2006
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for reversing the effects of sequential reparamet...
- Publication number 20060248481
- Publication date Nov 2, 2006
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for preserving constraints during sequential reparameterization
- Publication number 20060248484
- Publication date Nov 2, 2006
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for heuristic preservation of critical inputs during sequent...
- Publication number 20060248482
- Publication date Nov 2, 2006
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for parametric reduction of sequential designs
- Publication number 20060248494
- Publication date Nov 2, 2006
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for building binary decision diagrams efficiently...
- Publication number 20060047680
- Publication date Mar 2, 2006
- International Business Machines Corp.
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Framework for multiple-engine based verification tools for integrat...
- Publication number 20030110455
- Publication date Jun 12, 2003
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Geert Janssen

Person

Patents Grantslast 30 patents

System and method to reduce human activity damage-induced power outage

Optimizing a netlist circuit representation by leveraging binary de...

Method and system for design simplification through implication-bas...

Method for scalable derivation of an implication-based reachable st...

Automated convergence of ternary simulation by saturation of deep g...

Reversing the effects of sequential reparameterization on traces

Method and system for reversing the effects of sequential reparamet...

Method for heuristic preservation of critical inputs during sequent...

System for building binary decision diagrams efficiently in a struc...

Building binary decision diagrams efficiently in a structural netwo...

Scalable dependent state element identification

Method for improved synthesis of binary decision diagrams with inve...

Method for improved synthesis of binary decision diagrams with inve...

Parametric reduction of sequential design

Method and system for case-splitting on nodes in a symbolic simulat...

Method and system for case-splitting on nodes in a symbolic simulat...

Method for heuristic preservation of critical inputs during sequent...

Method and system for parametric reduction of sequential designs

Method and system for case-splitting on nodes in a symbolic simulat...

Method and system for reversing the effects of sequential reparamet...

Method for improved synthesis of binary decision diagrams with inve...

Method and system for building binary decision diagrams efficiently...

Method for preserving constraints during sequential reparameterization

Framework for multiple-engine based verification tools for integrat...

Method and system for equivalence-checking combinatorial circuits u...

Patents Applicationslast 30 patents

SYSTEM AND METHOD TO REDUCE HUMAN ACTIVITY DAMAGE-INDUCED POWER OUTAGE

Method and System for Design Simplification Through Implication-Bas...

Method and system for automated convergence of ternary simulation b...

METHOD FOR SCALABLE DERIVATION OF AN IMPLICATION-BASED REACHABLE ST...

Method and System for Building Binary Decision Diagrams Efficiently...

Method and System for Building Binary Decision Diagrams Efficiently...

Optimizing a Netlist Circuit Representation by Leveraging Binary De...

Method and System for Building Binary Decision Diagrams Efficiently...

Method and System for Building Binary Decision Diagrams Efficiently...

Scalable Dependent State Element Identification

METHOD FOR HEURISTIC PRESERVATION OF CRITICAL INPUTS DURING SEQUENT...

Method and System for Reversing the Effects of Sequential Reparamet...

Method and system for parametric reduction of sequential designs

Method and System for Reversing the Effects of Sequential Reparamet...

Method and system for parametric reduction of sequential designs

METHOD AND SYSTEM FOR CASE-SPLITTING ON NODES IN A SYMBOLIC SIMULAT...

METHOD AND SYSTEM FOR CASE-SPLITTING ON NODES IN A SYMBOLIC SIMULAT...

Method for Improved Synthesis of Binary Decision Diagrams with Inve...

Method for Improved Synthesis of Binary Decision Diagrams with Inve...

Method and system for case-splitting on nodes in a symbolic simulat...

Method for improved synthesis of binary decision diagrams with inve...

Method and system for reversing the effects of sequential reparamet...

Method for preserving constraints during sequential reparameterization

Method for heuristic preservation of critical inputs during sequent...

Method and system for parametric reduction of sequential designs

Method and system for building binary decision diagrams efficiently...

Framework for multiple-engine based verification tools for integrat...