dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Kirsten Berkenkötter Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Berkenkötter: Reliable UML Models and Profiles. Electr. Notes Theor. Comput. Sci. 217: 203-220 (2008)
2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Berkenkötter: OCL-Based Validation of a Railway Domain Profile. MoDELS Workshops 2006: 159-168
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Berkenkötter, Ulrich Hannemann: Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. SAFECOMP 2006: 398-411
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Berkenkötter: Design of a Railway Domain Profile and its OCL-based Validation. ECEASST 5: (2006)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska: The HybridUML profile for UML 2.0. STTT 8(2): 167-176 (2006)
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Berkenkötter, Raimund Kirner: Real-Time and Hybrid Systems Testing. Model-Based Testing of Reactive Systems 2004: 355-387
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten 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

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page