| 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 |
