Kirsten Berkenkötter

According to our database, Kirsten Berkenkötter authored at least 7 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Reliable UML Models and Profiles.

Kirsten Berkenkötter

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2006

The HybridUML profile for UML 2.0.

Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Int. J. Softw. Tools Technol. Transf., 2006

Design of a Railway Domain Profile and its OCL-based Validation.

Kirsten Berkenkötter

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.

Kirsten Berkenkötter, Ulrich Hannemann

Proceedings of the Computer Safety, 2006

OCL-Based Validation of a Railway Domain Profile.

Kirsten Berkenkötter

Proceedings of the Models in Software Engineering, 2006

2004

Executable HybridUML and Its Application to Train Control Systems.

Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Real-Time and Hybrid Systems Testing.

Kirsten Berkenkötter, Raimund Kirner

Proceedings of the Model-Based Testing of Reactive Systems, 2004