Yishai Feldman  Yishai Feldman photo       

contact information

Research Staff Member
Tel Aviv, Israel
  +972dash3dash768dash9455

links

Professional Associations

Professional Associations:  ACM  |  IEEE   |  IEEE Computer Society

more information

More information:  The Dusty Deck blog


2015

Flexible Queries over Engineering Data
Yishai A Feldman
Complex Systems Design \& Management, pp. 73--86, Springer, 2015


2014

Simulating Rhapsody SysML Blocks in Hybrid Models with FMI
Yishai A Feldman, Lev Greenberg, Eldad Palachi
Proceedings of the 10th International Modelica Conference, pp. 43--52, 2014


2013

Detecting refactored clones
Mati Shomrat, Yishai A Feldman
ECOOP 2013--Object-Oriented Programming, pp. 502--526, Springer

Where is the business logic?
Y. Dubinsky, Y. Feldman, and M. Goldstein
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, (ESEC/FSE'13), pp. 667--670, 2013

A screen-oriented representation for mobile applications
Aharon Abadi, Yishai A Feldman, Konstantin Shagin
Proceedings of the 2013 companion publication for conference on Systems, programming, \& applications: software for humanity, pp. 79--80


2012

Automatic recovery of statecharts from procedural code
Moria Abadi, Yishai A Feldman
Automated Software Engineering (ASE), 2012 Proceedings of the 27th IEEE/ACM International Conference on, pp. 238--241

Fine Slicing
Aharon Abadi, Ran Ettinger, Yishai A Feldman
Fundamental Approaches to Software Engineering, pp. 471--485, Springer, 2012

Fine Slicing: Theory and Applications for Computation Extraction
A Abadi, R Ettinger, Y A Feldman
15th International Conference on Fundamental Approaches to Software Engineering (FASE @ ETAPS), pp. 471--485, Springer, 2012


2011

Code-motion for API migration: Fixing SQL injection vulnerabilities in Java
A Abadi, Y A Feldman, M Shomrat
Proceeding of the 4th workshop on Refactoring tools, pp. 1--7, ACM, 2011

Automatically fixing security vulnerabilities in Java code
A Abadi, R Ettinger, Y A Feldman, M Shomrat
Proceedings of the ACM international conference companion on Object Oriented Programming, Systems, Languages and Applications (OOPSLA) companion, pp. 3--4, ACM, 2011


2009



Reusing Verilog Designs in the Synchronous Language Esterel
M Leuchter, S Tyszberowicz, Y A Feldman
Journal of Automation, Mobile Robotics & Intelligent Systems 3(1), 23-29, 2009

Refactoring of Statecharts
M Abadi, Y A Feldman
Next Generation Information Technologies and Systems, pp. 50--62, Springer, 2009

Next Generation Information Technologies and Systems
Y A Feldman, D Kraft, T Kuflik
Lecture Notes in Computer Science, Springer, 2009

Refactoring in Multiple Representations: Code and Statecharts
M Abadi, Y A Feldman
3rd Workshop on Refactoring Tools, 2009

Fine Slicing for Advanced Method Extraction
A Abadi, R Ettinger, Y A Feldman
3rd Workshop on Refactoring Tools (WRT @ OOPSLA), 2009

Reusing Verilog Designs in the Synchronous Language Esterel
M Leuchter, S Tyszberowicz, Y A Feldman
Journal of Automation, Mobile Robotics \& Intelligent Systems 3(1), 2009

Improving slice accuracy by compression of data and control flow paths
A Abadi, R Ettinger, Y A Feldman
7th Joint Meeting of the European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 223--232, ACM, 2009
Abstract


2008

Algoritmi: lo spirito dell'informatica
David Harel, Yishai Feldman
2008 - books.google.com, Springer

Rzecz o istocie informatyki: Algorytmika
D Harel, Y A Feldman, Z P{l}oski
2008 - Wydawnictwa Naukowo-Techniczne, Wydawnictwa Naukowo-Techniczne

Algoritmi: Lo Spirito Dell'informatica
D Harel, Y Feldman
2008 - books.google.com, Springer

Governance of Software Development: The Transition to Agile Scenario
Y Dubinsky, A Yaeli, Y A Feldman, E Zarpas, G Nechushtai
Information Technology Governance and Service Management: Frameworks and Adaptations, pp. 266--284, Information Science Reference, 2008

Re-approaching the refactoring Rubicon
A Abadi, R Ettinger, Y A Feldman
2nd Workshop on Refactoring Tools (WRT @ OOPSLA), pp. 1--4, ACM, 2008
Abstract

Developing Law-Governed Systems Using Aspects
C Serban, S Tyszberowicz, Y A Feldman, N Minsky
Journal of Object Technology 7(9), 25-46, 2008


2007

Refactoring with Contracts.
Yishai A Feldman, Maayan Goldstein, Shmuel S Tyszberowicz
WRT, pp. 13--14, 2007

Enterprise in Transition: Governance Meets Agile
Y Dubinsky, A Yaeli, Y A Feldman
Agile 2007 International Conference

Reusing Verilog Designs in the Synchronous Language Esterel
M Leuchter, S Tyszberowicz, Y A Feldman
International Workshop on Real Time Software (RTS'07), 2007


2006

Algorithmik: die Kunst des Rechnens
D Harel, Y A Feldman
2006 - Springer, Springer

Discern: Towards the Automatic Discovery of Software Contracts
Y A Feldman, L Gendler
4th IEEE Conference on Software Engineering and Formal Methods, 2006

Jose: Aspects for design by contract
Y A Feldman, O Barzilay, S Tyszberowicz
4th IEEE Conference on Software Engineering and Formal Methods, 2006

Automated cinematic reasoning about camera behavior
D Friedman, Y A Feldman
Expert Systems With Applications 30(4), 694-704, 2006

Refactoring with contracts
M Goldstein, Y A Feldman, S Tyszberowicz
Agile 2006 International Conference, pp. 13


2005

Teaching quality object-oriented programming
Y A Feldman
ACM Journal on Educational Resources in Computing 5(1), 1-16, 2005


2004

Algorithmics: the spirit of computing
David Harel, Yishai A Feldman
2004 - Pearson Education, Pearson Education

Automated Creation of Movie Summaries in Interactive Virtual Environments
D A Friedman, Y A Feldman, A Shamir, T Dagan
IEEE Virtual Reality (VR 2004)

Knowledge-Based Cinematography and Its Applications
D Friedman, Y A Feldman
16th European Conference on Artificial Intelligence (ECAI 2004)

Call and Execution Semantics in AspectJ
O Barzilay, S Tyszberowicz, Y A Feldman, A Yehudai
Foundations of Aspect-Oriented Languages (FOAL), 2004

Algorithmics: The Spirit of Computing, 3rd ed.
D Harel, Y A Feldman
2004 - Addison Wesley Publishing Company


2003

Extreme design by contract
Y A Feldman
4th International Conference on Extreme Programming and Agile Processes in Software Engineering (XP), pp. 261-270, Springer, 2003

Automatic high-quality reengineering of database programs by abstraction, transformation and Reimplementation
Y Cohen, Y A Feldman
ACM Transactions on Software Engineering and Methodology 12(3), 285-316, 2003

A knowledge-based approach for index selection in relational databases
Y A Feldman, J Reouven
Expert Systems With Applications 25(1), 15-37, 2003


2002

Knowledge-Based Formalization of Cinematic Expression and its Application to Animation
D A Friedman, Y A Feldman
Eurographics, 2002


1999

On the Complexity of Interval-Based Constraint Networks
R Shapiro, Y A Feldman, R Dechter
MISC'99 Workshop on Applications of interval Analysis to Systems and Control, pp. 389--399, 1999

Real-Time Systems Development with MASS
V Gafni, Y A Feldman, A Yehudai
Electronic Notes in Theoretical Computer Science25, 1999

Portability by automatic translation: A large-scale case study
Y A Feldman, D A Friedman
Artificial Intelligence 107(1), 1-28, 1999


1997

Automatic high-quality reengineering of database programs by temporal abstraction
Y Cohen, Y A Feldman
12th Automated Software Engineering Conference, 1997


1995

Portability by automatic translation a large-scale case study
Yishai A Feldman, Doron A Friedman
Knowledge-Based Software Engineering Conference, 1995. Proceedings., 10th, pp. 123--130


1994

Activation-Oriented Specification of Real-Time Systems
V Gafni, A Yehudai, Y A Feldman
3rd International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, pp. 19-23, 1994


1993

Finite-State machines
Y A Feldman
Encyclopedia of Computer Science and Technology, pp. 387-418, Marcel Dekker, 1993

Simulating reactive systems by deduction
Y A Feldman, H Schneider
ACM Transactions on Software Engineering and Methodology 2(2), 128-175, 1993


1992

Seven layers of knowledge representation and reasoning in support of software development
Charles Rich, Yishai A. Feldman
IEEE Transactions on Software Engineering 18(6), 451--469, IEEE Computer Society, 1992

Seven layers of knowledge representation and reasoning in supportof software development
C Rich, Y A Feldman
IEEE Transactions on Software Engineering 18(6), 451-469, 1992


1991

Artificial intelligence and computer vision
Y A Feldman, A Bruckstein (eds.)
North-Holland, 1991

Pattern-directed invocation with changing equations
Y A Feldman, C Rich
Journal of Automated Reasoning 7(3), 403-433, 1991


1988

Pattern-Directed Invocation with Changing Equalities
C Rich, Y A Feldman
1988 - MASSACHUSETTS INST OF TECH ..., MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB


1986

Reasoning with simplifying assumptions: A methodology and example
Y A Feldman, C Rich
5th National Conference on Artificial Intelligence, AAAI, 1986


1984

A Probabilistic Dynamic Logic
Y A Feldman, D Harel
Journal of Computer and System Sciences 28(2), 193-215, 1984

A decidable propositional dynamic logic with explicit probabilities
Y A Feldman
Information and Control 63(1-2), 11--38, Elsevier, 1984


1983

A Decidable Propositional Probabilistic Dynamic Logic
Y A Feldman
15th ACM Symposium on Theory of Computing, 1983


1982

A probabilistic dynamic logic
Y A Feldman, D Harel
14th ACM Symposium on Theory of Computing, 1982


Year Unknown