Amiram Yehudai's Publications



 

Stanislav Levin, Amiram Yehudai: Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles, ICSME 2016

Stanislav Levin, Amiram Yehudai: Alleviating Merge Conflicts with Fine-grained Visual Awareness, arXiv:1508.01872 2015

Dekel Cohen, Amiram Yehudai : Localization of real world regression Bugs using single execution, arXiv:1505.01286 2015

Stanislav Levin, Amiram Yehudai: Collaborative Real Time Coding or How to Avoid the Dreaded Merge, arXiv:1504.06741  2015

Stanislav Levin, Amiram Yehudai: Improving software team collaboration with Synchronized Software Development, arXiv:1504.06742  2015

Evgeny Vainer, Amiram Yehudai, Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software, arXiv:1409.0982  2014

Alexey Zagalsky, Ohad Barzilay, Amiram Yehudai, Example Overflow: Using Social Media for Code Recommendation,  RSSE 2012, Zurich, Switzerland, (co located with ICSE 2012) 38-42

Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai: Granulated Code Generation of Interfering Functionalities. FedCSIS 2012: 1333-1340

Ohad Barzilay, Orit Hazzan, Amiram Yehudai: Using social media to study the diversity of example usage among professional developers. SIGSOFT FSE 2011: 472-475

Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai: KeYGenU: combining verification-based and capture and replay techniques for regression unit testing, International Journal of System Assurance Engineering and Management Volume 2, Issue 2 , 97-113 (2011)

Hagai Cibulski, Amiram Yehudai,, Regression Test Selection Techniques for Test-Driven Development, Regression 2011,  (Co-located with ICST 2011, Berlin) Proceedings ICSTW, 115-124  

Ohad Barzilay, Orit Hazzan, Amiram Yehudai, Developers Attentiveness to Example Usage, HAoSE 2010:  SPLASH Human Aspects of Software Engineering Workshop. 2010.

Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai: Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP 2010: 61-76 (2010)

Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai: GenUTest: a unit test and mock aspect generation tool. STTT 11(4): 273-290 (2009)

Ohad Barzilay, Orit Hazzan, Amiram Yehudai: Evaluation of a software engineering course by reflection. ITiCSE 2009: 273-277

Ohad Barzilay, Orit Hazzan, Amiram Yehudai, A Multidimensional Software Engineering Course, IEEE Transactions on Education 52(3), 2009 413-424  (2009)

Yuri Phink, Amiram Yehudai, Virtual Machine support for Stateful Aspects, TOOLS (46) 2008: 80-99

Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai: Locating Regression Bugs. Haifa Verification Conference 2007: 218-234

Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai: GenUTest: A Unit Test and Mock Aspect Generation Tool. Haifa Verification Conference 2007: 252-266

M. Kleyman, S. Tyszberowicz, A. Yehudai, Refactoring Aspects into Java Code, SwSTE'07 : 35-47

S. Harrusi, Amir Averbuch, Amiram Yehudai: XML Syntax Conscious Compression. DCC 2006: 402-411

Stella Levin, Amiram Yehudai: Evolutionary Testing: A Case Study. Haifa Verification Conference 2006: 155-165

Avi Jencmen, Amiram Yehudai: Fortified Web Services Contracts for Trusted Components. ICWS 2006: 919-926

Ohad Barzilay, Yishai A. Feldman, Shmuel Tyszberowicz, Amiram Yehudai, Call and Execution Semantics in AspectJFOAL 2004  : 19-24. 

Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai: Behavioral Consistency Validation of UML Diagrams. SEFM 2003: 118-125

Mati Shomrat, Amiram Yehudai: Obvious or not?: regulating architectural decisions using aspect-oriented programming. AOSD 2002: 3-9

S. Tyszberowicz, A. Yehudai, Developing Provably Correct Systems,  24th IFAC/IFIP WRTP, (1999). 

Vered Gafni, Yishai A. Feldman, Amiram Yehudai: Real-Time Systems Development with MASS. Electr. Notes Theor. Comput. Sci. 25: (1999)

A. H. Eden, Y. Hirshfeld  and A. Yehudai, Multicast minus Observer is not equal Typed Message, C++ Report, Vol. 10, No. 9, pp 33-38, October 1998.

Yariv Aridor, Shimon Cohen, Amiram Yehudai: Design of an Actor Language for Implicit Parallel Programming. SIGPLAN Notices 33(6): 39-47 (1998)

V. Gafni, A. Yehudai and Y. A. Feldman Formal Development of Real-time Systems with PLOT/MASS, Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, October 1998, pp. 105-114.

Amnon H. Eden, Amiram Yehudai, Joseph Gil: Precise Specification and Automatic Application of Design Patterns. ASE 1997: 143-152

Amnon H. Eden, Amiram Yehudai: Patterns of the Agenda. ECOOP Workshops 1997: 100-104

Amnon H. Eden, Joseph Gil, Amiram Yehudai: Automating the Application of Design Patterns. JOOP 10(2): 44-46 (1997)

Yariv Aridor, Shimon Cohen, Amiram Yehudai: SYMPAL: a software environment for implicit concurrent object-oriented programming. Object Oriented Systems 4: 53-81 (1997)

Shaul Simhi, Vered Gafni, Amiram Yehudai: Combining Reflection and Finite State Diagrams for Design Enforcement. TAPOS 2(4): 269-281 (1996)

Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai: A High School Program in Computer Science. IEEE Computer 28(10): 73-80 (1995)

Amiram Yehudai, Fernando Libedinsky: On Tuning Recursive Procedures Softw., Pract. Exper. 25(9): 997-1002 (1995)

A. H. Eden, J. Gil  and A. Yehudai, A Formal Language for Design Patterns, The 3rd Annual Conference on the Pattern Languages of Programs
PLoP'96 (Washington University technical report WUCS-97-07), Sep 1996.

Vered Gafni, Amiram Yehudai, Yishai A. Feldman: Activation-Oriented Specification of Real-Time Systems. FTRTFT 1994: 268-287

R. Budde, S. Tyszberowicz, A. Yehudai, Using Prolog for the design and implementation of OBSERV --- a prototyping methodology and environment, Proceedings of the 2nd International Conference on the Practical Applications of Prolog, London, pp. 111--122 (1994).

Eran Gabber, Amir Averbuch, Amiram Yehudai: Portable, Parallelizing Compiler. IEEE Software 10(2): 71-81 (1993)

Valdis Berzins, Luqi, Amiram Yehudai: Using Transformations in Specification-Based Prototyping. IEEE Trans. Software Eng. 19(5): 436-452 (1993)

Shmuel Tyszberowicz, Amiram Yehudai: OBSERV - A Prototyping Language and Environment. ACM Trans. Softw. Eng. Methodol. 1(3): 269-309 (1992)

A. Cohen, S. Tyszberowicz, A. Yehudai, OBSERV/CRUISE --- A CASE environment for prototyping of complex systems, Next generation of CASE Tools, K. Lyytinen and V.-P. Tahvanainen (editors), IOS Press, Amsterdam, May 1992, pp. 50--74.

A. Sapir, A. Yehudai, ASSERT - Methodology Language and Tools for System Specification Development, Proceedings of the Sixth Israel Conference on Computer Systems and Software Engineering, Tel-Aviv, Israel, June 1992, pp. 89--98.

Eran Gabber, Amir Averbuch, Amiram Yehudai: Experience with a Portable Parallelizing Pascal Compiler. ICPP (2) 1991: 207-210

A. Cohen, S. Tyszberowicz, A. Yehudai, Specification of User-Interfaces using CRUISE and OBSERV, Proceedings of COMPSAC'91 the 15th annual International Computer Software and Application Conference, Tokyo, Japan, Sep. 1991, pp 104--109.

T. Benaya and A. Yehudai, An Application Generator for a Family of Real-Time Monitor and Control Systems, Proceedings of CompEuro90, IEEE International Conference on Computer Systems and Software Engineering, Tel-Aviv, May 1990, pp. 274--279.

A. Cohen, S. Tyszberowicz, A. Yehudai, CRUISE --- CReative User Interface for Software Engineering: An Overview, Proceedings of CompEuro90, IEEE International Conference on Computer Systems and Software Engineering, Tel-Aviv, May 1990, pp. 298--306.

E. Ruppin and A. Yehudai, Performing diagnosis in the framework of a formal classification via the Cognitive Value method for reasoning with uncertainty,
Proceedings of the 10th International Workshop on Expert Systems and their Applications, Avignon, May 1990, pp 421--433.

S. Tyszberowicz, A. Yehudai, OBSERV - A Prototyping Language and Environment Combining Object Oriented Approach, State Machines and Logic Programming, an abridged version, Proceedings of the 23rd Hawaii International Conference on System Sciences, Kona, Hawaii, Jan. 1990, pp 247--256.

A. Tal and A. Yehudai, Translating software design into a parallel design, Proceedings of the Twelfth Minnowbrook Software Workshop, Minnowbrook, NY, July 1989, 137-140.

S. Tyszberowicz and A. Yehudai, OBSERV - Object-oriented Based Specification, Execution and Rapid Validation system, Proceedings of the 3rd Israel Conference on Computer Systems and Software Engineering, Tel-Aviv, June 1988, 96-106.

E. Gabber and A. Yehudai, Deducing Type Information from Context in Ada Based PDLs, Proceedings of the 3rd Israel Conference on Computer Systems and Software Engineering, Tel-Aviv, June 1988, 71-78.

Yael Maon, Amiram Yehudai: Balance of Many-Valued Transductions and Equivalence Problems. Theor. Comput. Sci. 47(3): 247-262 (1986)

Yair Itzhaik, Amiram Yehudai: An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA Information and Control 62(1): 26-35 (1984)

A. Yehudai, A note on Chains of Deterministic Pushdown Transducers, Information Processing Letters, 20:221-222 (1984).

Yael Maon, Amiram Yehudai: On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters. Theor. Comput. Sci. 33: 239-260 (1984)

Yair Itzhaik, Amiram Yehudai: New Families of Non Real Time DPDA's and their Decidability Results. Theor. Comput. Sci. 34: 255-274 (1984)

Yair Itzhaik, Amiram Yehudai: On Containment Problems for Finite-Turn Languages (Extended Abstract). FCT 1983: 219-231

Yael Krevner, Amiram Yehudai: An Iteration Theorem for Simple Precedence Languages J. ACM 30(4): 820-833 (1983)

Jan Pittl, Amiram Yehudai: Constructing a Realtime Deterministic Pushdown Automaton from a Grammar. Theor. Comput. Sci. 22: 57-69 (1983)

Yael Krevner, Amiram Yehudai: An Iteration Theorem for Simple Precedence Languages (Extended Abstract). ICALP 1982: 360-368

Amiram Yehudai: A Hierarchy of Real-Time Deterministic Languages and Their Equivalence. J. Comput. Syst. Sci. 24(1): 91-100 (1982)

Yair Itzhaik, Amiram Yehudai: A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). ICALP 1981: 229-237

M. Ben-Ari and A. Yehudai, A methodology for modular use of ada, SIGPLAN notices, 16:(12) 22-26 (1981).

Michael A. Harrison, Amiram Yehudai: Eliminating Null Rules in Linear Time. Comput. J. 24(2): 156-161 (1981)

Amiram Yehudai: The Decidability of Equivalence for a Family of Linear Grammars Information and Control 47(2): 122-136 (1980)

A. Yehudai, Automatic indention versus program formatting, SIGPLAN notices, 15:(10), 85-87 (1980).

A. Yehudai, A note on the pumping lemma for regular languages, Information Processing Letters, 9:135-136 (1979).

Amiram Yehudai: A Note on the Pumping Lemma for Regular Languages. Inf. Process. Lett. 9(3): 135-136 (1979)

Michael A. Harrison, Amiram Yehudai: A Hierarchy of Deterministic Languages. J. Comput. Syst. Sci. 19(1): 63-78 (1979)

Michael A. Harrison, Ivan M. Havel, Amiram Yehudai: On Equivalence of Grammars Through Transformation Trees. Theor. Comput. Sci. 9: 173-205 (1979)

Amiram Yehudai's home page