| 2008 |
|---|
| 37 | EE | Yuri Phink,
Amiram Yehudai:
Virtual Machine Support for Stateful Aspects.
TOOLS (46) 2008: 80-99 |
| 2007 |
|---|
| 36 | EE | Dor Nir,
Shmuel S. Tyszberowicz,
Amiram Yehudai:
Locating Regression Bugs.
Haifa Verification Conference 2007: 218-234 |
| 35 | EE | Benny Pasternak,
Shmuel S. Tyszberowicz,
Amiram Yehudai:
GenUTest: A Unit Test and Mock Aspect Generation Tool.
Haifa Verification Conference 2007: 252-266 |
| 2006 |
|---|
| 34 | EE | S. Harrusi,
Amir Averbuch,
Amiram Yehudai:
XML Syntax Conscious Compression.
DCC 2006: 402-411 |
| 33 | EE | Stella Levin,
Amiram Yehudai:
Evolutionary Testing: A Case Study.
Haifa Verification Conference 2006: 155-165 |
| 32 | EE | Avi Jencmen,
Amiram Yehudai:
Fortified Web Services Contracts for Trusted Components.
ICWS 2006: 919-926 |
| 2003 |
|---|
| 31 | EE | Boris Litvak,
Shmuel S. Tyszberowicz,
Amiram Yehudai:
Behavioral Consistency Validation of UML Diagrams.
SEFM 2003: 118-125 |
| 2002 |
|---|
| 30 | EE | Mati Shomrat,
Amiram Yehudai:
Obvious or not?: regulating architectural decisions using aspect-oriented programming.
AOSD 2002: 3-9 |
| 1999 |
|---|
| 29 | EE | Vered Gafni,
Yishai A. Feldman,
Amiram Yehudai:
Real-Time Systems Development with MASS.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 1998 |
|---|
| 28 | | Yariv Aridor,
Shimon Cohen,
Amiram Yehudai:
Design of an Actor Language for Implicit Parallel Programming.
SIGPLAN Notices 33(6): 39-47 (1998) |
| 1997 |
|---|
| 27 | EE | Amnon H. Eden,
Amiram Yehudai,
Joseph Gil:
Precise Specification and Automatic Application of Design Patterns.
ASE 1997: 143-152 |
| 26 | EE | Amnon H. Eden,
Amiram Yehudai:
Patterns of the Agenda.
ECOOP Workshops 1997: 100-104 |
| 25 | | Amnon H. Eden,
Joseph Gil,
Amiram Yehudai:
Automating the Application of Design Patterns.
JOOP 10(2): 44-46 (1997) |
| 24 | EE | Yariv Aridor,
Shimon Cohen,
Amiram Yehudai:
SYMPAL: a software environment for implicit concurrent object-oriented programming.
Object Oriented Systems 4: 53-81 (1997) |
| 1996 |
|---|
| 23 | | Shaul Simhi,
Vered Gafni,
Amiram Yehudai:
Combining Reflection and Finite State Diagrams for Design Enforcement.
TAPOS 2(4): 269-281 (1996) |
| 1995 |
|---|
| 22 | | Judith Gal-Ezer,
Catriel Beeri,
David Harel,
Amiram Yehudai:
A High School Program in Computer Science.
IEEE Computer 28(10): 73-80 (1995) |
| 21 | | Amiram Yehudai,
Fernando Libedinsky:
On Tuning Recursive Procedures
Softw., Pract. Exper. 25(9): 997-1002 (1995) |
| 1994 |
|---|
| 20 | | Vered Gafni,
Amiram Yehudai,
Yishai A. Feldman:
Activation-Oriented Specification of Real-Time Systems.
FTRTFT 1994: 268-287 |
| 1993 |
|---|
| 19 | | Eran Gabber,
Amir Averbuch,
Amiram Yehudai:
Portable, Parallelizing Compiler.
IEEE Software 10(2): 71-81 (1993) |
| 18 | EE | Valdis Berzins,
Luqi,
Amiram Yehudai:
Using Transformations in Specification-Based Prototyping.
IEEE Trans. Software Eng. 19(5): 436-452 (1993) |
| 1992 |
|---|
| 17 | EE | Shmuel S. Tyszberowicz,
Amiram Yehudai:
OBSERV - A Prototyping Language and Environment.
ACM Trans. Softw. Eng. Methodol. 1(3): 269-309 (1992) |
| 1991 |
|---|
| 16 | | Eran Gabber,
Amir Averbuch,
Amiram Yehudai:
Experience with a Portable Parallelizing Pascal Compiler.
ICPP (2) 1991: 207-210 |
| 1986 |
|---|
| 15 | | Yael Maon,
Amiram Yehudai:
Balance of Many-Valued Transductions and Equivalence Problems.
Theor. Comput. Sci. 47(3): 247-262 (1986) |
| 1984 |
|---|
| 14 | | 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) |
| 13 | | 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) |
| 12 | | Yair Itzhaik,
Amiram Yehudai:
New Families of Non Real Time DPDA's and their Decidability Results.
Theor. Comput. Sci. 34: 255-274 (1984) |
| 1983 |
|---|
| 11 | | Yair Itzhaik,
Amiram Yehudai:
On Containment Problems for Finite-Turn Languages (Extended Abstract).
FCT 1983: 219-231 |
| 10 | EE | Yael Krevner,
Amiram Yehudai:
An Iteration Theorem for Simple Precedence Languages
J. ACM 30(4): 820-833 (1983) |
| 9 | | Jan Pittl,
Amiram Yehudai:
Constructing a Realtime Deterministic Pushdown Automaton from a Grammar.
Theor. Comput. Sci. 22: 57-69 (1983) |
| 1982 |
|---|
| 8 | | Yael Krevner,
Amiram Yehudai:
An Iteration Theorem for Simple Precedence Languages (Extended Abstract).
ICALP 1982: 360-368 |
| 7 | | Amiram Yehudai:
A Hierarchy of Real-Time Deterministic Languages and Their Equivalence.
J. Comput. Syst. Sci. 24(1): 91-100 (1982) |
| 1981 |
|---|
| 6 | | Yair Itzhaik,
Amiram Yehudai:
A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract).
ICALP 1981: 229-237 |
| 5 | | Michael A. Harrison,
Amiram Yehudai:
Eliminating Null Rules in Linear Time.
Comput. J. 24(2): 156-161 (1981) |
| 1980 |
|---|
| 4 | | Amiram Yehudai:
The Decidability of Equivalence for a Family of Linear Grammars
Information and Control 47(2): 122-136 (1980) |
| 1979 |
|---|
| 3 | | Amiram Yehudai:
A Note on the Pumping Lemma for Regular Languages.
Inf. Process. Lett. 9(3): 135-136 (1979) |
| 2 | | Michael A. Harrison,
Amiram Yehudai:
A Hierarchy of Deterministic Languages.
J. Comput. Syst. Sci. 19(1): 63-78 (1979) |
| 1 | | Michael A. Harrison,
Ivan M. Havel,
Amiram Yehudai:
On Equivalence of Grammars Through Transformation Trees.
Theor. Comput. Sci. 9: 173-205 (1979) |
