مقاله‌های دارای تعهدات انتشار عمومی - Holger Gieseبیشتر بدانید
جای دیگری دردسترس نیست: ۱۲
Bridging the gap between formal semantics and implementation of triple graph grammars: Ensuring conformance of relational model transformation specifications and implementations
H Giese, S Hildebrandt, L Lambers
Software & Systems Modeling 13, 273-299, 2014
تعهدات: German Research Foundation
Towards automatic verification of behavior preservation for model transformation via invariant checking
H Giese, L Lambers
International Conference on Graph Transformation, 249-263, 2012
تعهدات: German Research Foundation
Automatic conformance testing of optimized triple graph grammar implementations
S Hildebrandt, L Lambers, H Giese, D Petrick, I Richter
Applications of Graph Transformations with Industrial Relevance: 4th …, 2012
تعهدات: German Research Foundation
Modeling techniques for software-intensive systems
H Giese, S Henkler, M Hirsch, V Rubin, M Tichy
Designing Software-Intensive Systems: Methods and Principles, 21-57, 2009
تعهدات: German Research Foundation
Modeling collaborations in adaptive systems of systems
S Wätzoldt, H Giese
Proceedings of the 2015 European Conference on Software Architecture …, 2015
تعهدات: German Research Foundation
Systematic verification of multi-agent systems based on rigorous executable specifications
H Giese, F Klein
International Journal of Agent-Oriented Software Engineering 1 (1), 28-62, 2007
تعهدات: German Research Foundation
Improving adaptive monitoring with incremental runtime model queries
M Barkowsky, T Brand, H Giese
2021 International Symposium on Software Engineering for Adaptive and Self …, 2021
تعهدات: German Research Foundation
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
M Barkowsky, H Giese
Journal of Logical and Algebraic Methods in Programming 131, 100841, 2023
تعهدات: German Research Foundation
Reference scenarios for self-aware computing
JO Kephart, M Maggio, A Diaconescu, H Giese, H Hoffmann, S Kounev, ...
Self-Aware Computing Systems, 87-106, 2017
تعهدات: Swedish Research Council
Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures
S Henkler, S Oberthür, H Giese, A Seibel
2010 13th IEEE International Symposium on Object/Component/Service-Oriented …, 2010
تعهدات: German Research Foundation
Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching
M Barkowsky, H Giese
International Conference on Graph Transformation, 145-163, 2021
تعهدات: German Research Foundation
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems
C Zöllner, M Barkowsky, M Maximova, H Giese
International Conference on Graph Transformation, 262-279, 2021
تعهدات: German Research Foundation
جای دیگری دردسترس است: ۴۶
From model transformation to incremental bidirectional model synchronization
H Giese, R Wagner
Software & Systems Modeling 8, 21-43, 2009
تعهدات: German Research Foundation
Incremental model synchronization with triple graph grammars
H Giese, R Wagner
International Conference on Model Driven Engineering Languages and Systems …, 2006
تعهدات: German Research Foundation
Symbolic invariant verification for systems with dynamic structural adaptation
B Becker, D Beyer, H Giese, F Klein, D Schilling
Proceedings of the 28th international conference on Software engineering, 72-81, 2006
تعهدات: German Research Foundation
Model-driven engineering of self-adaptive software with EUREMA
T Vogel, H Giese
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 8 (4), 1-33, 2014
تعهدات: European Commission
Hybrid UML components for the design of complex self-optimizing mechatronic systems
S Burmester, H Giese, O Oberschelp
Informatics in Control, Automation and Robotics I, 281-288, 2006
تعهدات: German Research Foundation
Tool support for the design of self-optimizing mechatronic multi-agent systems
S Burmester, H Giese, E Münch, O Oberschelp, F Klein, P Scheideler
International Journal on Software Tools for Technology Transfer 10, 207-222, 2008
تعهدات: German Research Foundation
Component-based hazard analysis: Optimal designs, product lines, and online-reconfiguration
H Giese, M Tichy
International Conference on Computer Safety, Reliability, and Security, 156-169, 2006
تعهدات: German Research Foundation
Toward bridging the gap between formal semantics and implementation of triple graph grammars
H Giese, S Hildebrandt, L Lambers
2010 Workshop on Model-Driven Engineering, Verification, and Validation, 19-24, 2010
تعهدات: German Research Foundation
اطلاعات انتشارات و تأمین بودجه به‌طورخودکار توسط برنامه رایانه‌ای تعیین می‌شود.