Publications

9 results at Software and Systems Modeling

Hybrid co-simulation: it’s about time
- - Fabio Cremona
  - Marten Lohstroh
  - et al.
- 2017
- Software and Systems Modeling
Model-driven optimal resource scaling in cloud
- - Anshul Gandhi
  - Parijat Dube
  - et al.
- 2017
- Software and Systems Modeling
Supporting different process views through a Shared Process Model
- - Jochen Kuster
  - Hagen Volzer
  - et al.
- 2015
- Software and Systems Modeling
A case study on consistency management of business and IT process models in banking
- - Moisés Castelo Branco
  - Yingfei Xiong
  - et al.
- 2013
- Software and Systems Modeling
Detection and resolution of conflicting change operations in version management of process models
- - Christian Gerth
  - Jochen M. Küster
  - et al.
- 2011
- Software and Systems Modeling
Efficient analysis of pattern-based constraint specifications
- - Michael Wahler
  - David Basin
  - et al.
- 2009
- Software and Systems Modeling
Generating instance models from meta models
- - Karsten Ehrig
  - Jochen Malte Küster
  - et al.
- 2008
- Software and Systems Modeling
Definition and validation of model transformations
- - Jochen M. Küster
- 2006
- Software and Systems Modeling
Formal verification of software source code through semi-automatic modeling
- - Cindy Eisner
- 2005
- Software and Systems Modeling