Holger Giese and Stephan Hildebrandt and Leen Lambers. Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. Technical Report 37, Hasso Plattner Institute at the University of Potsdam, 2010.

Stefan Henkler and Simon Oberthur and Holger Giese and Andreas Seibel. Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. In Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, 5 2010. IEEE, IEEE Computer Society Press.

Enrico Biermann and Claudia Ermel and Leen Lambers and Ulrike Prange and Olga Runge and Gabriele Taentzer,
Introduction to AGG and EMF Tiger by Modeling a Conference Scheduling System,
Software Tools for Technology Transfer Volume 12 Juli 2010(Numbers 3-4), 7 2010,

Andreas Seibel and Stefan Neumann and Holger Giese,
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance,
Software and System Modeling 9(4):493-528, 2010, 10.1007/s10270-009-0146-z

Holger Giese (ed.), Architecting Critical Systems, vol. 6150 of Lecture Notes in Computer Science. Springer, Berlin, 1 edition, 2010

Holger Giese and Stefan Neumann and Oliver Niggemann and Bernhard Sch/atz, Model-Based Integration, vol. 6100 of MBEERTS'07, Springer-Verlag, 2010,

Hartmut Ehrig and Annegret Habel and Leen Lambers. Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. In Festschrift dedicated to Hans-Jorg Kreowski at the Occasion of his 60th Birthday, vol. 26 EC-EASST, 2010.

Basil Becker and Stefan Neumann and Martin Schenk and Arian Treffer and Holger Giese. Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. In Sudipto Ghosh, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pages 83-97. Springer-Verlag, 2010.

Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker. Incremental Model Synchronization for Efficient Run-Time Monitoring. In Sudipto Ghosh, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pages 124-139. Springer-Verlag, 4 2010.

Gregor Gabrysiak and Holger Giese and Andreas Seibel. Towards Next Generation Design Thinking: Scenario-Based Prototyping for Designing Complex Software Systems with Multiple Users. In Hasso Plattner and Christoph Meinel and Larry Leifer, ed., Design Thinking: Understand – Improve – Apply, of Understanding Innovation, pages 219-236. Springer Berlin Heidelberg, 2010.

Fernando Orejas and Leen Lambers. Symbolic Attributed Graphs for Attributed Graph Transformation. In Graph and Model Transformation 2010, vol. 30 EC-EASST, 2010.

Thomas Vogel and Holger Giese. Adaptation and Abstract Runtime Models. In Proceedings of the 5th Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) at the 32nd IEEE/ACM International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, pages 39-48, 5 2010. ACM.

Gregor Gabrysiak and Holger Giese and Andreas Seibel. Using Ontologies for Flexibly Specifying Multi-User Processes. In Proc. of FlexiTools Workshop at ICSE 2010, Cape Town, South Africa, 5 2010.

Regina Hebig and Holger Giese and Basil Becker. Making Control Loops Explicit When Architecting Self-Adaptive Systems. In SOAR '10: Proceedings of the second international workshop on Self-Organizing Architectures, pages 21–28, Washington, DC, USA, 6 2010. ACM.

Holger Giese and Stefan Henkler and Martin Hirsch. A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems. In Transactions of the Society for Modeling and Simulation International, pages 528–566, 12 2010. accepted

Gregor Gabrysiak and Holger Giese and Andreas Seibel. Deriving Behavior of Multi-User Processes From Interactive Requirements Validation. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, of ASE'10, pages 355–356, Antwerp, Belgium, 9 2010. ACM.

Gregor Gabrysiak and Holger Giese and Andreas Seibel and Stefan Neumann. Teaching Requirements Engineering with Virtual Stakeholders without Software Engineering Knowledge. In Joy Betty and Ljerka Beus-Dukic, ed., In Proceedings of Requirements Engineering Education and Training Workshop (REET), Sydney, Australia, 9 2010. IEEE Computer Society.

Martin Hanysz and Tobias Hoppe and Axel Uhl and Andreas Seibel and Holger Giese and Philipp Berger and Stephan Hildebrandt. Navigating Across Non-Navigable Ecore References via OCL. In Proc. of International Workshop on OCL and Textual Modelling at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, 2010.

Thomas Vogel and Andreas Seibel and Holger Giese. Toward Megamodels at Runtime. In Nelly Bencomo and Gordon Blair and Franck Fleurey and Cedric Jeanneret, ed., Proceedings of the 5th International Workshop on Models@run.time at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, volume 641 of CEUR Workshop Proceedings, pages 13-24, 10 2010. CEUR-WS.org. (best paper)

Stefan Neumann and Andreas Seibel. Toward Mega Models for Maintaining Timing Properties of Automotive Systems. In In Proceedings of the 3rd International Workshop on Model-Based Architecting and Construction of Embedded Systems (ACES-MB 2010) at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, 10 2010.

Holger Giese and Stefan Neumann and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels and Claus Lewerentz and Wilhelm Schäfer and Andy Schürr and B. Westfechtel, ed., Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555-579, 2010. Springer Berlin / Heidelberg. 10.1007/978-3-642-17322-6_24

Hartmut Ehrig and Annegret Habel and Leen Lambers and Fernando Orejas and Ulrike Golas. Local Confluence for Rules with Nested Application Conditions. In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 10), volume 6372 pages 330-345, 2010.

Fernando Orejas and Leen Lambers. Delaying Constraint Solving in Symbolic Graph Transformation. In Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10), volume 6372 pages 43-58, 2010.

Gregor Gabrysiak and Jonathan A. Edelman and Holger Giese and Andreas Seibel. How Tangible can Virtual Prototypes be?. In Proceedings of the 8th Design Thinking Research Symposium, pages 163-174, 10 2010.

Young-Joo Moon and Alexandra Silva and Christian Krause and Farhad Arbab. A Compositional Semantics for Stochastic Reo Connectors. In FOCLASA'10: 9th International Workshop on the Foundations of Coordination Languages and Software Architectures, of Electronic Proceedings in Theoretical Computer Science, pages 93–107, 2010.

Thorsten Arendt and Enrico Bierman and Stefan Jurack and Christian Krause and Gabriele Taentzer. Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In Petriu and Rouquette and Haugen, ed., MoDELS'10: Proc. 13th international conference on Model Driven Engineering Languages and Systems, volume 6394 of Lecture Notes in Computer Science, pages 121–135, 2010. Springer.

Christian Krause and Carola Krause and Erik de Vink. Action-Based Analysis of Discrete Regulatory Networks with Short-Term Stimuli. In CMSB'10: Proc. 8th Conference on Computational Methods in Systems Biology, pages 66–75, New York, NY, USA, 2010. ACM.

Natallia Kokash and Christian Krause and Erik de Vink. Verification of Context-Dependent Channel-Based Service Models. In FMCO'09: Formal Methods for Components and Objects: 8th International Symposium, volume 6286 of Lecture Notes in Computer Science, pages 21–40, 2010. Springer.

Natallia Kokash and Christian Krause and Erik de Vink. Time and Data-Aware Analysis of Graphical Service Models in Reo. In pages 125–134, Los Alamitos, CA, USA, 2010. IEEE Computer Society.

Natallia Kokash and Christian Krause and Erik de Vink. Data-aware Design and Verification of Service Compositions with Reo and mCRL2. In SAC'10: Proc. of the 2010 ACM Symposium on Applied Computing, pages 2406–2413, New York, NY, USA, 2010. ACM.

Holger Giese and Stephan Hildebrandt and Leen Lambers. Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. In Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering, Verification and Validation, pages 19-24, Oslo, Norway, 2010. IEEE Computer Society.

Sebastian Wätzoldt. Parallelisierungskonzepte und Synchronisationsmechanismen eines Interpreters für Storydiagramme. Mastersthesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 12 2010.

Leen Lambers,
Certifying Rule-Based Models using Graph Transformation,
Technische Universität Berlin, 2010, Also as book available: Südwestdeutscher Verlag für Hochschulschriften ISBN: 978-3-8381-1650-1

Leen Lambers and Hartmut Ehrig and Annegret Habel and Fernando Orejas and Ulrike Golas. Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion. Technical Report 2010-7, Technische Universität Berlin, 2010.

Sebastian Wätzoldt and Stephan Hildebrandt and Andreas Seibel and Gregor Gabrysiak and Holger Giese. Towards Scalable and Self-Optimizing Software for Multi-Core and Cloud Computing. Technical Report 42, Proceedings of the Fall 2010 Future SOC Lab Day; Universitätsverlag Potsdam, 2010.