PhD and MSc Theses
PhD and MSc Theses, since 1988
| Student’s Name |
Graduation Year |
Degree |
Abstracts |
Research Name |
| Disenfeld Cynthia |
2015 |
PhD |
Abstracts |
Compositional Verification of Events and Responses |
| Katz Emilia |
2011 |
PhD |
Abstracts |
Analysis and Detection of Interactions among Aspects |
| Mishali Oren |
2010 |
PhD |
Abstracts |
Using Aspects to Support the Software Process |
| Glusman Marcelo |
2003 |
PhD |
Abstracts |
Mechanizing Proofs of Computation Equivalence |
| Sihman Marcelo |
2003 |
PhD |
Abstracts |
Language and Proof Support for Superimpositions and Aspects |
| Taubenfeld Gadi |
1988 |
PhD |
|
An Axiomatic Approach for Proving Impossibility Results in |
| Peled Doron |
1991 |
PhD |
|
VERIFICATION METHODS IN TEMPORAL LOGICS |
| Reinhartz-Berger Iris |
2003 |
PhD |
Abstracts |
Developing Web Applications with Object-Oriented Approaches and Object-Process Methodology |
| Elenbogen Dima |
2014 |
MSc |
Abstracts |
Proving Mutual Termination of Programs |
| Alperin Yevgenia |
2010 |
MSc |
Abstracts |
Property Analysis and Automatic Detection of Aspect Categories |
| Goldman Max |
2006 |
MSc |
Abstracts |
Modular Verification of Aspects |
| Katz Emilia |
2006 |
MSc |
Abstracts |
Verifying Scenario-Based Aspect Specifications |
| Estrin Yacov |
2006 |
MSc |
Abstracts |
Expert System On Translations among Formal Verification Tools in VeriTech |
| Berg Mirit |
2003 |
MSc |
Abstracts |
Property Transformations for Translations |
| Shapiro Constantine |
2003 |
MSc |
Abstracts |
Object-Oriented Implementation of Reconciliations |
| Firstenberg Yosef |
2002 |
MSc |
|
Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs |
| Eckel Jacob |
1998 |
MSc |
|
A Framework for Static Checking of Design Level Traits |
| Miller Hillel |
1996 |
MSc |
|
Saving Space by Fully Exploiting Invisible Transitions |
| Adir Allon |
1994 |
MSc |
|
Compiling Programs with Multiparty-Interactions and Teams |
| Ben-David Shoham |
1994 |
MSc |
|
Using Graphs to Represent Equivalence Classes of Parallel |
| Aizenbud Netta |
1993 |
MSc |
|
Self-Stabilization of Fault-Tolerant Distributed Algorithms |
| Collin Ze’ev |
1992 |
MSc |
|
A Self Stabilizing Distributed Solution |
| Dvir Nir |
1992 |
MSc |
|
Freezing – Interaction Between Concurrent Distributed Algs. |
| Bin Eyal |
1991 |
MSc |
|
A Pre-Processor for Generating Self-Stabilizing Systems |
