default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAmiram Yehudai
Person information
- affiliation: Tel Aviv University, Israel
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i12]Tsvi Cherny-Shahar, Amiram Yehudai:
MetaFFI - Multilingual Indirect Interoperability System. CoRR abs/2408.14175 (2024)
2010 – 2019
- 2019
- [c30]Stanislav Levin, Amiram Yehudai:
Processing Large Datasets of Fined Grained Source Code Changes. ICSME 2019: 382-385 - [c29]Stanislav Levin, Amiram Yehudai:
Visually Exploring Software Maintenance Activities. VISSOFT 2019: 110-114 - [i11]Stanislav Levin, Amiram Yehudai:
Towards Software Analytics: Modeling Maintenance Activities. CoRR abs/1903.04909 (2019) - [i10]Stanislav Levin, Amiram Yehudai:
Visually Exploring Software Maintenance Activities. CoRR abs/1910.08907 (2019) - [i9]Stanislav Levin, Amiram Yehudai:
Processing Large Datasets of Fined Grained Source Code Changes. CoRR abs/1910.08908 (2019) - 2018
- [j27]Tim Bell, Paul Tymann, Amiram Yehudai:
The Big Ideas in Computer Science for K-12 Curricula. Bull. EATCS 124 (2018) - 2017
- [c28]Stanislav Levin
, Amiram Yehudai:
The Co-evolution of Test Maintenance and Code Maintenance through the Lens of Fine-Grained Semantic Changes. ICSME 2017: 35-46 - [c27]Stanislav Levin, Amiram Yehudai:
Boosting Automatic Commit Classification Into Maintenance Activities By Utilizing Source Code Changes. PROMISE 2017: 97-106 - [i8]Stanislav Levin, Amiram Yehudai:
The Co-Evolution of Test Maintenance and Code Maintenance through the lens of Fine-Grained Semantic Changes. CoRR abs/1709.09029 (2017) - [i7]Stanislav Levin, Amiram Yehudai:
Boosting Automatic Commit Classification Into Maintenance Activities By Utilizing Source Code Changes. CoRR abs/1711.05340 (2017) - 2016
- [c26]Stanislav Levin, Amiram Yehudai:
Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles. ICSME 2016: 463-467 - [i6]Stanislav Levin, Amiram Yehudai:
Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles. CoRR abs/1611.10053 (2016) - 2015
- [i5]Stanislav Levin, Amiram Yehudai:
Collaborative Real Time Coding or How to Avoid the Dreaded Merge. CoRR abs/1504.06741 (2015) - [i4]Stanislav Levin, Amiram Yehudai:
Improving software team collaboration with Synchronized Software Development. CoRR abs/1504.06742 (2015) - [i3]Dekel Cohen, Amiram Yehudai:
Localization of real world regression Bugs using single execution. CoRR abs/1505.01286 (2015) - [i2]Stanislav Levin, Amiram Yehudai:
Alleviating Merge Conflicts with Fine-grained Visual Awareness. CoRR abs/1508.01872 (2015) - 2014
- [i1]Evgeny Vainer, Amiram Yehudai:
Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software. CoRR abs/1409.0982 (2014) - 2012
- [c25]Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai:
Granulated Code Generation of Interfering Functionalities. FedCSIS 2012: 1333-1340 - [c24]Alexey Zagalsky, Ohad Barzilay, Amiram Yehudai:
Example overflow: using social media for code recommendation. RSSE@ICSE 2012: 38-42 - 2011
- [j26]Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai:
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. Int. J. Syst. Assur. Eng. Manag. 2(2): 97-113 (2011) - [c23]Hagai Cibulski, Amiram Yehudai:
Regression Test Selection Techniques for Test-Driven Development. ICST Workshops 2011: 115-124 - [c22]Ohad Barzilay, Orit Hazzan, Amiram Yehudai:
Using social media to study the diversity of example usage among professional developers. SIGSOFT FSE 2011: 472-475 - 2010
- [c21]Amiram Yehudai:
Perspective on Computer Science Education. ISSEP 2010: 35 - [c20]Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai:
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS 2010: 61-76
2000 – 2009
- 2009
- [j25]Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai:
GenUTest: a unit test and mock aspect generation tool. Int. J. Softw. Tools Technol. Transf. 11(4): 273-290 (2009) - [j24]Ohad Barzilay, Orit Hazzan, Amiram Yehudai:
A Multidimensional Software Engineering Course. IEEE Trans. Educ. 52(3): 413-424 (2009) - [c19]Ohad Barzilay, Orit Hazzan, Amiram Yehudai:
Evaluation of a software engineering course by reflection. ITiCSE 2009: 273-277 - 2008
- [c18]Yuri Phink, Amiram Yehudai:
Virtual Machine Support for Stateful Aspects. TOOLS (46) 2008: 80-99 - 2007
- [c17]Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai:
Locating Regression Bugs. Haifa Verification Conference 2007: 218-234 - [c16]Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai:
GenUTest: A Unit Test and Mock Aspect Generation Tool. Haifa Verification Conference 2007: 252-266 - [c15]M. Kleyman, Shmuel S. Tyszberowicz, Amiram Yehudai:
Refactoring Aspects into Java Code. SwSTE 2007: 35-47 - 2006
- [c14]S. Harrusi, Amir Averbuch, Amiram Yehudai:
XML Syntax Conscious Compression. DCC 2006: 402-411 - [c13]Stella Levin, Amiram Yehudai:
Evolutionary Testing: A Case Study. Haifa Verification Conference 2006: 155-165 - [c12]Avi Jencmen, Amiram Yehudai:
Fortified Web Services Contracts for Trusted Components. ICWS 2006: 919-926 - 2003
- [c11]Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai:
Behavioral Consistency Validation of UML Diagrams. SEFM 2003: 118-125 - 2002
- [c10]Mati Shomrat, Amiram Yehudai:
Obvious or not?: regulating architectural decisions using aspect-oriented programming. AOSD 2002: 3-9
1990 – 1999
- 1998
- [j23]Yariv Aridor, Shimon Cohen, Amiram Yehudai:
Design of an Actor Language for Implicit Parallel Programming. ACM SIGPLAN Notices 33(6): 39-47 (1998) - [c9]Vered Gafni, Yishai A. Feldman, Amiram Yehudai:
Real-Time Systems Development with MASS. Monterey Workshop 1998: 73-86 - 1997
- [j22]Amnon H. Eden, Joseph Gil, Amiram Yehudai:
Automating the Application of Design Patterns. J. Object Oriented Program. 10(2): 44-46 (1997) - [j21]Yariv Aridor, Shimon Cohen, Amiram Yehudai:
SYMPAL: a software environment for implicit concurrent object-oriented programming. Object Oriented Syst. 4: 53-81 (1997) - [c8]Amnon H. Eden, Amiram Yehudai:
Patterns of the Agenda. ECOOP Workshops 1997: 100-104 - [c7]Amnon H. Eden, Amiram Yehudai, Joseph Gil:
Precise Specification and Automatic Application of Design Patterns. ASE 1997: 143-152 - 1996
- [j20]Shaul Simhi, Vered Gafni, Amiram Yehudai:
Combining Reflection and Finite State Diagrams for Design Enforcement. Theory Pract. Object Syst. 2(4): 269-281 (1996) - 1995
- [j19]Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai:
A High School Program in Computer Science. Computer 28(10): 73-80 (1995) - [j18]Amiram Yehudai, Fernando Libedinsky:
On Tuning Recursive Procedures. Softw. Pract. Exp. 25(9): 997-1002 (1995) - 1994
- [c6]Vered Gafni, Amiram Yehudai, Yishai A. Feldman:
Activation-Oriented Specification of Real-Time Systems. FTRTFT 1994: 268-287 - 1993
- [j17]Eran Gabber, Amir Averbuch, Amiram Yehudai:
Portable, Parallelizing Compiler. IEEE Softw. 10(2): 71-81 (1993) - [j16]Valdis Berzins, Luqi, Amiram Yehudai:
Using Transformations in Specification-Based Prototyping. IEEE Trans. Software Eng. 19(5): 436-452 (1993) - 1992
- [j15]Shmuel S. Tyszberowicz, Amiram Yehudai:
OBSERV - A Prototyping Language and Environment. ACM Trans. Softw. Eng. Methodol. 1(3): 269-309 (1992) - 1991
- [c5]Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai:
Specification of user-interfaces using CRUISE/OBSERV. COMPSAC 1991: 104-109 - [c4]Eran Gabber, Amir Averbuch, Amiram Yehudai:
Experience with a Portable Parallelizing Pascal Compiler. ICPP (2) 1991: 207-210
1980 – 1989
- 1986
- [j14]Yael Maon, Amiram Yehudai:
Balance of Many-Valued Transductions and Equivalence Problems. Theor. Comput. Sci. 47(3): 247-262 (1986) - 1984
- [j13]Yair Itzhaik, Amiram Yehudai:
An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA. Inf. Control. 62(1): 26-35 (1984) - [j12]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) - [j11]Yair Itzhaik, Amiram Yehudai:
New Families of Non Real Time DPDA's and their Decidability Results. Theor. Comput. Sci. 34: 255-274 (1984) - 1983
- [j10]Yael Krevner, Amiram Yehudai:
An Iteration Theorem for Simple Precedence Languages. J. ACM 30(4): 820-833 (1983) - [j9]Jan Pittl, Amiram Yehudai:
Constructing a Realtime Deterministic Pushdown Automaton from a Grammar. Theor. Comput. Sci. 22: 57-69 (1983) - [c3]Yair Itzhaik, Amiram Yehudai:
On Containment Problems for Finite-Turn Languages (Extended Abstract). FCT 1983: 219-231 - 1982
- [j8]Amiram Yehudai:
A Hierarchy of Real-Time Deterministic Languages and Their Equivalence. J. Comput. Syst. Sci. 24(1): 91-100 (1982) - [c2]Yael Krevner, Amiram Yehudai:
An Iteration Theorem for Simple Precedence Languages (Extended Abstract). ICALP 1982: 360-368 - 1981
- [j7]Michael A. Harrison, Amiram Yehudai:
Eliminating Null Rules in Linear Time. Comput. J. 24(2): 156-161 (1981) - [j6]Mordechai Ben-Ari, Amiram Yehudai:
A methodology for modular use of Ada. ACM SIGPLAN Notices 16(12): 22-26 (1981) - [c1]Yair Itzhaik, Amiram Yehudai:
A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). ICALP 1981: 229-237 - 1980
- [j5]Amiram Yehudai:
The Decidability of Equivalence for a Family of Linear Grammars. Inf. Control. 47(2): 122-136 (1980) - [j4]Amiram Yehudai:
Automatic indention versus program formatting. ACM SIGPLAN Notices 15(10): 85-87 (1980)
1970 – 1979
- 1979
- [j3]Amiram Yehudai:
A Note on the Pumping Lemma for Regular Languages. Inf. Process. Lett. 9(3): 135-136 (1979) - [j2]Michael A. Harrison, Amiram Yehudai:
A Hierarchy of Deterministic Languages. J. Comput. Syst. Sci. 19(1): 63-78 (1979) - [j1]Michael A. Harrison, Ivan M. Havel, Amiram Yehudai:
On Equivalence of Grammars Through Transformation Trees. Theor. Comput. Sci. 9: 173-205 (1979)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-30 00:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
