Eilat
Israel
18
2017-08-17
The entities that hold a legal rights for patent applications filed by inventor Abadi Aharon:
Aharon Abadi from Eilat, IL has applied for patents for these inventions. The list has both pending applications and granted patents:
System and/or method for computing interprocedural dominators
#2 | 2016-01-14System and/or method for computing interprocedural dominators
#3 | 2015-09-03Method for finding all valid interprocedural execution paths on COBOL in polynomial time
#4 | 2015-04-30Screen oriented data flow analysis
#5 | 2015-04-30Screen-oriented computing program refactoring
#6 | 2015-04-23Mobile computing program slicing and behavior
#7 | 2015-04-16Finite state machine forming
#8 | 2015-02-05System and/or method for computing interprocedural dominators
#9 | 2014-09-18ADJUDICATION PLATFORM COMPLIANCE MANAGEMENT
#10 | 2014-09-18Identifying additional variables for appraisal tables
#11 | 2014-07-03Flow analysis in program execution
#12 | 2013-10-24Method, apparatus and product for porting applications to embedded platforms
#13 | 2013-09-19Plan-based program slicing
#14 | 2013-09-19Generating Policy Summaries From Logic Code
#15 | 2013-05-16Software architecture by untangling undesired code level dependencies using code refactoring
#16 | 2012-11-29Determining suitable insertion points for string sanitizers in a computer code
#17 | 2012-09-06Method for code transformation supporting temporal abstraction of parameters
#18 | 2009-10-01Automated many-sorted theorem prover
252852 ⎘