Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHolger Giese
Person information
- affiliation: Hasso Plattner Institute, Potsdam, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j41]Matthias Barkowsky
, Holger Giese:
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. J. Log. Algebraic Methods Program. 131: 100841 (2023)- [i28]Matthias Barkowsky, Holger Giese:
Triple Graph Grammars for Multi-version Models. CoRR abs/2301.00623 (2023) - [i27]Matthias Barkowsky, Holger Giese:
Modular and Incremental Global Model Management with Extended Generalized Discrimination Networks. CoRR abs/2301.00624 (2023) - 2022
- [j40]Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Holger Giese:
Translation validation of coloured Petri net models of programs on integers. Acta Informatica 59(6): 725-759 (2022) - [j39]Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese:
Incremental execution of temporal graph queries over runtime models with history and its applications. Softw. Syst. Model. 21(5): 1789-1829 (2022) - [c167]Sven Schneider, Maria Maximova, Holger Giese:
Probabilistic Metric Temporal Graph Logic. ICGT 2022: 58-76 - [c166]Matthias Barkowsky, Holger Giese:
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness. ICGT 2022: 118-136 - [c165]Sven Schneider, Maria Maximova, Holger Giese:
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. ICGT 2022: 173-192 - [c164]Christian Zöllner, Christian M. Adriano, Simon Wietheger, Leen Lambers, Holger Giese:
Tool support for the teaching of state-based behavior modeling. MoDELS (Companion) 2022: 87-94 - [i26]Matthias Barkowsky, Holger Giese:
Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness. CoRR abs/2205.04198 (2022) - 2021
- [j38]Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese:
Formal testing of timed graph transformation systems using metric temporal graph logic. Int. J. Softw. Tools Technol. Transf. 23(3): 411-488 (2021) - [c163]Sona Ghahremani, Holger Giese:
Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness. ACSOS-C 2021: 131-138 - [c162]Holger Giese:
Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk). CALCO 2021: 2:1-2:1 - [c161]Maria Maximova, Sven Schneider, Holger Giese:
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. FASE 2021: 196-217 - [c160]Lucas Sakizloglou, Matthias Barkowsky, Holger Giese:
Keeping Pace with the History of Evolving Runtime Models. FASE 2021: 262-268 - [c159]Matthias Barkowsky, Holger Giese:
Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching. ICGT 2021: 145-163 - [c158]Maria Maximova, Sven Schneider, Holger Giese:
Interval Probabilistic Timed Graph Transformation Systems. ICGT 2021: 221-239 - [c157]Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese:
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems. ICGT 2021: 262-279 - [c156]Matthias Barkowsky, Thomas Brand, Holger Giese:
Improving Adaptive Monitoring with Incremental Runtime Model Queries. SEAMS@ICSE 2021: 71-77 - [i25]Sven Schneider, Maria Maximova, Holger Giese:
Probabilistic Metric Temporal Graph Logic. CoRR abs/2106.08418 (2021) - [i24]Sona Ghahremani, Holger Giese:
Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness. CoRR abs/2108.11170 (2021) - 2020
- [j37]Sona Ghahremani, Holger Giese:
Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements. Comput. 9(1): 16 (2020) - [j36]Matthias Barkowsky, Holger Giese:
Hybrid search plan generation for generalized graph pattern matching. J. Log. Algebraic Methods Program. 114: 100563 (2020) - [j35]Sona Ghahremani, Holger Giese, Thomas Vogel:
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. ACM Trans. Auton. Adapt. Syst. 14(3): 12:1-12:41 (2020) - [c155]Sven Schneider, Johannes Dyck, Holger Giese:
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. ICGT 2020: 257-275 - [c154]Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese:
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. ICGT 2020: 276-294 - [c153]Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese:
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. ICGT 2020: 325-334 - [c152]Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese:
Collective risk minimization via a bayesian model for statistical software testing. SEAMS@ICSE 2020: 45-56 - [c151]Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese:
Towards highly scalable runtime models with history. SEAMS@ICSE 2020: 188-194 - [c150]Holger Giese, Leen Lambers, Christian Zöllner:
From classic to agile: experiences from more than a decade of project-based modeling education. MoDELS (Companion) 2020: 22:1-22:10 - [c149]Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese:
A scalable querying scheme for memory-efficient runtime models with history. MoDELS 2020: 175-186 - [i23]Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese:
Towards Highly Scalable Runtime Models with History. CoRR abs/2004.03727 (2020) - [i22]Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese:
Collective Risk Minimization via a Bayesian Model for Statistical Software Testing. CoRR abs/2005.07460 (2020) - [i21]Sona Ghahremani, Holger Giese, Thomas Vogel:
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. CoRR abs/2005.11180 (2020) - [i20]Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese:
A Scalable Querying Scheme for Memory-efficient Runtime Models with History. CoRR abs/2008.04230 (2020)
2010 – 2019
- 2019
- [j34]Johannes Dyck, Holger Giese, Leen Lambers:
Automatic verification of behavior preservation at the transformation level for relational model transformation. Softw. Syst. Model. 18(5): 2937-2972 (2019) - [c148]Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider:
Metric Temporal Graph Logic over Typed Attributed Graphs. FASE 2019: 282-298 - [c147]Matthias Barkowsky, Holger Giese:
Hybrid Search Plan Generation for Generalized Graph Pattern Matching. ICGT 2019: 212-229 - [c146]Johannes Erbel, Thomas Brand, Holger Giese, Jens Grabowski:
OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management. SEAMS@ICSE 2019: 188-194 - [c145]Holger Giese:
Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities. ISEC 2019: 1:1 - [c144]Thomas Brand, Holger Giese:
Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances. MoDELS 2019: 227-232 - [c143]Thomas Brand, Holger Giese:
Generic Adaptive Monitoring Based on Executed Architecture Runtime Model Queries and Events. SASO 2019: 17-22 - [c142]Sona Ghahremani, Holger Giese:
Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues. FAS*W@SASO/ICAC 2019: 116-119 - 2018
- [j33]Maria Maximova, Holger Giese, Christian Krause:
Probabilistic timed graph transformation systems. J. Log. Algebraic Methods Program. 101: 110-131 (2018) - [j32]Miroslaw Staron, Wilhelm Meding, Matthias Tichy, Jonas Bjurhede, Holger Giese, Ola Soder:
Industrial experiences from evolving measurement systems into self-healing systems for improved availability. Softw. Pract. Exp. 48(3): 719-739 (2018) - [c141]Sona Ghahremani, Christian M. Adriano, Holger Giese:
Training Prediction Models for Rule-Based Self-Adaptive Systems. ICAC 2018: 187-192 - [c140]Santonu Sarkar, Prateek Kandelwal, Soumyadip Bandyopadhyay, Holger Giese:
Analysis of GPGPU Programs for Data-race and Barrier Divergence. ICSOFT 2018: 494-505 - [c139]Thomas Brand, Holger Giese:
Towards software architecture runtime models for continuous adaptive monitoring. MoDELS (Workshops) 2018: 72-77 - [c138]Thomas Brand, Holger Giese:
Towards Generic Adaptive Monitoring. SASO 2018: 156-161 - [i19]Sona Ghahremani, Holger Giese, Thomas Vogel:
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. CoRR abs/1805.03549 (2018) - [i18]Sona Ghahremani, Holger Giese, Thomas Vogel:
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. CoRR abs/1805.03599 (2018) - [i17]Thomas Vogel, Holger Giese:
Model-Driven Engineering of Self-Adaptive Software with EUREMA. CoRR abs/1805.07353 (2018) - [i16]Joachim Hänsel, Thomas Vogel, Holger Giese:
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. CoRR abs/1805.07354 (2018) - [i15]Thomas Vogel, Andreas Seibel, Holger Giese:
The Role of Models and Megamodels at Runtime. CoRR abs/1805.07396 (2018) - [i14]Thomas Vogel, Holger Giese:
Adaptation and Abstract Runtime Models. CoRR abs/1805.07397 (2018) - [i13]Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker:
Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. CoRR abs/1805.08677 (2018) - [i12]Thomas Vogel, Holger Giese:
A language for feedback loops in self-adaptive systems: Executable runtime megamodels. CoRR abs/1805.08678 (2018) - [i11]Thomas Vogel, Holger Giese:
Requirements and Assessment of Languages and Frameworks for Adaptation Models. CoRR abs/1805.08679 (2018) - 2017
- [j31]Regina Hebig, Holger Giese:
On the complex nature of MDE evolution and its impact on changeability. Softw. Syst. Model. 16(2): 333-356 (2017) - [c137]Johannes Dyck, Holger Giese:
k-Inductive Invariant Checking for Graph Transformation Systems. ICGT 2017: 142-158 - [c136]Maria Maximova, Holger Giese, Christian Krause:
Probabilistic Timed Graph Transformation Systems. ICGT 2017: 159-175 - [c135]Sona Ghahremani, Holger Giese, Thomas Vogel:
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. ICAC 2017: 59-68 - [c134]Joachim Hänsel, Holger Giese:
Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems. VACE@ICSE 2017: 9-12 - [c133]Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen:
A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. RE Workshops 2017: 36-45 - [p13]Samuel Kounev, Peter R. Lewis, Kirstie L. Bellman, Nelly Bencomo, Javier Cámara, Ada Diaconescu, Lukas Esterle, Kurt Geihs, Holger Giese, Sebastian Götz, Paola Inverardi, Jeffrey O. Kephart, Andrea Zisman:
The Notion of Self-aware Computing. Self-Aware Computing Systems 2017: 3-16 - [p12]Javier Cámara, Kirstie L. Bellman, Jeffrey O. Kephart, Marco Autili, Nelly Bencomo, Ada Diaconescu, Holger Giese, Sebastian Götz, Paola Inverardi, Samuel Kounev, Massimo Tivoli:
Self-aware Computing Systems: Related Concepts and Research Areas. Self-Aware Computing Systems 2017: 17-49 - [p11]Peter R. Lewis, Kirstie L. Bellman, Christopher Landauer, Lukas Esterle, Kyrre Glette, Ada Diaconescu, Holger Giese:
Towards a Framework for the Levels and Aspects of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 51-85 - [p10]Jeffrey O. Kephart, Martina Maggio, Ada Diaconescu, Holger Giese, Henry Hoffmann, Samuel Kounev, Anne Koziolek, Peter R. Lewis, Anders Robertsson, Simon Spinner:
Reference Scenarios for Self-aware Computing. Self-Aware Computing Systems 2017: 87-106 - [p9]Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Samuel Kounev:
Architectural Concepts for Self-aware Computing Systems. Self-Aware Computing Systems 2017: 109-147 - [p8]Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Kirstie L. Bellman:
Generic Architectures for Individual Self-aware Computing Systems. Self-Aware Computing Systems 2017: 149-189 - [p7]Ada Diaconescu, Kirstie L. Bellman, Lukas Esterle, Holger Giese, Sebastian Götz, Peter R. Lewis, Andrea Zisman:
Architectures for Collective Self-aware Computing Systems. Self-Aware Computing Systems 2017: 191-235 - [p6]Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Nelly Bencomo, Kurt Geihs, Samuel Kounev, Kirstie L. Bellman:
State of the Art in Architectures for Self-aware Computing Systems. Self-Aware Computing Systems 2017: 237-275 - [p5]Martina Maggio, Tarek F. Abdelzaher, Lukas Esterle, Holger Giese, Jeffrey O. Kephart, Ole J. Mengshoel, Alessandro Vittorio Papadopoulos, Anders Robertsson, Katinka Wolter:
Self-adaptation for Individual Self-aware Computing Systems. Self-Aware Computing Systems 2017: 375-399 - [p4]Jeffrey O. Kephart, Ada Diaconescu, Holger Giese, Anders Robertsson, Tarek F. Abdelzaher, Peter R. Lewis, Antonio Filieri, Lukas Esterle, Sylvain Frey:
Self-adaptation in Collective Self-aware Computing Systems. Self-Aware Computing Systems 2017: 401-435 - [p3]Robert Birke, Javier Cámara, Lydia Y. Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, Xiaoyun Zhu:
Self-aware Computing Systems: Open Challenges and Future Research Directions. Self-Aware Computing Systems 2017: 709-722 - [e25]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Lecture Notes in Computer Science 9640, Springer 2017, ISBN 978-3-319-74182-6 [contents] - 2016
- [c132]Dominique Blouin, Holger Giese:
Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design. SEAA 2016: 266-274 - [c131]Holger Giese:
Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract). FACS 2016: 3-9 - [c130]Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers:
On the Operationalization of Graph Queries with Generalized Discrimination Networks. ICGT 2016: 170-186 - [c129]Sona Ghahremani, Holger Giese, Thomas Vogel:
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. SASO 2016: 142-143 - [c128]Hans Vangheluwe, Vasco Amaral, Holger Giese, Jan F. Broenink, Bernhard Schätz, Alexander Norta, Paulo Carreira, Ivan Lukovic, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo:
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. STAF Doctoral Symposium / Showcase 2016: 40-47 - [c127]Thomas Beyhl, Holger Giese:
Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks. GaM@ETAPS 2016: 57-71 - [e24]Samuel Kounev, Holger Giese, Jie Liu:
2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-1654-9 [contents] - 2015
- [c126]Sebastian Wätzoldt, Holger Giese:
Modeling Collaborations in Adaptive Systems of Systems. ECSA Workshops 2015: 3:1-3:8 - [c125]Holger Giese, Thomas Vogel, Sebastian Wätzoldt:
Towards Smart Systems of Systems. FSEN 2015: 1-29 - [c124]Johannes Dyck, Holger Giese:
Inductive Invariant Checking with Partial Negative Application Conditions. ICGT 2015: 237-253 - [c123]Thomas Beyhl, Holger Giese:
Traceability Recovery for Innovation Processes. SST@ICSE 2015: 22-28 - [c122]Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner:
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS 2015: 36-45 - [c121]Joachim Hänsel, Thomas Vogel, Holger Giese:
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. SASO Workshops 2015: 134-139 - [c120]Christian Krause, Matthias Tichy, Holger Giese:
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. Software Engineering & Management 2015: 99-100 - 2014
- [j30]Holger Giese, Stephan Hildebrandt, Leen Lambers:
Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations. Softw. Syst. Model. 13(1): 273-299 (2014) - [j29]Thomas Vogel, Holger Giese:
Model-Driven Engineering of Self-Adaptive Software with EUREMA. ACM Trans. Auton. Adapt. Syst. 8(4): 18:1-18:33 (2014) - [c119]Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr:
BenchmarX. EDBT/ICDT Workshops 2014: 82-86 - [c118]Christian Krause, Matthias Tichy, Holger Giese:
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. FASE 2014: 325-339 - [c117]Thomas Vogel, Holger Giese:
On Unifying Development Models and Runtime Models. Models@run.time 2014: 5-10 - [c116]Sebastian Wätzoldt, Holger Giese:
Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling. Models@run.time 2014: 11-20 - [e23]Holger Giese, Barbara König:
Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings. Lecture Notes in Computer Science 8571, Springer 2014, ISBN 978-3-319-09107-5 [contents] - 2013
- [j28]Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr:
A Survey of Triple Graph Grammar Tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j27]Holger Giese:
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [j26]Christian Krause, Holger Giese, Erik P. de Vink:
Compositional and behavior-preserving reconfiguration of component connectors in Reo. J. Vis. Lang. Comput. 24(3): 153-168 (2013) - [c115]Gregor Gabrysiak, Regina Hebig, Lukas Pirl, Holger Giese:
Cooperating with a non-governmental organization to teach gathering and implementation of requirements. CSEE&T 2013: 11-20 - [c114]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c113]Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Holger Giese, Romain Rouvoy, Éric Rutten:
What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems? Software Engineering for Self-Adaptive Systems 2013: 90-134 - [c112]Christian Krause, Johannes Dyck, Holger Giese:
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. ICMT 2013: 76-91 - [c111]Stephan Hildebrandt, Leen Lambers, Holger Giese:
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. ICMT 2013: 174-188 - [c110]Thomas Beyhl, Gregor Berg, Holger Giese:
Why innovation processes need to support traceability. TEFSE@ICSE 2013: 1-4 - [c109]Stefan Neumann, Holger Giese:
Scalable real-time compatibility for embedded components using language-progressive TIOA. ISORC 2013: 1-10 - [c108]Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel:
On the Complex Nature of MDE Evolution. MoDELS 2013: 436-453 - [c107]Thomas Beyhl, Regina Hebig, Holger Giese:
A Model Management Framework for Maintaining Traceability Links. Software Engineering (Workshops) 2013: 453-457 - [c106]Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese:
Modal Specifications for Probabilistic Timed Systems. QAPL 2013: 66-80 - [p2]Holger Giese, Wilhelm Schäfer:
Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML. Assurances for Self-Adaptive Systems 2013: 152-186 - [e22]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw:
Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers. Lecture Notes in Computer Science 7475, Springer 2013, ISBN 978-3-642-35812-8 [contents] - [e21]Margaret M. Burnett, Holger Giese, Tien Nguyen, Yuriy Brun:
Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, CESI 2013, San Francisco, California, USA, May 20, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6286-3 [contents] - [e20]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2013 [contents] - [i10]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Dagstuhl Reports 3(12): 67-96 (2013) - 2012
- [j25]Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas:
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [j24]Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese:
Integration of Triple Graph Grammars and Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012) - [c105]Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese:
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT 2012: 141-155 - [c104]Holger Giese, Leen Lambers:
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. ICGT 2012: 249-263 - [c103]Christian Krause, Holger Giese:
Probabilistic Graph Transformation Systems. ICGT 2012: 311-325 - [c102]