| |
| 2002 | ||
|---|---|---|
| 4 | EE | Thomas Firley, Ursula Goltz: Property Dependent Abstraction of Control Structure for Software Verification. FME 2002: 511-530 |
| 1999 | ||
| 3 | Thomas Gehrke, Thomas Firley: Generative Sequence Diagrams with Textual Annotations. FBT 1999: 65-72 | |
| 2 | Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML 1999: 645-660 | |
| 1998 | ||
| 1 | Thomas Firley, Thomas Gehrke, Arend Rensink: Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT 1998: 136-147 | |
| 1 | Karsten Diethers | [2] |
| 2 | Thomas Gehrke | [1] [2] [3] |
| 3 | Ursula Goltz | [2] [4] |
| 4 | Michaela Huhn | [2] |
| 5 | Arend Rensink | [1] |