| 2008 | ||
|---|---|---|
| 3 | EE | Hendrik Voigt, Thomas Ruhroth: A Quality Circle Tool for Software Models. ER 2008: 526-527 |
| 2007 | ||
| 2 | EE | Thomas Ruhroth, Heike Wehrheim: Refactoring Object-Oriented Specifications with Data and Processes. FMOODS 2007: 236-251 |
| 1 | EE | H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim: Modelchecking Correctness of Refactorings - Some Experiments. Electr. Notes Theor. Comput. Sci. 187: 3-17 (2007) |
| 1 | H.-Christian Estler | [1] |
| 2 | Hendrik Voigt | [3] |
| 3 | Heike Wehrheim | [1] [2] |