Emilia Katz

According to our database, Emilia Katz authored at least 8 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas.

Benny Godlin, Emilia Katz, Johann A. Makowsky

J. Log. Comput., 2012

2010

Analysis and detection of interactions among aspects.

Emilia Katz

PhD thesis, 2010

MAVEN: modular aspect verification and interference analysis.

Max Goldman, Emilia Katz, Shmuel Katz

Formal Methods Syst. Des., 2010

User Queries for Specification Refinement Treating Shared Aspect Join Points.

Emilia Katz, Shmuel Katz

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Modular verification of strongly invasive aspects: summary.

Emilia Katz, Shmuel Katz

Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009

Modular Verification of Strongly Invasive Aspects.

Emilia Katz, Shmuel Katz

Proceedings of the Languages: From Formal to Natural, 2009

2008

Incremental analysis of interference among aspects.

Emilia Katz, Shmuel Katz

Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, 2008

2005

Verifying Scenario-Based Aspect Specifications.

Emilia Katz, Shmuel Katz

Proceedings of the FM 2005: Formal Methods, 2005