Dr. Kirsten Mewes

Dr. Kirsten Mewes geb. Berkenkötter

Forschungsgebiet

• Spezifikation von Echtzeitsystemen
• UML
• Domänenspezifische Sprachen
• Testautomatisierung

Veröffentlichungen:

• Kirsten Mewes,
  Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation,
  Verlag Dr. Hut, München, 2010,
  pdf
• Kirsten Mewes,
  Domain-specific Modeling, Validation, and Verification of Railway Control Systems,
  in Holger Giese, Michaela Huhn, Bernhard Schätz (editors): Modellbasierte Entwicklung eingebetteter Systeme V,
  number 1 in Informatik-Bericht TU Braunschweig, 2009
• Kirsten Berkenkötter,
  Reliable UML Models and Profiles,
  in Ralf Huuck, Gerwin Klein, Bastian Schlich (editors): Proceedings of the 3rd International Workshop on Systems Software Verification (SSV 2008),
  number 217 in Electronical Notes in Theoretical Computer Science, 2008,
  7/2008, pdf
• Kirsten Berkenkötter,
  Design of a Railway Domain Profile and its OCL-based Validation,
  in Electronic Communications of the EASST,
  Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006,
  ISSN 1863-2122, 2007, pdf
• Kirsten Berkenkötter,
  OCL-based Validation of a Railway Domain Profile,
  in Thomas Kühne (editor): Models in Software Engineering,
  number 4364 in Lecture Notes in Computer Science, Springer Verlag, Berlin, Heidelberg, New York, 2007,
  doi:10.1007/978-3-540-69489-2_20
• Kirsten Berkenkötter,
  OCL-based Validation of a Railway Domain Profile,
  in Birgit Demuth, Dan Chiorean, Martin Gogolla, Jos Warmer (editors):
  OCLApps 2006: OCL for (Meta-)Models in Multiple Application Domains,
  workshop hold in conjunction with MoDELS/UML 2006,
  9/2006, pdf
• Kirsten Berkenkötter, Ulrich Hannemann,
  Modeling the Railway Control Domain rigorously with a UML 2.0 Profile,
  in J. Górski (editor): Safecomp 2006,
  number 4166 in Lecture Notes in Computer Science, Springer Verlag, Berlin, Heidelberg, New York, 2006,
  doi:10.1007/11875567_30
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska,
  The HybridUML profile for UML 2.0,
  International Journal on Software Tools for Technology Transfer (STTT),
  volume 8, number 2, 4/2006, Springer Verlag, Berlin, Heidelberg, New York,
  doi:10.1007/s10009-005-0211-z
• Kirsten Berkenkötter, Raimund Kirner,
  Real-Time and Hybrid Systems Testing,
  in Broy, Jonsson, Katoen, Leucker, Pretschner (editors):
  Model-Based Testing of Reactive Systems,
  number 3472 in Lecture Notes in Computer Science, Springer Verlag, Berlin, Heidelberg, New York, 2005,
  doi:10.1007/11498490_16
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska,
  Executable HybridUML and its Application to Train Control Systems,
  in Ehrig, Damm, Desel, Große-Rhode, Reif, Schnieder, Westkämper (editors):
  Integration of Software Specification Techniques for Applications in Engineering,
  number 3147 in Lecture Notes in Computer Science, Springer Verlag, Berlin, Heidelberg, New York, 2004
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Pelska,
  Spezifikation von Echtzeit-Automatisierungssystemen mit HybridUML,
  atp - Automatisierungstechnische Praxis,
  8/2004, Oldenbourg Industrieverlag
• Kirsten Berkenkötter,
  Using UML 2.0 in Real-Time Development.A Critical Review,
  SVERTS, workshop hold in conjunction with UML 2003,
  10/2003, pdf
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska,
  HybridUML Profile for UML 2.0,
  SVERTS, workshop hold in conjunction with UML 2003,
  10/2003, pdf

Lehre:

• Sommersemester 2008:
  • Praktische Informatik II
• Wintersemester 07/08:
  • Betriebssysteme I
  • Praktische Informatik I
• Sommersemester 2007:
  • Projekt ACOP-PC
• Wintersemester 06/07:
  • Betriebssysteme I
  • Projekt ACOP-PC
• Sommersemester 2006:
  • Spezifikation eingebetteter Systeme
  • Projekt ACOP-PC
• Wintersemester 05/06:
  • Betriebssysteme I
  • Projekt ACOP-PC
• Sommersemester 2005:
  • Praktische Informatik II
  • Betriebssysteme I
• Wintersemester 04/05:
  • Praktische Informatik I
  • Spezifikation eingebetteter Systeme
• Sommersemester 04:
  • Praktische Informatik II
  • Betriebssysteme I
• Wintersemester 03/04:
  • Praktische Informatik I
• Sommersemester 03:
  • Grundlagen der Informatik für Elektrotechniker II
  • Betriebssysteme I
• Wintersemester 02/03:
  • Grundlagen der Informatik für Elektrotechniker I

	Kirsten Mewes Verified Systems International GmbH Parkstrasse 123 28209 Bremen
E-Mail:	kirsten@tzi.de