Yishai A. Feldman

Publication Activity (10 Years)

Years Active: 1982-2021
Publications (10 Years): 4

Top Topics

Diagnostic Process

Top Venues

INFORMS J. Appl. Anal.

SPLASH (Companion Volume)

Publications

Segev Wasserkrug, Radu Marinescu, Sergey Zeltyn, Evgeny Shindin, Yishai A. Feldman
Learning the Parameters of Bayesian Networks from Uncertain Data. AAAI (2021)
Segev Wasserkrug, Martin Krüger, Yishai A. Feldman, Evgeny Shindin, Sergey Zeltyn
What's Wrong with My Dishwasher: Advanced Analytics Improve the Diagnostic Process for Miele Technicians. INFORMS J. Appl. Anal. 49 (5) (2019)
Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli
CHASE: Contract-based requirement engineering for cyber-physical system design. DATE (2018)
Mohammad Sadoghi, Kavitha Srinivas, Oktie Hassanzadeh, Yuan-Chi Chang, Mustafa Canim, Achille Fokoue, Yishai A. Feldman
Self-Curating Databases. EDBT (2016)
Yishai A. Feldman, Ari Gam, Alex Tilkin, Shmuel S. Tyszberowicz
Deverywhere: Develop Software Everywhere. MOBILESoft (2015)
Yishai A. Feldman
Flexible Queries over Engineering Data. CSDM (2014)
Aharon Abadi, Yishai A. Feldman
A Parallel On-Demand Algorithm for Computing Interprocedural Dominators. SCAM (2014)
Mati Shomrat, Yishai A. Feldman
Detecting Refactored Clones. ECOOP (2013)
Yael Dubinsky, Yishai A. Feldman, Maayan Goldstein
Where is the business logic? ESEC/SIGSOFT FSE (2013)
Aharon Abadi, Yishai A. Feldman, Konstantin Shagin
A screen-oriented representation for mobile applications. SPLASH (Companion Volume) (2013)
Aharon Abadi, Ran Ettinger, Yishai A. Feldman
Fine Slicing - Theory and Applications for Computation Extraction. FASE (2012)
Moria Abadi, Yishai A. Feldman
Automatic recovery of statecharts from procedural code. ASE (2012)
Aharon Abadi, Ran Ettinger, Yishai A. Feldman, Mati Shomrat
Automatically fixing security vulnerabilities in Java code. OOPSLA Companion (2011)
Aharon Abadi, Yishai A. Feldman, Mati Shomrat
Code-motion for API migration: fixing SQL injection vulnerabilities in Java. WRT@ICSE (2011)
Aharon Abadi, Ran Ettinger, Yishai A. Feldman
Improving slice accuracy by compression of data and control flow paths. ESEC/SIGSOFT FSE (2009)
Moria Abadi, Yishai A. Feldman
Refactoring of Statecharts. NGITS (2009)
Constantin Serban, Shmuel S. Tyszberowicz, Yishai A. Feldman, Naftaly H. Minsky
Developing Law-Governed Systems Using Aspects. J. Object Technol. 7 (9) (2008)
Aharon Abadi, Ran Ettinger, Yishai A. Feldman
Re-approaching the refactoring Rubicon. WRT@OOPSLA (2008)
Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz
Refactoring with Contracts. WRT (2007)
Doron Friedman, Yishai A. Feldman
Automated cinematic reasoning about camera behavior. Expert Syst. Appl. 30 (4) (2006)
Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz
Jose: Aspects for Design by Contract80-89. SEFM (2006)
Yishai A. Feldman, Leon Gendler
Discern: Towards the Automatic Discovery of Software Contracts. SEFM (2006)
Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz
Refactoring with Contracts. AGILE (2006)
Yishai A. Feldman
Teaching quality object-oriented programming. ACM J. Educ. Resour. Comput. 5 (1) (2005)
Doron Friedman, Yishai A. Feldman
Knowledge-Based Cinematography and Its Applications. ECAI (2004)
Doron Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan
Colorplate: Automated Creation of Movie Summaries in Interactive Virtual Environments. VR (2004)
Doron Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan
Automated Creation of Movie Summaries in Interactive Virtual Environments. VR (2004)
Yishai A. Feldman, Jacob Reouven
A knowledge-based approach for index selection in relational databases. Expert Syst. Appl. 25 (1) (2003)
Yossi Cohen, Yishai A. Feldman
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. ACM Trans. Softw. Eng. Methodol. 12 (3) (2003)
Yishai A. Feldman
Extreme Design by Contract. XP (2003)
Doron Friedman, Yishai A. Feldman
Knowledge-Based Representation of Cinematic Expression and its Application to Animation. Eurographics (Short Presentations) (2002)
Yishai A. Feldman, Doron Friedman
Portability by Automatic Translation: A Large-Scale Case Study. Artif. Intell. 107 (1) (1999)
Vered Gafni, Yishai A. Feldman, Amiram Yehudai
Real-Time Systems Development with MASS. Electron. Notes Theor. Comput. Sci. 25 (1999)
Yossi Cohen, Yishai A. Feldman
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. ASE (1997)
Yishai A. Feldman, Doron Friedman
Portability by Automatic Translation - A Large-Scale Case Study. KBSE (1995)
Vered Gafni, Amiram Yehudai, Yishai A. Feldman
Activation-Oriented Specification of Real-Time Systems. FTRTFT (1994)
Yishai A. Feldman, Haim Schneider
Simulating Reactive Systems by Deduction. ACM Trans. Softw. Eng. Methodol. 2 (2) (1993)
Charles Rich, Yishai A. Feldman
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development. IEEE Trans. Software Eng. 18 (6) (1992)
Yishai A. Feldman, Charles Rich
Pattern-Directed Invocation with Changing Equations. J. Autom. Reason. 7 (3) (1991)
Yishai A. Feldman, Charles Rich
Reasoning with Simplifying Assumptions: A Methodology and Example. AAAI (1986)
Yishai A. Feldman
A Decidable Propositional Dynamic Logic with Explicit Probabilities Inf. Control. 63 (1/2) (1984)
Yishai A. Feldman, David Harel
A Probabilistic Dynamic Logic. J. Comput. Syst. Sci. 28 (2) (1984)
Yishai A. Feldman
A Decidable Propositional Probabilistic Dynamic Logic STOC (1983)
Yishai A. Feldman, David Harel
A Probabilistic Dynamic Logic STOC (1982)