 | 2009 |
|---|
| 27 |       | Yishai A. Feldman,
Donald H. Kraft,
Tsvi Kuflik:
Next Generation Information Technologies and Systems, 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers
Springer 2009 |
| 26 | | Aharon Abadi,
Ran Ettinger,
Yishai A. Feldman:
Improving slice accuracy by compression of data and control flow paths.
ESEC/SIGSOFT FSE 2009: 223-232 |
| 25 | | Moria Abadi,
Yishai A. Feldman:
Refactoring of Statecharts.
NGITS 2009: 50-62 |
| 2006 |
|---|
| 24 | | Maayan Goldstein,
Yishai A. Feldman,
Shmuel S. Tyszberowicz:
Refactoring with Contracts.
AGILE 2006: 53-64 |
| 23 | | Yishai A. Feldman,
Ohad Barzilay,
Shmuel S. Tyszberowicz:
Jose: Aspects for Design by Contract80-89.
SEFM 2006: 80-89 |
| 22 | | Yishai A. Feldman,
Leon Gendler:
Discern: Towards the Automatic Discovery of Software Contracts.
SEFM 2006: 90-99 |
| 21 | | Doron A. Friedman,
Yishai A. Feldman:
Automated cinematic reasoning about camera behavior.
Expert Syst. Appl. 30(4): 694-704 (2006) |
| 2005 |
|---|
| 20 | | Yishai A. Feldman:
Teaching quality object-oriented programming.
ACM Journal of Educational Resources in Computing 5(1): 1-16 (2005) |
| 2004 |
|---|
| 19 |  | Doron A. Friedman,
Yishai A. Feldman:
Knowledge-Based Cinematography and Its Applications.
ECAI 2004: 256-262 |
| 18 | | Doron A. Friedman,
Yishai A. Feldman,
Ariel Shamir,
Tsvi Dagan:
Automated Creation of Movie Summaries in Interactive Virtual Environments.
VR 2004: 191-189 |
| 17 | | Doron A. Friedman,
Yishai A. Feldman,
Ariel Shamir,
Tsvi Dagan:
Colorplate: Automated Creation of Movie Summaries in Interactive Virtual Environments.
VR 2004: 290 |
| 2003 |
|---|
| 16 | | Yishai A. Feldman:
Extreme Design by Contract.
XP 2003: 261-270 |
| 15 | | Yossi Cohen,
Yishai A. Feldman:
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation.
ACM Trans. Softw. Eng. Methodol. 12(3): 285-316 (2003) |
| 14 | | Yishai A. Feldman,
Jacob Reouven:
A knowledge-based approach for index selection in relational databases.
Expert Syst. Appl. 25(1): 15-37 (2003) |
| 1999 |
|---|
| 13 | | Yishai A. Feldman,
Doron A. Friedman:
Portability by Automatic Translation: A Large-Scale Case Study.
Artif. Intell. 107(1): 1-28 (1999) |
| 12 | | Vered Gafni,
Yishai A. Feldman,
Amiram Yehudai:
Real-Time Systems Development with MASS.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 1997 |
|---|
| 11 | | Yossi Cohen,
Yishai A. Feldman:
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction.
ASE 1997: 90-97 |
| 1995 |
|---|
| 10 | | Yishai A. Feldman,
Doron A. Friedman:
Portability by Automatic Translation - A Large-Scale Case Study.
KBSE 1995: 123-130 |
| 1994 |
|---|
| 9 | | Vered Gafni,
Amiram Yehudai,
Yishai A. Feldman:
Activation-Oriented Specification of Real-Time Systems.
FTRTFT 1994: 268-287 |
| 1993 |
|---|
| 8 | | Yishai A. Feldman,
Haim Schneider:
Simulating Reactive Systems by Deduction.
ACM Trans. Softw. Eng. Methodol. 2(2): 128-175 (1993) |
| 1992 |
|---|
| 7 | | Charles Rich,
Yishai A. Feldman:
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development.
IEEE Trans. Software Eng. 18(6): 451-469 (1992) |
| 1991 |
|---|
| 6 | | Yishai A. Feldman,
Charles Rich:
Pattern-Directed Invocation with Changing Equations.
J. Autom. Reasoning 7(3): 403-433 (1991) |
| 1986 |
|---|
| 5 | | Yishai A. Feldman,
Charles Rich:
Reasoning with Simplifying Assumptions: A Methodology and Example.
AAAI 1986: 2-7 |
| 1984 |
|---|
| 4 | | Yishai A. Feldman:
A Decidable Propositional Dynamic Logic with Explicit Probabilities
Information and Control 63(1/2): 11-38 (1984) |
| 3 | | Yishai A. Feldman,
David Harel:
A Probabilistic Dynamic Logic.
J. Comput. Syst. Sci. 28(2): 193-215 (1984) |
| 1983 |
|---|
| 2 | | Yishai A. Feldman:
A Decidable Propositional Probabilistic Dynamic Logic
STOC 1983: 298-309 |
| 1982 |
|---|
| 1 | | Yishai A. Feldman,
David Harel:
A Probabilistic Dynamic Logic
STOC 1982: 181-195 |
