| |
| 2008 | ||
|---|---|---|
| 7 | EE | Kirsten Berkenkötter: Reliable UML Models and Profiles. Electr. Notes Theor. Comput. Sci. 217: 203-220 (2008) |
| 2006 | ||
| 6 | EE | Kirsten Berkenkötter: OCL-Based Validation of a Railway Domain Profile. MoDELS Workshops 2006: 159-168 |
| 5 | EE | Kirsten Berkenkötter, Ulrich Hannemann: Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. SAFECOMP 2006: 398-411 |
| 4 | EE | Kirsten Berkenkötter: Design of a Railway Domain Profile and its OCL-based Validation. ECEASST 5: (2006) |
| 3 | EE | Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska: The HybridUML profile for UML 2.0. STTT 8(2): 167-176 (2006) |
| 2004 | ||
| 2 | EE | Kirsten Berkenkötter, Raimund Kirner: Real-Time and Hybrid Systems Testing. Model-Based Testing of Reactive Systems 2004: 355-387 |
| 1 | EE | Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska: Executable HybridUML and Its Application to Train Control Systems. SoftSpez Final Report 2004: 145-173 |
| 1 | Stefan Bisanz | [1] [3] |
| 2 | Ulrich Hannemann | [1] [3] [5] |
| 3 | Raimund Kirner | [2] |
| 4 | Jan Peleska | [1] [3] |