| |
| 2008 | ||
|---|---|---|
| 4 | EE | Björn Metzler, Heike Wehrheim, Daniel Wonisch: Decomposition for Compositional Verification. ICFEM 2008: 105-125 |
| 2007 | ||
| 3 | EE | Björn Metzler: Decomposing Integrated Specifications for Verification. IFM 2007: 459-479 |
| 2 | EE | Björn Metzler, Heike Wehrheim: Extending a Component Specification Language with Time. Electr. Notes Theor. Comput. Sci. 176(2): 47-67 (2007) |
| 2006 | ||
| 1 | Ingo Brückner, Björn Metzler, Heike Wehrheim: Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput. 13(1-2): 22-45 (2006) | |
| 1 | Ingo Brückner | [1] |
| 2 | Heike Wehrheim | [1] [2] [4] |
| 3 | Daniel Wonisch | [4] |