Inventor · disambiguated record
Dmitry Pidan
Also filed as: PIDAN DMITRY
8 granted patents·2 pending applications·40 citations·filing 2008–2021
84Inventor score
Top patents by PatentIndex Score
10 records- 0194US9588877B1Unit-level formal verification for vehicular software systemsIBM·Filed 2016·Granted Mar 7, 2017·16 cites·1 claims
- 0291US9870313B2Unit-level formal verification for vehicular software systemsIBM·Filed 2017·Granted Jan 16, 2018·7 cites·1 claims
- 0388US9898395B2Unit-level formal verification for vehicular software systemsIBM·Filed 2017·Granted Feb 20, 2018·5 cites·1 claims
- 0482US9875175B2Unit-level formal verification for vehicular software systemsIBM·Filed 2015·Granted Jan 23, 2018·2 cites·11 claims
- 0579US9389984B2Directing verification towards bug-prone portionsIBM·Filed 2013·Granted Jul 12, 2016·6 cites·13 claims
- 0659US8219376B2Verification using directives having local variablesPIDAN DMITRY·Filed 2008·Granted Jul 10, 2012·4 cites·18 claims
- 0747US8856755B2Dominant-state-based coverage metricIBM·Filed 2013·Granted Oct 7, 2014·0 cites·21 claims
- 0843US2015074652A1Avoiding similar counter-examples in model checkingIBM·Filed 2013·Application pending·0 cites
- 0942US2022237343A1Techniques for providing concrete instances in traffic scenarios by a transformation as a constraint satisfaction problemFORETELLIX LTD·Filed 2021·Application pending·0 cites
- 1038US10503633B2Symbolic execution of alternative branchesIBM·Filed 2016·Granted Dec 10, 2019·0 cites·16 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →