Kirsten Berkenkötter

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Kirsten Berkenkötter
Reliable UML Models and Profiles. Electron. Notes Theor. Comput. Sci. 217 (2008)
Kirsten Berkenkötter
OCL-Based Validation of a Railway Domain Profile. MoDELS (Workshops) (2006)
Kirsten Berkenkötter, Ulrich Hannemann
Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. SAFECOMP (2006)
Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
The HybridUML profile for UML 2.0. Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
Kirsten Berkenkötter
Design of a Railway Domain Profile and its OCL-based Validation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
Executable HybridUML and Its Application to Train Control Systems. SoftSpez Final Report (2004)
Kirsten Berkenkötter, Raimund Kirner
Real-Time and Hybrid Systems Testing. Model-Based Testing of Reactive Systems (2004)