| |
| 2009 | ||
|---|---|---|
| 4 | EE | Emilia Katz, Shmuel Katz: Modular verification of strongly invasive aspects: summary. FOAL 2009: 7-12 |
| 2008 | ||
| 3 | EE | Emilia Katz, Shmuel Katz: Incremental analysis of interference among aspects. FOAL 2008: 29-38 |
| 2 | EE | Benny Godlin, Emilia Katz, Johann A. Makowsky: Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas CoRR abs/0812.1364: (2008) |
| 2005 | ||
| 1 | EE | Emilia Katz, Shmuel Katz: Verifying Scenario-Based Aspect Specifications. FM 2005: 432-447 |
| 1 | Benny Godlin | [2] |
| 2 | Shmuel Katz | [1] [3] [4] |
| 3 | Johann A. Makowsky (Janos Makowsky) | [2] |