 | 2012 |
|---|
| 8 |       | Benny Godlin,
Emilia Katz,
Johann A. Makowsky:
Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas.
J. Log. Comput. 22(2): 237-265 (2012) |
| 2010 |
|---|
| 7 | | Emilia Katz,
Shmuel Katz:
User Queries for Specification Refinement Treating Shared Aspect Join Points.
SEFM 2010: 73-82 |
| 6 | | Max Goldman,
Emilia Katz,
Shmuel Katz:
MAVEN: modular aspect verification and interference analysis.
Formal Methods in System Design 37(1): 61-92 (2010) |
| 2009 |
|---|
| 5 | | Emilia Katz,
Shmuel Katz:
Modular verification of strongly invasive aspects: summary.
FOAL 2009: 7-12 |
| 4 | | Emilia Katz,
Shmuel Katz:
Modular Verification of Strongly Invasive Aspects.
Languages: From Formal to Natural 2009: 128-147 |
| 2008 |
|---|
| 3 | | Emilia Katz,
Shmuel Katz:
Incremental analysis of interference among aspects.
FOAL 2008: 29-38 |
| 2 | | Benny Godlin,
Emilia Katz,
Johann A. Makowsky:
Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas
CoRR abs/0812.1364: (2008) |
| 2005 |
|---|
| 1 | | Emilia Katz,
Shmuel Katz:
Verifying Scenario-Based Aspect Specifications.
FM 2005: 432-447 |
Data released under the ODC-BY 1.0 license — See also our legal information page