Yishai A. Feldman

47 papers A* 8A 3B 5C 1Journal 12Unranked 15

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