Inventor
Geert Janssen
Inventor
Putnam Valley, NY, US
Overview
Patents· 25 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing77%
Y10STechnical subjects covered by former uspc cross-reference art collections [xracs] and digests10%
G06QInformation and communication technology [ict] specially adapted for administrative, commercial, financial, managerial or supervisory purposes3%
H02JElectric power networks3%
Y02EReduction of greenhouse gas [ghg] emissions, related to energy generation, transmission or distribution3%
Y04SSystems integrating technologies related to power network operation, communication or information technologies for improving the electrical power generation, transmission, distribution, management or usage, i.e. smart grids3%
PatentTitleYear
10,460,403System and method to reduce human activity damage-induced power outage20198,799,837'Optimizing a netlist circuit representation by leveraging binary decision diagrams to perform rewriting'20148,418,093'Method and system for design simplification through implication-based analysis'20138,201,117'Method for scalable derivation of an implication-based reachable state set overapproximation'20128,171,437'Automated convergence of ternary simulation by saturation of deep gates'20127,917,874'Reversing the effects of sequential reparameterization on traces'20117,913,205'Method and system for reversing the effects of sequential reparameterization on traces'20117,882,470'Method for heuristic preservation of critical inputs during sequential reparameterization'20117,853,917'System for building binary decision diagrams efficiently in a structural network representation of a digital circuit'20107,836,413'Building binary decision diagrams efficiently in a structural network representation of a digital circuit'20107,788,618'Scalable dependent state element identification'20107,765,514'Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variables'20107,752,593'Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variables'20107,689,943'Parametric reduction of sequential design'20107,506,290'Method and system for case-splitting on nodes in a symbolic simulation framework'20097,475,371'Method and system for case-splitting on nodes in a symbolic simulation framework'20097,370,298'Method for heuristic preservation of critical inputs during sequential reparameterization'20087,367,002'Method and system for parametric reduction of sequential designs'20087,363,603'Method and system for case-splitting on nodes in a symbolic simulation framework'20087,350,166'Method and system for reversing the effects of sequential reparameterization on traces'20087,350,179'Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variables'20087,340,473'Method and system for building binary decision diagrams efficiently in a structural network representation of a digital circuit'20087,299,432'Method for preserving constraints during sequential reparameterization'20076,698,003'Framework for multiple-engine based verification tools for integrated circuits'20046,473,884'Method and system for equivalence-checking combinatorial circuits using interative binary-decision-diagram sweeping and structural satisfiability analysis'2002Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2002–2019Patents assigned to IBM (25)· patent assignee history
2002–2019Based in Putnam Valley, NY, US· patent location history
2012–2014Patents assigned to JANSSEN GEERT (4)· patent assignee history
2012–2013Patents assigned to BAUMGARTNER JASON R (3)· patent assignee history
2012–2013Patents assigned to CASE MICHAEL L (3)· patent assignee history
2012Patents assigned to MONY HARI (2)· patent assignee history
2012Based in Putnam, NY, US· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| IBM | 25 | 2002–2019 |
| JANSSEN GEERTself | 4 | 2012–2014 |
| BAUMGARTNER JASON R | 3 | 2012–2013 |
| CASE MICHAEL L | 3 | 2012–2013 |
| MONY HARI | 2 | 2012 |
Locations
| Location | Patents | Span |
|---|---|---|
| Putnam Valley, New York, US | 24 | 2002–2019 |
| Putnam, New York, US | 1 | 2012 |