Inventor · disambiguated record
Shaked Flur
Also filed as: FLUR SHAKED
4 granted patents·14 citations·filing 2008–2012
69Inventor score
Top patents by PatentIndex Score
4 records- 0167US8244516B2Formal verification of models using concurrent model-reduction and model-checkingARBEL ELI·Filed 2008·Granted Aug 14, 2012·8 cites·14 claims
- 0266US8417507B2Formal verification of models using concurrent model-reduction and model-checkingARBEL ELI·Filed 2012·Granted Apr 9, 2013·2 cites·18 claims
- 0360US8627273B2Model checking of liveness property in a phase abstracted modelBAUMGARTNER JASON RAYMOND·Filed 2009·Granted Jan 7, 2014·4 cites·20 claims
- 0441US8554522B2Detection of design redundancyFLUR SHAKED·Filed 2009·Granted Oct 8, 2013·0 cites·14 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →