Young-Joo Moon and Alexandra Silva and Christian Krause and Farhad Arbab,
A Compositional Model to Reason about end-to-end QoS in Stochastic Reo Connectors,
Science of Computer Programming (), 2011,

Natallia Kokash and Christian Krause and Erik de Vink,
Reo+mCRL2: A Framework for Model-checking Dataflow in Service Compositions,
Formal Aspects of Computing ():1–30, 2011,

Christian Krause and Ziyan Maraikar and Alexander Lazovik and Farhad Arbab,
Modeling dynamic reconfigurations in Reo using high-level replacement systems,
Science of Computer Programming 76(1):23–36, 2011,

Thomas Vogel and Andreas Seibel and Holger Giese. The Role of Models and Megamodels at Runtime. In Juergen Dingel and Arnor Solberg, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010, Reports and Revised Selected Papers, vol. 6627 of Lecture Notes in Computer Science (LNCS), pages 224-238. Springer-Verlag, 5 2011.

Holger Giese and Garbor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schatz, (ed.). Model-Based Engineering of Embedded Real-Time Systems, International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. volume 6100 of Lecture Notes in Computer Science, 2011. Springer Berlin / Heidelberg.

Regina Hebig and Andreas Seibel and Holger Giese. Toward a Comparable Characterization for Software Development Activities in Context of MDE. In International Conference on Software and Systems Process (ICSSP), 2011.

Sung-Shik Jongmans and Christian Krause and Farhad Arbab. Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. In 13th International Conference on Coordination Models and Languages (Coordination'11), volume 6721 of Lecture Notes in Computer Science, pages 31–48, 2011. Springer-Verlag.

Chretien Verhoef and Christian Krause and Oscar Kanters and Rob van der Mei. Simulation-based Performance Analysis of Channel-based Coordination Models. In 13th International Conference on Coordination Models and Languages (Coordination'11), volume 6721 of Lecture Notes in Computer Science, pages 187–201, 2011. Springer-Verlag.

Christian Krause. Distributed port automata. In 10th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'11), of Electronic Communications of the EASST, 41, ed., 2011.

Claudia Ermel and Jürgen Gall and Leen Lambers and Gabriele Taentzer. Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. In Dimitra Giannakopoulou and Fernando Orejas, ed., Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, pages 156-170, 2011. Springer Berlin / Heidelberg.

Basil Becker and Leen Lambers and Johannes Dyck and Stefanie Birth and Holger Giese. Iterative Development of Consistency-Preserving Rule-Based Refactorings. In Jordi Cabot and Eelco Visser, ed., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, volume 6707 of Lecture Notes in Computer Science, pages 123-137, 2011. Springer / Heidelberg.

Andreas Seibel and Regina Hebig and Stefan Neumann and Holger Giese. A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations. In 4th International Conference on Software Language Engineering (SLE 2011) , Braga, Portugal, 7 2011. to be published

Andreas Seibel. From Software Traceability to Global Model Management and Back Again. In 15th European Conference on Software Maintenance and Reengineering (CSMR'11), Doctoral Symposium, Oldenburg, Germany, 3 2011.

Christian Krause and Holger Giese. Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements. In volume 73 of Electronic Proceedings in Theoretical Computer Science, pages 64–78, 2011. Open Publishing Association.

Christian Krause,
Reconfigurable Component Connectors,
Leiden University, 2011, p. 156,