Assignee
VECHEV MARTIN
US·3 granted patents·2 pending applications·5 citations·filing 2010–2012
Technology mixG06F5
Top patents by PatentIndex Score
5 records- 0173US9069893B2Automatic verification of determinism for parallel programsVECHEV MARTIN·Filed 2011·Granted Jun 30, 2015·5 cites·12 claims
- 0247US2013247001A1Dynamic synthesis of program synchronizationVECHEV MARTIN·Filed 2012·Application pending·0 cites
- 0346US2013247000A1Dynamic synthesis of program synchronizationVECHEV MARTIN·Filed 2012·Application pending·0 cites
- 0442US8495588B2Abstraction-guided synthesisVECHEV MARTIN·Filed 2010·Granted Jul 23, 2013·0 cites·21 claims
- 0541US8548966B2Asynchronous assertionsVECHEV MARTIN·Filed 2011·Granted Oct 1, 2013·0 cites·19 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →