Verifying Scenario-Based Aspect Specifications. - Emilia Katz; Shmuel Katz (FM, 2005)

Incremental analysis of interference among aspects. - Emilia Katz; Shmuel Katz (FOAL, 2008)

Modular Verification of Strongly Invasive Aspects. - Emilia Katz; Shmuel Katz (Languages: From Formal to Natural, 2009)

Modular verification of strongly invasive aspects: summary. - Emilia Katz; Shmuel Katz (FOAL, 2009)

User Queries for Specification Refinement Treating Shared Aspect Join Points. - Emilia Katz; Shmuel Katz (SEFM, 2010)

MAVEN: modular aspect verification and interference analysis. - Max Goldman; Emilia Katz; Shmuel Katz (Formal Methods Syst. Des., 2010)

Analysis and detection of interactions among aspects. - Emilia Katz (2010)

Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas. - Benny Godlin; Emilia Katz; Johann A. Makowsky (J. Log. Comput., 2012)