Inventor · Seattle, WA, US

Manuel A. Fahndrich

18Patents
8h-index
64Co-inventors
71Inventor score

Filing activity: Jun 30, 2000 → Dec 30, 2016

Most-cited inventions

PatentTitleAreaCited byStatus
US6813761B1 Methods for enhancing flow analysis Physics 36 Expired
US7451435B2 Self-describing artifacts and application abstractions Physics 36 Expired
US7526755B2 Plug-in pre- and postconditions for static program analysis Physics 19 Expired
US7421680B2 Persisted specifications of method pre-and post-conditions for static checking Physics 18 Expired
US8074231B2 Configuration of isolated extensions and device drivers Physics 17 Active
US7882317B2 Process isolation using protection domains Physics 17 Active
US7584458B2 Source code annotation language Physics 13 Expired
US7600232B2 Inter-process communications employing bi-directional message conduits Physics 9 Active
US7865934B2 Access-control permissions with inter-process message-based communications Physics 8 Active
US8250524B2 Contract programming for code error reduction Physics 8 Active
US9104528B2 Controlling the release of private information using static flow analysis Electricity 6 Active
US8959496B2 Automatic parallelization in a tracing just-in-time compiler system Physics 6 Active
US8032898B2 Kernel interface with categorized kernel objects Physics 5 Active
US8782607B2 Contract failure behavior with escalation policy Physics 5 Active
US9436502B2 Eventually consistent storage and transactions in cloud based environment Emerging Cross-Sectional Technologies 5 Active
US7500232B2 Methods for enhancing flow analysis Physics 5 Active
US10558501B2 Resource allocation for computer processing Electricity 2 Active
US9904541B2 Semantic baselining Physics 0 Active

Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.