| 12299578 |
Method and system for unstructured information analysis using a pipeline of ML algorithms |
Evgeny Shindin, Eliezer Segev Wasserkrug |
2025-05-13 |
| 12061450 |
Generating logically-represented policy for control systems operating based on constrained Markov decision process (CMDP) models |
Alexander Zadorojniy, Lan Ngoc Hoang |
2024-08-13 |
| 11861519 |
System and method for semantics based probabilistic fault diagnosis |
Eliezer Segev Wasserkrug, Evgeny Shindin, Sergey Zeltyn |
2024-01-02 |
| 11176474 |
System and method for semantics based probabilistic fault diagnosis |
Segev Wasserkrug, Evgeny Shindin, Sergey Zeltyn |
2021-11-16 |
| 10528661 |
Evaluating parse trees in linguistic analysis |
Eyal Shnarch |
2020-01-07 |
| 10360501 |
Real-time capture and translation of human thoughts and ideas into structured patterns |
Amos Cahan, Mohammad Sadoghi Hamedani, Padmanabhan Santhanam |
2019-07-23 |
| 10296311 |
Finding uninitialized variables outside the local scope |
Aharon Abadi, Moria Abadi, Idan Ben-Harrush |
2019-05-21 |
| 10013243 |
System and/or method for computing interprocedural dominators |
Aharon Abadi, Moria Abadi, Jonathan Bnayahu |
2018-07-03 |
| 9983983 |
Auto-generation of testable units for COBOL code |
Aharon Abadi, Moria Abadi, Yael Dubinsky |
2018-05-29 |
| 9858641 |
Representing a system using viewpoints |
Lior Limonad, Michael Masin, Aviad Sela |
2018-01-02 |
| 9823913 |
Method of adding local variables in place of global in JavaScript |
Aharon Abadi, Moria Abadi, Idan Ben-Harrush |
2017-11-21 |
| 9720690 |
Software architecture by untangling undesired code level dependencies using code refactoring |
Aharon Abadi, Ran Ettinger, Maayan Goldstein |
2017-08-01 |
| 9710244 |
System and/or method for computing interprocedural dominators |
Aharon Abadi, Moria Abadi, Jonathan Bnayahu |
2017-07-18 |
| 9298924 |
Fixing security vulnerability in a source code |
Aharon Abadi, Ran Ettinger, Jonathan Bnayahu, Omer Tripp, Yinnon A. Haviv +2 more |
2016-03-29 |
| 9280446 |
Method for finding all valid interprocedural execution paths on COBOL in polynomial time |
Aharon Abadi, Moria Abadi, Ran Ettinger |
2016-03-08 |
| 9195458 |
System and/or method for computing interprocedural dominators |
Aharon Abadi, Moria Abadi, Jonathan Bnayahu |
2015-11-24 |
| 9009684 |
Method, apparatus and product for porting applications to embedded platforms |
Aharon Abadi, Moria Abadi, Maayan Goldstein |
2015-04-14 |
| 8966455 |
Flow analysis in program execution |
Aharon Abadi, Jonathan Bnayahu |
2015-02-24 |
| 8959478 |
Plan-based program slicing |
Aharon Abadi, Jonathan Bnayahu, Ran Ettinger |
2015-02-17 |
| 8819637 |
Fixing security vulnerability in a source code |
Aharon Abadi, Ran Ettinger, Jonathan Bnayahu, Omer Tripp, Yinnon A. Haviv +2 more |
2014-08-26 |
| 8621430 |
Method for code transformation supporting temporal abstraction of parameters |
Aharon Abadi, Jonathan Bnayahu, Ran Ettinger |
2013-12-31 |
| 8543974 |
Plan-based program slicing |
Aharon Abadi, Jonathan Bnayahu, Ran Ettinger |
2013-09-24 |
| 8539466 |
Determining suitable insertion points for string sanitizers in a computer code |
Aharon Abadi, Jonathan Bnayahu, Ran Ettinger, Yinnon A. Haviv, Adi Sharabani |
2013-09-17 |
| 8286149 |
Apparatus for and method of implementing feedback directed dependency analysis of software applications |
Nurit Dor, Inbal Ronen, Sara Porat |
2012-10-09 |
