Yishai A. Feldman

According to our database, Yishai A. Feldman authored at least 43 papers between 1983 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Learning the Parameters of Bayesian Networks from Uncertain Data.

Segev Wasserkrug, Radu Marinescu, Sergey Zeltyn, Evgeny Shindin, Yishai A. Feldman

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019

What's Wrong with My Dishwasher: Advanced Analytics Improve the Diagnostic Process for Miele Technicians.

Segev Wasserkrug, Martin Krüger, Yishai A. Feldman, Evgeny Shindin, Sergey Zeltyn

INFORMS J. Appl. Anal., 2019

2018

CHASE: Contract-based requirement engineering for cyber-physical system design.

Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2016

Self-Curating Databases.

Mohammad Sadoghi, Kavitha Srinivas, Oktie Hassanzadeh, Yuan-Chi Chang, Mustafa Canim, Achille Fokoue, Yishai A. Feldman

Proceedings of the 19th International Conference on Extending Database Technology, 2016

2015

Deverywhere: Develop Software Everywhere.

Yishai A. Feldman, Ari Gam, Alex Tilkin, Shmuel S. Tyszberowicz

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

2014

A Parallel On-Demand Algorithm for Computing Interprocedural Dominators.

Aharon Abadi, Yishai A. Feldman

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Flexible Queries over Engineering Data.

Yishai A. Feldman

Proceedings of the Complex Systems Design & Management, 2014

2013

Where is the business logic?

Yael Dubinsky, Yishai A. Feldman, Maayan Goldstein

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

A screen-oriented representation for mobile applications.

Aharon Abadi, Yishai A. Feldman, Konstantin Shagin

Proceedings of the SPLASH'13, 2013

Detecting Refactored Clones.

Mati Shomrat, Yishai A. Feldman

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Automatic recovery of statecharts from procedural code.

Moria Abadi, Yishai A. Feldman

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Fine Slicing - Theory and Applications for Computation Extraction.

Aharon Abadi, Ran Ettinger, Yishai A. Feldman

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Automatically fixing security vulnerabilities in Java code.

Aharon Abadi, Ran Ettinger, Yishai A. Feldman, Mati Shomrat

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Code-motion for API migration: fixing SQL injection vulnerabilities in Java.

Aharon Abadi, Yishai A. Feldman, Mati Shomrat

Proceedings of the Fourth Workshop on Refactoring Tools 2011, 2011

2009

Improving slice accuracy by compression of data and control flow paths.

Aharon Abadi, Ran Ettinger, Yishai A. Feldman

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Refactoring of Statecharts.

Moria Abadi, Yishai A. Feldman

Proceedings of the Next Generation Information Technologies and Systems, 2009

2008

Developing Law-Governed Systems Using Aspects.

Constantin Serban, Shmuel S. Tyszberowicz, Yishai A. Feldman, Naftaly H. Minsky

J. Object Technol., 2008

Re-approaching the refactoring Rubicon.

Aharon Abadi, Ran Ettinger, Yishai A. Feldman

Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

2007

Refactoring with Contracts.

Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2006

Automated cinematic reasoning about camera behavior.

Doron Friedman, Yishai A. Feldman

Expert Syst. Appl., 2006

Discern: Towards the Automatic Discovery of Software Contracts.

Yishai A. Feldman, Leon Gendler

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Jose: Aspects for Design by Contract80-89.

Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Algorithmik - die Kunst des Rechnens.

David Harel, Yishai A. Feldman

Springer, ISBN: 978-3-540-24342-7, 2006

2005

Teaching quality object-oriented programming.

Yishai A. Feldman

ACM J. Educ. Resour. Comput., 2005

2004

Colorplate: Automated Creation of Movie Summaries in Interactive Virtual Environments.

Doron Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan

Proceedings of the IEEE Virtual Reality Conference 2004 (VR 2004), 2004

Automated Creation of Movie Summaries in Interactive Virtual Environments.

Doron Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan

Proceedings of the IEEE Virtual Reality Conference 2004 (VR 2004), 2004

Knowledge-Based Cinematography and Its Applications.

Doron Friedman, Yishai A. Feldman

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Algorithmics - the spirit of computing (3. ed.).

David Harel, Yishai A. Feldman

Addison-Wesley, ISBN: 978-0-321-11784-7, 2004

2003

Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation.

Yossi Cohen, Yishai A. Feldman

ACM Trans. Softw. Eng. Methodol., 2003

A knowledge-based approach for index selection in relational databases.

Yishai A. Feldman, Jacob Reouven

Expert Syst. Appl., 2003

Extreme Design by Contract.

Yishai A. Feldman

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

2002

Knowledge-Based Representation of Cinematic Expression and its Application to Animation.

Doron Friedman, Yishai A. Feldman

Proceedings of the 23rd Annual Conference of the European Association for Computer Graphics, 2002

1999

Portability by Automatic Translation: A Large-Scale Case Study.

Yishai A. Feldman, Doron Friedman

Artif. Intell., 1999

1998

Real-Time Systems Development with MASS.

Vered Gafni, Yishai A. Feldman, Amiram Yehudai

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

1997

Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction.

Yossi Cohen, Yishai A. Feldman

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1994

Activation-Oriented Specification of Real-Time Systems.

Vered Gafni, Amiram Yehudai, Yishai A. Feldman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Simulating Reactive Systems by Deduction.

Yishai A. Feldman, Haim Schneider

ACM Trans. Softw. Eng. Methodol., 1993

1992

Seven Layers of Knowledge Representation and Reasoning in Support of Software Development.

Charles Rich, Yishai A. Feldman

IEEE Trans. Software Eng., 1992

1991

Pattern-Directed Invocation with Changing Equations.

Yishai A. Feldman, Charles Rich

J. Autom. Reason., 1991

1986

Reasoning with Simplifying Assumptions: A Methodology and Example.

Yishai A. Feldman, Charles Rich

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1984

A Probabilistic Dynamic Logic.

Yishai A. Feldman, David Harel

J. Comput. Syst. Sci., 1984

A Decidable Propositional Dynamic Logic with Explicit Probabilities

Yishai A. Feldman

Inf. Control., 1984

1983

A Decidable Propositional Probabilistic Dynamic Logic

Yishai A. Feldman

Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983