BibTeX records: Holger Giese

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics