Thesis

		Ongoing Oren Mishali - Aspects to Support the Software Process
		Finished
		2006 Emilia Katz - Verifying Scenario-Based Aspect Specifications. Max Goldman - Modular Verification of Aspects
		2005 Yoav Zibin - Multiple inheritance: subtyping tests, dispatching and object layout. Yacov Estrin - Expert System on Translations Among Formal Verification Tools in VeriTech.
		2004 Zvi Gutterman - Symbolic Pre-computation for Numerical Applications Anna Bekkerman - Conflict Resolution and Operator Priorities in Extended BNF.
		2003 Constantine Shapiro - Object-Oriented Implementation of Reconciliations Glusman Marcelo - Mechanizing Proofs of Computation Equivalence Uri Dekel - Revealing JAVA class structure with concept lattices
		2002 Tulchinsky Elena - Positive Semantics of Projections in Venn-Euler Diagramss
		2001 Firstenberg Josef (Yossi) - Selective Caching For Acceleration Purposes of Intermediate Results in Object-Oriented Programs Tal Cohen - Self-Calibration of Metrics of Java Methods Tsoglin Yuri - JAMOOS - an object oriented language for grammars
		2000 Eckel Natalie - Empirical Study of Object-Layout Strategies and Optimization Techniques Sorkin Yan - CD-Edit: a constraint diagrams editor