| Stanislav Levin, Amiram Yehudai: Visually Exploring Software Maintenance Activities, VISSOFT 2019, arXiv:1910.08907 |
| Stanislav Levin, Amiram Yehudai: Processing Large Datasets of Fined Grained Source Code Changes, ICSME 2019, arXiv:1910.08908 |
| Stanislav Levin, Amiram Yehudai: Towards Software Analytics: Modeling Maintenance Activities. arXiv:1903.04909 2019 |
| Tim Bell, Paul Tymann, Amiram Yehudai, The Big Ideas in Computer Science for K-12 Curricula, Bulletin of European Association for Theoretical Computer Science (EATCS), Number 124, February 2018, The Education Column by Juraj Hromkovic |
| Stanislav Levin, Amiram Yehudai: Boosting Automatic Commit Classification Into Maintenance Categories By Utilizing Source Code Changes, PROMISE 2017, pp 97-106 |
| Stanislav Levin, Amiram Yehudai: The Co-Evolution of Test Maintenance and Code Maintenance through the lens of Fine-Grained Semantic Changes, ICSME 2017, pp 45-57 |
|
Stanislav
Levin, Amiram Yehudai: Using Temporal and Semantic Developer-Level
Information to Predict Maintenance Activity Profiles, ICSME 2016, pp. 463-467 |
|
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 Best paper award |
|
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 AspectJ, FOAL
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 ASE
2011 Most Influential paper |
|
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 |
|
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, |
|
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). |
|
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) |