Inventor · disambiguated record
Alan Hartman
Also filed as: HARTMAN ALAN · HARTMAN ALAN F
15 granted patents·3 pending applications·483 citations·filing 1998–2014
93Inventor score
Top patents by PatentIndex Score
18 records- 0193US6944848B2Technique using persistent foci for finite state machine based software test generationIBM·Filed 2001·Granted Sep 13, 2005·114 cites·81 claims
- 0290US7089534B2Model based test generation for validation of parallel and concurrent softwareIBM·Filed 2002·Granted Aug 8, 2006·90 cites·88 claims
- 0389US7024589B2Reducing the complexity of finite state machine test generation using combinatorial designsIBM·Filed 2002·Granted Apr 4, 2006·53 cites·28 claims
- 0488US7272752B2Method and system for integrating test coverage measurements with model based test generationIBM·Filed 2001·Granted Sep 18, 2007·60 cites·25 claims
- 0584US7117484B2Recursive use of model based test generation for middleware validationIBM·Filed 2002·Granted Oct 3, 2006·46 cites·36 claims
- 0680US7055065B2Method, system, and computer program product for automated test generation for non-deterministic software using state transition rulesIBM·Filed 2001·Granted May 30, 2006·32 cites·15 claims
- 0775US8752002B2Automatically generating artifacts for service deliveryBANAVAR GURUDUTH SOMASEKHARA·Filed 2009·Granted Jun 10, 2014·7 cites·19 claims
- 0863US7085748B2Hyper-arc consistency in a contraint satisfaction networkIBM·Filed 2001·Granted Aug 1, 2006·12 cites·41 claims
- 0961US6647492B1Method of providing persistent memory to a hand-held platform operating system on a computer systemNCR CORP·Filed 2000·Granted Nov 11, 2003·8 cites·17 claims
- 1059US9229685B2Automated corruption analysis of service designsBHAMIDIPATY ANURADHA·Filed 2012·Granted Jan 5, 2016·0 cites·9 claims
- 1158US8578324B2Variability layer for domain-specific modeling languagesHARTMAN ALAN·Filed 2008·Granted Nov 5, 2013·4 cites·16 claims
- 1257US9229684B2Automated corruption analysis of service designsBHAMIDIPATY ANURADHA·Filed 2012·Granted Jan 5, 2016·0 cites·10 claims
- 1346US6335733B1Method and system for displaying and editing a resource scheduleIBM·Filed 1998·Granted Jan 1, 2002·57 cites·42 claims
- 1446US2015235049A1Maintaining Data Privacy in a Shared Data Storage SystemIBM·Filed 2014·Application pending·0 cites
- 1544US8849631B2Protocol independent telephony call lifecycle management schemeKREMER-DAVIDSON SHIRI·Filed 2008·Granted Sep 30, 2014·0 cites·1 claims
- 1643US2009285376A1Method and tooling for the development of telecom servicesIBM·Filed 2008·Application pending·0 cites
- 1736US8146051B2Method and computer program product for providing a representation of software modeled by a modelHARTMAN ALAN·Filed 2006·Granted Mar 27, 2012·0 cites·17 claims
- 1831US2009276192A1Method and Computer Program Product for Visualizing Feature Model InformationAVRAHAM URI·Filed 2008·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →