Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Holger Giese
@article{DBLP:journals/jlap/SchneiderMG24, author = {Sven Schneider and Maria Maximova and Holger Giese}, title = {Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic}, journal = {J. Log. Algebraic Methods Program.}, volume = {137}, pages = {100938}, year = {2024}, url = {https://doi.org/10.1016/j.jlamp.2023.100938}, doi = {10.1016/J.JLAMP.2023.100938}, timestamp = {Thu, 29 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/SchneiderMG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ecoi/FlottererMSDZGHG23, author = {Boris Flotterer and Maria Maximova and Sven Schneider and Johannes Dyck and Christian Z{\"{o}}llner and Holger Giese and Christelle H{\'{e}}ly and C{\'{e}}dric Gaucherel}, title = {Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation}, journal = {Ecol. Informatics}, volume = {75}, pages = {101908}, year = {2023}, url = {https://doi.org/10.1016/j.ecoinf.2022.101908}, doi = {10.1016/J.ECOINF.2022.101908}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ecoi/FlottererMSDZGHG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/MaximovaSG23, author = {Maria Maximova and Sven Schneider and Holger Giese}, title = {Compositional Analysis of Probabilistic Timed Graph Transformation Systems}, journal = {Formal Aspects Comput.}, volume = {35}, number = {3}, pages = {16:1--16:79}, year = {2023}, url = {https://doi.org/10.1145/3572782}, doi = {10.1145/3572782}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/MaximovaSG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/BarkowskyG23, author = {Matthias Barkowsky and Holger Giese}, title = {Host-graph-sensitive {RETE} nets for incremental graph pattern matching with nested graph conditions}, journal = {J. Log. Algebraic Methods Program.}, volume = {131}, pages = {100841}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2022.100841}, doi = {10.1016/J.JLAMP.2022.100841}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/BarkowskyG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BarkowskyG23, author = {Matthias Barkowsky and Holger Giese}, title = {Incremental Model Transformations with Triple Graph Grammars for Multi-version Models}, booktitle = {26th {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems, {MODELS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 1-6, 2023}, pages = {296--306}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/MODELS58315.2023.00033}, doi = {10.1109/MODELS58315.2023.00033}, timestamp = {Fri, 05 Jan 2024 14:12:58 +0100}, biburl = {https://dblp.org/rec/conf/models/BarkowskyG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-00623, author = {Matthias Barkowsky and Holger Giese}, title = {Triple Graph Grammars for Multi-version Models}, journal = {CoRR}, volume = {abs/2301.00623}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.00623}, doi = {10.48550/ARXIV.2301.00623}, eprinttype = {arXiv}, eprint = {2301.00623}, timestamp = {Tue, 10 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-00623.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-00624, author = {Matthias Barkowsky and Holger Giese}, title = {Modular and Incremental Global Model Management with Extended Generalized Discrimination Networks}, journal = {CoRR}, volume = {abs/2301.00624}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.00624}, doi = {10.48550/ARXIV.2301.00624}, eprinttype = {arXiv}, eprint = {2301.00624}, timestamp = {Tue, 10 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-00624.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-02105, author = {Matthias Barkowsky and Holger Giese}, title = {Incremental Model Transformations with Triple Graph Grammars for Multi-version Models}, journal = {CoRR}, volume = {abs/2307.02105}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.02105}, doi = {10.48550/ARXIV.2307.02105}, eprinttype = {arXiv}, eprint = {2307.02105}, timestamp = {Mon, 10 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-02105.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BandyopadhyaySM22, author = {Soumyadip Bandyopadhyay and Dipankar Sarkar and Chittaranjan A. Mandal and Holger Giese}, title = {Translation validation of coloured Petri net models of programs on integers}, journal = {Acta Informatica}, volume = {59}, number = {6}, pages = {725--759}, year = {2022}, url = {https://doi.org/10.1007/s00236-022-00419-z}, doi = {10.1007/S00236-022-00419-Z}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/acta/BandyopadhyaySM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/SakizloglouGBG22, author = {Lucas Sakizloglou and Sona Ghahremani and Matthias Barkowsky and Holger Giese}, title = {Incremental execution of temporal graph queries over runtime models with history and its applications}, journal = {Softw. Syst. Model.}, volume = {21}, number = {5}, pages = {1789--1829}, year = {2022}, url = {https://doi.org/10.1007/s10270-021-00950-6}, doi = {10.1007/S10270-021-00950-6}, timestamp = {Mon, 24 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/SakizloglouGBG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/SchneiderMG22, author = {Sven Schneider and Maria Maximova and Holger Giese}, editor = {Nicolas Behr and Daniel Str{\"{u}}ber}, title = {Probabilistic Metric Temporal Graph Logic}, booktitle = {Graph Transformation - 15th International Conference, {ICGT} 2022, Held as Part of {STAF} 2022, Nantes, France, July 7-8, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13349}, pages = {58--76}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-09843-7\_4}, doi = {10.1007/978-3-031-09843-7\_4}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/SchneiderMG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BarkowskyG22, author = {Matthias Barkowsky and Holger Giese}, editor = {Nicolas Behr and Daniel Str{\"{u}}ber}, title = {Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness}, booktitle = {Graph Transformation - 15th International Conference, {ICGT} 2022, Held as Part of {STAF} 2022, Nantes, France, July 7-8, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13349}, pages = {118--136}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-09843-7\_7}, doi = {10.1007/978-3-031-09843-7\_7}, timestamp = {Mon, 04 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BarkowskyG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/SchneiderMG22a, author = {Sven Schneider and Maria Maximova and Holger Giese}, editor = {Nicolas Behr and Daniel Str{\"{u}}ber}, title = {Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction}, booktitle = {Graph Transformation - 15th International Conference, {ICGT} 2022, Held as Part of {STAF} 2022, Nantes, France, July 7-8, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13349}, pages = {173--192}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-09843-7\_10}, doi = {10.1007/978-3-031-09843-7\_10}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/SchneiderMG22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/0002AWLG22, author = {Christian Z{\"{o}}llner and Christian M. Adriano and Simon Wietheger and Leen Lambers and Holger Giese}, editor = {Thomas K{\"{u}}hn and Vasco Sousa}, title = {Tool support for the teaching of state-based behavior modeling}, booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal, Quebec, Canada, October 23-28, 2022}, pages = {87--94}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3550356.3556501}, doi = {10.1145/3550356.3556501}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/0002AWLG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-04198, author = {Matthias Barkowsky and Holger Giese}, title = {Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness}, journal = {CoRR}, volume = {abs/2205.04198}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.04198}, doi = {10.48550/ARXIV.2205.04198}, eprinttype = {arXiv}, eprint = {2205.04198}, timestamp = {Wed, 11 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-04198.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/SchneiderMSG21, author = {Sven Schneider and Maria Maximova and Lucas Sakizloglou and Holger Giese}, title = {Formal testing of timed graph transformation systems using metric temporal graph logic}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {3}, pages = {411--488}, year = {2021}, url = {https://doi.org/10.1007/s10009-020-00585-w}, doi = {10.1007/S10009-020-00585-W}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/SchneiderMSG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsos/GhahremaniG21, author = {Sona Ghahremani and Holger Giese}, editor = {Esam El{-}Araby and Vana Kalogeraki and Danilo Pianini and Fr{\'{e}}d{\'{e}}ric Lassabe and Barry Porter and Sona Ghahremani and Ingrid Nunes and Mohamed Bakhouya and Sven Tomforde}, title = {Hybrid Planning with Receding Horizon: {A} Case for Meta-self-awareness}, booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September 27 - Oct. 1, 2021}, pages = {131--138}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ACSOS-C52956.2021.00045}, doi = {10.1109/ACSOS-C52956.2021.00045}, timestamp = {Tue, 30 Nov 2021 17:31:23 +0100}, biburl = {https://dblp.org/rec/conf/acsos/GhahremaniG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/Giese21, author = {Holger Giese}, editor = {Fabio Gadducci and Alexandra Silva}, title = {Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk)}, booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2021, August 31 to September 3, 2021, Salzburg, Austria}, series = {LIPIcs}, volume = {211}, pages = {2:1--2:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.2}, doi = {10.4230/LIPICS.CALCO.2021.2}, timestamp = {Mon, 08 Nov 2021 14:07:50 +0100}, biburl = {https://dblp.org/rec/conf/calco/Giese21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/Maximova0G21, author = {Maria Maximova and Sven Schneider and Holger Giese}, editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga}, title = {Compositional Analysis of Probabilistic Timed Graph Transformation Systems}, booktitle = {Fundamental Approaches to Software Engineering - 24th International Conference, {FASE} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12649}, pages = {196--217}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-71500-7\_10}, doi = {10.1007/978-3-030-71500-7\_10}, timestamp = {Fri, 14 May 2021 08:34:15 +0200}, biburl = {https://dblp.org/rec/conf/fase/Maximova0G21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/SakizloglouBG21, author = {Lucas Sakizloglou and Matthias Barkowsky and Holger Giese}, editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga}, title = {Keeping Pace with the History of Evolving Runtime Models}, booktitle = {Fundamental Approaches to Software Engineering - 24th International Conference, {FASE} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12649}, pages = {262--268}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-71500-7\_13}, doi = {10.1007/978-3-030-71500-7\_13}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/SakizloglouBG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BarkowskyG21, author = {Matthias Barkowsky and Holger Giese}, editor = {Fabio Gadducci and Timo Kehrer}, title = {Host-Graph-Sensitive {RETE} Nets for Incremental Graph Pattern Matching}, booktitle = {Graph Transformation - 14th International Conference, {ICGT} 2021, Held as Part of {STAF} 2021, Virtual Event, June 24-25, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12741}, pages = {145--163}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-78946-6\_8}, doi = {10.1007/978-3-030-78946-6\_8}, timestamp = {Thu, 01 Jul 2021 16:44:47 +0200}, biburl = {https://dblp.org/rec/conf/gg/BarkowskyG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Maximova0G21, author = {Maria Maximova and Sven Schneider and Holger Giese}, editor = {Fabio Gadducci and Timo Kehrer}, title = {Interval Probabilistic Timed Graph Transformation Systems}, booktitle = {Graph Transformation - 14th International Conference, {ICGT} 2021, Held as Part of {STAF} 2021, Virtual Event, June 24-25, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12741}, pages = {221--239}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-78946-6\_12}, doi = {10.1007/978-3-030-78946-6\_12}, timestamp = {Tue, 13 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/Maximova0G21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/0002BMG21, author = {Christian Z{\"{o}}llner and Matthias Barkowsky and Maria Maximova and Holger Giese}, editor = {Fabio Gadducci and Timo Kehrer}, title = {On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems}, booktitle = {Graph Transformation - 14th International Conference, {ICGT} 2021, Held as Part of {STAF} 2021, Virtual Event, June 24-25, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12741}, pages = {262--279}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-78946-6\_14}, doi = {10.1007/978-3-030-78946-6\_14}, timestamp = {Tue, 13 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/0002BMG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seams/BarkowskyBG21, author = {Matthias Barkowsky and Thomas Brand and Holger Giese}, title = {Improving Adaptive Monitoring with Incremental Runtime Model Queries}, booktitle = {16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24, 2021}, pages = {71--77}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/SEAMS51251.2021.00019}, doi = {10.1109/SEAMS51251.2021.00019}, timestamp = {Fri, 02 Jul 2021 15:15:55 +0200}, biburl = {https://dblp.org/rec/conf/seams/BarkowskyBG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-08418, author = {Sven Schneider and Maria Maximova and Holger Giese}, title = {Probabilistic Metric Temporal Graph Logic}, journal = {CoRR}, volume = {abs/2106.08418}, year = {2021}, url = {https://arxiv.org/abs/2106.08418}, eprinttype = {arXiv}, eprint = {2106.08418}, timestamp = {Tue, 29 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-08418.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-11170, author = {Sona Ghahremani and Holger Giese}, title = {Hybrid Planning with Receding Horizon: {A} Case for Meta-self-awareness}, journal = {CoRR}, volume = {abs/2108.11170}, year = {2021}, url = {https://arxiv.org/abs/2108.11170}, eprinttype = {arXiv}, eprint = {2108.11170}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-11170.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computers/GhahremaniG20, author = {Sona Ghahremani and Holger Giese}, title = {Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements}, journal = {Comput.}, volume = {9}, number = {1}, pages = {16}, year = {2020}, url = {https://doi.org/10.3390/computers9010016}, doi = {10.3390/COMPUTERS9010016}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computers/GhahremaniG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/BarkowskyG20, author = {Matthias Barkowsky and Holger Giese}, title = {Hybrid search plan generation for generalized graph pattern matching}, journal = {J. Log. Algebraic Methods Program.}, volume = {114}, pages = {100563}, year = {2020}, url = {https://doi.org/10.1016/j.jlamp.2020.100563}, doi = {10.1016/J.JLAMP.2020.100563}, timestamp = {Wed, 15 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/BarkowskyG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/taas/GhahremaniGV20, author = {Sona Ghahremani and Holger Giese and Thomas Vogel}, title = {Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures}, journal = {{ACM} Trans. Auton. Adapt. Syst.}, volume = {14}, number = {3}, pages = {12:1--12:41}, year = {2020}, url = {https://doi.org/10.1145/3380965}, doi = {10.1145/3380965}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/taas/GhahremaniGV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/0001DG20, author = {Sven Schneider and Johannes Dyck and Holger Giese}, editor = {Fabio Gadducci and Timo Kehrer}, title = {Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions}, booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020, Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12150}, pages = {257--275}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51372-6\_15}, doi = {10.1007/978-3-030-51372-6\_15}, timestamp = {Tue, 30 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/0001DG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/SchneiderSMG20, author = {Sven Schneider and Lucas Sakizloglou and Maria Maximova and Holger Giese}, editor = {Fabio Gadducci and Timo Kehrer}, title = {Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic}, booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020, Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12150}, pages = {276--294}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51372-6\_16}, doi = {10.1007/978-3-030-51372-6\_16}, timestamp = {Tue, 30 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/SchneiderSMG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/ZollnerBMSG20, author = {Christian Z{\"{o}}llner and Matthias Barkowsky and Maria Maximova and Melanie Schneider and Holger Giese}, editor = {Fabio Gadducci and Timo Kehrer}, title = {A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies}, booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020, Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12150}, pages = {325--334}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51372-6\_20}, doi = {10.1007/978-3-030-51372-6\_20}, timestamp = {Tue, 30 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/ZollnerBMSG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HanselADG20, author = {Joachim H{\"{a}}nsel and Christian M. Adriano and Johannes Dyck and Holger Giese}, editor = {Shinichi Honiden and Elisabetta Di Nitto and Radu Calinescu}, title = {Collective risk minimization via a bayesian model for statistical software testing}, booktitle = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020}, pages = {45--56}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3387939.3388616}, doi = {10.1145/3387939.3388616}, timestamp = {Thu, 24 Sep 2020 12:08:03 +0200}, biburl = {https://dblp.org/rec/conf/icse/HanselADG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/SakizloglouGBBG20, author = {Lucas Sakizloglou and Sona Ghahremani and Thomas Brand and Matthias Barkowsky and Holger Giese}, editor = {Shinichi Honiden and Elisabetta Di Nitto and Radu Calinescu}, title = {Towards highly scalable runtime models with history}, booktitle = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020}, pages = {188--194}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3387939.3388614}, doi = {10.1145/3387939.3388614}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/SakizloglouGBBG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/GieseL020, author = {Holger Giese and Leen Lambers and Christian Z{\"{o}}llner}, editor = {Esther Guerra and Ludovico Iovino}, title = {From classic to agile: experiences from more than a decade of project-based modeling education}, booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings}, pages = {22:1--22:10}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3417990.3418743}, doi = {10.1145/3417990.3418743}, timestamp = {Wed, 23 Feb 2022 12:16:51 +0100}, biburl = {https://dblp.org/rec/conf/models/GieseL020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/SakizloglouGBG20, author = {Lucas Sakizloglou and Sona Ghahremani and Matthias Barkowsky and Holger Giese}, editor = {Eugene Syriani and Houari A. Sahraoui and Juan de Lara and Silvia Abrah{\~{a}}o}, title = {A scalable querying scheme for memory-efficient runtime models with history}, booktitle = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020}, pages = {175--186}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3365438.3410961}, doi = {10.1145/3365438.3410961}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/models/SakizloglouGBG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-03727, author = {Lucas Sakizloglou and Sona Ghahremani and Thomas Brand and Matthias Barkowsky and Holger Giese}, title = {Towards Highly Scalable Runtime Models with History}, journal = {CoRR}, volume = {abs/2004.03727}, year = {2020}, url = {https://arxiv.org/abs/2004.03727}, eprinttype = {arXiv}, eprint = {2004.03727}, timestamp = {Tue, 14 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-03727.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-07460, author = {Joachim H{\"{a}}nsel and Christian M. Adriano and Johannes Dyck and Holger Giese}, title = {Collective Risk Minimization via a Bayesian Model for Statistical Software Testing}, journal = {CoRR}, volume = {abs/2005.07460}, year = {2020}, url = {https://arxiv.org/abs/2005.07460}, eprinttype = {arXiv}, eprint = {2005.07460}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-07460.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-11180, author = {Sona Ghahremani and Holger Giese and Thomas Vogel}, title = {Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures}, journal = {CoRR}, volume = {abs/2005.11180}, year = {2020}, url = {https://arxiv.org/abs/2005.11180}, eprinttype = {arXiv}, eprint = {2005.11180}, timestamp = {Thu, 28 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-11180.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2008-04230, author = {Lucas Sakizloglou and Sona Ghahremani and Matthias Barkowsky and Holger Giese}, title = {A Scalable Querying Scheme for Memory-efficient Runtime Models with History}, journal = {CoRR}, volume = {abs/2008.04230}, year = {2020}, url = {https://arxiv.org/abs/2008.04230}, eprinttype = {arXiv}, eprint = {2008.04230}, timestamp = {Fri, 14 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-04230.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/DyckGL19, author = {Johannes Dyck and Holger Giese and Leen Lambers}, title = {Automatic verification of behavior preservation at the transformation level for relational model transformation}, journal = {Softw. Syst. Model.}, volume = {18}, number = {5}, pages = {2937--2972}, year = {2019}, url = {https://doi.org/10.1007/s10270-018-00706-9}, doi = {10.1007/S10270-018-00706-9}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/DyckGL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/GieseMSS19, author = {Holger Giese and Maria Maximova and Lucas Sakizloglou and Sven Schneider}, editor = {Reiner H{\"{a}}hnle and Wil M. P. van der Aalst}, title = {Metric Temporal Graph Logic over Typed Attributed Graphs}, booktitle = {Fundamental Approaches to Software Engineering - 22nd International Conference, {FASE} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11424}, pages = {282--298}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-16722-6\_16}, doi = {10.1007/978-3-030-16722-6\_16}, timestamp = {Tue, 29 Dec 2020 18:33:00 +0100}, biburl = {https://dblp.org/rec/conf/fase/GieseMSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BarkowskyG19, author = {Matthias Barkowsky and Holger Giese}, editor = {Esther Guerra and Fernando Orejas}, title = {Hybrid Search Plan Generation for Generalized Graph Pattern Matching}, booktitle = {Graph Transformation - 12th International Conference, {ICGT} 2019, Held as Part of {STAF} 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11629}, pages = {212--229}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-23611-3\_13}, doi = {10.1007/978-3-030-23611-3\_13}, timestamp = {Mon, 01 Jul 2019 14:24:31 +0200}, biburl = {https://dblp.org/rec/conf/gg/BarkowskyG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ErbelBGG19, author = {Johannes Erbel and Thomas Brand and Holger Giese and Jens Grabowski}, editor = {Marin Litoiu and Siobh{\'{a}}n Clarke and Kenji Tei}, title = {OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management}, booktitle = {Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {188--194}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1109/SEAMS.2019.00032}, doi = {10.1109/SEAMS.2019.00032}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/icse/ErbelBGG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indiaSE/Giese19, author = {Holger Giese}, editor = {Ravindra Naik and Santonu Sarkar and Thomas T. Hildebrandt and Atul Kumar and Richa Sharma}, title = {Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities}, booktitle = {Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), {ISEC} 2019, Pune, India, February 14-16, 2019}, pages = {1:1}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3299771.3301650}, doi = {10.1145/3299771.3301650}, timestamp = {Tue, 05 Mar 2019 07:32:19 +0100}, biburl = {https://dblp.org/rec/conf/indiaSE/Giese19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BrandG19, author = {Thomas Brand and Holger Giese}, editor = {Marouane Kessentini and Tao Yue and Alexander Pretschner and Sebastian Voss and Loli Burgue{\~{n}}o}, title = {Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances}, booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20, 2019}, pages = {227--232}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MODELS.2019.00006}, doi = {10.1109/MODELS.2019.00006}, timestamp = {Tue, 24 Nov 2020 14:44:06 +0100}, biburl = {https://dblp.org/rec/conf/models/BrandG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/BrandG19, author = {Thomas Brand and Holger Giese}, title = {Generic Adaptive Monitoring Based on Executed Architecture Runtime Model Queries and Events}, booktitle = {13th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2019, Umea, Sweden, June 16-20, 2019}, pages = {17--22}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/SASO.2019.00012}, doi = {10.1109/SASO.2019.00012}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/saso/BrandG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/GhahremaniG19, author = {Sona Ghahremani and Holger Giese}, title = {Performance Evaluation for Self-Healing Systems: Current Practice {\&} Open Issues}, booktitle = {{IEEE} 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019}, pages = {116--119}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/FAS-W.2019.00039}, doi = {10.1109/FAS-W.2019.00039}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/saso/GhahremaniG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/MaximovaGK18, author = {Maria Maximova and Holger Giese and Christian Krause}, title = {Probabilistic timed graph transformation systems}, journal = {J. Log. Algebraic Methods Program.}, volume = {101}, pages = {110--131}, year = {2018}, url = {https://doi.org/10.1016/j.jlamp.2018.09.003}, doi = {10.1016/J.JLAMP.2018.09.003}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/MaximovaGK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/StaronMTBGS18, author = {Miroslaw Staron and Wilhelm Meding and Matthias Tichy and Jonas Bjurhede and Holger Giese and Ola Soder}, title = {Industrial experiences from evolving measurement systems into self-healing systems for improved availability}, journal = {Softw. Pract. Exp.}, volume = {48}, number = {3}, pages = {719--739}, year = {2018}, url = {https://doi.org/10.1002/spe.2522}, doi = {10.1002/SPE.2522}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/StaronMTBGS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icac/GhahremaniAG18, author = {Sona Ghahremani and Christian M. Adriano and Holger Giese}, title = {Training Prediction Models for Rule-Based Self-Adaptive Systems}, booktitle = {2018 {IEEE} International Conference on Autonomic Computing, {ICAC} 2018, Trento, Italy, September 3-7, 2018}, pages = {187--192}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/ICAC.2018.00031}, doi = {10.1109/ICAC.2018.00031}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icac/GhahremaniAG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/SarkarKBG18, author = {Santonu Sarkar and Prateek Kandelwal and Soumyadip Bandyopadhyay and Holger Giese}, editor = {Leszek A. Maciaszek and Marten van Sinderen}, title = {Analysis of {GPGPU} Programs for Data-race and Barrier Divergence}, booktitle = {Proceedings of the 13th International Conference on Software Technologies, {ICSOFT} 2018, Porto, Portugal, July 26-28, 2018}, pages = {494--505}, publisher = {SciTePress}, year = {2018}, url = {https://doi.org/10.5220/0006834904940505}, doi = {10.5220/0006834904940505}, timestamp = {Wed, 29 Aug 2018 15:24:05 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/SarkarKBG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BrandG18, author = {Thomas Brand and Holger Giese}, editor = {Regina Hebig and Thorsten Berger}, title = {Towards software architecture runtime models for continuous adaptive monitoring}, booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2245}, pages = {72--77}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2245/mrt\_paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/BrandG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/BrandG18, author = {Thomas Brand and Holger Giese}, title = {Towards Generic Adaptive Monitoring}, booktitle = {12th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2018, Trento, Italy, September 3-7, 2018}, pages = {156--161}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/SASO.2018.00027}, doi = {10.1109/SASO.2018.00027}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/saso/BrandG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-03549, author = {Sona Ghahremani and Holger Giese and Thomas Vogel}, title = {Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures}, journal = {CoRR}, volume = {abs/1805.03549}, year = {2018}, url = {http://arxiv.org/abs/1805.03549}, eprinttype = {arXiv}, eprint = {1805.03549}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-03549.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-03599, author = {Sona Ghahremani and Holger Giese and Thomas Vogel}, title = {Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures}, journal = {CoRR}, volume = {abs/1805.03599}, year = {2018}, url = {http://arxiv.org/abs/1805.03599}, eprinttype = {arXiv}, eprint = {1805.03599}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-03599.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-07353, author = {Thomas Vogel and Holger Giese}, title = {Model-Driven Engineering of Self-Adaptive Software with {EUREMA}}, journal = {CoRR}, volume = {abs/1805.07353}, year = {2018}, url = {http://arxiv.org/abs/1805.07353}, eprinttype = {arXiv}, eprint = {1805.07353}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-07353.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-07354, author = {Joachim H{\"{a}}nsel and Thomas Vogel and Holger Giese}, title = {A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models}, journal = {CoRR}, volume = {abs/1805.07354}, year = {2018}, url = {http://arxiv.org/abs/1805.07354}, eprinttype = {arXiv}, eprint = {1805.07354}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-07354.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-07396, author = {Thomas Vogel and Andreas Seibel and Holger Giese}, title = {The Role of Models and Megamodels at Runtime}, journal = {CoRR}, volume = {abs/1805.07396}, year = {2018}, url = {http://arxiv.org/abs/1805.07396}, eprinttype = {arXiv}, eprint = {1805.07396}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-07396.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-07397, author = {Thomas Vogel and Holger Giese}, title = {Adaptation and Abstract Runtime Models}, journal = {CoRR}, volume = {abs/1805.07397}, year = {2018}, url = {http://arxiv.org/abs/1805.07397}, eprinttype = {arXiv}, eprint = {1805.07397}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-07397.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-08677, author = {Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker}, title = {Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems}, journal = {CoRR}, volume = {abs/1805.08677}, year = {2018}, url = {http://arxiv.org/abs/1805.08677}, eprinttype = {arXiv}, eprint = {1805.08677}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-08677.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-08678, author = {Thomas Vogel and Holger Giese}, title = {A language for feedback loops in self-adaptive systems: Executable runtime megamodels}, journal = {CoRR}, volume = {abs/1805.08678}, year = {2018}, url = {http://arxiv.org/abs/1805.08678}, eprinttype = {arXiv}, eprint = {1805.08678}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-08678.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-08679, author = {Thomas Vogel and Holger Giese}, title = {Requirements and Assessment of Languages and Frameworks for Adaptation Models}, journal = {CoRR}, volume = {abs/1805.08679}, year = {2018}, url = {http://arxiv.org/abs/1805.08679}, eprinttype = {arXiv}, eprint = {1805.08679}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-08679.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/HebigG17, author = {Regina Hebig and Holger Giese}, title = {On the complex nature of {MDE} evolution and its impact on changeability}, journal = {Softw. Syst. Model.}, volume = {16}, number = {2}, pages = {333--356}, year = {2017}, url = {https://doi.org/10.1007/s10270-015-0464-2}, doi = {10.1007/S10270-015-0464-2}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/HebigG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/DyckG17, author = {Johannes Dyck and Holger Giese}, editor = {Juan de Lara and Detlef Plump}, title = {k-Inductive Invariant Checking for Graph Transformation Systems}, booktitle = {Graph Transformation - 10th International Conference, {ICGT} 2017, Held as Part of {STAF} 2017, Marburg, Germany, July 18-19, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10373}, pages = {142--158}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-61470-0\_9}, doi = {10.1007/978-3-319-61470-0\_9}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/DyckG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/MaximovaGK17, author = {Maria Maximova and Holger Giese and Christian Krause}, editor = {Juan de Lara and Detlef Plump}, title = {Probabilistic Timed Graph Transformation Systems}, booktitle = {Graph Transformation - 10th International Conference, {ICGT} 2017, Held as Part of {STAF} 2017, Marburg, Germany, July 18-19, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10373}, pages = {159--175}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-61470-0\_10}, doi = {10.1007/978-3-319-61470-0\_10}, timestamp = {Fri, 14 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/MaximovaGK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icac/GhahremaniG017, author = {Sona Ghahremani and Holger Giese and Thomas Vogel}, editor = {Xiaorui Wang and Christopher Stewart and Hui Lei}, title = {Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures}, booktitle = {2017 {IEEE} International Conference on Autonomic Computing, {ICAC} 2017, Columbus, OH, USA, July 17-21, 2017}, pages = {59--68}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICAC.2017.35}, doi = {10.1109/ICAC.2017.35}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icac/GhahremaniG017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HanselG17, author = {Joachim H{\"{a}}nsel and Holger Giese}, title = {Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems}, booktitle = {2nd {IEEE/ACM} International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017}, pages = {9--12}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/VACE.2017.5}, doi = {10.1109/VACE.2017.5}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/icse/HanselG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/BlouinBSGDBTN17, author = {Dominique Blouin and Matthias Barkowski and Melanie Schneider and Holger Giese and Johannes Dyck and Etienne Borde and Dalila Tamzalit and Joost Noppen}, title = {A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models}, booktitle = {{IEEE} 25th International Requirements Engineering Conference Workshops, {RE} 2017 Workshops, Lisbon, Portugal, September 4-8, 2017}, pages = {36--45}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/REW.2017.52}, doi = {10.1109/REW.2017.52}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/BlouinBSGDBTN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/KounevLBBCDEGGGIKZ17, author = {Samuel Kounev and Peter R. Lewis and Kirstie L. Bellman and Nelly Bencomo and Javier C{\'{a}}mara and Ada Diaconescu and Lukas Esterle and Kurt Geihs and Holger Giese and Sebastian G{\"{o}}tz and Paola Inverardi and Jeffrey O. Kephart and Andrea Zisman}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {The Notion of Self-aware Computing}, booktitle = {Self-Aware Computing Systems}, pages = {3--16}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_1}, doi = {10.1007/978-3-319-47474-8\_1}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/KounevLBBCDEGGGIKZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/CamaraBKABDGGIKT17, author = {Javier C{\'{a}}mara and Kirstie L. Bellman and Jeffrey O. Kephart and Marco Autili and Nelly Bencomo and Ada Diaconescu and Holger Giese and Sebastian G{\"{o}}tz and Paola Inverardi and Samuel Kounev and Massimo Tivoli}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {Self-aware Computing Systems: Related Concepts and Research Areas}, booktitle = {Self-Aware Computing Systems}, pages = {17--49}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_2}, doi = {10.1007/978-3-319-47474-8\_2}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/CamaraBKABDGGIKT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/LewisBLEGDG17, author = {Peter R. Lewis and Kirstie L. Bellman and Christopher Landauer and Lukas Esterle and Kyrre Glette and Ada Diaconescu and Holger Giese}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {Towards a Framework for the Levels and Aspects of Self-aware Computing Systems}, booktitle = {Self-Aware Computing Systems}, pages = {51--85}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_3}, doi = {10.1007/978-3-319-47474-8\_3}, timestamp = {Wed, 19 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/17/LewisBLEGDG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/KephartMDGHKKLRS17, author = {Jeffrey O. Kephart and Martina Maggio and Ada Diaconescu and Holger Giese and Henry Hoffmann and Samuel Kounev and Anne Koziolek and Peter R. Lewis and Anders Robertsson and Simon Spinner}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {Reference Scenarios for Self-aware Computing}, booktitle = {Self-Aware Computing Systems}, pages = {87--106}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_4}, doi = {10.1007/978-3-319-47474-8\_4}, timestamp = {Wed, 19 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/17/KephartMDGHKKLRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/Giese0DGK17, author = {Holger Giese and Thomas Vogel and Ada Diaconescu and Sebastian G{\"{o}}tz and Samuel Kounev}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {Architectural Concepts for Self-aware Computing Systems}, booktitle = {Self-Aware Computing Systems}, pages = {109--147}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_5}, doi = {10.1007/978-3-319-47474-8\_5}, timestamp = {Wed, 28 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/Giese0DGK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/Giese0DGB17, author = {Holger Giese and Thomas Vogel and Ada Diaconescu and Sebastian G{\"{o}}tz and Kirstie L. Bellman}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {Generic Architectures for Individual Self-aware Computing Systems}, booktitle = {Self-Aware Computing Systems}, pages = {149--189}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_6}, doi = {10.1007/978-3-319-47474-8\_6}, timestamp = {Wed, 28 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/Giese0DGB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/DiaconescuBEGGLZ17, author = {Ada Diaconescu and Kirstie L. Bellman and Lukas Esterle and Holger Giese and Sebastian G{\"{o}}tz and Peter R. Lewis and Andrea Zisman}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {Architectures for Collective Self-aware Computing Systems}, booktitle = {Self-Aware Computing Systems}, pages = {191--235}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_7}, doi = {10.1007/978-3-319-47474-8\_7}, timestamp = {Wed, 19 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/17/DiaconescuBEGGLZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/Giese0DGBGKB17, author = {Holger Giese and Thomas Vogel and Ada Diaconescu and Sebastian G{\"{o}}tz and Nelly Bencomo and Kurt Geihs and Samuel Kounev and Kirstie L. Bellman}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {State of the Art in Architectures for Self-aware Computing Systems}, booktitle = {Self-Aware Computing Systems}, pages = {237--275}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_8}, doi = {10.1007/978-3-319-47474-8\_8}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/Giese0DGBGKB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/MaggioAEGKMPRW17, author = {Martina Maggio and Tarek F. Abdelzaher and Lukas Esterle and Holger Giese and Jeffrey O. Kephart and Ole J. Mengshoel and Alessandro Vittorio Papadopoulos and Anders Robertsson and Katinka Wolter}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {Self-adaptation for Individual Self-aware Computing Systems}, booktitle = {Self-Aware Computing Systems}, pages = {375--399}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_12}, doi = {10.1007/978-3-319-47474-8\_12}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/MaggioAEGKMPRW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/KephartDGRALFEF17, author = {Jeffrey O. Kephart and Ada Diaconescu and Holger Giese and Anders Robertsson and Tarek F. Abdelzaher and Peter R. Lewis and Antonio Filieri and Lukas Esterle and Sylvain Frey}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {Self-adaptation in Collective Self-aware Computing Systems}, booktitle = {Self-Aware Computing Systems}, pages = {401--435}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_13}, doi = {10.1007/978-3-319-47474-8\_13}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/KephartDGRALFEF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/BirkeCCEGGGRZ17, author = {Robert Birke and Javier C{\'{a}}mara and Lydia Y. Chen and Lukas Esterle and Kurt Geihs and Erol Gelenbe and Holger Giese and Anders Robertsson and Xiaoyun Zhu}, editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu}, title = {Self-aware Computing Systems: Open Challenges and Future Research Directions}, booktitle = {Self-Aware Computing Systems}, pages = {709--722}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-47474-8\_26}, doi = {10.1007/978-3-319-47474-8\_26}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/BirkeCCEGGGRZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2013adaptive, editor = {Rog{\'{e}}rio de Lemos and David Garlan and Carlo Ghezzi and Holger Giese}, title = {Software Engineering for Self-Adaptive Systems {III.} Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {9640}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-74183-3}, doi = {10.1007/978-3-319-74183-3}, isbn = {978-3-319-74182-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2013adaptive.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euromicro/BlouinG16, author = {Dominique Blouin and Holger Giese}, title = {Combining Requirements, Use Case Maps and {AADL} Models for Safety-Critical Systems Design}, booktitle = {42th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2016, Limassol, Cyprus, August 31 - Sept. 2, 2016}, pages = {266--274}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/SEAA.2016.15}, doi = {10.1109/SEAA.2016.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/euromicro/BlouinG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/Giese16, author = {Holger Giese}, editor = {Olga Kouchnarenko and Ramtin Khosravi}, title = {Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract)}, booktitle = {Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10231}, pages = {3--9}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-57666-4\_1}, doi = {10.1007/978-3-319-57666-4\_1}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/facs2/Giese16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BeyhlBGL16, author = {Thomas Beyhl and Dominique Blouin and Holger Giese and Leen Lambers}, editor = {Rachid Echahed and Mark Minas}, title = {On the Operationalization of Graph Queries with Generalized Discrimination Networks}, booktitle = {Graph Transformation - 9th International Conference, {ICGT} 2016, in Memory of Hartmut Ehrig, Held as Part of {STAF} 2016, Vienna, Austria, July 5-6, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9761}, pages = {170--186}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40530-8\_11}, doi = {10.1007/978-3-319-40530-8\_11}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/BeyhlBGL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/GhahremaniGV16, author = {Sona Ghahremani and Holger Giese and Thomas Vogel}, editor = {Giacomo Cabri and Gauthier Picard and Niranjan Suri}, title = {Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures}, booktitle = {10th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2016, Augsburg, Germany, September 12-16, 2016}, pages = {142--143}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/SASO.2016.21}, doi = {10.1109/SASO.2016.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/saso/GhahremaniGV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/staf/VangheluweAGBSN16, author = {Hans Vangheluwe and Vasco Amaral and Holger Giese and Jan F. Broenink and Bernhard Sch{\"{a}}tz and Alexander Norta and Paulo Carreira and Ivan Lukovic and Tanja Mayerhofer and Manuel Wimmer and Antonio Vallecillo}, editor = {Catherine Dubois and Francesco Parisi{-}Presicce and Dimitris S. Kolovos and Nicholas Matragkas}, title = {{MPM4CPS:} Multi-Paradigm Modelling for Cyber-Physical Systems}, booktitle = {Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of {STAF} 2016 co-located with Software Technologies: Applications and Foundations {(STAF} 2016), Vienna, Austria, July 4-7, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1675}, pages = {40--47}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1675/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:10 +0100}, biburl = {https://dblp.org/rec/conf/staf/VangheluweAGBSN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BeyhlG16, author = {Thomas Beyhl and Holger Giese}, editor = {Alexander Heu{\ss}ner and Aleks Kissinger and Anton Wijs}, title = {Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks}, booktitle = {Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016}, series = {{EPTCS}}, volume = {231}, pages = {57--71}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.231.5}, doi = {10.4204/EPTCS.231.5}, timestamp = {Wed, 12 Sep 2018 01:05:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/BeyhlG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icac/2016, editor = {Samuel Kounev and Holger Giese and Jie Liu}, title = {2016 {IEEE} International Conference on Autonomic Computing, {ICAC} 2016, Wuerzburg, Germany, July 17-22, 2016}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://ieeexplore.ieee.org/xpl/conhome/7572801/proceeding}, isbn = {978-1-5090-1654-9}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icac/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecsa/WatzoldtG15, author = {Sebastian W{\"{a}}tzoldt and Holger Giese}, editor = {Ivica Crnkovic}, title = {Modeling Collaborations in Adaptive Systems of Systems}, booktitle = {Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015}, pages = {3:1--3:8}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2797433.2797436}, doi = {10.1145/2797433.2797436}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecsa/WatzoldtG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/GieseVW15, author = {Holger Giese and Thomas Vogel and Sebastian W{\"{a}}tzoldt}, editor = {Mehdi Dastani and Marjan Sirjani}, title = {Towards Smart Systems of Systems}, booktitle = {Fundamentals of Software Engineering - 6th International Conference, {FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9392}, pages = {1--29}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24644-4\_1}, doi = {10.1007/978-3-319-24644-4\_1}, timestamp = {Thu, 31 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsen/GieseVW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/DyckG15, author = {Johannes Dyck and Holger Giese}, editor = {Francesco Parisi{-}Presicce and Bernhard Westfechtel}, title = {Inductive Invariant Checking with Partial Negative Application Conditions}, booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015, Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9151}, pages = {237--253}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21145-9\_15}, doi = {10.1007/978-3-319-21145-9\_15}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/DyckG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/BeyhlG15, author = {Thomas Beyhl and Holger Giese}, editor = {Patrick M{\"{a}}der and Rocco Oliveto}, title = {Traceability Recovery for Innovation Processes}, booktitle = {8th {IEEE/ACM} International Symposium on Software and Systems Traceability, {SST} 2015, Florence, Italy, May 17, 2015}, pages = {22--28}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/SST.2015.11}, doi = {10.1109/SST.2015.11}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/BeyhlG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/DyckGLSG15, author = {Johannes Dyck and Holger Giese and Leen Lambers and Sebastian Schlesinger and Sabine Glesner}, editor = {J{\"{u}}rgen Dingel and Sahar Kokaly and Levi Lucio and Rick Salay and Hans Vangheluwe}, title = {Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations}, booktitle = {Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2015), Ottawa, Canada, September 28, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1500}, pages = {36--45}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1500/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/DyckGLSG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/HanselVG15, author = {Joachim H{\"{a}}nsel and Thomas Vogel and Holger Giese}, title = {A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models}, booktitle = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, {SASO} Workshops 2015, Cambridge, MA, USA, September 21-25, 2015}, pages = {134--139}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/SASOW.2015.27}, doi = {10.1109/SASOW.2015.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/saso/HanselVG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/se/KrauseTG15, author = {Christian Krause and Matthias Tichy and Holger Giese}, editor = {Uwe A{\ss}mann and Birgit Demuth and Thorsten Spitta and Georg P{\"{u}}schel and Ronny Kaiser}, title = {Implementing Graph Transformations in the Bulk Synchronous Parallel Model}, booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik (WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015, Dresden, Germany}, series = {{LNI}}, volume = {{P-239}}, pages = {99--100}, publisher = {{GI}}, year = {2015}, timestamp = {Thu, 14 Nov 2019 16:35:28 +0100}, biburl = {https://dblp.org/rec/conf/se/KrauseTG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/GieseHL14, author = {Holger Giese and Stephan Hildebrandt and Leen Lambers}, title = {Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations}, journal = {Softw. Syst. Model.}, volume = {13}, number = {1}, pages = {273--299}, year = {2014}, url = {https://doi.org/10.1007/s10270-012-0247-y}, doi = {10.1007/S10270-012-0247-Y}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/GieseHL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/taas/VogelG14, author = {Thomas Vogel and Holger Giese}, title = {Model-Driven Engineering of Self-Adaptive Software with {EUREMA}}, journal = {{ACM} Trans. Auton. Adapt. Syst.}, volume = {8}, number = {4}, pages = {18:1--18:33}, year = {2014}, url = {https://doi.org/10.1145/2555612}, doi = {10.1145/2555612}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/taas/VogelG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbt/AnjorinCG0RS14, author = {Anthony Anjorin and Alcino Cunha and Holger Giese and Frank Hermann and Arend Rensink and Andy Sch{\"{u}}rr}, editor = {K. Sel{\c{c}}uk Candan and Sihem Amer{-}Yahia and Nicole Schweikardt and Vassilis Christophides and Vincent Leroy}, title = {BenchmarX}, booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference {(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1133}, pages = {82--86}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1133/paper-13.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:45 +0100}, biburl = {https://dblp.org/rec/conf/edbt/AnjorinCG0RS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/KrauseTG14, author = {Christian Krause and Matthias Tichy and Holger Giese}, editor = {Stefania Gnesi and Arend Rensink}, title = {Implementing Graph Transformations in the Bulk Synchronous Parallel Model}, booktitle = {Fundamental Approaches to Software Engineering - 17th International Conference, {FASE} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8411}, pages = {325--339}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54804-8\_23}, doi = {10.1007/978-3-642-54804-8\_23}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/KrauseTG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/VogelG14, author = {Thomas Vogel and Holger Giese}, editor = {Sebastian G{\"{o}}tz and Nelly Bencomo and Robert B. France}, title = {On Unifying Development Models and Runtime Models}, booktitle = {Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain, September 30, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1270}, pages = {5--10}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1270/mrt14\_submission\_7.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/VogelG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/WatzoldtG14, author = {Sebastian W{\"{a}}tzoldt and Holger Giese}, editor = {Sebastian G{\"{o}}tz and Nelly Bencomo and Robert B. France}, title = {Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling}, booktitle = {Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain, September 30, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1270}, pages = {11--20}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1270/mrt14\_submission\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/WatzoldtG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/2014, editor = {Holger Giese and Barbara K{\"{o}}nig}, title = {Graph Transformation - 7th International Conference, {ICGT} 2014, Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8571}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09108-2}, doi = {10.1007/978-3-319-09108-2}, isbn = {978-3-319-09107-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/HildebrandtLGRGSLAS13, author = {Stephan Hildebrandt and Leen Lambers and Holger Giese and Jan Rieke and Joel Greenyer and Wilhelm Sch{\"{a}}fer and Marius Lauder and Anthony Anjorin and Andy Sch{\"{u}}rr}, title = {A Survey of Triple Graph Grammar Tools}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {57}, year = {2013}, url = {https://doi.org/10.14279/tuj.eceasst.57.865}, doi = {10.14279/TUJ.ECEASST.57.865}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/HildebrandtLGRGSLAS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/Giese13, author = {Holger Giese}, title = {Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {58}, year = {2013}, url = {https://doi.org/10.14279/tuj.eceasst.58.857}, doi = {10.14279/TUJ.ECEASST.58.857}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/Giese13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/KrauseGV13, author = {Christian Krause and Holger Giese and Erik P. de Vink}, title = {Compositional and behavior-preserving reconfiguration of component connectors in Reo}, journal = {J. Vis. Lang. Comput.}, volume = {24}, number = {3}, pages = {153--168}, year = {2013}, url = {https://doi.org/10.1016/j.jvlc.2012.09.002}, doi = {10.1016/J.JVLC.2012.09.002}, timestamp = {Fri, 14 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/KrauseGV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csee/GabrysiakHPG13, author = {Gregor Gabrysiak and Regina Hebig and Lukas Pirl and Holger Giese}, editor = {Tony Cowling and Shawn A. Bohner and Mark A. Ardis}, title = {Cooperating with a non-governmental organization to teach gathering and implementation of requirements}, booktitle = {26th International Conference on Software Engineering Education and Training, CSEE{\&}T 2013, San Francisco, CA, USA, May 19-21, 2013}, pages = {11--20}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/CSEET.2013.6595232}, doi = {10.1109/CSEET.2013.6595232}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csee/GabrysiakHPG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/LemosGGGALSWBBB13, author = {Rog{\'{e}}rio de Lemos and David Garlan and Carlo Ghezzi and Holger Giese and Jesper Andersson and Marin Litoiu and Bradley R. Schmerl and Danny Weyns and Luciano Baresi and Nelly Bencomo and Yuriy Brun and Javier C{\'{a}}mara and Radu Calinescu and Myra B. Cohen and Alessandra Gorla and Vincenzo Grassi and Lars Grunske and Paola Inverardi and Jean{-}Marc J{\'{e}}z{\'{e}}quel and Sam Malek and Raffaela Mirandola and Marco Mori and Hausi A. M{\"{u}}ller and Romain Rouvoy and Cec{\'{\i}}lia M. F. Rubira and {\'{E}}ric Rutten and Mary Shaw and Giordano Tamburrelli and Gabriel Tamura and Norha M. Villegas and Thomas Vogel and Franco Zambonelli}, editor = {Rog{\'{e}}rio de Lemos and David Garlan and Carlo Ghezzi and Holger Giese}, title = {Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances}, booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {9640}, pages = {3--30}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-74183-3\_1}, doi = {10.1007/978-3-319-74183-3\_1}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGGGALSWBBB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/LitoiuSTVMGRR13, author = {Marin Litoiu and Mary Shaw and Gabriel Tamura and Norha M. Villegas and Hausi A. M{\"{u}}ller and Holger Giese and Romain Rouvoy and {\'{E}}ric Rutten}, editor = {Rog{\'{e}}rio de Lemos and David Garlan and Carlo Ghezzi and Holger Giese}, title = {What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?}, booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {9640}, pages = {90--134}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-74183-3\_4}, doi = {10.1007/978-3-319-74183-3\_4}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/LitoiuSTVMGRR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmt/KrauseDG13, author = {Christian Krause and Johannes Dyck and Holger Giese}, editor = {Keith Duddy and Gerti Kappel}, title = {Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations}, booktitle = {Theory and Practice of Model Transformations - 6th International Conference, ICMT@STAF 2013, Budapest, Hungary, June 18-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7909}, pages = {76--91}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38883-5\_10}, doi = {10.1007/978-3-642-38883-5\_10}, timestamp = {Wed, 24 Jun 2020 13:02:21 +0200}, biburl = {https://dblp.org/rec/conf/icmt/KrauseDG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmt/HildebrandtLG13, author = {Stephan Hildebrandt and Leen Lambers and Holger Giese}, editor = {Keith Duddy and Gerti Kappel}, title = {Complete Specification Coverage in Automatically Generated Conformance Test Cases for {TGG} Implementations}, booktitle = {Theory and Practice of Model Transformations - 6th International Conference, ICMT@STAF 2013, Budapest, Hungary, June 18-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7909}, pages = {174--188}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38883-5\_16}, doi = {10.1007/978-3-642-38883-5\_16}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icmt/HildebrandtLG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/BeyhlBG13, author = {Thomas Beyhl and Gregor Berg and Holger Giese}, editor = {Nan Niu and Patrick M{\"{a}}der}, title = {Why innovation processes need to support traceability}, booktitle = {7th International Workshop on Traceability in Emerging Forms of Software Engineering, {TEFSE} 2013, 19 May, 2013, San Francisco, CA, {USA}}, pages = {1--4}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/TEFSE.2013.6620146}, doi = {10.1109/TEFSE.2013.6620146}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/BeyhlBG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/NeumannG13, author = {Stefan Neumann and Holger Giese}, title = {Scalable real-time compatibility for embedded components using language-progressive {TIOA}}, booktitle = {16th {IEEE} International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany, June 19-21, 2013}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ISORC.2013.6913198}, doi = {10.1109/ISORC.2013.6913198}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/NeumannG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/HebigGSS13, author = {Regina Hebig and Holger Giese and Florian Stallmann and Andreas Seibel}, editor = {Ana Moreira and Bernhard Sch{\"{a}}tz and Jeff Gray and Antonio Vallecillo and Peter J. Clarke}, title = {On the Complex Nature of {MDE} Evolution}, booktitle = {Model-Driven Engineering Languages and Systems - 16th International Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8107}, pages = {436--453}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41533-3\_27}, doi = {10.1007/978-3-642-41533-3\_27}, timestamp = {Mon, 21 Jun 2021 12:26:18 +0200}, biburl = {https://dblp.org/rec/conf/models/HebigGSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/se/BeyhlHG13, author = {Thomas Beyhl and Regina Hebig and Holger Giese}, editor = {Stefan Wagner and Horst Lichter}, title = {A Model Management Framework for Maintaining Traceability Links}, booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. M{\"{a}}rz 2013 in Aachen}, series = {{LNI}}, volume = {{P-215}}, pages = {453--457}, publisher = {{GI}}, year = {2013}, url = {https://dl.gi.de/handle/20.500.12116/17397}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/se/BeyhlHG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/HanKKG13, author = {Tingting Han and Christian Krause and Marta Z. Kwiatkowska and Holger Giese}, editor = {Luca Bortolussi and Herbert Wiklicky}, title = {Modal Specifications for Probabilistic Timed Systems}, booktitle = {Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March 23-24, 2013}, series = {{EPTCS}}, volume = {117}, pages = {66--80}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.117.5}, doi = {10.4204/EPTCS.117.5}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HanKKG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/GieseS13, author = {Holger Giese and Wilhelm Sch{\"{a}}fer}, editor = {Javier C{\'{a}}mara and Rog{\'{e}}rio de Lemos and Carlo Ghezzi and Ant{\'{o}}nia Lopes}, title = {Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML}, booktitle = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques}, series = {Lecture Notes in Computer Science}, volume = {7740}, pages = {152--186}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36249-1\_6}, doi = {10.1007/978-3-642-36249-1\_6}, timestamp = {Sun, 02 Jun 2019 20:42:26 +0200}, biburl = {https://dblp.org/rec/series/lncs/GieseS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2010adaptive, editor = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw}, title = {Software Engineering for Self-Adaptive Systems {II} - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {7475}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-35813-5}, doi = {10.1007/978-3-642-35813-5}, isbn = {978-3-642-35812-8}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2010adaptive.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2013cesi, editor = {Margaret M. Burnett and Holger Giese and Tien Nguyen and Yuriy Brun}, title = {Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, {CESI} 2013, San Francisco, California, USA, May 20, 2013}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://ieeexplore.ieee.org/xpl/conhome/6599110/proceeding}, isbn = {978-1-4673-6286-3}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/2013cesi.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbees/2013, editor = {Holger Giese and Michaela Huhn and Jan Phillips and Bernhard Sch{\"{a}}tz}, title = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, publisher = {fortiss GmbH, M{\"{u}}nchen}, year = {2013}, url = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES13Proceedings.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbees/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/LemosGGG13, author = {Rog{\'{e}}rio de Lemos and David Garlan and Carlo Ghezzi and Holger Giese}, title = {Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)}, journal = {Dagstuhl Reports}, volume = {3}, number = {12}, pages = {67--96}, year = {2013}, url = {https://doi.org/10.4230/DagRep.3.12.67}, doi = {10.4230/DAGREP.3.12.67}, timestamp = {Wed, 07 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/LemosGGG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/LambersHGO12, author = {Leen Lambers and Stephan Hildebrandt and Holger Giese and Fernando Orejas}, title = {Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {49}, year = {2012}, url = {https://doi.org/10.14279/tuj.eceasst.49.706}, doi = {10.14279/TUJ.ECEASST.49.706}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/LambersHGO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/HildebrandtLBG12, author = {Stephan Hildebrandt and Leen Lambers and Basil Becker and Holger Giese}, title = {Integration of Triple Graph Grammars and Constraints}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {54}, year = {2012}, url = {https://doi.org/10.14279/tuj.eceasst.54.770}, doi = {10.14279/TUJ.ECEASST.54.770}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/HildebrandtLBG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/GolasLEG12, author = {Ulrike Golas and Leen Lambers and Hartmut Ehrig and Holger Giese}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements}, booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012, Bremen, Germany, September 24-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7562}, pages = {141--155}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33654-6\_10}, doi = {10.1007/978-3-642-33654-6\_10}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/GolasLEG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/GieseL12, author = {Holger Giese and Leen Lambers}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking}, booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012, Bremen, Germany, September 24-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7562}, pages = {249--263}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33654-6\_17}, doi = {10.1007/978-3-642-33654-6\_17}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/GieseL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/KrauseG12, author = {Christian Krause and Holger Giese}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Probabilistic Graph Transformation Systems}, booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012, Bremen, Germany, September 24-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7562}, pages = {311--325}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33654-6\_21}, doi = {10.1007/978-3-642-33654-6\_21}, timestamp = {Fri, 14 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/KrauseG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/GabrysiakGHG12, author = {Gregor Gabrysiak and Markus Guentert and Regina Hebig and Holger Giese}, editor = {Wolfgang Weck and Norbert Seyff}, title = {Teaching requirements engineering with authentic stakeholders: towards a scalable course setting}, booktitle = {Proceedings of the First International Workshop on Software Engineering Education Based on Real-World Experiences, EduRex 2012, Zurich, Switzerland, June 9, 2012}, pages = {1--4}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/EduRex.2012.6225708}, doi = {10.1109/EDUREX.2012.6225708}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/GabrysiakGHG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/MarconiBBBCDGKLMM12, author = {Annapaola Marconi and Antonio Bucchiarone and Konstantinos Bratanis and Antonio Brogi and Javier C{\'{a}}mara and Dimitris Dranidis and Holger Giese and Raman Kazhamiakin and Rog{\'{e}}rio de Lemos and Clarissa Cassales Marquezan and Andreas Metzger}, editor = {Andreas Metzger and Klaus Pohl and Mike P. Papazoglou}, title = {Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems}, booktitle = {First International Workshop on European Software Services and Systems Research - Results and Challenges, S-Cube 2012, Zurich, Switzerland, June 5, 2012}, pages = {40--46}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/S-Cube.2012.6225509}, doi = {10.1109/S-CUBE.2012.6225509}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/MarconiBBBCDGKLMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/VogelG12, author = {Thomas Vogel and Holger Giese}, editor = {Hausi A. M{\"{u}}ller and Luciano Baresi}, title = {A language for feedback loops in self-adaptive systems: Executable runtime megamodels}, booktitle = {7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2012, Zurich, Switzerland, June 4-5, 2012}, pages = {129--138}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/SEAMS.2012.6224399}, doi = {10.1109/SEAMS.2012.6224399}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/VogelG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispw/HebigGG12, author = {Regina Hebig and Gregor Gabrysiak and Holger Giese}, editor = {D. Ross Jeffery and David Raffo and Ove Armbrust and LiGuo Huang}, title = {Towards patterns for MDE-related processes to detect and handle changeability risks}, booktitle = {2012 International Conference on Software and System Process, {ICSSP} 2012, Zurich, Switzerland, June 2-3, 2012}, pages = {38--47}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICSSP.2012.6225978}, doi = {10.1109/ICSSP.2012.6225978}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispw/HebigGG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/HildebrandtLG12, author = {Stephan Hildebrandt and Leen Lambers and Holger Giese}, title = {The MDELab tool framework for the development of correct model transformations with triple graph grammars}, booktitle = {Proceedings of the First Workshop on the Analysis of Model Transformations, AMT@MODELS 2012, Innsbruck, Austria, October 2, 2012}, pages = {33--34}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2432497.2432504}, doi = {10.1145/2432497.2432504}, timestamp = {Wed, 23 Feb 2022 10:19:29 +0100}, biburl = {https://dblp.org/rec/conf/models/HildebrandtLG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/SteudelHG12, author = {Henrik Steudel and Regina Hebig and Holger Giese}, editor = {C{\'{e}}cile Hardebolle and Eugene Syriani and Jonathan Sprinkle and Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros}, title = {A build server for model-driven engineering}, booktitle = {Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012}, pages = {67--72}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2508443.2508455}, doi = {10.1145/2508443.2508455}, timestamp = {Thu, 18 Jul 2019 11:36:32 +0200}, biburl = {https://dblp.org/rec/conf/models/SteudelHG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfm/GieseLBHNVW12, author = {Holger Giese and Leen Lambers and Basil Becker and Stephan Hildebrandt and Stefan Neumann and Thomas Vogel and Sebastian W{\"{a}}tzoldt}, editor = {Marco Bernardo and Vittorio Cortellessa and Alfonso Pierantonio}, title = {Graph Transformations for MDE, Adaptation, and Models at Runtime}, booktitle = {Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {7320}, pages = {137--191}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30982-3\_5}, doi = {10.1007/978-3-642-30982-3\_5}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/sfm/GieseLBHNVW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/simpar/WatzoldtNBG12, author = {Sebastian W{\"{a}}tzoldt and Stefan Neumann and Falk Benke and Holger Giese}, editor = {Itsuki Noda and Noriaki Ando and Davide Brugali and James J. Kuffner}, title = {Integrated Software Development for Embedded Robotic Systems}, booktitle = {Simulation, Modeling, and Programming for Autonomous Robots - Third International Conference, {SIMPAR} 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7628}, pages = {335--348}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34327-8\_31}, doi = {10.1007/978-3-642-34327-8\_31}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/simpar/WatzoldtNBG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wetice/GabrysiakHG12, author = {Gregor Gabrysiak and Regina Hebig and Holger Giese}, editor = {Sumitra Reddy and Khalil Drira}, title = {Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders}, booktitle = {21st {IEEE} International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} 2012, Toulouse, France, June 25-27, 2012}, pages = {220--225}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/WETICE.2012.17}, doi = {10.1109/WETICE.2012.17}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wetice/GabrysiakHG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/SeibelHG12, author = {Andreas Seibel and Regina Hebig and Holger Giese}, editor = {Jane Cleland{-}Huang and Olly Gotel and Andrea Zisman}, title = {Traceability in Model-Driven Engineering: Efficient and Scalable Traceability Maintenance}, booktitle = {Software and Systems Traceability}, pages = {215--240}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-1-4471-2239-5\_10}, doi = {10.1007/978-1-4471-2239-5\_10}, timestamp = {Mon, 29 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/p/SeibelHG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/forte/2012, editor = {Holger Giese and Grigore Rosu}, title = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7273}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30793-5}, doi = {10.1007/978-3-642-30793-5}, isbn = {978-3-642-30792-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbees/2012, editor = {Holger Giese and Michaela Huhn and Jan Phillips and Bernhard Sch{\"{a}}tz}, title = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, publisher = {fortiss GmbH, M{\"{u}}nchen}, year = {2012}, url = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES12Proceedings.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbees/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csse/HenklerOGS11, author = {Stefan Henkler and Simon Oberth{\"{u}}r and Holger Giese and Andreas Seibel}, title = {Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures}, journal = {Comput. Syst. Sci. Eng.}, volume = {26}, number = {6}, year = {2011}, timestamp = {Thu, 23 Aug 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csse/HenklerOGS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/simulation/GieseHH11, author = {Holger Giese and Stefan Henkler and Martin Hirsch}, title = {A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems}, journal = {Simul.}, volume = {87}, number = {9}, pages = {775--808}, year = {2011}, url = {https://doi.org/10.1177/0037549710366824}, doi = {10.1177/0037549710366824}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/simulation/GieseHH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agtive/HildebrandtLGPR11, author = {Stephan Hildebrandt and Leen Lambers and Holger Giese and Dominic Petrick and Ingo Richter}, editor = {Andy Sch{\"{u}}rr and D{\'{a}}niel Varr{\'{o}} and Gergely Varr{\'{o}}}, title = {Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations}, booktitle = {Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, {AGTIVE} 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {7233}, pages = {238--253}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-34176-2\_20}, doi = {10.1007/978-3-642-34176-2\_20}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/agtive/HildebrandtLGPR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/GieseBPRIWC11, author = {Holger Giese and Nelly Bencomo and Liliana Pasquale and Andres J. Ramirez and Paola Inverardi and Sebastian W{\"{a}}tzoldt and Siobh{\'{a}}n Clarke}, editor = {Nelly Bencomo and Robert B. France and Betty H. C. Cheng and Uwe A{\ss}mann}, title = {Living with Uncertainty in the Age of Runtime Models}, booktitle = {Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]}, series = {Lecture Notes in Computer Science}, volume = {8378}, pages = {47--100}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-319-08915-7\_3}, doi = {10.1007/978-3-319-08915-7\_3}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/GieseBPRIWC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmt/BeckerLDBG11, author = {Basil Becker and Leen Lambers and Johannes Dyck and Stefanie Birth and Holger Giese}, editor = {Jordi Cabot and Eelco Visser}, title = {Iterative Development of Consistency-Preserving Rule-Based Refactorings}, booktitle = {Theory and Practice of Model Transformations - 4th International Conference, ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6707}, pages = {123--137}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21732-6\_9}, doi = {10.1007/978-3-642-21732-6\_9}, timestamp = {Wed, 24 Jun 2020 13:02:21 +0200}, biburl = {https://dblp.org/rec/conf/icmt/BeckerLDBG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispw/HebigSG11, author = {Regina Hebig and Andreas Seibel and Holger Giese}, editor = {David Raffo and Dietmar Pfahl and Li Zhang}, title = {Toward a comparable characterization for software development activities in context of {MDE}}, booktitle = {International Conference on Software and Systems Process, {ICSSP} 2011, Honolulu, HI, USA, May 21-22, 2011, Proceedings}, pages = {33--42}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1987875.1987884}, doi = {10.1145/1987875.1987884}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispw/HebigSG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/VogelG11, author = {Thomas Vogel and Holger Giese}, editor = {J{\"{o}}rg Kienzle}, title = {Requirements and Assessment of Languages and Frameworks for Adaptation Models}, booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS} 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7167}, pages = {167--182}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29645-1\_18}, doi = {10.1007/978-3-642-29645-1\_18}, timestamp = {Wed, 23 Feb 2022 12:58:05 +0100}, biburl = {https://dblp.org/rec/conf/models/VogelG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/GabrysiakGS11, author = {Gregor Gabrysiak and Holger Giese and Andreas Seibel}, title = {Why should {I} help you to teach requirements engineering?}, booktitle = {6th International Workshop on Requirements Engineering Education and Training, {REET} 2011, Trento, Italy, August 29, 2011}, pages = {9--13}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/REET.2011.6046271}, doi = {10.1109/REET.2011.6046271}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/GabrysiakGS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sle/SeibelHNG11, author = {Andreas Seibel and Regina Hebig and Stefan Neumann and Holger Giese}, editor = {Anthony M. Sloane and Uwe A{\ss}mann}, title = {A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations}, booktitle = {Software Language Engineering - 4th International Conference, {SLE} 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6940}, pages = {19--39}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-28830-2\_2}, doi = {10.1007/978-3-642-28830-2\_2}, timestamp = {Sat, 19 Oct 2019 19:58:50 +0200}, biburl = {https://dblp.org/rec/conf/sle/SeibelHNG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1111-3110, author = {Christian Krause and Holger Giese}, editor = {Fang Yu and Chao Wang}, title = {Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements}, booktitle = {Proceedings 13th International Workshop on Verification of Infinite-State Systems, {INFINITY} 2011, Taipei, Taiwan, 10th October 2011}, series = {{EPTCS}}, volume = {73}, pages = {64--78}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.73.8}, doi = {10.4204/EPTCS.73.8}, timestamp = {Thu, 23 Dec 2021 10:30:13 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1111-3110.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2007rt, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6100}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-16277-0}, doi = {10.1007/978-3-642-16277-0}, isbn = {978-3-642-16276-3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2007rt.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2011seams, editor = {Holger Giese and Betty H. C. Cheng}, title = {2011 {ICSE} Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011}, publisher = {{ACM}}, year = {2011}, url = {http://dl.acm.org/citation.cfm?id=1988008}, isbn = {978-1-4503-0575-4}, timestamp = {Thu, 06 Aug 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/2011seams.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbees/2011, editor = {Holger Giese and Michaela Huhn and Jan Phillips and Bernhard Sch{\"{a}}tz}, title = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, publisher = {fortiss GmbH, M{\"{u}}nchen}, year = {2011}, url = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES11Proceedings.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbees/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/GieseRSS11, author = {Holger Giese and Bernhard Rumpe and Bernhard Sch{\"{a}}tz and Janos Sztipanovits}, title = {Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)}, journal = {Dagstuhl Reports}, volume = {1}, number = {11}, pages = {1--22}, year = {2011}, url = {https://doi.org/10.4230/DagRep.1.11.1}, doi = {10.4230/DAGREP.1.11.1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GieseRSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/HanyszHUSGBH10, author = {Martin Hanysz and Tobias Hoppe and Axel Uhl and Andreas Seibel and Holger Giese and Philipp Berger and Stephan Hildebrandt}, title = {Navigating Across Non-Navigable Ecore References via {OCL}}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {36}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.36.440}, doi = {10.14279/TUJ.ECEASST.36.440}, timestamp = {Mon, 30 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/HanyszHUSGBH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/SeibelNG10, author = {Andreas Seibel and Stefan Neumann and Holger Giese}, title = {Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance}, journal = {Softw. Syst. Model.}, volume = {9}, number = {4}, pages = {493--528}, year = {2010}, url = {https://doi.org/10.1007/s10270-009-0146-z}, doi = {10.1007/S10270-009-0146-Z}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/SeibelNG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GieseHN10, author = {Holger Giese and Stephan Hildebrandt and Stefan Neumann}, editor = {Gregor Engels and Claus Lewerentz and Wilhelm Sch{\"{a}}fer and Andy Sch{\"{u}}rr and Bernhard Westfechtel}, title = {Model Synchronization at Work: Keeping SysML and {AUTOSAR} Models Consistent}, booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5765}, pages = {555--579}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17322-6\_24}, doi = {10.1007/978-3-642-17322-6\_24}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/GieseHN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10, author = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw and Jesper Andersson and Marin Litoiu and Bradley R. Schmerl and Gabriel Tamura and Norha M. Villegas and Thomas Vogel and Danny Weyns and Luciano Baresi and Basil Becker and Nelly Bencomo and Yuriy Brun and Bojan Cukic and Ronald J. Desmarais and Schahram Dustdar and Gregor Engels and Kurt Geihs and Karl M. G{\"{o}}schka and Alessandra Gorla and Vincenzo Grassi and Paola Inverardi and Gabor Karsai and Jeff Kramer and Ant{\'{o}}nia Lopes and Jeff Magee and Sam Malek and Serge Mankovski and Raffaela Mirandola and John Mylopoulos and Oscar Nierstrasz and Mauro Pezz{\`{e}} and Christian Prehofer and Wilhelm Sch{\"{a}}fer and Richard D. Schlichting and Dennis B. Smith and Jo{\~{a}}o Pedro Sousa and Ladan Tahvildari and Kenny Wong and Jochen Wuttke}, editor = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw}, title = {Software Engineering for Self-Adaptive Systems: {A} Second Research Roadmap}, booktitle = {Software Engineering for Self-Adaptive Systems {II} - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {7475}, pages = {1--32}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-35813-5\_1}, doi = {10.1007/978-3-642-35813-5\_1}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/WeynsSGMMPWAGG10, author = {Danny Weyns and Bradley R. Schmerl and Vincenzo Grassi and Sam Malek and Raffaela Mirandola and Christian Prehofer and Jochen Wuttke and Jesper Andersson and Holger Giese and Karl M. G{\"{o}}schka}, editor = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw}, title = {On Patterns for Decentralized Control in Self-Adaptive Systems}, booktitle = {Software Engineering for Self-Adaptive Systems {II} - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {7475}, pages = {76--107}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-35813-5\_4}, doi = {10.1007/978-3-642-35813-5\_4}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/WeynsSGMMPWAGG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icac/HebigGB10, author = {Regina Hebig and Holger Giese and Basil Becker}, editor = {Danny Weyns and Sam Malek and Jesper Andersson and Bradley R. Schmerl}, title = {Making control loops explicit when architecting self-adaptive systems}, booktitle = {Proceedings of the Second International Workshop on Self-Organizing Architectures, {SOAR} '10, Washington, DC, USA, June 7, 2010}, pages = {21--28}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1809036.1809042}, doi = {10.1145/1809036.1809042}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icac/HebigGB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/VogelG10, author = {Thomas Vogel and Holger Giese}, editor = {Rog{\'{e}}rio de Lemos and Mauro Pezz{\`{e}}}, title = {Adaptation and abstract runtime models}, booktitle = {2010 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2010, Cape Town, South Africa, May 3-4, 2010}, pages = {39--48}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1808984.1808989}, doi = {10.1145/1808984.1808989}, timestamp = {Sun, 02 Oct 2022 16:06:28 +0200}, biburl = {https://dblp.org/rec/conf/icse/VogelG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ChengLGGLMMPT10, author = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and David Garlan and Holger Giese and Marin Litoiu and Jeff Magee and Hausi A. M{\"{u}}ller and Mauro Pezz{\`{e}} and Richard Taylor}, editor = {Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebasti{\'{a}}n Uchitel}, title = {Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems {(SEAMS} 2010)}, booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010}, pages = {447--448}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1810295.1810422}, doi = {10.1145/1810295.1810422}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/ChengLGGLMMPT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/HenklerOGS10, author = {Stefan Henkler and Simon Oberth{\"{u}}r and Holger Giese and Andreas Seibel}, title = {Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures}, booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain, 5-6 May 2010}, pages = {58--65}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ISORC.2010.17}, doi = {10.1109/ISORC.2010.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/HenklerOGS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/GabrysiakGS10, author = {Gregor Gabrysiak and Holger Giese and Andreas Seibel}, editor = {Charles Pecheur and Jamie Andrews and Elisabetta Di Nitto}, title = {Deriving behavior of multi-user processes from interactive requirements validation}, booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010}, pages = {355--356}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1858996.1859073}, doi = {10.1145/1858996.1859073}, timestamp = {Tue, 06 Nov 2018 16:58:23 +0100}, biburl = {https://dblp.org/rec/conf/kbse/GabrysiakGS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/0001SG10, author = {Thomas Vogel and Andreas Seibel and Holger Giese}, editor = {Nelly Bencomo and Gordon S. Blair and Franck Fleurey and C{\'{e}}dric Jeanneret}, title = {Toward Megamodels at Runtime}, booktitle = {Proceedings of the 5th Workshop on Models@run.time, Oslo, Norway, October 5th, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {641}, pages = {13--24}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-641/paper\_14.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/0001SG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/VogelSG10, author = {Thomas Vogel and Andreas Seibel and Holger Giese}, editor = {J{\"{u}}rgen Dingel and Arnor Solberg}, title = {The Role of Models and Megamodels at Runtime}, booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS} 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6627}, pages = {224--238}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21210-9\_22}, doi = {10.1007/978-3-642-21210-9\_22}, timestamp = {Wed, 23 Feb 2022 12:58:06 +0100}, biburl = {https://dblp.org/rec/conf/models/VogelSG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/GabrysiakGSN10, author = {Gregor Gabrysiak and Holger Giese and Andreas Seibel and Stefan Neumann}, title = {Teaching requirements engineering with virtual stakeholders without software engineering knowledge}, booktitle = {5th International Workshop on Requirements Engineering Education and Training, {REET} 2010, Sydney, NSW, Australia, September 28, 2010}, pages = {36--45}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/REET.2010.5633109}, doi = {10.1109/REET.2010.5633109}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/GabrysiakGSN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2010P10431, editor = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw}, title = {Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010}, series = {Dagstuhl Seminar Proceedings}, volume = {10431}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2010}, url = {http://drops.dagstuhl.de/portals/10431/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10431.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isarcs/2010, editor = {Holger Giese}, title = {Architecting Critical Systems, First International Symposium, {ISARCS} 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6150}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13556-9}, doi = {10.1007/978-3-642-13556-9}, isbn = {978-3-642-13555-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isarcs/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbees/2010, editor = {Holger Giese and Michaela Huhn and Jan Phillips and Bernhard Sch{\"{a}}tz}, title = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, publisher = {fortiss GmbH, M{\"{u}}nchen}, year = {2010}, url = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES10Proceedings.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbees/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/LemosGMS10, author = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw}, editor = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw}, title = {10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems}, booktitle = {Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010}, series = {Dagstuhl Seminar Proceedings}, volume = {10431}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2010}, url = {http://drops.dagstuhl.de/opus/volltexte/2011/3089/}, timestamp = {Thu, 10 Jun 2021 13:02:10 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/LemosGMS10a, author = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw}, editor = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw}, title = {10431 Report - Software Engineering for Self-Adaptive Systems}, booktitle = {Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010}, series = {Dagstuhl Seminar Proceedings}, volume = {10431}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2010}, url = {http://drops.dagstuhl.de/opus/volltexte/2011/3088/}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMS10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/LemosGMSABBBBCD10, author = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw and Jesper Andersson and Luciano Baresi and Basil Becker and Nelly Bencomo and Yuriy Brun and Bojan Cukic and Ronald J. Desmarais and Schahram Dustdar and Gregor Engels and Kurt Geihs and Karl M. G{\"{o}}schka and Alessandra Gorla and Vincenzo Grassi and Paola Inverardi and Gabor Karsai and Jeff Kramer and Marin Litoiu and Ant{\'{o}}nia Lopes and Jeff Magee and Sam Malek and Serge Mankovskii and Raffaela Mirandola and John Mylopoulos and Oscar Nierstrasz and Mauro Pezz{\`{e}} and Christian Prehofer and Wilhelm Sch{\"{a}}fer and Richard D. Schlichting and Bradley R. Schmerl and Dennis B. Smith and Jo{\~{a}}o Pedro Sousa and Gabriel Tamura and Ladan Tahvildari and Norha M. Villegas and Thomas Vogel and Danny Weyns and Kenny Wong and Jochen Wuttke}, editor = {Rog{\'{e}}rio de Lemos and Holger Giese and Hausi A. M{\"{u}}ller and Mary Shaw}, title = {Software Engineering for Self-Adaptive Systems: {A} second Research Roadmap}, booktitle = {Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010}, series = {Dagstuhl Seminar Proceedings}, volume = {10431}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2010}, url = {http://drops.dagstuhl.de/opus/volltexte/2011/3156/}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSABBBBCD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/GieseHS09, author = {Holger Giese and Stephan Hildebrandt and Andreas Seibel}, title = {Improved Flexibility and Scalability by Interpreting Story Diagrams}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {18}, year = {2009}, url = {https://doi.org/10.14279/tuj.eceasst.18.268}, doi = {10.14279/TUJ.ECEASST.18.268}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/GieseHS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/GieseW09, author = {Holger Giese and Robert Wagner}, title = {From model transformation to incremental bidirectional model synchronization}, journal = {Softw. Syst. Model.}, volume = {8}, number = {1}, pages = {21--43}, year = {2009}, url = {https://doi.org/10.1007/s10270-008-0089-9}, doi = {10.1007/S10270-008-0089-9}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/GieseW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09, author = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and Holger Giese and Paola Inverardi and Jeff Magee and Jesper Andersson and Basil Becker and Nelly Bencomo and Yuriy Brun and Bojan Cukic and Giovanna Di Marzo Serugendo and Schahram Dustdar and Anthony Finkelstein and Cristina Gacek and Kurt Geihs and Vincenzo Grassi and Gabor Karsai and Holger M. Kienle and Jeff Kramer and Marin Litoiu and Sam Malek and Raffaela Mirandola and Hausi A. M{\"{u}}ller and Sooyong Park and Mary Shaw and Matthias Tichy and Massimo Tivoli and Danny Weyns and Jon Whittle}, editor = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and Holger Giese and Paola Inverardi and Jeff Magee}, title = {Software Engineering for Self-Adaptive Systems: {A} Research Roadmap}, booktitle = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]}, series = {Lecture Notes in Computer Science}, volume = {5525}, pages = {1--26}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02161-9\_1}, doi = {10.1007/978-3-642-02161-9\_1}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BrunSGGKLMPS09, author = {Yuriy Brun and Giovanna Di Marzo Serugendo and Cristina Gacek and Holger Giese and Holger M. Kienle and Marin Litoiu and Hausi A. M{\"{u}}ller and Mauro Pezz{\`{e}} and Mary Shaw}, editor = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and Holger Giese and Paola Inverardi and Jeff Magee}, title = {Engineering Self-Adaptive Systems through Feedback Loops}, booktitle = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]}, series = {Lecture Notes in Computer Science}, volume = {5525}, pages = {48--70}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02161-9\_3}, doi = {10.1007/978-3-642-02161-9\_3}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BrunSGGKLMPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icac/VogelNHGB09, author = {Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker}, editor = {Simon A. Dobson and John Strassner and Manish Parashar and Onn Shehory}, title = {Model-driven architectural monitoring and adaptation for autonomic systems}, booktitle = {Proceedings of the 6th International Conference on Autonomic Computing, {ICAC} 2009, June 15-19, 2009, Barcelona, Spain}, pages = {67--68}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1555228.1555249}, doi = {10.1145/1555228.1555249}, timestamp = {Tue, 06 Nov 2018 11:06:50 +0100}, biburl = {https://dblp.org/rec/conf/icac/VogelNHGB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ChengLGGLMMT09, author = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and David Garlan and Holger Giese and Marin Litoiu and Jeff Magee and Hausi A. M{\"{u}}ller and Richard Taylor}, title = {{SEAMS} 2009: Software engineering for adaptive and self-managing systems}, booktitle = {31st International Conference on Software Engineering, {ICSE} 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume}, pages = {463--464}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071063}, doi = {10.1109/ICSE-COMPANION.2009.5071063}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/ChengLGGLMMT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HenklerGHSAEHLSG09, author = {Stefan Henkler and Joel Greenyer and Martin Hirsch and Wilhelm Sch{\"{a}}fer and Kahtan Alhawash and Tobias Eckardt and Christian Heinzemann and Renate L{\"{o}}ffler and Andreas Seibel and Holger Giese}, title = {Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite}, booktitle = {31st International Conference on Software Engineering, {ICSE} 2009, May 16-24, 2009, Vancouver, Canada, Proceedings}, pages = {615--618}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ICSE.2009.5070569}, doi = {10.1109/ICSE.2009.5070569}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/HenklerGHSAEHLSG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbees/GieseHN09, author = {Holger Giese and Stephan Hildebrandt and Stefan Neumann}, editor = {Holger Giese and Michaela Huhn and Ulrich Nickel and Bernhard Sch{\"{a}}tz}, title = {Towards Integrating SysML and {AUTOSAR} Modeling via Bidirectional Model Synchronization}, booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, series = {Informatik-Bericht}, volume = {2009-01}, pages = {155--164}, publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering}, year = {2009}, url = {http://www.sse-tubs.de/mbees-dagstuhl/MBEES2009\_Proceedings\_online\_small.pdf}, timestamp = {Thu, 12 Mar 2020 11:39:37 +0100}, biburl = {https://dblp.org/rec/conf/mbees/GieseHN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BeckerG0ST09, author = {Basil Becker and Holger Giese and Stefan Neumann and Martin Schenck and Arian Treffer}, editor = {Stefan Van Baelen and Thomas Weigert and Ileana Ober}, title = {Model-Based Extension of {AUTOSAR} for Architectural Online Reconfiguration}, booktitle = {Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems {(} {ACES-MB} 2009 ), held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems {(} MoDELS'09 {)} Denver, Colorado, USA, October 6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {507}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-507/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/BeckerG0ST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BeckerGNST09, author = {Basil Becker and Holger Giese and Stefan Neumann and Martin Schenck and Arian Treffer}, editor = {Sudipto Ghosh}, title = {Model-Based Extension of {AUTOSAR} for Architectural Online Reconfiguration}, booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS} 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6002}, pages = {83--97}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-12261-3\_9}, doi = {10.1007/978-3-642-12261-3\_9}, timestamp = {Wed, 23 Feb 2022 12:58:06 +0100}, biburl = {https://dblp.org/rec/conf/models/BeckerGNST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/VogelNHGB09, author = {Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker}, editor = {Sudipto Ghosh}, title = {Incremental Model Synchronization for Efficient Run-Time Monitoring}, booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS} 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6002}, pages = {124--139}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-12261-3\_13}, doi = {10.1007/978-3-642-12261-3\_13}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/VogelNHGB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2009adaptive, editor = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and Holger Giese and Paola Inverardi and Jeff Magee}, title = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]}, series = {Lecture Notes in Computer Science}, volume = {5525}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02161-9}, doi = {10.1007/978-3-642-02161-9}, isbn = {978-3-642-02160-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2009adaptive.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbees/2009, editor = {Holger Giese and Michaela Huhn and Ulrich Nickel and Bernhard Sch{\"{a}}tz}, title = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, series = {Informatik-Bericht}, volume = {2009-01}, publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering}, year = {2009}, url = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES09Proceedings.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbees/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/HappeKBGHLMMMR09, author = {Jens Happe and Heiko Koziolek and Umesh Bellur and Holger Giese and Wilhelm Hasselbring and Robert Laddaga and Tiziana Margaria and Josu Martinez and Christian M{\"{u}}ller{-}Schloer and Roland Reichle}, editor = {Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes}, title = {The Role of Models in Self-adaptive and Self-healing Systems}, booktitle = {Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009}, series = {Dagstuhl Seminar Proceedings}, volume = {09201}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2009}, url = {http://drops.dagstuhl.de/opus/volltexte/2009/2100/}, timestamp = {Thu, 10 Jun 2021 13:02:10 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/HappeKBGHLMMMR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BurmesterGMOKS08, author = {Sven Burmester and Holger Giese and Eckehard M{\"{u}}nch and Oliver Oberschelp and Florian Klein and Peter Scheideler}, title = {Tool support for the design of self-optimizing mechatronic multi-agent systems}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {10}, number = {3}, pages = {207--222}, year = {2008}, url = {https://doi.org/10.1007/s10009-008-0067-0}, doi = {10.1007/S10009-008-0067-0}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/BurmesterGMOKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/GieseH08, author = {Holger Giese and Stephan Hildebrandt}, editor = {Gabor Karsai and Gabriele Taentzer}, title = {Incremental model synchronization for multiple updates}, booktitle = {Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008}, pages = {1--8}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1402947.1402949}, doi = {10.1145/1402947.1402949}, timestamp = {Wed, 26 Jan 2022 13:41:57 +0100}, biburl = {https://dblp.org/rec/conf/icse/GieseH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HirschHG08, author = {Martin Hirsch and Stefan Henkler and Holger Giese}, editor = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and David Garlan and Holger Giese and Marin Litoiu and Jeff Magee and Hausi A. M{\"{u}}ller and Richard N. Taylor}, title = {Modeling collaborations with dynamic structural adaptation in mechatronic {UML}}, booktitle = {2008 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2008, Leipzig, Germany, May 12-13, 2008}, pages = {33--40}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1370018.1370026}, doi = {10.1145/1370018.1370026}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/HirschHG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/GacekGH08, author = {Cristina Gacek and Holger Giese and Ethan Hadar}, editor = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and David Garlan and Holger Giese and Marin Litoiu and Jeff Magee and Hausi A. M{\"{u}}ller and Richard N. Taylor}, title = {Friends or foes?: a conceptual analysis of self-adaptation and it change management}, booktitle = {2008 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2008, Leipzig, Germany, May 12-13, 2008}, pages = {121--128}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1370018.1370040}, doi = {10.1145/1370018.1370040}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/GacekGH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LitoiuG08, author = {Marin Litoiu and Holger Giese}, editor = {Wilhelm Sch{\"{a}}fer and Matthew B. Dwyer and Volker Gruhn}, title = {Seams 2008: software engineering for adaptive and self-managing systems}, booktitle = {30th International Conference on Software Engineering {(ICSE} 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume}, pages = {1063--1064}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1370175.1370248}, doi = {10.1145/1370175.1370248}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/LitoiuG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/BeckerG08, author = {Basil Becker and Holger Giese}, title = {On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles}, booktitle = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}}, pages = {203--210}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ISORC.2008.13}, doi = {10.1109/ISORC.2008.13}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/BeckerG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/BeckerG08, author = {Basil Becker and Holger Giese}, title = {Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems}, booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering - Workshop Proceedings {(ASE} Workshops 2008), 15-16 September 2008, L'Aquila, Italy}, pages = {33--40}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/ASEW.2008.4686291}, doi = {10.1109/ASEW.2008.4686291}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/kbse/BeckerG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wstst/BeckerG08, author = {Basil Becker and Holger Giese}, editor = {Richard Chbeir and Youakim Badr and Ajith Abraham and Dominique Laurent and Mario K{\"{o}}ppen and Fernando Ferri and Lotfi A. Zadeh and Yukio Ohsawa}, title = {Modeling of correct self-adaptive systems: a graph transformation system based approach}, booktitle = {{CSTST} 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008}, pages = {508--516}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1456223.1456326}, doi = {10.1145/1456223.1456326}, timestamp = {Mon, 03 Jul 2023 14:54:48 +0200}, biburl = {https://dblp.org/rec/conf/wstst/BeckerG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2008P8031, editor = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and Holger Giese and Paola Inverardi and Jeff Magee}, title = {Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008}, series = {Dagstuhl Seminar Proceedings}, volume = {08031}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/portals/08031/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8031.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2008seams, editor = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and David Garlan and Holger Giese and Marin Litoiu and Jeff Magee and Hausi A. M{\"{u}}ller and Richard N. Taylor}, title = {2008 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2008, Leipzig, Germany, May 12-13, 2008}, publisher = {{ACM}}, year = {2008}, url = {http://dl.acm.org/citation.cfm?id=1370018}, isbn = {978-1-60558-037-1}, timestamp = {Thu, 20 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/2008seams.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbees/2008, editor = {Holger Giese and Michaela Huhn and Ulrich Nickel and Bernhard Sch{\"{a}}tz}, title = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, series = {Informatik-Bericht}, volume = {2008-2}, publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering}, year = {2008}, url = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES08Proceedings.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbees/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/models/2007w, editor = {Holger Giese}, title = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5002}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69073-3}, doi = {10.1007/978-3-540-69073-3}, isbn = {978-3-540-69069-6}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/2007w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/ChengGIML08, author = {Betty H. C. Cheng and Holger Giese and Paola Inverardi and Jeff Magee and Rog{\'{e}}rio de Lemos}, editor = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and Holger Giese and Paola Inverardi and Jeff Magee}, title = {08031 -- Software Engineering for Self-Adaptive Systems: {A} Research Road Map}, booktitle = {Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008}, series = {Dagstuhl Seminar Proceedings}, volume = {08031}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1500}, timestamp = {Thu, 10 Jun 2021 13:02:07 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/ChengGIML08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/ChengGIML08a, author = {Betty H. C. Cheng and Holger Giese and Paola Inverardi and Jeff Magee and Rog{\'{e}}rio de Lemos}, editor = {Betty H. C. Cheng and Rog{\'{e}}rio de Lemos and Holger Giese and Paola Inverardi and Jeff Magee}, title = {08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems}, booktitle = {Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008}, series = {Dagstuhl Seminar Proceedings}, volume = {08031}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1501}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/ChengGIML08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijaose/GieseK07, author = {Holger Giese and Florian Klein}, title = {Systematic verification of multi-agent systems based on rigorous executable specifications}, journal = {Int. J. Agent Oriented Softw. Eng.}, volume = {1}, number = {1}, pages = {28--62}, year = {2007}, url = {https://doi.org/10.1504/IJAOSE.2007.013264}, doi = {10.1504/IJAOSE.2007.013264}, timestamp = {Sun, 10 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijaose/GieseK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/SchatzG07, author = {Bernhard Sch{\"{a}}tz and Holger Giese}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Models of Reactive Systems - Communication, Concurrency, and Causality}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6100}, pages = {3--15}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-642-16277-0\_1}, doi = {10.1007/978-3-642-16277-0\_1}, timestamp = {Sat, 30 Sep 2023 09:38:34 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/SchatzG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/GieseNNS07, author = {Holger Giese and Stefan Neumann and Oliver Niggemann and Bernhard Sch{\"{a}}tz}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Model-Based Integration}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6100}, pages = {17--54}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-642-16277-0\_2}, doi = {10.1007/978-3-642-16277-0\_2}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/GieseNNS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/KleinG07, author = {Florian Klein and Holger Giese}, editor = {Matthew B. Dwyer and Ant{\'{o}}nia Lopes}, title = {Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams}, booktitle = {Fundamental Approaches to Software Engineering, 10th International Conference, {FASE} 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4422}, pages = {185--199}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71289-3\_16}, doi = {10.1007/978-3-540-71289-3\_16}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/KleinG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/GieseHH07, author = {Holger Giese and Stefan Henkler and Martin Hirsch}, editor = {Rog{\'{e}}rio de Lemos and Felicita Di Giandomenico and Cristina Gacek and Henry Muccini and Marlon Vieira}, title = {Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic {UML}}, booktitle = {Architecting Dependable Systems {V} [the book is a result from the {WADS} 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis]}, series = {Lecture Notes in Computer Science}, volume = {5135}, pages = {248--272}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85571-2\_11}, doi = {10.1007/978-3-540-85571-2\_11}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/icse/GieseHH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/BurmesterGHHTGMV07, author = {Sven Burmester and Holger Giese and Stefan Henkler and Martin Hirsch and Matthias Tichy and Alfonso Gambuzza and Eckehard M{\"{u}}nch and Henner V{\"{o}}cking}, title = {Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View}, booktitle = {29th International Conference on Software Engineering {(ICSE} 2007), Minneapolis, MN, USA, May 20-26, 2007}, pages = {801--804}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICSE.2007.88}, doi = {10.1109/ICSE.2007.88}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/BurmesterGHHTGMV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbees/SturmerDGKSZ07, author = {Ingo St{\"{u}}rmer and Heiko D{\"{o}}rr and Holger Giese and Udo Kelter and Andy Sch{\"{u}}rr and Albert Z{\"{u}}ndorf}, editor = {Mirko Conrad and Holger Giese and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Das {MATE} Projekt - visuelle Spezifikation von {MATLAB} Simulink/Stateflow Analysen und Transformationen}, booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, series = {Informatik-Bericht}, volume = {2007-1}, pages = {83--94}, publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering}, year = {2007}, url = {http://www.sse-tubs.de/publications/CGRS\_MBEES\_InfoBericht\_07.pdf}, timestamp = {Thu, 12 Mar 2020 11:39:37 +0100}, biburl = {https://dblp.org/rec/conf/mbees/SturmerDGKSZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/Giese07, author = {Holger Giese}, editor = {Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil}, title = {Workshops and Symposia at {MODELS} 2007}, booktitle = {Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4735}, pages = {682--690}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75209-7\_46}, doi = {10.1007/978-3-540-75209-7\_46}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/models/Giese07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2007P7451, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07451}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/portals/07451/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7451.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbees/2007, editor = {Mirko Conrad and Holger Giese and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, series = {Informatik-Bericht}, volume = {2007-1}, publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering}, year = {2007}, url = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES07Proceedings.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbees/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/selmas/2006, editor = {Ricardo Choren and Alessandro F. Garcia and Holger Giese and Ho{-}fung Leung and Carlos Jos{\'{e}} Pereira de Lucena and Alexander B. Romanovsky}, title = {Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of {SELMAS} 2006]}, series = {Lecture Notes in Computer Science}, volume = {4408}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73131-3}, doi = {10.1007/978-3-540-73131-3}, isbn = {978-3-540-73130-6}, timestamp = {Mon, 20 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/selmas/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/GieseKLRS07, author = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {07451 Summary - Model-Based Engineering of Embedded Real-Time Systems}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07451}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1272}, timestamp = {Thu, 10 Jun 2021 13:02:10 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/GieseKLRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/GieseKLRS07a, author = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07451}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1271}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/GieseKLRS07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/GarciaGRCLLKP06, author = {Alessandro Garcia and Holger Giese and Alexander B. Romanovsky and Ricardo Choren and Ho{-}fung Leung and Carlos Jos{\'{e}} Pereira de Lucena and Florian Klein and Eric Platon}, title = {Software engineering for large-scale multi-agent systems - {SELMAS} 2006: workshop report}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {31}, number = {5}, pages = {24--32}, year = {2006}, url = {https://doi.org/10.1145/1163514.1163525}, doi = {10.1145/1163514.1163525}, timestamp = {Fri, 06 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigsoft/GarciaGRCLLKP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/GieseV06, author = {Holger Giese and Alexander Vilbig}, title = {Separation of non-orthogonal concerns in software architecture and design}, journal = {Softw. Syst. Model.}, volume = {5}, number = {2}, pages = {136--169}, year = {2006}, url = {https://doi.org/10.1007/s10270-005-0103-4}, doi = {10.1007/S10270-005-0103-4}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/GieseV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/CooperGK06, author = {Kendra M. L. Cooper and Holger Giese and Ingolf H. Kr{\"{u}}ger}, title = {Visual modeling for software intensive systems}, journal = {J. Vis. Lang. Comput.}, volume = {17}, number = {6}, pages = {503--507}, year = {2006}, url = {https://doi.org/10.1016/j.jvlc.2006.10.001}, doi = {10.1016/J.JVLC.2006.10.001}, timestamp = {Tue, 08 Aug 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/CooperGK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/GieseH06, author = {Holger Giese and Stefan Henkler}, title = {A survey of approaches for the visual model-driven development of next generation software-intensive systems}, journal = {J. Vis. Lang. Comput.}, volume = {17}, number = {6}, pages = {528--550}, year = {2006}, url = {https://doi.org/10.1016/j.jvlc.2006.10.002}, doi = {10.1016/J.JVLC.2006.10.002}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/GieseH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aswsd/Giese06, author = {Holger Giese}, editor = {Manfred Broy and Ingolf H. Kr{\"{u}}ger and Michael Meisinger}, title = {Reusable Services and Semi-automatic Service Composition for Automotive Software}, booktitle = {Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, {ASWSD} 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4922}, pages = {161--181}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-70930-5\_11}, doi = {10.1007/978-3-540-70930-5\_11}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/aswsd/Giese06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/BeckerBGKS06, author = {Basil Becker and Dirk Beyer and Holger Giese and Florian Klein and Daniela Schilling}, editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa}, title = {Symbolic invariant verification for systems with dynamic structural adaptation}, booktitle = {28th International Conference on Software Engineering {(ICSE} 2006), Shanghai, China, May 20-28, 2006}, pages = {72--81}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1134285.1134297}, doi = {10.1145/1134285.1134297}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/BeckerBGKS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ChorenLGLGR06, author = {Ricardo Choren and Ho{-}fung Leung and Alessandro F. Garcia and Carlos Jos{\'{e}} Pereira de Lucena and Holger Giese and Alexander B. Romanovsky}, editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa}, title = {Fifth workshop on software engineering for large-scale multi-agent systems {(SELMAS)}}, booktitle = {28th International Conference on Software Engineering {(ICSE} 2006), Shanghai, China, May 20-28, 2006}, pages = {1022--1023}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1134285.1134484}, doi = {10.1145/1134285.1134484}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/ChorenLGLGR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10/GieseMMOS06, author = {Holger Giese and Norma Montealegre and Thomas M{\"{u}}ller and Simon Oberth{\"{u}}r and Bernd Schulz}, editor = {Yi Pan and Franz J. Rammig and Hartmut Schmeck and Mauricio Solar}, title = {Acute Stress Response for Self-optimizing Mechatronic Systems}, booktitle = {Biologically Inspired Cooperative Computing, {IFIP} 19th World Computer Congress, {TC} 10: 1st {IFIP} International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {216}, pages = {157--167}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34733-2\_16}, doi = {10.1007/978-0-387-34733-2\_16}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip10/GieseMMOS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/GieseH06, author = {Holger Giese and Stefan Henkler}, editor = {Robert M. Hierons and Henry Muccini}, title = {Architecture-driven platform independent deterministic replay for distributed hard real-time systems}, booktitle = {Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis {(ISSTA} 2006), {ROSATEA} 2006, Portland, Maine, USA, July 17-20, 2006}, pages = {28--38}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1147249.1147253}, doi = {10.1145/1147249.1147253}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/GieseH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/GieseLV06, author = {Holger Giese and Tihamer Levendovszky and Hans Vangheluwe}, editor = {Thomas K{\"{u}}hne}, title = {Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools}, booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4364}, pages = {252--262}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-69489-2\_31}, doi = {10.1007/978-3-540-69489-2\_31}, timestamp = {Wed, 23 Feb 2022 12:58:00 +0100}, biburl = {https://dblp.org/rec/conf/models/GieseLV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/GieseW06, author = {Holger Giese and Robert Wagner}, editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio}, title = {Incremental Model Synchronization with Triple Graph Grammars}, booktitle = {Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4199}, pages = {543--557}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11880240\_38}, doi = {10.1007/11880240\_38}, timestamp = {Tue, 24 May 2022 15:28:49 +0200}, biburl = {https://dblp.org/rec/conf/models/GieseW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/AxenathGKF06, author = {Bj{\"{o}}rn Axenath and Holger Giese and Florian Klein and Ursula Frank}, title = {Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems}, booktitle = {14th {IEEE} International Conference on Requirements Engineering {(RE} 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, {USA}}, pages = {156--165}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/RE.2006.62}, doi = {10.1109/RE.2006.62}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/AxenathGKF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/GieseT06, author = {Holger Giese and Matthias Tichy}, editor = {Janusz G{\'{o}}rski}, title = {Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration}, booktitle = {Computer Safety, Reliability, and Security, 25th International Conference, {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4166}, pages = {156--169}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11875567\_12}, doi = {10.1007/11875567\_12}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/GieseT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scesm/GieseHHK06, author = {Holger Giese and Stefan Henkler and Martin Hirsch and Florian Klein}, editor = {Jon Whittle and Leif Geiger and Michael Meisinger}, title = {Nobody's perfect: interactive synthesis from parametrized real-time scenarios}, booktitle = {{SCESM} '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006}, pages = {67--74}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1138953.1138967}, doi = {10.1145/1138953.1138967}, timestamp = {Tue, 24 May 2022 15:28:49 +0200}, biburl = {https://dblp.org/rec/conf/scesm/GieseHHK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/selmas/ChorenLGLGR06, author = {Ricardo Choren and Ho{-}fung Leung and Alessandro F. Garcia and Carlos Lucena and Holger Giese and Alexander B. Romanovsky}, editor = {Ricardo Choren and Alessandro F. Garcia and Holger Giese and Ho{-}fung Leung and Carlos Jos{\'{e}} Pereira de Lucena and Alexander B. Romanovsky}, title = {Introduction to the {SELMAS} 2006}, booktitle = {Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, {SELMAS} '06, Shanghai, China, May 22-23, 2006}, pages = {1--4}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1138063.1138064}, doi = {10.1145/1138063.1138064}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/selmas/ChorenLGLGR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbees/2006, editor = {Holger Giese and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, series = {Informatik-Bericht}, volume = {2006-1}, publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering}, year = {2006}, url = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES06Proceedings.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbees/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/selmas/2006acm, editor = {Ricardo Choren and Alessandro F. Garcia and Holger Giese and Ho{-}fung Leung and Carlos Jos{\'{e}} Pereira de Lucena and Alexander B. Romanovsky}, title = {Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, {SELMAS} '06, Shanghai, China, May 22-23, 2006}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1138063}, doi = {10.1145/1138063}, timestamp = {Thu, 18 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/selmas/2006acm.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/GieseK05, author = {Holger Giese and Ingolf Kr{\"{u}}ger}, title = {A summary of the {ICSE} 2004 workshop on "scenarios and state machines: models, algorithms, and tools"}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {30}, number = {1}, pages = {2}, year = {2005}, url = {https://doi.org/10.1145/1039174.1039186}, doi = {10.1145/1039174.1039186}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/GieseK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/GarciaCLRGWHG05, author = {Alessandro Garcia and Ricardo Choren and Carlos Jos{\'{e}} Pereira de Lucena and Alexander B. Romanovsky and Holger Giese and Danny Weyns and Tom Holvoet and Paolo Giorgini}, title = {Software Engineering for Large-Scale Multi-Agent Systems - {SELMAS} 2005: workshop report}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {30}, number = {4}, pages = {1--8}, year = {2005}, url = {https://doi.org/10.1145/1082983.1082998}, doi = {10.1145/1082983.1082998}, timestamp = {Fri, 06 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigsoft/GarciaCLRGWHG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/GieseKKW05, author = {Holger Giese and Ekkart Kindler and Florian Klein and Robert Wagner}, title = {Reconciling scenario-centered controller design with state-based system models}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {30}, number = {4}, pages = {1--5}, year = {2005}, url = {https://doi.org/10.1145/1082983.1083187}, doi = {10.1145/1082983.1083187}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/GieseKKW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/KleinG05, author = {Florian Klein and Holger Giese}, title = {Analysis and design of physical and social contexts in multi-agent systems using {UML}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {30}, number = {4}, pages = {1--8}, year = {2005}, url = {https://doi.org/10.1145/1082983.1082969}, doi = {10.1145/1082983.1082969}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/KleinG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TichyGSP05, author = {Matthias Tichy and Holger Giese and Daniela Schilling and Wladimir Pauls}, title = {Computing optimal self-repair actions: damage minimization versus repair time}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {30}, number = {4}, pages = {7--6}, year = {2005}, url = {https://doi.org/10.1145/1082983.1083224}, doi = {10.1145/1082983.1083224}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TichyGSP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/e4mas/KleinG05, author = {Florian Klein and Holger Giese}, editor = {Danny Weyns and H. Van Dyke Parunak and Fabien Michel}, title = {Grounding Social Interactions in the Environment}, booktitle = {Environments for Multi-Agent Systems II, Second International Workshop, {E4MAS} 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3830}, pages = {139--162}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11678809\_9}, doi = {10.1007/11678809\_9}, timestamp = {Thu, 14 Oct 2021 09:49:19 +0200}, biburl = {https://dblp.org/rec/conf/e4mas/KleinG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecmdafa/BurmesterGS05, author = {Sven Burmester and Holger Giese and Wilhelm Sch{\"{a}}fer}, editor = {Alan Hartman and David Kreische}, title = {Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code}, booktitle = {Model Driven Architecture - Foundations and Applications, 1st European Conference, {ECMDA-FA} 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3748}, pages = {25--40}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11581741\_4}, doi = {10.1007/11581741\_4}, timestamp = {Wed, 24 Jun 2020 12:15:03 +0200}, biburl = {https://dblp.org/rec/conf/ecmdafa/BurmesterGS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/TichyGSP05, author = {Matthias Tichy and Holger Giese and Daniela Schilling and Wladimir Pauls}, title = {Computing optimal self-repair actions: damage minimization versus repair time}, booktitle = {Proceedings of the 2005 workshop on Architecting dependable systems, {WADS} '05, St. Louis, Missouri, USA, May 17, 2005}, pages = {13:7--13:6}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1083217.1083224}, doi = {10.1145/1083217.1083224}, timestamp = {Mon, 31 Jan 2022 12:19:39 +0100}, biburl = {https://dblp.org/rec/conf/icse/TichyGSP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/BurmesterGHST05, author = {Sven Burmester and Holger Giese and Martin Hirsch and Daniela Schilling and Matthias Tichy}, editor = {Gruia{-}Catalin Roman and William G. Griswold and Bashar Nuseibeh}, title = {The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems}, booktitle = {27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}}, pages = {670--671}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1062455.1062601}, doi = {10.1145/1062455.1062601}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/BurmesterGHST05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbees/Giese05, author = {Holger Giese}, editor = {Torsten Klein and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems}, booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, series = {Informatik-Bericht}, volume = {2005-1}, pages = {11--22}, publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering}, year = {2005}, url = {http://www.sse-tubs.de/publications/KRS\_MBEES\_InfoBericht\_05.pdf}, timestamp = {Thu, 12 Mar 2020 11:39:36 +0100}, biburl = {https://dblp.org/rec/conf/mbees/Giese05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/Giese05, author = {Holger Giese}, editor = {Fabrice Kordon and Janos Sztipanovits}, title = {Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems}, booktitle = {Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4322}, pages = {258--280}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-71156-8\_14}, doi = {10.1007/978-3-540-71156-8\_14}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/monterey/Giese05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/selmas/0001G05, author = {Florian Klein and Holger Giese}, title = {Analysis and design of physical and social contexts in multi-agent systems using {UML}}, booktitle = {Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems, {SELMAS} '05, St. Louis, Missouri, USA, May 15-16, 2005}, pages = {2:1--2:8}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1082960.1082969}, doi = {10.1145/1082960.1082969}, timestamp = {Mon, 20 Dec 2021 10:33:33 +0100}, biburl = {https://dblp.org/rec/conf/selmas/0001G05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/selmas/KleinG05, author = {Florian Klein and Holger Giese}, editor = {Alessandro F. Garcia and Ricardo Choren and Carlos Jos{\'{e}} Pereira de Lucena and Paolo Giorgini and Tom Holvoet and Alexander B. Romanovsky}, title = {Analysis and Design of Physical and Social Contexts in Multi-agent Systems}, booktitle = {Software Engineering for Multi-Agent Systems IV, Research Issues and Practical Applications [the book is a result of {SELMAS} 2005]}, series = {Lecture Notes in Computer Science}, volume = {3914}, pages = {91--108}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11738817\_6}, doi = {10.1007/11738817\_6}, timestamp = {Mon, 20 Dec 2021 10:29:19 +0100}, biburl = {https://dblp.org/rec/conf/selmas/KleinG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/GieseH05, author = {Holger Giese and Martin Hirsch}, editor = {Jean{-}Michel Bruel}, title = {Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic {UML}}, booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3844}, pages = {67--78}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11663430\_8}, doi = {10.1007/11663430\_8}, timestamp = {Wed, 23 Feb 2022 12:58:07 +0100}, biburl = {https://dblp.org/rec/conf/uml/GieseH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/GieseRL05, author = {Holger Giese and Pascal Roques and Timothy Lethbridge}, editor = {Jean{-}Michel Bruel}, title = {Summary of the Educator's Symposium}, booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3844}, pages = {302--305}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11663430\_31}, doi = {10.1007/11663430\_31}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uml/GieseRL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/GieseKC05, author = {Holger Giese and Ingolf H. Kr{\"{u}}ger and Kendra M. L. Cooper}, title = {Visual Modeling for Software Intensive Systems}, booktitle = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing {(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}}, pages = {4}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/VLHCC.2005.69}, doi = {10.1109/VLHCC.2005.69}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/GieseKC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/BurmesterG05, author = {Sven Burmester and Holger Giese}, title = {Visual Integration of {UML} 2.0 and Block Diagrams for Flexible Reconfiguration in {MECHATRONIC} {UML}}, booktitle = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing {(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}}, pages = {109--116}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/VLHCC.2005.68}, doi = {10.1109/VLHCC.2005.68}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/BurmesterG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BurmesterGNTWWWZ04, author = {Sven Burmester and Holger Giese and J{\"{o}}rg Niere and Matthias Tichy and J{\"{o}}rg P. Wadsack and Robert Wagner and Lothar Wendehals and Albert Z{\"{u}}ndorf}, title = {Tool integration at the meta-model level: the Fujaba approach}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {6}, number = {3}, pages = {203--218}, year = {2004}, url = {https://doi.org/10.1007/s10009-004-0155-8}, doi = {10.1007/S10009-004-0155-8}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/BurmesterGNTWWWZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/BurmesterGGO04, author = {Sven Burmester and Matthias Gehrke and Holger Giese and Simon Oberth{\"{u}}r}, editor = {Giorgio C. Buttazzo}, title = {Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation}, booktitle = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International Conference On Embedded Software, Proceedings}, pages = {175--183}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1017753.1017783}, doi = {10.1145/1017753.1017783}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/BurmesterGGO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icinco/BurmesterGO04, author = {Sven Burmester and Holger Giese and Oliver Oberschelp}, editor = {Helder Ara{\'{u}}jo and Alves Vieira and Jos{\'{e}} Braz and Bruno Encarna{\c{c}}{\~{a}}o and Marina Carvalho}, title = {Hybrid {UML} Components for the Design of Complex Self-Optimizing Mechatronic Systems}, booktitle = {{ICINCO} 2004, Proceedings of the First International Conference on Informatics in Control, Automation and Robotics, Set{\'{u}}bal, Portugal, August 25-28, 2004}, pages = {222--229}, publisher = {{INSTICC} Press}, year = {2004}, timestamp = {Wed, 15 Dec 2004 14:28:42 +0100}, biburl = {https://dblp.org/rec/conf/icinco/BurmesterGO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icinco/HestermeyerOG04, author = {Thorsten Hestermeyer and Oliver Oberschelp and Holger Giese}, editor = {Helder Ara{\'{u}}jo and Alves Vieira and Jos{\'{e}} Braz and Bruno Encarna{\c{c}}{\~{a}}o and Marina Carvalho}, title = {Structured Information Processing for Self-Optimizing Mechatronic Systems}, booktitle = {{ICINCO} 2004, Proceedings of the First International Conference on Informatics in Control, Automation and Robotics, Set{\'{u}}bal, Portugal, August 25-28, 2004}, pages = {230--237}, publisher = {{INSTICC} Press}, year = {2004}, timestamp = {Tue, 26 Oct 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icinco/HestermeyerOG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/GieseK04, author = {Holger Giese and Ingolf Kr{\"{u}}ger}, editor = {Anthony Finkelstein and Jacky Estublier and David S. Rosenblum}, title = {Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04)}, booktitle = {26th International Conference on Software Engineering {(ICSE} 2004), 23-28 May 2004, Edinburgh, United Kingdom}, pages = {766--767}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/ICSE.2004.10021}, doi = {10.1109/ICSE.2004.10021}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/GieseK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mdafa/BurmesterGT04, author = {Sven Burmester and Holger Giese and Matthias Tichy}, editor = {Uwe A{\ss}mann and Mehmet Aksit and Arend Rensink}, title = {Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic {UML}}, booktitle = {Model Driven Architecture, European {MDA} Workshops: Foundations and Applications, {MDAFA} 2003 and {MDAFA} 2004, Twente, The Netherlands, June 26-27, 2003 and Link{\"{o}}ping, Sweden, June 10-11, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3599}, pages = {47--61}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11538097\_4}, doi = {10.1007/11538097\_4}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/mdafa/BurmesterGT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/GieseTS04, author = {Holger Giese and Matthias Tichy and Daniela Schilling}, editor = {Maritta Heisel and Peter Liggesmeyer and Stefan Wittmann}, title = {Compositional Hazard Analysis of {UML} Component and Deployment Models}, booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference, {SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3219}, pages = {166--179}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30138-7\_15}, doi = {10.1007/978-3-540-30138-7\_15}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/GieseTS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/selmas/KleinG04, author = {Florian Klein and Holger Giese}, editor = {Ricardo Choren and Alessandro F. Garcia and Carlos Jos{\'{e}} Pereira de Lucena and Alexander B. Romanovsky}, title = {Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities}, booktitle = {Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of {SELMAS} 2004]}, series = {Lecture Notes in Computer Science}, volume = {3390}, pages = {272--289}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31846-0\_16}, doi = {10.1007/978-3-540-31846-0\_16}, timestamp = {Fri, 06 Nov 2020 10:10:09 +0100}, biburl = {https://dblp.org/rec/conf/selmas/KleinG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/GieseBSO04, author = {Holger Giese and Sven Burmester and Wilhelm Sch{\"{a}}fer and Oliver Oberschelp}, editor = {Richard N. Taylor and Matthew B. Dwyer}, title = {Modular design and verification of component-based mechatronic systems with online-reconfiguration}, booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004}, pages = {179--188}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1029894.1029920}, doi = {10.1145/1029894.1029920}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/GieseBSO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/woss/TichySG04, author = {Matthias Tichy and Daniela Schilling and Holger Giese}, editor = {David Garlan and Jeff Kramer and Alexander L. Wolf}, title = {Design of self-managing dependable systems with {UML} and fault tolerance patterns}, booktitle = {Proceedings of the 1st {ACM} {SIGSOFT} Workshop on Self-Managed Systems, {WOSS} 2004, Newport Beach, California, USA, October 31 - November 1, 2004}, pages = {105--109}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1075405.1075426}, doi = {10.1145/1075405.1075426}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/woss/TichySG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/GieseK03, author = {Holger Giese and Florian Klein}, editor = {Stefan Leue and Tarja Syst{\"{a}}}, title = {Autonomous Shuttle System Case Study}, booktitle = {Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3466}, pages = {90--94}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/11495628\_5}, doi = {10.1007/11495628\_5}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/GieseK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/GieseKB03, author = {Holger Giese and Florian Klein and Sven Burmester}, editor = {Stefan Leue and Tarja Syst{\"{a}}}, title = {Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time {UML} Models}, booktitle = {Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3466}, pages = {193--211}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/11495628\_11}, doi = {10.1007/11495628\_11}, timestamp = {Tue, 12 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/GieseKB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fidji/TichyG03, author = {Matthias Tichy and Holger Giese}, editor = {Nicolas Guelfi and Egidio Astesiano and Gianna Reggio}, title = {Seamless {UML} Support for Service-Based Software Architectures}, booktitle = {Scientific Engineering of Distributed Java Applications, Third International Workshop, {FIDJI} 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2952}, pages = {128--138}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24639-8\_12}, doi = {10.1007/978-3-540-24639-8\_12}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/fidji/TichyG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/TichyG03, author = {Matthias Tichy and Holger Giese}, editor = {Rog{\'{e}}rio de Lemos and Cristina Gacek and Alexander B. Romanovsky}, title = {A Self-optimizing Run-Time Architecture for Configurable Dependability of Services}, booktitle = {Architecting Dependable Systems {II} - [the book is a result of the {ICSE} 2003 Workshop on Software Architectures for Dependable Systems]}, series = {Lecture Notes in Computer Science}, volume = {3069}, pages = {25--50}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-25939-8\_2}, doi = {10.1007/978-3-540-25939-8\_2}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/icse/TichyG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/GieseTBF03, author = {Holger Giese and Matthias Tichy and Sven Burmester and Stephan Flake}, editor = {Jukka Paakki and Paola Inverardi}, title = {Towards the compositional verification of real-time {UML} designs}, booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September 1-5, 2003}, pages = {38--47}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/940071.940078}, doi = {10.1145/940071.940078}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/GieseTBF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/GehrkeGNNTWZ02, author = {Matthias Gehrke and Holger Giese and Ulrich Nickel and J{\"{o}}rg Niere and Matthias Tichy and J{\"{o}}rg P. Wadsack and Albert Z{\"{u}}ndorf}, editor = {Will Tracz and Michal Young and Jeff Magee}, title = {Reporting about industrial strength software engineering courses for undergraduates}, booktitle = {Proceedings of the 24th International Conference on Software Engineering, {ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}}, pages = {395--405}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/581339.581389}, doi = {10.1145/581339.581389}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/GehrkeGNNTWZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-3/GieseKN02, author = {Holger Giese and Martin Kardos and Ulrich Nickel}, editor = {Bernd Kleinjohann and K. H. Kim and Lisa Kleinjohann and Achim Rettberg}, title = {Towards Design Verification and Validation at Multiple Levels of Abstraction}, booktitle = {Design and Analysis of Distributed Embedded Systems, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC10} Stream on Distributed and Parallel Embedded Systems {(DIPES} 2002), August 25-29, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {219}, pages = {71--80}, publisher = {Kluwer}, year = {2002}, timestamp = {Sun, 26 Feb 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-3/GieseKN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:books/daglib/0003845, author = {Holger Giese}, title = {Object-oriented design and architecture of distributed systems}, school = {University of M{\"{u}}nster, Germany}, year = {2001}, url = {https://d-nb.info/961133570}, isbn = {978-3-8265-8634-7}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0003845.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csse/GieseW01, author = {Holger Giese and Guido Wirtz}, title = {The OCoN approach for object-oriented distributed software systems modeling}, journal = {Comput. Syst. Sci. Eng.}, volume = {16}, number = {3}, pages = {157--172}, year = {2001}, timestamp = {Wed, 05 May 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csse/GieseW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isf/WirtzWG01, author = {Guido Wirtz and Mathias Weske and Holger Giese}, title = {The OCoN Approach to Workflow Modeling in Object-Oriented Systems}, journal = {Inf. Syst. Frontiers}, volume = {3}, number = {3}, pages = {357--376}, year = {2001}, url = {https://doi.org/10.1023/A:1011417710529}, doi = {10.1023/A:1011417710529}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isf/WirtzWG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stt/GieseP01, author = {Holger Giese and Stephan Philippi}, title = {{FG} 2.1.9: Bericht vom 8. Workshop des GI-Arbeitskreises {GROOM} am 13. und 14. November 2000 in M{\"{u}}nster}, journal = {Softwaretechnik-Trends}, volume = {21}, number = {1}, year = {2001}, url = {http://pi.informatik.uni-siegen.de/stt/21\_1/01\_Fachgruppenberichte/219\_GROOM\_20001113.pdf}, timestamp = {Tue, 23 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stt/GieseP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stt/Giese01, author = {Holger Giese}, title = {Bericht {\"{u}}ber die Modellierung 2001 vom 28. - 30. M{\"{a}}rz 2001 in Bad Lippspringe}, journal = {Softwaretechnik-Trends}, volume = {21}, number = {3}, year = {2001}, url = {http://pi.informatik.uni-siegen.de/stt/21\_3/09\_Konferenzberichte/modellierung2001.ps}, timestamp = {Tue, 23 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stt/Giese01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/GieseW01, author = {Holger Giese and Guido Wirtz}, title = {Visual Modeling of Object-Oriented Distributed Systems}, journal = {J. Vis. Lang. Comput.}, volume = {12}, number = {2}, pages = {183--202}, year = {2001}, url = {https://doi.org/10.1006/jvlc.2000.0194}, doi = {10.1006/JVLC.2000.0194}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/GieseW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/omer/GieseN01, author = {Holger Giese and Ulrich Nickel}, editor = {Peter P. Hofmann and Andy Sch{\"{u}}rr}, title = {Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation}, booktitle = {{OMER} - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops {OMER-1} {\&} {OMER-2} May 28/29, 1999 {\&} May 10-12, 2001, Herrsching am Amersee, Germany}, series = {{LNI}}, volume = {{P-5}}, pages = {106--121}, publisher = {{GI}}, year = {2001}, url = {https://dl.gi.de/handle/20.500.12116/30821}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/omer/GieseN01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coopis/WirtzWG00, author = {Guido Wirtz and Mathias Weske and Holger Giese}, editor = {Opher Etzion and Peter Scheuermann}, title = {Extending {UML} with Workflow Modeling Capabilities}, booktitle = {Cooperative Information Systems, 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1901}, pages = {30--41}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722620\_3}, doi = {10.1007/10722620\_3}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/coopis/WirtzWG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fbt/WirtzG00, author = {Guido Wirtz and Holger Giese}, editor = {Jens Grabowski and Stefan Heymer}, title = {Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme}, booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10. GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000}, pages = {41--50}, publisher = {Verlag Shaker}, year = {2000}, timestamp = {Thu, 27 Mar 2003 09:47:24 +0100}, biburl = {https://dblp.org/rec/conf/fbt/WirtzG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/Giese00, author = {Holger Giese}, title = {Contract-Based Component System Design}, booktitle = {33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, {USA}}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/HICSS.2000.927013}, doi = {10.1109/HICSS.2000.927013}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/Giese00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdse/GieseW00, author = {Holger Giese and Guido Wirtz}, title = {Early Evaluation of Design Options for Distributed Systems}, booktitle = {International Symposium on Software Engineering for Parallel and Distributed Systems, {PDSE} 2000, Limerick, Ireland, June 10-11, 2000}, pages = {150--157}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/PDSE.2000.847859}, doi = {10.1109/PDSE.2000.847859}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pdse/GieseW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/WirtzG00, author = {Guido Wirtz and Holger Giese}, title = {Using {UML} and object-coordination-nets for workflow specification}, booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man {\&} Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions", Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000}, pages = {3159--3164}, publisher = {{IEEE}}, year = {2000}, url = {https://doi.org/10.1109/ICSMC.2000.886482}, doi = {10.1109/ICSMC.2000.886482}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/smc/WirtzG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/GieseGW99, author = {Holger Giese and J{\"{o}}rg Graf and Guido Wirtz}, editor = {Hamid R. Arabnia}, title = {Contract-based Coordination of Distributed Object Systems}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, {USA}}, pages = {25--31}, publisher = {{CSREA} Press}, year = {1999}, timestamp = {Tue, 20 Apr 2004 14:47:51 +0200}, biburl = {https://dblp.org/rec/conf/pdpta/GieseGW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/GieseGW99, author = {Holger Giese and J{\"{o}}rg Graf and Guido Wirtz}, editor = {Robert B. France and Bernhard Rumpe}, title = {Closing the Gap Between Object-Oriented Modeling of Structure and Behavior}, booktitle = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1723}, pages = {534--549}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46852-8\_38}, doi = {10.1007/3-540-46852-8\_38}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/uml/GieseGW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/GieseGW99, author = {Holger Giese and J{\"{o}}rg Graf and Guido Wirtz}, title = {Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems}, booktitle = {1999 {IEEE} Symposium on Visual Languages, {VL} 1999, Tokyo, Japan, September 13-16, 1999, Proceedings}, pages = {156--163}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/VL.1999.795887}, doi = {10.1109/VL.1999.795887}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/GieseGW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdse/GieseGW98, author = {Holger Giese and J{\"{o}}rg Graf and Guido Wirtz}, title = {Modeling Distributed Software Systems with Object Coordination Nets}, booktitle = {International Symposium on Software Engineering for Parallel and Distributed Systems, {PDSE} 1998, Kyoto, Japan, April 20-21, 1998}, pages = {39}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/PDSE.1998.668154}, doi = {10.1109/PDSE.1998.668154}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pdse/GieseGW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/WirtzGG97, author = {Guido Wirtz and J{\"{o}}rg Graf and Holger Giese}, editor = {Hamid R. Arabnia}, title = {Ruling the Behavior of Distributed Software Components}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 1997, June 30 - July 3, 1997, Las Vegas, Nevada, {USA}}, pages = {107--116}, publisher = {{CSREA} Press}, year = {1997}, timestamp = {Tue, 20 Apr 2004 14:47:02 +0200}, biburl = {https://dblp.org/rec/conf/pdpta/WirtzGG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/GieseW97, author = {Holger Giese and Guido Wirtz}, editor = {Hamid R. Arabnia}, title = {Modular Development of Correct Meander Programs}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 1997, June 30 - July 3, 1997, Las Vegas, Nevada, {USA}}, pages = {178--181}, publisher = {{CSREA} Press}, year = {1997}, timestamp = {Tue, 20 Apr 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pdpta/GieseW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.