Kirsten Berkenkötter

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

Coauthor Index

1	Stefan Bisanz	[1] [3]
2	Ulrich Hannemann	[1] [3] [5]
3	Raimund Kirner	[2]
4	Jan Peleska	[1] [3]

Colors in the list of coauthors