Publications in publications/Publications.bib
451 results
2020
Mirko D'Angelo, Sona Ghahremani, Simos Gerasimou, Johannes Grohmann, Ingrid Nunes, Sven Tomforde, Evangelos Pournaras, "Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning", in 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), pp. 121-126, August 2020. [bibtex]
Sona Ghahremani, Holger Giese and Thomas Vogel, "Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures", ACM Trans. Auton. Adapt. Syst., vol. 14, no. 3, February 2020. [bibtex] [url]
Sona Ghahremani and Holger Giese, "Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements", Computers, vol. 9, no. 1, 2020. [bibtex] [url]
Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese, "A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies", in Fabio Gadducci, Timo Kehrer, Eds., Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, vol. 12150 of Lecture Notes in Computer Science, pp. 325–334, Springer, 2020. [bibtex] [url]
Holger Giese, Leen Lambers and Christian Zöllner, "From Classic to Agile: Experiences from More than a Decade of Project-Based Modeling Education", in Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS '20, New York, NY, USA: Association for Computing Machinery, 2020. [bibtex] [url]
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese, "A scalable querying scheme for memory-efficient runtime models with history", in Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrah ao, Eds., MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October 2020, pp. 175–186, ACM, 2020. [bibtex] [url]
Leen Lambers, Sven Schneider and Marcel Weisgut, "Model-Based Testing of Read Only Graph Queries", in 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020, pp. 24–34, IEEE, 2020, Implementation. [bibtex] [url] [doi]
Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese, "Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic", in Fabio Gadducci, Timo Kehrer, Eds., Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, vol. 12150 of Lecture Notes in Computer Science, pp. 276–294, Springer, 2020. [bibtex] [url]
Sven Schneider, Johannes Dyck and Holger Giese, "Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions", in Fabio Gadducci, Timo Kehrer, Eds., Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, vol. 12150 of Lecture Notes in Computer Science, pp. 257–275, Springer, 2020. [bibtex] [url] [doi]
Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese, "Towards Highly Scalable Runtime Models with History", in 15th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2020, Seoul South Korea, October, 2020, IEEE Computer Society, 2020. [bibtex]
2019
Sona Ghahremani and Holger Giese, "Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues", in 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 116-119, Los Alamitos, CA, USA: IEEE Computer Society, June 2019. [bibtex] [url]
M. D'Angelo, Simos Gerasimou, Sona Ghahremani, Johannes Grohmann, Ingrid Nunes, Evangelos Pournaras, Sven Tomforde, "On Learning in Collective Self-Adaptive Systems: State of Practice and a 3D Framework", in 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 13-24, May 2019. [bibtex]
Mirko D'Angelo, Simos Gerasimou, Sona Ghahremani, Johannes Grohmann, Ingrid Nunes, Evangelos Pournaras, Tomforde Sven, "Learning in Collective Autonomous Systems : In Software Engineering for Intelligent and Autonomous Systems report from the GI Dagstuhl Seminar 18343", arXiv e-prints, pp. arXiv:1904.01518, April 2019. [bibtex]
Sven Schneider, Leen Lambers and Fernando Orejas, "A Logic-Based Incremental Approach to Graph Repair", in Reiner Hähnle, Wil M. P. van der Aalst, Eds., 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, vol. 11424 of Lecture Notes in Computer Science, pp. 151–167, Springer, 2019. [bibtex] [url]
Johannes Erbel, Thomas Brand, Holger Giese, Jens Grabowski, "OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management", in Proceedings of the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019. [bibtex]
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider, "Metric Temporal Graph Logic over Typed Attributed Graphs", in 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, pp. 282–298, 2019. [bibtex] [url]
Thomas Brand and Holger Giese, "Modeling approach and evaluation criteria for adaptable architectural runtime model instances", in Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019. [bibtex]
Thomas Brand and Holger Giese, "Generic adaptive monitoring based on executed architecture runtime model queries and events", in Proceedings of the 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2019. [bibtex] [url]
2018
Sven Schneider, Leen Lambers and Fernando Orejas, "Automated reasoning for attributed graph properties", Software Tools for Technology Transfer, June 2018. [bibtex] [url]
Tim Naumann, "Constraint-based Self-optimisation of Deployments for modular Systems, ", Master's thesis, Hasso-Plattner-Institut für Digital Engineering, Universität Potsdam, 2018. [bibtex]
Soumyadip Bandyopadhyay, Dipankar Sarkar and Chittaranjan Mandal, "Equivalence checking of Petri net models of programs using static and dynamic cut-points", Acta Informatica, April 2018. [bibtex]
Santonu Sarkar, Prateek Kandelwal, Soumyadip Bandyopadhyay, Holger Giese, "Analysis of GPGPU Programs for Data-race and Barrier Divergence", in Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,, pp. 460-471, SciTePress, 2018. [bibtex]
Christian M Adriano, "Microtasking Software Failure Resolution: Early Results", in 2018 IDoESE - Doctoral Symposium at the International Conference on Empirical Software Engineering, pp. 1–4, 2018. [bibtex]
Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers, "Institutions for navigational logics for graphical structures", Theoretical computer science, vol. 741, pp. 19 - 24, 2018, An Observant Mind : Essays Dedicated to Don Sannella on the Occasion of his 60th Birthday. [bibtex] [url]
Maria Maximova, Holger Giese and Christian Krause, "Probabilistic Timed Graph Transformation Systems", Journal of Logical and Algebraic Methods in Programming, vol. 101, pp. 110 - 131, 2018. [bibtex] [url]
Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer, "Initial Conflicts and Dependencies: Critical Pairs Revisited", in Reiko Heckel, Gabriele Taentzer, Eds., Graph Transformation, Specifications, and Nets, vol. 10800 of Lecture Notes in Computer Science, pp. 105-123, Springer, 2018. [bibtex]
Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Hübert, "Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation", in Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, pp. 716-727, New York, NY, USA: ACM, 2018. [bibtex] [url]
Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino, "Towards a Navigational Logic for Graphical Structures", in Reiko Heckel, Gabriele Taentzer, Eds., Graph Transformation, Specifications, and Nets, vol. 10800 of Lecture Notes in Computer Science, pp. 124-141, Springer, 2018. [bibtex] [url]
Leen Lambers, Jens Weber, Eds., Graph Transformation - 11th International Conference, ICGT 2018 Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, vol. 10887 of Lecture Notes in Computer Science, Springer, 2018. [bibtex] [url]
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider, "Metric Temporal Graph Logic over Typed Attributed Graphs", Technical Report 123, Hasso Plattner Institute at the University of Potsdam, 2018. [bibtex] [url]
Sona Ghahremani, "Improving Self-Healing by Estimating the Impact of Adaptation Rules on the Utility at Runtime", Proceedings of the 10th Ph. D. Retreat of the HPI Research School on Service-oriented Systems Engineering, 2018. [bibtex]
Johannes Dyck, Holger Giese and Leen Lambers, "Automatic verification of behavior preservation at the transformation level for relational model transformation", Software & Systems Modeling, 2018. [bibtex] [url]
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer, "Towards a Body of Knowledge for Model-based Software Engineering", in Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS '18, pp. 82–89, New York, NY, USA: ACM, 2018. [bibtex] [url]
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer, "How Do We Teach Modelling and Model-driven Engineering?: A Survey", in Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS '18, pp. 122–129, New York, NY, USA: ACM, 2018. [bibtex] [url]
Thomas Brand and Holger Giese, "Towards software architecture runtime models for continuous adaptive monitoring", in Proceedings of the 13th International Workshop on Models@run.time (MRT), 2018. [bibtex] [url]
Thomas Brand and Holger Giese, "Towards Generic Adaptive Monitoring", in Proceedings of the 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), pp. 156-161, 2018. [bibtex] [url]
Sona Ghahremani, Christian M Adriano and Holger Giese, "Training Prediction Models for Rule-Based Self-Adaptive Systems", in 2018 IEEE International Conference on Autonomic Computing (ICAC), pp. 187-192, 2018. [bibtex]
2017
Dominique Blouin, Matthias Barkowsky, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen, "A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models", in 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), pp. 36-45, September 2017. [bibtex] [url]
Sona Ghahremani, Holger Giese and Thomas Vogel, "Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures", in 2017 IEEE International Conference on Autonomic Computing (ICAC), pp. 59-68, July 2017. [bibtex]
Miroslaw Staron, Wilhelm Meding, Matthias Tichy, Jonas Bjurhede, Holger Giese, Ola Soder, "Industrial experiences from evolving measurement systems into self-healing systems for improved availability", Software: Practice and Experience, vol. 48, no. 3, pp. 719–739, 2017. [bibtex] [url]
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Camara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cec'ilia M. F. Rubira, Eric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli, "Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances", in Software Engineering for Self-Adaptive Systems III. Assurances, pp. 3–30, Springer International Publishing, 2017. [bibtex] [url]
Jeffrey O. Kephart, Martina Maggio, Ada Diaconescu, Holger Giese, Henry Hoffmann, Samuel Kounev, Anne Koziolek, Peter Lewis, Anders Robertsson, Simon Spinner, "Reference Scenarios for Self-Aware Computing", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems, ch. 4, pp. 87–106, Springer International Publishing, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Samuel Kounev, Jeffrey O. Kephart, Peter Lewis, Ada Diaconescu, Kurt Geihs, Holger Giese, Paola Inverardi, Andrea Zisman, Kirstie Bellman, Lukas Esterle, Nelly Bencomo, Hartmut Schmeck, Hank Hoffmann, J. Camara S. Götz, "Self-Aware Computing Systems: Related Concepts and Research Areas", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems., pp. 17–49, Springer Verlag, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Robert Birke, Javier Camara, Lydia Y. Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, Xiaoyun Zhu, "Self-Aware Computing Systems: Open Challenges and Future Research Directions", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems, ch. 26, pp. 709–722, Springer International Publishing, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Samuel Kounev, Jeffrey O. Kephart, Peter Lewis, Ada Diaconescu, Kurt Geihs, Holger Giese, Paola Inverardi, Andrea Zisman, Kirstie Bellman, Lukas Esterle, Nelly Bencomo, Hartmut Schmeck, Hank Hoffmann, Sebastian Götz, Javier Camara, "The Notion of Self-Aware Computing", in Samuel Kounev, Jeffrey O. Kephart, A. Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems., pp. 3–16, Springer Verlag, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Peter Lewis, Kirstie Bellman, Christopher Landauer, Javier Camara, Holger Giese, Nelly Bencomo, Ada Diaconescu, Lukas Esterle, "Towards a Framework for the Levels and Aspects of Self-Aware Computing Systems", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems., pp. 51–85, Springer Verlag, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Holger Giese, Thomas Vogel, Ada Diaconsecu, Sebastian Götz, Nelly Bencomo, Kurt Geihs, Samuel Kounev, Kirstie Bellman, "State of the Art in Architectures for Self-Aware Computing Systems", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems, ch. 8, pp. 237–275, Springer International Publishing, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Ada Diaconescu, Kirstie L. Bellman, Lukas Esterle, Holger Giese, Sebastian Götz, Peter Lewis, Andrea Zisman, "Architectures for Collective Self-Aware Computing Systems", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems, ch. 7, pp. 191–235, Springer International Publishing, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Kirstie Bellman, "Generic Architectures for Individual Self-Aware Computing Systems", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems, ch. 6, pp. 149–189, Springer International Publishing, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Samuel Kounev, "Architectural Concepts for Self-Aware Computing Systems", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems, ch. 5, pp. 109–147, Springer International Publishing, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Jeffrey O. Kephart, Ada Diaconsecu, Holger Giese, Anders Robertsson, Tarek Abdelzaher, Peter Lewis, Antonio Filieri, Lukas Esterle, Sylvain Frey, "Self-Adaptation in Collective Self-Aware Computing Systems", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems, ch. 13, pp. 401–435, Springer International Publishing, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Martina Maggio, Tarek Abdelzaher, Lukas Esterle, Holger Giese, Jeffrey O. Kephart, Ole J. Mengshoel, Alessandro Vittorio Papadopoulos, Anders Robertsson, Katinka Wolter, "Self-Adaptation for Individual Self-Aware Computing Systems", in Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems, ch. 12, pp. 375–399, Springer International Publishing, Berlin Heidelberg, Germany, 2017. [bibtex] [url]
Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecilia M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi, "Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems", in Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Eds., Software Engineering for Self-Adaptive Systems III. Assurances, pp. 64–89, Springer International Publishing, 2017. [bibtex] [url]
Sven Schneider, Leen Lambers and Fernando Orejas, "Symbolic Model Generation for Graph Properties", Technical Report 115, Hasso Plattner Institute at the University of Potsdam: Potsdam, Germany, 2017. [bibtex] [url]
Sven Schneider, Leen Lambers and Fernando Orejas, "Symbolic Model Generation for Graph Properties", in Marieke Huisman, Julia Rubin, Eds., Proc. Fundamental Approaches to Software Engineering (FASE'17), Lecture Notes in Computer Science, pp. 226-243, Uppsala, Sweden: Springer, 2017. [bibtex] [url]
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Eds., Software Engineering for Self-Adaptive Systems III. Assurances, Springer International Publishing, 2017. [bibtex] [url]
Maria Maximova, Holger Giese and Christian Krause, "Probabilistic Timed Graph Transformation Systems", Technical Report 118, Hasso-Plattner Institute at the University of Potsdam, 2017. [bibtex] [url]
Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, HausiA. Müller, Holger Giese, Eric Rutten, Romain Rouvoy, "What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?", in Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Eds., Software Engineering for Self-Adaptive Systems III. Assurances, pp. 90–134, Springer International Publishing, 2017. [bibtex] [url]
Regina Hebig and Holger Giese, "On the Complex Nature of MDE Evolution and its Impact on Changeability", Software & Systems Modeling, vol. 16, no. 2, pp. 333-356, 2017. [bibtex] [url]
Joachim Hänsel and Holger Giese, "Towards Collective Online and Offline Testing for Dynamic Software Product Lines", in Proceedings of the 2nd International Workshop on Variability and Complexity in Software Design, 2017. [bibtex]
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel, "Control Strategies for Self-Adaptive Software Systems", ACM Trans. Auton. Adapt. Syst., vol. 11, no. 4, pp. 24:1–24:31, 2017. [bibtex] [url]
Johannes Dyck, Holger Giese and Leen Lambers, "Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation", Technical Report 112, Hasso Plattner Institute, University of Potsdam, 2017. [bibtex] [url]
Johannes Dyck and Holger Giese, "K-Inductive Invariant Checking for Graph Transformation Systems", Technical Report 119, Hasso Plattner Institute, University of Potsdam, 2017. [bibtex] [url]
Johannes Dyck and Holger Giese, "K-Inductive Invariant Checking for Graph Transformation Systems", in Juan de Lara, Detlef Plump, Eds., Graph Transformation, vol. 10373 of LNCS, pp. 142-158, Cham: Springer, 2017. [bibtex] [url]
Maria Maximova, Holger Giese and Christian Krause, "Probabilistic Timed Graph Transformation Systems", in Graph Transformation - 10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 159–175, 2017. [bibtex] [url]
Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan Mandal, "SamaTulyata: An Efficient Path Based Equivalence Checking Tool", in Deepak D'Souza, K. Narayan Kumar, Eds., Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, vol. 10482 of LNCS, pp. 109–116, Springer, 2017. [bibtex] [url]
Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer, "Granularity of Conflicts and Dependencies in Graph Transformation Systems", in Juan de Lara, Detlef Plump, Eds., International Conference on Graph Transformation (ICGT), Lecture Notes in Computer Science, pp. 125-141, Springer International Publishing, 2017, Extended version: https://www.uni-marburg.de/fb12/arbeitsgruppen/swt/forschung/publikationen/2017/BLST17-EV.pdf. [bibtex] [url]
2016
Holger Giese and Leen Lambers, "Invariant Checking for Graph Transformation: Applications & Open Challenges (Abstract)", in Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis, Eds., Verification of Evolving Graph Structures, Dagstuhl, Germany, vol. 5 of Dagstuhl Reports, pp. 11-11, Dagstuhl, Germany: Dagstuhl Publishing, March 2016. [bibtex] [url]
Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Dominique Blouin, Loic Lagadec, "TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA", ACM Trans. Embed. Comput. Syst., vol. 15, no. 1, pp. 9:1–9:27, January 2016. [bibtex] [url]
Sona Ghahremani, "Utility-Driven Modularized MAPE-K loop architectures for Self-Adaptive Systems", In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2016, pp. 206, 2016, Extended Abstract. [bibtex]
Sebastian Wätzoldt, "Modeling collaborations in adaptive systems of systems", Ph.D. dissertation, Hasso Plattner Institute at the University of Potsdam, 2016. [bibtex] [url]
Hans Vangheluwe, Vasco Amaral, Holger Giese, Jan Broenink, Bernhard Schaetz, Alexander Norta, Paulo Carreira, Ivan Lukovic, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo, "MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems", in Proceedings of the STAF 2016 Project Showcases, 2016. [bibtex]
Marisa Navarro, Elvira Pino, Fernando Orejas, Leen Lambers, "A Logic of Graph Conditions Extended with Paths", in 7th Int. Workshop on Graph Computation Models, 2016, Pre-proceedings. [bibtex] [url]
Levi L'ucio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer, "Model transformation intents and their properties", Software and System Modeling, vol. 15, no. 3, pp. 647–684, 2016. [bibtex] [url]
Samuel Kounev, Holger Giese, Jie Liu, Eds., 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016, IEEE Computer Society, 2016. [bibtex] [url]
Regina Hebig, Holger Giese, Kimon Batoulis, Philipp Langer, Armin Zamani Farahani, Gary Yao, Mychajlo Wolowyk, "Development of AUTOSAR standard documents at Carmeq GmbH: a case study", Technical Report 92, Hasso-Plattner Institut at University of Potsdam, 2016. [bibtex]
Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers, "On the Operationalization of Graph Queries with Generalized Discrimination Networks", Technical Report 106, Hasso Plattner Institute at the University of Potsdam, 2016. [bibtex] [url]
Sona Ghahremani, Holger Giese and Thomas Vogel, "Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures", in Proceedings of the IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO '16, pp. 142–143, IEEE, 2016. [bibtex] [url]
Sona Ghahremani, "Utility-Driven Modularized MAPE-K loop architectures for Self-adaptive systems", Proceedings of the 9th Ph. D. Retreat of the HPI Research School on Service-oriented Systems Engineering, 2016. [bibtex]
Dominique Blouin and Holger Giese, "Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design", 2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), vol. 00, pp. 266-274, 2016. [bibtex]
Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers, "On the Operationalization of Graph Queries with Generalized Discrimination Networks", in Rachid Echahed, Mark Minas, Eds., Proceedings of the $9^th$ International Conference on Graph Transformations, pp. 170–186, Springer, 2016. [bibtex]
Thomas Beyhl and Holger Giese, "Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks", in Alexander Heußner, Aleks Kissinger, Anton Wijs, Eds., 2nd Graphs as Models workshop (GaM 2016), pp. 57–71, 2016. [bibtex] [url]
Thomas Beyhl and Holger Giese, "The Design Thinking Methodology at Work: Capturing and Understanding the Interplay of Methods and Techniques", in Hasso Plattner, Christoph Meinel, Larry Leifer, Eds., Design Thinking Research - Taking Breakthrough Innovation Home, Understanding Innovation, pp. 49–65, Springer International Publishing, 2016. [bibtex] [url]
2015
Sona Ghahremani, "Utility-Driven Modularized MAPE-K Loop Architectures for Self-Adaptive Systems", In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2015, pp. 240, June 2015, Extended Abstract. [bibtex]
Sebastian Wätzoldt and Holger Giese, "Modeling Collaborations in Self-Adaptive Systems of Systems–Terms, Characteristics, Requirements, and Scenarios", Technical Report 96, Hasso Plattner Institute at the University of Potsdam, April 2015. [bibtex]
Sebastian Wätzoldt and Holger Giese, "Modeling Collaborations in Adaptive Systems of Systems", in Proceedings of the European Conference on Software Architecture Workshops, ECSAW, ACM, 2015. [bibtex]
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel, "Software Engineering meets Control Theory", in Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '15, pp. 71–82, IEEE, 2015. [bibtex] [url]
Christian Krause, Matthias Tichy and Holger Giese, "Implementing Graph Transformations in the Bulk Synchronous Parallel Model", in Software Engineering and Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. Marz - 20. Marz 2015 Dresden, Germany, pp. 99–100, 2015. [bibtex]
Joachim Hänsel, Thomas Vogel and Holger Giese, "A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models", in Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW '15, pp. 134–139, IEEE, 2015. [bibtex] [url]
Holger Giese, Thomas Vogel and Sebastian Wätzoldt, "Towards Smart Systems of Systems", in Mehdi Dastani, Marjan Sirjani, Eds., Proceedings of the 6th International Conference on Fundamentals of Software Engineering (FSEN '15), vol. 9392 of Lecture Notes in Computer Science (LNCS), pp. 1–29, Springer, 2015, (invited paper). [bibtex] [url]
Johannes Dyck and Holger Giese, "Inductive Invariant Checking with Partial Negative Application Conditions", in Francesco Parisi-Presicce, Bernhard Westfechtel, Eds., Graph Transformation, vol. 9151 of LNCS, pp. 237-253, Cham: Springer, 2015. [bibtex] [url]
Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner, "Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations", in Fourth Workshop on the Analysis of Model Transformations, CEUR Workshop Proceedings, 2015. [bibtex] [url]
Johannes Dyck and Holger Giese, "Inductive Invariant Checking with Partial Negative Application Conditions", Technical Report 98, Hasso Plattner Institute, University of Potsdam: Potsdam, Germany, 2015. [bibtex]
Dominique Blouin, Gilberto Ochoa-Ruiz, Yvan Eustache, Jean-Philippe Diguet, "Kaolin: A system-level AADL tool for FPGA design reuse, upgrade and migration", in 2015 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2015, Montreal, QC, Canada, June 15-18, 2015, pp. 1–8, 2015. [bibtex] [url]
Thomas Beyhl and Holger Giese, "Efficient and Scalable Graph View Maintenance for Deductive Graph Databases based on Generalized Discrimination Networks", Hasso Plattner Institute at the University of Potsdam, 2015, Technical Report No. 99. [bibtex] [url]
Thomas Beyhl and Holger Giese, "Connecting Designing and Engineering Activities III", in Design Thinking Research - Making Design Thinking Foundational, pp. 265–290, Springer, 2015. [bibtex]
Thomas Beyhl and Holger Giese, "Traceability Recovery for Innovation Processes", in Proceedings of the 8th International Symposium on Software and Systems Traceability, pp. 22–28, IEEE, 2015. [bibtex]
Thomas Beyhl and Holger Giese, "Connecting Designing and Engineering Activities II", in Hasso Plattner, Christoph Meinel, Larry Leifer, Eds., Design Thinking Research - Building Innovators, pp. 211–239, Springer International Publishing, 2015. [bibtex] [url]
2014
Thomas Vogel, Matthias Tichy, Alessandra Gorla, Eds., Report from the GI Dagstuhl Seminar 14433: Software Engineering for Self-Adaptive Systems, no. 2014:02 of Research Reports in Software Engineering and Management, Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg, Sweden, December 2014. [bibtex] [url]
Sebastian Wätzoldt and Holger Giese, "Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling", in Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems, pp. 11–20, http://ceur-ws.org/, September 2014. [bibtex]
Thomas Vogel and Holger Giese, "On Unifying Development Models and Runtime Models", in Proceedings of the 9th International Workshop on Models@run.time at the 17th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2004), Valencia, Spain, vol. 1270 of CEUR Workshop Proceedings, pp. 5-10, CEUR-WS.org, September 2014. [bibtex] [url]
Holger Giese, Barbara König, Eds., Graph Transformation, 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, vol. 8571 of Lecture Notes in Computer Science (LNCS), Springer, July 2014. [bibtex] [url]
Stephan Hildebrandt, "On the Performance and Conformance of Triple Graph Grammar Implementations", Ph.D. dissertation, Hasso Plattner Institute at the University of Potsdam, 2014. [bibtex]
Thomas Vogel and Holger Giese, "Model-Driven Engineering of Self-Adaptive Software with EUREMA", ACM Trans. Auton. Adapt. Syst., vol. 8, no. 4, pp. 18:1-18:33, January 2014. [bibtex] [url]
Christian Krause, Matthias Tichy and Holger Giese, "Implementing Graph Transformations in the Bulk Synchronous Parallel Model", in Stefania Gnesi, Arend Rensink, Eds., 17th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France, vol. 8411 of Lecture Notes in Computer Science (LNCS), pp. 325-339, Springer, 7-10 June 2014. [bibtex] [url]
Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, Joel Greenyer, "A Comparison of Incremental Triple Graph Grammar Tools", Electronic Communications of the EASST, vol. 67, 2014. [bibtex]
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, "Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)", Dagstuhl Reports, vol. 3, no. 12, pp. 67–96, 2014. [bibtex] [url]
Axel Menning, Thomas Beyhl, Holger Giese, Ulrich Weinberg, Claudia Nicolai, "Introducing the LogCal: Template-Based Documentation Support for Educational Design Thinking Projects", in International Conference on Engineering and Product Design Education, 2014. [bibtex]
Amel Bennaceur, Robert France, Giordano Tamburrelli, Thomas Vogel, Pieter J. Mosterman, Walter Cazzola, Fábio M. Costa, Alfonso Pierantonio, Matthias Tichy, Mehmet Aksit, Pär Emmanuelson, Huang Gang, Nikolaos Georgantas, David Redlich, "Mechanisms for Leveraging Models at Runtime in Self-adaptive Software", in Nelly Bencomo, Robert France, Betty HC Cheng, Uwe Assmann, Eds., Models@run.time, vol. 8378 of Lecture Notes in Computer Science (LNCS), pp. 19–46, Springer, 2014. [bibtex] [url]
Regina Hebig, "Evolution of model-driven engineering settings in practice", Ph.D. dissertation, Hasso-Plattner-Institut fur Softwaresystemtechnik, Universität Potsdam, 2014. [bibtex] [url]
Holger Giese, Nelly Bencomo, Liliana Pasquale, AndresJ. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhan Clarke, "Living with Uncertainty in the Age of Runtime Models", in Nelly Bencomo, Robert France, Betty HC Cheng, Uwe Assmann, Eds., Models@run.time, vol. 8378 of Lecture Notes in Computer Science, pp. 47-100, Springer International Publishing, 2014. [bibtex] [url]
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations", Software and Systems Modeling, vol. 13, no. 1, pp. 273-299, 2014. [bibtex] [url]
Johannes Dyck, "Graph Transformation Systems and Verification with k-Inductive Invariants", In Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2014, Pro Business, Berlin, 2014, Extended Abstract. [bibtex]
Johannes Dyck, "Symbolic Representation and Constraint Reasoning in Invariant Checking", Technical Report 83, Proceedings of the 7th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering, Hasso Plattner Institute, University of Potsdam (Fall 2013 Workshop), 2014. [bibtex] [url]
Gregor Berg, "Virtual prototypes for the model-based elicitation and validation of collaborative scenarios", Ph.D. dissertation, Hasso Plattner Institute at the University of Potsdam, 2014. [bibtex] [url]
Basil Becker, "Architectural modelling and verification of open service-oriented systems of systems", Ph.D. dissertation, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2014. [bibtex] [url]
Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr, "BenchmarX", in K. Selçuk Candan, Sihem Amer-Yahia, Nicole Schweikardt, Vassilis Christophides, Vincent Leroy, Eds., Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014, vol. 1133 of CEUR Workshop Proceedings, pp. 82-86, CEUR-WS.org, 2014. [bibtex] [url]
2013
Thomas Beyhl, Gregor Berg and Holger Giese, "Connecting Designing and Engineering Activities", in Hasso Plattner, Christoph Meinel, Larry Leifer, Eds., Design Thinking Research - Building Innovation Eco-Systems, Springer Heidelberg New York Dordrecht London, September 2013. [bibtex]
Gregor Gabrysiak, Lukas Pirl, Regina Hebig, Holger Giese, "Cooperating with a Non-governmental Organization to Teach Gathering and Implementation of Requirements", in Proc. of the 26th Conference on Software Engineering Education and Training, CSEE&T'13, May 2013. [bibtex]
Thomas Vogel and Holger Giese, "Model-Driven Engineering of Adaptation Engines for Self-Adaptive Software: Executable Runtime Megamodels", Technical Report 66, Hasso Plattner Institute at the University of Potsdam, Germany, April 2013. [bibtex] [url]
Thomas Beyhl, Regina Hebig and Holger Giese, "A Model Management Framework for Maintaining Traceability Links", in Stefan Wagner, Horst Lichter, Eds., Software Engineering 2013 Workshopband, vol. P-215 of Lecture Notes in Informatics (LNI), pp. 453-457, Aachen: Gesellschaft für Informatik (GI), February 2013. [bibtex]
Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla, Paola Inverardi, Thomas Vogel, "Software Engineering Processes for Self-Adaptive Systems", in Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), pp. 51-75, Springer, January 2013. [bibtex] [url]
Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), Springer, 2013. [bibtex] [url]
Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Gabriel Tamura, NorhaM. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl Goeschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Rick Schlichting, Dennis B. Smith, Joao P. Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke, "Software Engineering for Self-Adaptive Systems: A second Research Roadmap", in Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), pp. 1-32, Springer, January 2013. [bibtex] [url]
Holger Giese and Wilhelm Schäfer, "Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML", in Javier Camara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, Eds., Assurances for Self-Adaptive Systems, vol. 7740 of Lecture Notes in Computer Science (LNCS), pp. 152-186, Springer, January 2013. [bibtex] [url]
Danny Weyns, Bradley Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, Karl Goeschka, "On Patterns for Decentralized Control in Self-Adaptive Systems", in Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), pp. 76-107, Springer, January 2013. [bibtex] [url]
Gabriel Tamura, NorhaM. Villegas, HausiA. Müller, JoãoPedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovskii, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong, "Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems", in Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), pp. 108-132, Springer, January 2013. [bibtex] [url]
Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel, "On the Complex Nature of MDE Evolution", in Ana Moreira, Bernhard Schaetz, Eds., Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013, LNCS, Miami, USA: Springer, 20 September - 4 October 2013. [bibtex]
Gregor Gabrysiak, Daniel Eichler, Regina Hebig, Holger Giese, "Enabling Domain Experts to Modify Formal Models via a Natural Language Representation Consistently", in Proc. of the First ICSE 2013 Workshop on Natural Language Analysis in Software Engineering, NaturaLiSE'13, 25 May 2013. [bibtex]
Thomas Vogel, "Modular Rice University Bidding System (mRUBiS)", 2013, http://www.mdelab.de [Online; accessed 02-November-2013]. [bibtex]
Ralf Teusner, Gregor Gabrysiak, Stefan Richter, Stefan Kleff, "Interactive Strategy-Based Validation of Behavioral Models", in Proc. of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT'13, 2013. [bibtex]
Andreas Seibel, "Traceability and model management with executable and dynamic hierarchical megamodels", Ph.D. dissertation, Hasso-Plattner-Institut fur Softwaresystemtechnik, Universität Potsdam, 2013. [bibtex] [url]
Stefan Neumann and Holger Giese, "Scalable Real-Time Compatibility for Embedded Components using Language-Progressive TIOA", in 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013. [bibtex]
Stefan Neumann, "Modular Timing Analysis of Component-Based Real-Time Embedded Systems", Ph.D. dissertation, Hasso Plattner Institute at the University of Potsdam, 2013. [bibtex]
Stefan Neumann and Holger Giese, "Scalable Compatibility for Real-Time Embedded Components using Language-Progressive TIOA", Technical Report 65, Hasso-Plattner Institute, 2013. [bibtex]
Christian Krause, Johannes Dyck and Holger Giese, "Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations", in Keith Duddy, Gerti Kappel, Eds., Theory and Practice of Model Transformations, 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings, vol. 7909 of Lecture Notes in Computer Science, pp. 76-91, Springer / Heidelberg, 2013. [bibtex] [url]
Stephan Hildebrandt, Leen Lambers and Holger Giese, "Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations", in Keith Duddy, Gerti Kappel, Eds., Theory and Practice of Model Transformations, vol. 7909 of Lecture Notes in Computer Science, pp. 174-188, Springer Berlin Heidelberg, 2013. [bibtex] [url]
Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr, "A Survey of Triple Graph Grammar Tools", in Bidirectional Transformations, vol. 57, pp. 1-18, EC-EASST, 2013. [bibtex] [url]
Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese, "Modal Specifications for Probabilistic Timed Systems", in Proc. of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2013. [bibtex]
Andrew Fish and Leen Lambers, "Special Issue on Graph Transformation and Visual Modeling Techniques: Guest Editors' introduction", Journal of Visual Languages & Computing, vol. 24, no. 6, pp. 419-420, 2013. [bibtex] [url]
Johannes Dyck, "Graph Transformation Systems and Invariant Checking with k-Inductive Invariants", In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2013, Pro Business, Berlin, pp. 226, 2013, Extended Abstract. [bibtex]
Dave Binkley, Dawn Lawrie, Emily Hill, Janet Burge, Ian Harris, Regina Hebig, Oliver Keszöcze, Karl Reed, John Slankas, "Task Driven Software Summarization", in ERA Track at 29th IEEE International Conference on Software Maintenance (ICSM), 2013, accepted. [bibtex]
Thomas Beyhl, Gregor Berg and Holger Giese, "Why Innovation Processes Need to Support Traceability", in International Workshop on Traceability in Emerging Forms of Software Engineering, pp. 1-4, San Francisco: IEEE, 2013. [bibtex]
Thomas Beyhl, Gregor Berg and Holger Giese, "Towards Documentation Support for Educational Design Thinking Projects", in Proceedings of EPDE 2013, the 15th International Conference on Engineering and Product Design Education, pp. 408-413, 2013. [bibtex]
Basil Becker and Holger Giese, "Modeling and Verifying Dynamic Evolving Service-Oriented Architectures", Technical Report 75, Hasso Plattner Institute at the University of Potsdam, 2013. [bibtex]
2012
Gregor Gabrysiak, Regina Hebig and Holger Giese, "Decoupled Model-Based Elicitation of Stakeholder Scenarios", in Proc. of the Seventh International Conference on Software Engineering Advances, Lisbon, Portugal: IARIA, November 2012. [bibtex]
Sebastian Wätzoldt, Stefan Neumann, Falk Benke, Holger Giese, "Integrated Software Development for Embedded Robotic Systems", in Itsuki Noda, Noriaki Ando, Davide Brugali, James Kuffner, Eds., Proceedings of the 3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), vol. 7628 of Lecture Notes in Computer Science, pp. 335-348, Springer Berlin Heidelberg, October 2012. [bibtex]
Holger Giese, Stephan Hildebrandt, Stefan Neumann, Sebastian Wätzoldt, "Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars", Technical Report 57, Hasso Plattner Institute at the University of Potsdam, September 2012. [bibtex] [url]
Gregor Gabrysiak, Markus Guentert, Regina Hebig, Holger Giese, "Teaching Requirements Engineering with Authentic Stakeholders: Towards a Scalable Course Setting", in Proc. of ICSE 2012 Workshop on Software Engineering Education based on Real-World Experiences, June 2012. [bibtex]
Gregor Gabrysiak, Regina Hebig and Holger Giese, "Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders", in Sumitra Reddy, Khalil Drira, Eds., 21st IEEE International WETICE conference (WETICE-2012), pp. 220-225, Toulouse, France: IEEE, June 2012. [bibtex]
Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt, "Graph Transformations for MDE, Adaptation, and Models at Runtime", in Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio, Eds., Formal Methods for Model-Driven Engineering, vol. 7320 of Lecture Notes in Computer Science (LNCS), pp. 137-191, Springer Berlin / Heidelberg, June 2012. [bibtex] [url]
Thomas Vogel and Holger Giese, "A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels", in Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), pp. 129-138, IEEE Computer Society, June 2012. [bibtex] [url]
A. Marconi, Antonio Bucchiarone, K. Bratanis, Antonio Brogi, Javier Camara, D. Dranidis, Holger Giese, R. Kazhamiakink, Rogério de Lemos, C.C. Marquezan, Andreas Metzger, "Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems", in Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube), pp. 40-46, IEEE Computer Society, June 2012. [bibtex]
Thomas Vogel and Holger Giese, "Requirements and Assessment of Languages and Frameworks for Adaptation Models", in Jörg Kienzle, Ed., Models in Software Engineering, Workshops and Symposia at MoDELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers, vol. 7167 of Lecture Notes in Computer Science (LNCS), pp. 167-182, Springer-Verlag, April 2012. [bibtex] [url]
Alexander Krasnogolowy, Stephan Hildebrandt and Sebastian Wätzoldt, "Flexible Debugging of Behavior Models", in 2012 IEEE International Conference on Industrial Technology (ICIT), pp. 331–336, March 2012. [bibtex]
Markus von Detten, Christian Heinzemann, M. Platenius, Jan Rieke, Dietrich Travkin, Stephan Hildebrandt, "Story Diagrams - Syntax and Semantics", Software Engineering Group, Heinz Nixdorf Institute, 2012. [bibtex]
Markus von Detten, Christian Heinzemann, M. Platenius, Jan Rieke, Dietrich Travkin, Stephan Hildebrandt, "Story Diagrams - Syntax and Semantics", Software Engineering Group, Heinz Nixdorf Institute, 2012, Version 0.2. [bibtex]
Markus von Detten, Christian Heinzemann, M. Platenius, Jan Rieke, J. Suck, Dietrich Travkin, Stephan Hildebrandt, "Story Diagrams - Syntax and Semantics", Software Engineering Group, Heinz Nixdorf Institute, 2012. [bibtex]
Henrik Steudel, Regina Hebig and Holger Giese, "A Build Server for Model-Driven Engineering", in 6th International Workshop on Multi-Paradigm Modeling (MPM 2012), ACM, 2012. [bibtex]
Andreas Seibel, Regina Hebig and Holger Giese, "Traceability in Model-Driven Engineering: Efficient and Scalable Traceability Maintenance", in Jane Cleland-Huang, Orlena Gotel, Andrea Zisman, Eds., Software and Systems Traceability, pp. 215-240, Springer London, 2012. [bibtex]
Fernando Orejas and Leen Lambers, "Lazy Graph Transformation", Fundamenta Informaticae, vol. 118, no. 1-2, pp. 65-96, 2012. [bibtex]
Stefan Neumann, Norman Kluge and Sebastian Wätzoldt, "Automatic Transformation of Abstract AUTOSAR Architectures to Timed Automata", in Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB '12, pp. 55–60, New York, NY, USA: ACM, 2012. [bibtex]
Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas, "Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case", in Frank Hermann, Janis Voigtländer, Eds., Proceedings of the First International Workshop on Bidirectional Transformations, vol. 49, pp. 1-16, EC-EASST, 2012. [bibtex] [url]
Christian Krause, Holger Giese and Erik de Vink, "Compositional and behavior-preserving reconfiguration of component connectors in Reo", Journal of Visual Languages & Computing, 2012. [bibtex]
Christian Krause and Holger Giese, "Probabilistic Graph Transformation Systems", in Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of Lecture Notes in Computer Science, pp. 311-325, Springer-Verlag, 2012. [bibtex] [url]
Regina Hebig, Gregor Gabrysiak and Holger Giese, "Towards Patterns for MDE-Related Processes to Detect and Handle Changeability Risks", in 2012 International Conference on Software and Systems Process, 2012. [bibtex]
Regina Hebig and Holger Giese, "MDE Settings in SAP. A Descriptive Field Study", Technical Report 58, Hasso-Plattner Institut at University of Potsdam, 2012. [bibtex]
Stephan Hildebrandt, Leen Lambers and Holger Giese, "The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars", in Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, Eds., MoDELS Workshop on Analysis of Model Transformation, pp. 33-34, ACM, 2012. [bibtex]
Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter, "Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations", in Andy Schürr, Daniel Varró, Gergely Varró, Eds., Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011), vol. 7233 of LNCS, pp. 238-253, Springer, 2012. [bibtex]
Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese, "Integration of Triple Graph Grammars and Constraints", in Christian Krause, Bernhard Westfechtel, Eds., Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012), vol. 52, pp. 1-12, EC-EASST, 2012. [bibtex] [url]
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas, "Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs", Theoretical Computer Science, vol. 424, pp. 46 - 68, 2012. [bibtex]
Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits, "Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)", Dagstuhl Reports, vol. 1, no. 11, pp. 1–22, 2012. [bibtex] [url]
Andrew Fish, Leen Lambers, Eds., Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012), vol. 47 of EC-EASST, 2012. [bibtex] [url]
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese, "Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 141-155, Springer, 2012. [bibtex]
Holger Giese and Leen Lambers, "Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 249-263, Springer, 2012. [bibtex] [url]
Gregor Gabrysiak, Holger Giese and Andreas Seibel, "Towards Next-Generation Design Thinking II: Virtual Multi-User Software Prototypes", in Hasso Plattner, Christoph Meinel, Larry Leifer, Eds., Design Thinking Research, Understanding Innovation, pp. 107–126, Springer Berlin Heidelberg, 2012. [bibtex]
Gregor Gabrysiak, Holger Giese and Thomas Beyhl, "Virtual Multi-User Software Prototypes III", in Hasso Plattner, Christoph Meinel, Larry Leifer, Eds., Design Thinking Research - Measuring Performance in Context, Understanding Innovation, pp. 263–284, Springer Berlin Heidelberg, 2012. [bibtex]
Holger Giese, Grigore Rosu, Eds., 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, vol. 7273 of Lecture Notes in Computer Science (LNCS), Springer, 2012. [bibtex]
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas, "M-Adhesive Transformation Systems with Nested Application Conditions, Part 2: Embedding, Critical Pairs and Local Confluence", Fundamenta Informaticae, vol. 118, no. 1-2, pp. 35-63, 2012. [bibtex]
Moussa Amrani, Juergen Dingel, Leen Lambers, Levi Lúcio, Gehan Selim, Eugene Syriani, Manuel Wimmer, "Towards a Model Transformation Intent Catalog", in Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, Eds., MoDELS Workshop on Analysis of Model Transformation, pp. 3-8, ACM, 2012. [bibtex] [url]
Basil Becker and Holger Giese, "Cyber-Physical Systems with Dynamic Structure: Towards Modeling and Verification of Inductive Invariants", Technical Report 64, Hasso Plattner Institute at the University of Potsdam, Germany, 2012. [bibtex]
2011
Thomas Vogel and Holger Giese, "Language and Framework Requirements for Adaptation Models", in Nelly Bencomo, Gordon Blair, Betty HC Cheng, Robert France, Cedric Jeanneret, Eds., Proceedings of the 6th International Workshop on Models@run.time at the 14th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2011), Wellington, New Zealand, vol. 794 of CEUR Workshop Proceedings, pp. 1-12, CEUR-WS.org, October 2011, (best paper). [bibtex] [url]
Gregor Gabrysiak, Holger Giese and Andreas Seibel, "Why Should I Help You to Teach Requirements Engineering?", in Proc. of the 6th International Workshop on Requirements Engineering Education and Training (REET), pp. 9–13, August 2011. [bibtex]
Andreas Seibel, Regina Hebig, Stefan Neumann, Holger Giese, "A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations", in 4th International Conference on Software Language Engineering (SLE 2011) , Braga, Portugal, July 2011. [bibtex]
Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl Goeschka, Alessandra Gorla, Vincenzo Grassi, Poala Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Wilhelm Schlichting, Bradley Schmerl, Dennis B. Smith, Joao P. Sousa, Gabriel Tamura, Ladan Tahvildari, NorhaM. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke, "Software Engineering for Self-Adpaptive Systems: A second Research Roadmap", in Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems, Dagstuhl Seminar Proceedings, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, June 2011, (draft version of May 20, 2011). [bibtex] [url]
Thomas Vogel, Andreas Seibel and Holger Giese, "The Role of Models and Megamodels at Runtime", in Juergen Dingel, Arnor Solberg, Eds., Models in Software Engineering, Workshops and Symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010, Reports and Revised Selected Papers, vol. 6627 of Lecture Notes in Computer Science (LNCS), pp. 224-238, Springer-Verlag, May 2011. [bibtex] [url]
Sebastian Wätzoldt, Stephan Hildebrandt, Andreas Seibel, Gregor Gabrysiak, Holger Giese, "Towards Scalable and Self-Optimizing Software for Multi-Core and Cloud Computing", Technical Report 42, Proceedings of the Fall 2010 Future SOC Lab Day; Universitätsverlag Potsdam, February 2011. [bibtex] [url]
Gregor Gabrysiak, "Exploration and Validation through Animation of Scenario Specifications", in Doctoral Symposium of the 19th IEEE International Requirements Engineering Conference (RE'11), 29 August 2011. [bibtex]
Stefan Neumann, Sebastian Wätzoldt and Holger Giese, "From Abstract Component Descriptions to Timed I/O-Interfaces in AUTOSAR", in Proceeding of the Second Analytic Virtual Integration of Cyber-Physical Systems Workshop., pp. 25 - 32, 29-29 November 2011, http://www.contrib.andrew.cmu.edu/ schaki/avicps/AVICPS-2011-PROCEEDINGS.pdf. [bibtex] [url]
Andreas Seibel, "From Software Traceability to Global Model Management and Back Again", in 15th European Conference on Software Maintenance and Reengineering (CSMR'11), Doctoral Symposium, Oldenburg, Germany, 1-4 March 2011. [bibtex]
Gregor Gabrysiak, Holger Giese, Alexander Lüders, Andreas Seibel, "How Can Metamodels Be Used Flexibly?", in Proc. of ICSE 2011 Workshop on Flexible Modeling Tools, 22 May 2011. [bibtex]
Bernhard Schätz and Holger Giese, "Models of Reactive Systems - Communication, Concurrency and Causality", in Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, Eds., Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, vol. 6100 of Lecture Notes in Computer Science, pp. 3-15, Springer, 2011. [bibtex] [url]
Holger Giese, Betty HC Cheng, Eds., Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, 2011. [bibtex] [url]
Christian Krause and Holger Giese, "Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements", in Proceedings 13th International Workshop on Verification of Infinite-State Systems (INFINITY'11), vol. 73 of Electronic Proceedings in Theoretical Computer Science, pp. 64–78, Open Publishing Association, 2011. [bibtex]
Regina Hebig, "An Approach to Integrating Model Management and Software Development Processes,", in Doctoral Symposium at MODELS 2011, 2011. [bibtex]
Regina Hebig, Andreas Seibel and Holger Giese, "Toward a Comparable Characterization for Software Development Activities in Context of MDE", in Proceedings of the 2011 International Conference on Software and Systems Process, ICSSP '11, pp. 33–42, New York, NY, USA: ACM, 2011. [bibtex] [url]
Regina Hebig, Andreas Seibel and Holger Giese, "On the Unification of Megamodels", in Vasco Amaral, Hans Vangheluwe, Cécile Hardebolle, Laszlo Lengyel, Tiziana Magaria, Julia Padberg, Gabriele Taentzer, Eds., Proceedings of the 4th International Workshop on Multi-Paradigm Modeling (MPM 2010), vol. 42 of Electronic Communications of the EASST, 2011. [bibtex] [url]
Stefan Henkler, Simon Oberthur, Holger Giese, Andreas Seibel, "Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures", International Journal of Computer Systems Science and Engineering, vol. 27, no. 1, pp. 3–16, 2011. [bibtex]
Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz, "Model-Based Integration", in Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, Eds., Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, vol. 6100 of Lecture Notes in Computer Science, pp. 17-54, Springer, 2011. [bibtex] [url]
Holger Giese, Stefan Henkler and Martin Hirsch, "A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems", SIMULATION, vol. 87, no. 9, pp. 775-808, 2011. [bibtex] [url]
Holger Giese, Garbor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, Eds., Model-Based Engineering of Embedded Real-Time Systems, International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, vol. 6100 of Lecture Notes in Computer Science (LNCS), Springer, 2011. [bibtex] [url]
Gregor Gabrysiak, Holger Giese and Andreas Seibel, "Towards Next Generation Design Thinking: Scenario-Based Prototyping for Designing Complex Software Systems with Multiple Users", in Hasso Plattner, Christoph Meinel, Larry Leifer, Eds., Design Thinking: Understand – Improve – Apply, Understanding Innovation, pp. 219–236, Springer-Verlag Berlin Heidelberg, 2011. [bibtex]
Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer, "Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior", in Dimitra Giannakopoulou, Fernando Orejas, Eds., Fundamental Approaches to Software Engineering, vol. 6603 of Lecture Notes in Computer Science, pp. 156-170, Springer Berlin / Heidelberg, 2011. [bibtex] [url]
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese, "Iterative Development of Consistency-Preserving Rule-Based Refactorings", in Jordi Cabot, Eelco Visser, Eds., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707 of Lecture Notes in Computer Science, pp. 123-137, Springer / Heidelberg, 2011. [bibtex] [url]
2010
Thomas Vogel, Andreas Seibel and Holger Giese, "Toward Megamodels at Runtime", in Nelly Bencomo, Gordon Blair, Franck Fleurey, Cedric Jeanneret, Eds., Proceedings of the 5th International Workshop on Models@run.time at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, vol. 641 of CEUR Workshop Proceedings, pp. 13-24, CEUR-WS.org, October 2010, (best paper). [bibtex] [url]
Stefan Neumann and Andreas Seibel, "Toward Mega Models for Maintaining Timing Properties of Automotive Systems", in In Proceedings of the 3rd International Workshop on Model-Based Architecting and Construction of Embedded Systems (ACES-MB 2010) at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, October 2010. [bibtex]
Gregor Gabrysiak, Holger Giese and Andreas Seibel, "Deriving Behavior of Multi-User Processes From Interactive Requirements Validation", in Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ASE'10, pp. 355–356, Antwerp, Belgium: ACM, September 2010. [bibtex]
Regina Hebig, Holger Giese and Basil Becker, "Making Control Loops Explicit When Architecting Self-Adaptive Systems", in SOAR '10: Proceedings of the second international workshop on Self-Organizing Architectures, pp. 21–28, Washington, DC, USA: ACM, June 2010. [bibtex]
Thomas Vogel and Holger Giese, "Adaptation and Abstract Runtime Models", in Proceedings of the 5th Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) at the 32nd IEEE/ACM International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, pp. 39-48, ACM, May 2010. [bibtex] [url]
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker, "Incremental Model Synchronization for Efficient Run-Time Monitoring", in Sudipto Ghosh, Ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pp. 124-139, Springer-Verlag, April 2010. [bibtex] [url]
Gregor Gabrysiak, Jonathan Edelman, Holger Giese, Andreas Seibel, "How Tangible can Virtual Prototypes be?", in Proceedings of the 8th Design Thinking Research Symposium, pp. 163-174, 19-20 October 2010. [bibtex]
Gregor Gabrysiak, Holger Giese, Andreas Seibel, Stefan Neumann, "Teaching Requirements Engineering with Virtual Stakeholders without Software Engineering Knowledge", in Joy Betty, Ljerka Beus-Dukic, Eds., Proc. of the 5th International Workshop on Requirements Engineering Education and Training (REET), pp. 36 – 45, Sydney, Australia: IEEE Computer Society, 24-24 September 2010. [bibtex]
Gregor Gabrysiak, Holger Giese and Andreas Seibel, "Using Ontologies for Flexibly Specifying Multi-User Processes", in Proc. of FlexiTools Workshop at ICSE 2010, Cape Town, South Africa, 2-8 May 2010. [bibtex]
Stefan Henkler, Simon Oberthur, Holger Giese, Andreas Seibel, "Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures", in Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, IEEE Computer Society Press, 5-6 May 2010. [bibtex]
Andreas Seibel, Stefan Neumann and Holger Giese, "Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance", Software and Systems Modeling, vol. 9, no. 4, pp. 493-528, 2010. [bibtex] [url]
Oliver Niggemann, Anne Geburzi and Joachim Stroop, "Benefits of System Simulation for Automotive Applications", in Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, Eds., Model-Based Engineering of Embedded Real-Time Systems, vol. 6100 of Lecture Notes in Computer Science (LNCS), pp. 329-336, Springer, 2010. [bibtex] [url]
Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger, Stephan Hildebrandt, "Navigating Across Non-Navigable Ecore References via OCL", in Proc. of International Workshop on OCL and Textual Modelling at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, 2010. [bibtex]
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars", in Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering Verification and Validation, pp. 19-24, Oslo, Norway: IEEE Computer Society, 2010. [bibtex]
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars", Technical Report 37, Hasso Plattner Institute at the University of Potsdam, 2010. [bibtex] [url]
Holger Giese, Ed., Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings, vol. 6150 of Lecture Notes in Computer Science (LNCS), Springer, 2010. [bibtex] [url]
Holger Giese, Stefan Neumann and Stephan Hildebrandt, "Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent", in Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, B. Westfechtel, Eds., Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, vol. 5765 of Lecture Notes in Computer Science, pp. 555-579, Springer Berlin / Heidelberg, 2010. [bibtex]
Basil Becker, Stefan Neumann, Martin Schenk, Arian Treffer, Holger Giese, "Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration", in Sudipto Ghosh, Ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pp. 83-97, Springer-Verlag, 2010. [bibtex]
2009
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker, "Incremental Model Synchronization for Efficient Run-time Monitoring", in Nelly Bencomo, Gordon Blair, Robert France, Cedric Jeanneret, Freddy Munoz, Eds., Proceedings of the 4th International Workshop on Models@run.time at the 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, USA, vol. 509 of CEUR Workshop Proceedings, pp. 1-10, CEUR-WS.org, October 2009, (best paper). [bibtex] [url]
Holger Giese, Andreas Seibel and Thomas Vogel, "A Model-Driven Configuration Management System for Advanced IT Service Management", in Nelly Bencomo, Gordon Blair, Robert France, Cedric Jeanneret, Freddy Munoz, Eds., Proceedings of the 4th International Workshop on Models@run.time at the 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, USA, vol. 509 of CEUR Workshop Proceedings, pp. 61-70, CEUR-WS.org, October 2009. [bibtex] [url]
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker, "Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems", in Proceedings of the 6th IEEE/ACM International Conference on Autonomic Computing and Communications (ICAC 2009), Barcelona, Spain, pp. 67-68, ACM, June 2009. [bibtex] [url]
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kathan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese, "Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite", in Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, May 2009. [bibtex]
Holger Giese, Michaela Huhn, Bernhard Schätz, Ulrich Nickel, Eds., Proc. of the 5th Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 22.-24.04.2009, Schloss Dagstuhl, Germany, no. 2009-1 of Informatik-Bericht, April 2009. [bibtex] [url]
Holger Giese and Robert Wagner, "From model transformation to incremental bidirectional model synchronization", Software and Systems Modeling, vol. 8, no. 1, pp. 21-43, 28 March 2009. [bibtex] [url]
Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer, "Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration", in Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza, Eds., Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), vol. 507 of CEUR Workshop Proceedings, pp. 123-137, CEUR-WS.org, 6-6 October 2009. [bibtex]
Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Margaria Tiziana, Josu Martinez, Christian Muller-Schloer, Roland Reichle, "The Role of Models in Self-adaptive and Self-healing Systems", in Artur Andrzejak, Kurt Geihs, Onn Shehory, John Wilkes, Eds., Self-Healing and Self-Adaptive Systems, Dagstuhl Seminar Proceedings, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [bibtex] [url]
Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Margaria Tiziana, Josu Martinez, Christian Muller-Schloer, Roland Reichle, "The Role of Models in Self-adaptive and Self-healing Systems", in Artur Andrzejak, Kurt Geihs, Onn Shehory, John Wilkes, Eds., Self-Healing and Self-Adaptive Systems, Dagstuhl Seminar Proceedings, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [bibtex] [url]
Betty HC Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos, Eds., Software Engineering for Self-Adaptive Systems, vol. 5525 of Lecture Notes in Computer Science (LNCS), Springer, 2009. [bibtex] [url]
Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, HausiA. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle, "Software Engineering for Self-Adaptive Systems: A Research Roadmap", in Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Eds., Software Engineering for Self-Adaptive Systems, vol. 5525 of Lecture Notes in Computer Science (LNCS), pp. 1-26, Springer, 2009. [bibtex] [url]
Holger Giese, Mattthias Gehrke, Joachim Stroop, Eds., Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time System (OMER4), Heinz Nixdorf MuseumsForum, Paderborn, Germany. October 13 and 14, 2005, no. 191 of HNI-Verlagsschriftenreihe, 2009. [bibtex]
Holger Giese, Stephan Hildebrandt and Stefan Neumann, "Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization", in 5th Workshop on Model-Based Development of Embedded Systems (MBEES), 2009. [bibtex]
Holger Giese, Stephan Hildebrandt and Andreas Seibel, "Feature Report: Modeling and Interpreting EMF-based Story Diagrams", in Proceedings of the 7th International Fujaba Days, 2009. [bibtex]
Holger Giese, Stephan Hildebrandt and Andreas Seibel, "Improved Flexibility and Scalability by Interpreting Story Diagrams", in Tiziana Magaria, Julia Padberg, Gabriele Taentzer, Eds., Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), vol. 18, Electronic Communications of the EASST, 2009. [bibtex]
Holger Giese and Stephan Hildebrandt, "Efficient Model Synchronization of Large-Scale Models", Technical Report 28, Hasso Plattner Institute at the University of Potsdam, 2009. [bibtex]
Gregor Gabrysiak, Holger Giese and Andreas Seibel, "Interactive Visualization for Elicitation and Validation of Requirements with Scenario-Based Prototyping", in Proceedings of the 4th International Workshop on Requirements Engineering Visualization (REV 2009), Washington, DC, USA: IEEE Computer Society, 2009. [bibtex]
Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, HausiA. Müller, Mauro Pezzè, Mary Shaw, "Engineering Self-Adaptive Systems through Feedback Loops", in Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Eds., Software Engineering for Self-Adaptive Systems, vol. 5525 of Lecture Notes in Computer Science, pp. 48-70, Springer, 2009. [bibtex]
Basil Becker, "Towards Safety Guarantees for Service-Oriented Systems", in ICSE Companion 2009, Companion of the 31th International Conference on Software Engineering, pp. 347 – 350, IEEE Computer Society, 2009. [bibtex]
Basil Becker, Holger Giese and Stefan Neumann, "Correct Dynamic Service-Oriented Architectures: Modeling and Compositional Verification with Dynamic Collaborations", Technical Report 29, Hasso Plattner Institute at the University of Potsdam, 2009. [bibtex]
2008
Holger Giese, Stefan Henkler and Martin Hirsch, "A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems", Technical Report tr-ri-08-297, Computer Science Department, University of Paderborn, December 2008. [bibtex]
Stefan Henkler, Andreas Seibel and Holger Giese, "Synthesis of Real-Time Component Behavior", Technical Report tr-ri-08-296, Computer Science Department, University of Paderborn, December 2008. [bibtex]
Christian Brenner, Holger Giese, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, "Integration of Legacy Components in Mechatronic UML Architectures", in Uwe Assmann, Jendrik Johannes, Albert Zündorf, Eds., Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pp. 52–55, September 2008. [bibtex]
Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler, "Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems", International Journal on Software Tools for Technology Transfer (STTT), vol. 10, no. 3, pp. 207-222, June 2008. [bibtex] [url]
Cristina Gacek, Holger Giese and Ethan Hadar, "Friends or Foes? – A Conceptual Analysis of Self-Adaptation and IT Change Management", in Proc. of the ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), pp. 121–128, ACM, May 2008. [bibtex]
Martin Hirsch, Stefan Henkler and Holger Giese, "Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML", in Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS''08), Leipzig, Germany, ACM Press, May 2008. [bibtex]
Holger Giese, Michaela Huhn, Bernhard Schätz, Ulrich Nickel, Eds., Proc. of the 4th Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 07.-09.04.2008, Schloss Dagstuhl, Germany, no. 2008-2 of Informatik-Bericht, April 2008. [bibtex] [url]
Semir Osmic, Eckehard Münch, Ansgar Trächtler, Stefan Henkler, Wilhelm Schäfer, Holger Giese, Martin Hirsch, "Safe Online-Reconfiguration of Self-Optimizing Mechatronic Systems", in Jürgen Gausemeier, Franz Rammig, Wilhelm Schäfer, Eds., Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik, pp. 1-16, April 2008. [bibtex]
Basil Becker, Holger Giese, Stephan Hildebrandt, Andreas Seibel, "Fujaba's Future in the MDA Jungle - Fully Integrating Fujaba and the Eclipse Modeling Framework?", in Proceedings of the 6th International Fujaba Days, 18-19 September 2008. [bibtex]
Basil Becker and Holger Giese, "On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles", in In Proc. of 11th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC), pp. 203–210, IEEE Computer Society Press, 5-7 May 2008. [bibtex]
Betty HC Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, HausiA. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle, "08031 – Software Engineering for Self-Adaptive Systems: A Research Road Map", in Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Eds., Software Engineering for Self-Adaptive Systems, Dagstuhl Seminar Proceedings, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008. [bibtex]
Holger Giese, Ed., Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, vol. 5002 of Lecture Notes in Computer Science (LNCS), Springer, 2008. [bibtex] [url]
Martin Hirsch, Stefan Henkler and Holger Giese, "Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML", in Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems, SEAMS '08, pp. 33–40, New York, NY, USA: ACM, 2008. [bibtex] [url]
Holger Giese and Stephan Hildebrandt, "Incremental Model Synchronization for Multiple Updates", in Proceedings of the 3rd International Workshop on Graph and Model Transformations, May 12, 2008, Leipzig, Germany, vol. Proceedings of GraMoT'08, May 12, 2008, Leipzig, Germany, ACM Press, 2008. [bibtex]
Holger Giese, "Reusable Services and Semi-Automatic Service Composition for Automotive Software", in Manfred Broy, Ingolf Krüger, Michael Meisinger, Eds., Automotive Software – Model-Driven Development of Reliable Automotive Services. Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, vol. 4922 of Lecture Notes in Computer Science, pp. 161-181, Springer Verlag, 2008. [bibtex] [url]
Holger Giese, "Dependability, Certification, and the Model-Driven Development of Advanced Software-Intensive Systems: Obstacles, Possibilities, and Challenges", in Michaela Huhn, Hardi Hungar, Doron Peled, Eds., Tools for the Model-based Development of Certifiable, Dependable Systems, Dagstuhl Seminar Proceedings, Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [bibtex] [url]
Holger Giese, Stefan Henkler and Martin Hirsch, "Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML", in Architecting Dependable Systems V, vol. 5135 of Lecture Notes in Computer Science, pp. 248–272, Springer Verlag, 2008. [bibtex] [url]
Basil Becker and Holger Giese, "Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach", in Proc. 5th Intl. Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST), pp. 508 - 516, ACM, 2008. [bibtex]
Basil Becker and Holger Giese, "Incremental Verification of Inductive Invariants for the Run-Time Evolution of Self-Adaptive Software-Intensive Systems", in Proc. 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS), pp. 33-40, IEEE Computer Society Press, 2008. [bibtex]
2007
Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein, Michael Spijkerman, "Monitoring of Structural and Temporal Properties", in Leif Geiger, Holger Giese, Albert Zündorf, Eds., Proc. of the 5th International Fujaba Days 2007, Kassel, Germany, pp. 8-11, September 2007. [bibtex]
Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky, Eds., Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications, vol. 4408 of Lecture Notes in Computer Science (LNCS), Springer, 2007. [bibtex] [url]
Holger Giese, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, "Model-Based Testing of Mechatronic Systems", in Leif Geiger, Holger Giese, Albert Zündorf, Eds., Proc. of the 5th International Fujaba Days 2007, Kassel, Germany, pp. 1-4, September 2007. [bibtex]
Jürgen Gausemeier, Holger Giese, Wilhelm Schäfer, Björn Axenath, Ursula Frank, Stefan Henkler, Sebastian Pook, Matthias Tichy, "Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models", in Proc. of the 16th International Conference on Engineering Design (ICED), August 2007. [bibtex]
Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Vadim Boiko, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking, "Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View", in Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pp. 801–804, IEEE Computer Society Press, May 2007. [bibtex] [url]
Holger Giese and Florian Klein, "Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications", International Journal on Agent-Oriented Software Engineering (IJAOSE), vol. 1, no. 1, pp. 28–62, April 2007. [bibtex]
Florian Klein and Holger Giese, "Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams", in Matt Dwyer, Antónia Lopes, Eds., Proc. of 10th International Conference on Fundamental Approaches to Software Engineering (FASE) 2007, held as part of ETAPS 2007, Lisboa, Portugal, March 24-April 1, 2007, vol. 4422 of Lecture Notes in Computer Science (LNCS), pp. 185–199, Springer Verlag, March 2007. [bibtex] [url]
Ursula Frank, Holger Giese, Thomas Müller, Simon Oberthür, Christoph Romaus, Matthias Tichy, Henner Vöcking, "Potenziale und Risiken der Selbstoptimierung für die Verlässlichkeit mechatronischer Systeme", in Proc. of the Fifth Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, March 2007. [bibtex] [url]
Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf, "Das MATE Projekt - visuelle Spezifikation von MATLAB-Analysen und Transformationen", in Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz, Eds., Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 15.-18.1.2007, Schloss Dagstuhl, Germany, Informatik-Bericht, pp. 73-82, January 2007. [bibtex]
Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz, Eds., Proc. of the 3rd Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 15.-18.1.2007, Schloss Dagstuhl, Germany, no. 2007-1 of Informatik-Bericht, January 2007. [bibtex] [url]
Ingo Stürmer, Heiko DÃÂ�rr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf, "Das MATE Projekt ââ��â�� visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen", Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme, 2007. [bibtex]
Holger Giese, "Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems", in Fabrice Kordon, Janos Sztipanovits, Eds., Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005 . Revised Selected Papers, vol. 4322 of Lecture Notes in Computer Science, pp. 258-280, Springer Verlag, 2007. [bibtex]
Holger Giese, Tihamer Levendovszky and Hans Vangheluwe, "Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools", in Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, vol. 4364 of Lecture Notes in Computer Science, Springer Verlag, 2007. [bibtex]
Holger Giese, Stefan Henkler, Martin Hirsch, Vladimir Roubin, Matthias Tichy, "Modeling Techniques for Software-Intensive Systems", in Pierre F. Tiako, Ed., Designing Software-Intensive Systems: Methods and Principles, Idea Group Publishing, 2007. [bibtex] [url]
Holger Giese, Albert Zündorf, Leif Geiger, Eds., Proceedings of the $5^th$ Fujaba Days, 2007. [bibtex]
2006
Holger Giese and Stefan Henkler, "A Survey of Approaches for the Visual Model-Driven Development of Next Generation Software-Intensive Systems", Journal of Visual Languages & Computing, vol. 17, no. 6, pp. 528–550, December 2006. [bibtex] [url]
Holger Giese and Robert Wagner, "Incremental Model Synchronization with Triple Graph Grammars", in Oscar Nierstrasz, John Whittle, David Harel, Gianna Reggio, Eds., Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, vol. 4199 of Lecture Notes in Computer Science (LNCS), pp. 543–557, Springer Verlag, October 2006. [bibtex] [url]
Holger Giese, Sabine Glesner, Johannes Leitner, Schafer, "Towards Verified Model Transformations", in David Hearnden, J.G. Süß, Beno^it Baudry, Nicolas Rapin, Eds., Proc. of the $3^rd$ International Workshop on Model Development Validation and Verification (MoDeV$^2$a), Genova, Italy, pp. 78–93, Le Commissariat `a l'Energie Atomique - CEA, October 2006. [bibtex] [url]
Holger Giese, Sabine Glesner, Johannes Leitner, Wilhelm Schäfer, Robert Wagner, "Towards Verified Model Transformations", in David Hearnden, J.G. Süß, Benoît Baudry, Nicolas Rapin, Eds., Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeVa), Genova, Italy, pp. 78–93, Le Commissariat à l'Energie Atomique - CEA, October 2006. [bibtex] [url]
Matthias Tichy, Holger Giese and Andreas Seibel, "Story Diagrams in Real-Time Software", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 15–22, University of Paderborn, September 2006. [bibtex] [url]
Holger Giese and Matthias Tichy, "Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration", in Proc. of the 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP), Gdansk, Poland, vol. 4166 of Lecture Notes in Computer Science (LNCS), pp. 156–169, Springer Verlag, September 2006. [bibtex] [url]
Holger Giese, N. Montealegre, T. Müller, S. Oberthür, B. Schulz, "Acute stress response for self-optimizing mechatronic systems", in Proc. of the IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2006), Santiago, Chile, August 20-25, 2006, Springer Science and Business Media, August 2006. [bibtex]
Holger Giese and Stefan Henkler, "Architecture-Driven Platform Independent Deterministic Replay for Distributed Hard Real-Time Systems", in Proceedings of the 2nd International Workshop on The Role of Software Architecture for Testing and Analysis (ROSATEA2006), pp. 28–38, New York, NY, USA: ACM Press, July 2006. [bibtex] [url]
Holger Giese and Alexander Vilbig, "Separation of Non-Orthogonal Concerns in Software Architecture and Design", Software and Systems Modeling, vol. 5, no. 2, pp. 136 - 169, June 2006. [bibtex]
Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein, "Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios", in Proc. of the $5^th$ ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China, pp. 67-74, ACM Press, May 2006. [bibtex]
Florian Klein and Holger Giese, "Analysis and Design of Physical and Social Contexts in Multi-Agent Systems", in Alessandro Garcia, Ricardo Choren, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, Paolo Giorgini, Eds., Software Engineering for Multi-Agent Systems IV, vol. 3914 of Lecture Notes in Computer Science (LNCS), pp. 91-108, Springer Verlag, April 2006. [bibtex] [url]
Florian Klein and Holger Giese, "Grounding Social Interactions in the Environment", in Danny Weyns, Van Parunak, Fabien Michel, Eds., Environments for Multiagent Systems II, vol. 3830 of Lecture Notes in Artificial Intelligence (LNAI), pp. 139–162, Springer Verlag, March 2006. [bibtex] [url]
Sven Burmester, Holger Giese and Oliver Oberschelp, "Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems", in J. Braz, H. Araújo, A. Vieira, B. Encarnacao, Eds., Informatics in Control, Automation and Robotics I, Springer Verlag, March 2006. [bibtex]
Holger Giese and Martin Hirsch, "Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML", in Jean-Michel Bruel, Ed., Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, vol. 3844 of Lecture Notes in Computer Science (LNCS), pp. 67-78, Springer Verlag, January 2006. [bibtex] [url]
Björn Axenath, Holger Giese, Florian Klein, Ursula Frank, "Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems", in Proc. of the 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, Minnesota, USA, pp. 156–165, IEEE Computer Science, 11-15 September 2006. [bibtex] [url]
Holger Giese, Bernhard Rumpe, Bernhard Schätz, Eds., Proc. of the 2nd Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), no. 2006-1 of Informatik-Bericht, TU Braunschweig, 9-13 January 2006. [bibtex] [url]
Holger Giese, Bernhard Westfechtel, Eds., Proc. of the Fourth International Fujaba Days 2006, vol. tr-ri-06-275, 28-30 September 2006. [bibtex]
Matthias Tichy, Matthias Meyer and Holger Giese, "On Semantic Issues in Story Diagrams", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 10–14, University of Paderborn, 2006. [bibtex] [url]
Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky, Eds., Software engineering for large-scale multi-agent systems - SELMAS'05, 2006. [bibtex]
Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky, "Software Engineering for Large-Scale Multi-agent Systems SELMAS'06", in ICSE '06: Proceedings of the 26th International Conference on Software Engineering, New York, NY, USA: ACM Press, 2006. [bibtex]
Holger Giese, Oliver Niggemann, Eds., Postworkshop Proceedings of the Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 3), Heinz Nixdorf MuseumsForum, Paderborn, Germany. October 13 and 14, 2005, no. 191 of HNI-Verlagsschriftenreihe, 2006. [bibtex]
Florian Klein and Holger Giese, "Integrated Visual Specification of Structural and Temporal Properties", Technical Report tr-ri-06-277, Computer Science Department, University of Paderborn, 2006. [bibtex]
Holger Giese and Florian Klein, "Visual Specification of Structural and Temporal Properties", Technical Report tr-ri-06-276, Computer Science Department, University of Paderborn, 2006. [bibtex] [url]
Holger Giese, "Reusable Services for Automotive Software", 2006. [bibtex]
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling, "Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation", in Proc. of the $28^th$ International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006. [bibtex]
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling, "Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation", in Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006. [bibtex]
Holger Giese, Matthias Meyer and Robert Wagner, "A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 56–60, University of Paderborn, 2006. [bibtex] [url]
Holger Giese, Matthias Meyer and Robert Wagner, "A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 56–60, University of Paderborn, 2006. [bibtex] [url]
Holger Giese and Florian Klein, "Visual Specification of Structural and Temporal Properties", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 23–30, University of Paderborn, 2006. [bibtex] [url]
Holger Giese and Florian Klein, "Beyond Story Patterns: Story Decision Diagrams", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 2–9, University of Paderborn, 2006. [bibtex] [url]
Holger Giese, Stefan Henkler and Martin Hirsch, "Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account", in Sébastien Gérard, S. Graf, Oystein Haugen, Ilena Ober, B. Selic, Eds., Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2006, Genova, Italy, vol. 343 of Research Report, pp. 41-60, 2006. [bibtex]
Holger Giese, Stefan Henkler and Martin Hirsch, "A PlugIn for the Development of Resource Aware Components with Mechatronic UML", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 51–55, University of Paderborn, 2006. [bibtex]
Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Henner Vöcking, "Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge", in Proc. of the Fourth Paderborner Workshop Entwurf mechatronischer Systeme, vol. 189 of HNI-Verlagsschriftenreihe, pp. 457-473, 2006. [bibtex]
2005
Sven Burmester, Holger Giese and Wilhelm Schäfer, "Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code", in Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2005), Nürnberg, Germany, vol. 3748 of Lecture Notes in Computer Science (LNCS), pp. 25-40, Springer Verlag, November 2005. [bibtex] [url]
Holger Giese, Oliver Niggemann, Eds., Preliminary Proceedings of the Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 3), Heinz Nixdorf MuseumsForum, Paderborn, Germany. October 13 and 14, 2005, no. tr-ri-05-261 of Technical Report, Department of Computer Science, University of Paderborn, Paderborn, Germany, October 2005. [bibtex]
Holger Giese, Pascal Roques, Eds., Proceedings of the Educators' Symposium of the ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Half Moon Resort, Montego Bay, Jamaica. October 3, 2005, no. tr-ri-05-260 of Technical Report, Department of Computer Science, University of Paderborn, Paderborn, Germany, October 2005. [bibtex]
Holger Giese and Martin Hirsch, "Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML", in Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2005, pp. 7-26, October 2005. [bibtex]
Sven Burmester, Holger Giese and Martin Hirsch, "Syntax and Semantics of Hybrid Components", Technical Report tr-ri-05-264, University of Paderborn: Paderborn, Germany, October 2005. [bibtex] [url]
Sven Burmester, Holger Giese, Andreas Seibel, Matthias Tichy, "Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems", in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 71-78, September 2005. [bibtex] [url]
Holger Giese, Albert Zündorf, Eds., Proc. of the Third International Fujaba Days 2005, vol. tr-ri-05-259, September 2005. [bibtex]
Matthias Tichy and Holger Giese, "Extending Fault Tolerance Patterns by Visual Degradation Rules", in Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pp. 67-74, September 2005. [bibtex] [url]
Basil Becker, Holger Giese and Daniela Schilling, "A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns", in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 1-4, September 2005. [bibtex]
Sven Burmester and Holger Giese, "Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML", in Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pp. 109-116, IEEE Computer Society Press, September 2005. [bibtex] [url]
Sven Burmester, Holger Giese and Stefan Henkler, "Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools", in Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pp. 11-18, September 2005. [bibtex] [url]
Sven Burmester, Holger Giese and Matthias Tichy, "Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML", in Uwe Assmann, Arend Rensink, Mehmet Aksit, Eds., Model Driven Architecture: Foundations and Applications, vol. 3599 of Lecture Notes in Computer Science (LNCS), pp. 47-61, Springer Verlag, August 2005. [bibtex]
Alessandro Garcia, Ricardo Choren, Carlos Lucena, Alexander Romanovsky, Holger Giese, Danny Weyns, Tom Holvoet, Paolo Giorgini, "Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: Workshop report", SIGSOFT Softw. Eng. Notes, vol. 30, no. 4, pp. 1-8, July 2005. [bibtex]
Holger Giese, Sven Burmester and Matthias Tichy, "Evaluation von Modellierungswerkzeugen für Echtzeitsysteme", Technical Report tr-ri-05-258, University of Paderborn, July 2005. [bibtex]
Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy, "The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems", in Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, pp. 670-671, ACM Press, May 2005. [bibtex] [url]
Florian Klein and Holger Giese, "Analysis and Design of Physical and Social Contexts in MultiAgent Systems using UML", in Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, Paolo Giorgini, Eds., Proc. of the 4th Workshop on Software Engineering for Large-Scale Multi-Agent Systems (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA, pp. 1–7, ACM Press, May 2005. [bibtex] [url]
Holger Giese, Florian Klein and Sven Burmester, "Pattern Synthesis from Multiple Scenarios for Parameterized Real-Timed UML Models", in Stefan Leue, Tarja Systä, Eds., Scenarios: Models, Algorithms and Tools, vol. 3466 of Lecture Notes in Computer Science (LNCS), pp. 193-211, Springer Verlag, April 2005. [bibtex] [url]
Holger Giese and Florian Klein, "Autonomous Shuttle System Case Study", in Stefan Leue, Tarja Systä, Eds., Scenarios: Models, Algorithms and Tools, vol. 3466 of Lecture Notes in Computer Science (LNCS), pp. 90-94, Springer Verlag, April 2005. [bibtex] [url]
Florian Klein and Holger Giese, "Separation of concerns for mechatronic multi-agent systems through dynamic communities", in Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, Eds., Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications, vol. 3390 of Lecture Notes in Computer Science (LNCS), pp. 272–289, Springer Verlag, February 2005. [bibtex] [url]
Jürgen Gausemeier, Ursula Frank, Holger Giese, Florian Klein, Andreas Schmidt, Daniel Steffen, Matthias Tichy, "A Design Methodology for Self-Optimizing Systems", in Gesamtzentrum für Verkehr Braunschweig e.V., Ed., Contributions to the 6th Braunschweig conference of Automation, Assistance and Embedded Real Time Platforms for Transportation - Air-planes, Vehicles, Trains - (AAET2005), vol. II, pp. 456–479, GZVB, February 2005. [bibtex] [url]
Holger Giese and Alexander Vilbig, "Separation of Non-Orthogonal Concerns in Software Architecture and Design", Technical Report tr-ri-05-254, Lehrstuhl f: Paderborn, Deutschland, January 2005, (Version 2). [bibtex] [url]
Holger Giese and Robert Traussnig, "Self-Optimizing Mechatronic Systems and Safety Standards: Challenges and Limits", in 5. Bieleschweig Workshop: Systems Engineering: Erfahrungen mit IEC 61508, TU München, Fakultät für Maschinenwesen, Garching bei München, 2005. [bibtex]
Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls, "Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time", in Rogério de Lemos, Alexander Romanovsky, Eds., Proc. of the ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, Missouri, USA, pp. 1–6, ACM Press, 2005. [bibtex] [url]
Holger Giese and Ingolf Krüger, "A summary of the ICSE 2004 workshop on scenarios and state machines: models, algorithms, and tools", vol. 30, pp. 2, ACM Press, 2005. [bibtex]
Holger Giese, Pascal Roques and Timothy C. Lethbridge, "Summary of the Educator's Symposium", in MoDELS'05 Satellite event proceedings, vol. 3844 of Lecture Notes in Computer Science (LNCS), Springer Verlag, 2005. [bibtex]
Holger Giese and Sergej Tissen, "The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML", in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 67-70, 2005. [bibtex] [url]
Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner, "Reconciling Scenario-Centered Controller Design with State-Based System Models", in Yves Bontemps, Alexander Egyed, Eds., Proc. of the 4th Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA, pp. 1–5, ACM Press, 2005. [bibtex] [url]
Holger Giese and Martin Hirsch, "Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML", Technical Report tr-ri-03-266, University of Paderborn: Paderborn, Germany, 2005. [bibtex]
Holger Giese, "Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems", in Torsten Kleín, Bernhard Rumpe, Bernhard Schätz, Eds., Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany, pp. 11-22, 2005, Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany. [bibtex] [url]
2004
Holger Giese, "Procedure for the design and/or operation of composable components (TYCS), Patent DE 100 65 286 B4 2004.12.09", December 2004. [bibtex]
Holger Giese and Daniela Schilling, "Towards the Automatic Verification of Inductive Invariants for Infinite State UML Models", Technical Report tr-ri-04-252, University of Paderborn: Paderborn, Germany, December 2004. [bibtex] [url]
Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp, "Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration", in Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pp. 179-188, ACM Press, November 2004. [bibtex] [url]
Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, "Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite", in Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004, pp. 1-20, October 2004. [bibtex] [url]
Matthias Tichy, Daniela Schilling and Holger Giese, "Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns", in Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA, October 2004. [bibtex] [url]
Sven Burmester, Holger Giese, Alfonso Gambuzza, Oliver Oberschelp, "Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components", in C. Bobeanu, Ed., Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France, pp. 66-73, EOROSIS Publications, October 2004. [bibtex] [url]
Holger Giese, Matthias Tichy and Daniela Schilling, "Compositional Hazard Analysis of UML Component and Deployment Models", in Maritta Heisel, Peter Liggesmeyer, S. Wittmann, Eds., Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany, vol. 3219 of Lecture Notes in Computer Science (LNCS), Springer Verlag, September 2004. [bibtex] [url]
Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür, "Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation", in B. Georgio, Ed., Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy, pp. 175-183, ACM Press, September 2004. [bibtex] [url]
Matthias Tichy, Basil Becker and Holger Giese, "Component Templates for Dependable Real-Time Systems", in Andy Schürr, Albert Zündorf, Eds., Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany, vol. tr-ri-04-253 of Technical Report, pp. 27-30, University of Paderborn, September 2004. [bibtex] [url]
Holger Giese, Andy Schürr, Albert Zündorf, Eds., Proc. of the Second International Fujaba Days 2004, vol. tr-ri-04-253, September 2004. [bibtex]
Sven Burmester, Holger Giese and Florian Klein, "Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL", in Andy Schürr, Albert Zündorf, Eds., Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, vol. tr-ri-04-253 of Technical Report, pp. 19-22, University of Paderborn, September 2004. [bibtex] [url]
Sven Burmester, Holger Giese and Oliver Oberschelp, "Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems", in Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, Eds., Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 222-229, INSTICC Press, August 2004. [bibtex] [url]
Sven Burmester, Holger Giese, Jorg Niere, Matthias Tichy, Jorg P. Wadsack, Robert Wagner, Lothar Wendehals, Albert Zündorf, "Tool Integration at the Meta-Model Level within the FUJABA Tool Suite", International Journal on Software Tools for Technology Transfer (STTT), vol. 6, no. 3, pp. 203-218, August 2004. [bibtex] [url]
Thorsten Hestermeyer, Oliver Oberschelp and Holger Giese, "Structured Information Processing For Self-optimizing Mechatronic Systems", in Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, Eds., Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 230-237, INSTICC Press, August 2004. [bibtex] [url]
Oliver Oberschelp, Alfonso Gambuzza, Sven Burmester, Holger Giese, "Modular Generation and Simulation of Mechatronic Systems", in Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA, July 2004. [bibtex] [url]
Wilhelm Dangelmaier, Holger Giese, Florian Klein, Hendrik Renken, Peter Scheideler, "Shared Experiences In Intelligent Transportation Systems", in M. Ribeiro, J. Santos-Victor, Eds., Proc. of the IAV 2004 - The 5th Symposium on Intelligent Autonomous Vehicles, Lisbon, Portugal, pp. 231–236, Elsevier Science, July 2004. [bibtex]
Oliver Oberschelp, Alfonso Gambuzza, Sven Burmester, Holger Giese, "Modular Generation and Simulation of Mechatronic Systems", in N. Callaos, W. Lesso, B. Sanchez, Eds., Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA, pp. 1-6, International Institute of Informatics and Systemics (IIIS), July 2004. [bibtex] [url]
Holger Giese, Ingolf Krüger, Eds., Proc. of the Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04), June 2004, Workshop W5S of the 26th International Conference on Software Engineering. [bibtex]
Sven Burmester, Matthias Tichy and Holger Giese, "Modeling Reconfigurable Mechatronic Systems with Mechatronic UML", in U. Aßmann, Ed., Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, pp. 155-169, June 2004. [bibtex] [url]
Holger Giese and Sven Burmester, "Analysis and Synthesis for Parameterized Timed Sequence Diagrams", in Holger Giese, Ingolf Krüger, Eds., Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (ICSE 2003 Workshop W5S), Edinburgh, Scotland, pp. 43-50, IEEE, May 2004. [bibtex]
Florian Klein and Holger Giese, "Advanced separation of concerns for mechatronic multi-agent systems through dynamic communities", in Ricardo Choren, al, Eds., Proc. of the 3rd Workshop on Software Engineering for Large-Scale Multi-Agent Systems (in Conjunction with the International Conference on Software Engineering), Edinburgh, Scotland, pp. 112–119, IEE, May 2004. [bibtex] [url]
Florian Klein and Holger Giese, "Ontologiebasiertes Rapid Prototyping fur kognitive Multiagentensysteme", in Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und fur die Softwaretechnik, Marburg, 2004, pp. 33–42, March 2004. [bibtex] [url]
Florian Klein and Holger Giese, "Ontologiebasiertes Rapid Prototyping fur kognitive Multiagentensysteme", in Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und fur die Softwaretechnik, Marburg, 2004, pp. 33–42, March 2004. [bibtex] [url]
Florian Klein and Holger Giese, "Ontologiebasiertes Rapid Prototyping für kognitive Multiagentensysteme", in Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und für die Softwaretechnik, pp. 33–42, Conradin Verlag, Marburg, March 2004. [bibtex]
Matthias Tichy and Holger Giese, "A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services", in Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, Eds., Architecting Dependable Systems II, vol. 3069 of Lecture Notes in Computer Science (LNCS), pp. 25–51, Springer Verlag, 2004. [bibtex] [url]
Holger Giese and Ingolf Krüger, "Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04)", in Proc. of the 26th International Conference on Software Engineering, pp. 756–757, IEEE Computer Society Press, 2004. [bibtex]
Oliver Oberschelp, Thorsten Hestermeyer and Holger Giese, "Strukturierte Informationsverarbeitung für selbstoptimierende mechatronische Systeme", in Proc. of the Second Paderborner Workshop Intelligente Mechatronische Systeme, vol. 145 of HNI-Verlagsschriftenreihe, pp. 43-56, 2004. [bibtex] [url]
Florian Klein, Andreas Seibel and Holger Giese, "Shuttle System Case Study", 2004. [bibtex]
Ursula Frank, Holger Giese, Florian Klein, Oliver Oberschelp, Andreas Schmidt, Bernd Schulz, Henner Vöcking, Katrin Witting, Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte, HNI-Verlagsschriftenreihe, 1st ed. Paderborn, Germany: Heinz Nixdorf Institut, Universität Paderborn, 2004. [bibtex]
Sven Burmester, Holger Giese and Oliver Oberschelp, "Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems", Technical Report tr-ri-03-246, University of Paderborn: Paderborn, Germany, 2004. [bibtex] [url]
Matthias Tichy, Daniela Schilling and Holger Giese, "Design of self-managing dependable systems with UML and fault tolerance patterns", in WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pp. 105–109, New York, NY, USA: ACM Press, 2004. [bibtex]
2003
Matthias Tichy and Holger Giese, "Seamless UML Support for Service-based Software Architectures", in Nicolas Guelfi, E. Artesiano, G. Reggio, Eds., Proc. of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI) 2003, Luxembourg, vol. 2952 of Lecture Notes in Computer Science (LNCS), pp. 128–138, Springer Verlag, November 2003. [bibtex] [url]
Sven Burmester and Holger Giese, "The Fujaba Real-Time Statechart PlugIn", in Holger Giese, Albert Zündorf, Eds., Proc. of the first International Fujaba Days 2003, Kassel, Germany, vol. tr-ri-04-247 of Technical Report, pp. 1-8, University of Paderborn, October 2003. [bibtex] [url]
Robert Wagner, Holger Giese and Ulrich Nickel, "A Plug-In for Flexible and Incremental Consistency Management", in Proc. of the Workshop on Consistency Problems in UML-based Software Development II, International Conference on the Unified Modeling Language 2003, San Francisco, USA, vol. 6 of Research Report, Blekinge Institute of Technology, Sweden, October 2003. [bibtex] [url]
Sven Burmester, Holger Giese and Wilhelm Schäfer, "Code Generation for Hard Real-time Systems from Real-time Statecharts", Technical Report tr-ri-03-244, University of Paderborn: Paderborn, Germany, October 2003. [bibtex] [url]
Holger Giese, Albert Zündorf, Eds., Proc. of the First International Fujaba Days 2003, vol. tr-ri-04-247, October 2003. [bibtex]
Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy, "Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML", in Proceedings of the Conference on Object-Oriented Programming, Systems, Languages (OOPSLA) 2003 - Second International Workshop on Agent-Oriented Methodologies, Anaheim, CA, USA, October 2003. [bibtex]
Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy, "Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML", in Brian Henderson-Sellers, J Debenham, Eds., OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies, pp. 21–32, October 2003. [bibtex] [url]
Martin Hirsch and Holger Giese, "Towards the Incremental Model Checking of Complex RealTime UML Models", in Holger Giese, Albert Zündorf, Eds., Proc. of the first International Fujaba Days 2003, Kassel, Germany, vol. tr-ri-04-247 of Technical Report, pp. 9–12, University of Paderborn, October 2003. [bibtex] [url]
Sven Burmester, Holger Giese, Jorg Niere, Matthias Tichy, Jorg P. Wadsack, Robert Wagner, Lothar Wendehals, Albert Zündorf, "Tool Integration at the Meta-Model Level within the FUJABA Tool Suite", in Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003, pp. 51-56, September 2003. [bibtex] [url]
Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, Stephan Flake, "Towards the Compositional Verification of Real-Time UML Designs", in Proc. of the 9th european software engineering conference held jointly with 11th ACM SIGSOFT international symposium on foundations of software engineering (ESEC/FSE-11), Helsinki, Finland, pp. 38–47, New York, NY, USA: ACM Press, September 2003. [bibtex] [url]
Holger Giese, D. Schilling, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, S. Flake, "Towards the Compositional Verification of Real-Time UML Designs", Technical Report tr-ri-03-241, Lehrstuhl für Softwaretechnik, Universität Paderborn: Paderborn, Deutschland, July 2003. [bibtex] [url]
Holger Giese, "A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems.", Technical Report tr-ri-03-240, Lehrstuhl für Softwaretechnik, Universität Paderborn: Paderborn, Deutschland, July 2003. [bibtex] [url]
Holger Giese and Sven Burmester, "Real-Time Statechart Semantics", Technical Report tr-ri-03-239, Lehrstuhl für Softwaretechnik, Universität Paderborn: Paderborn, Germany, June 2003. [bibtex] [url]
Matthias Tichy and Holger Giese, "An Architecture for Configurable Dependability of Application Services", in Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, Eds., Proc. of the Workshop on Software Architectures for Dependable Systems (WADS) (International Conference on Software Engineering 2003 Workshop 7), Portland, USA, May 2003. [bibtex]
Holger Giese, "Towards Scenario-Based Synthesis for Parametric Timed Automata", in Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop 8), Portland, USA, May 2003. [bibtex] [url]
Holger Giese and Alexander Vilbig, "Separation of Non-Orthogonal Concerns in Software Architecture and Design", Technical Report tr-ri-03-238, Universität Paderborn: Paderborn, Germany, February 2003. [bibtex]
Matthias Gehrke, Holger Giese, Ekkart Kindler, Jörg Niere, Wilhelm Schäfer, Jörg P. Wadsack, Robert Wagner, Lothar Wendehals, "Software Engineering Education: The Synergy of Combined Research and Teaching", Technical Report tr-ri-03-237, University of Paderborn: Paderborn, Germany, January 2003. [bibtex] [url]
Holger Giese, "Towards Scenario–Based Synthesis for Parametric Timed Automata", in Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), Portland, USA (ICSE 2003 Workshop 8), 2003. [bibtex]
2002
Jörg P. Wadsack, Jörg Niere, Holger Giese, Jens H. Jahnke, "Towards Data Dependency Detection in Web Information Systems", in Proc. of the Database Maintenance and Reengineering Workshop (DBMR'2002), Montreal, Canada. (ICSM 2002 Workshop), October 2002. [bibtex] [url]
Holger Giese, Martin Kardos and Ulrich A. Nickel, "Towards Design Verification and Validation at Multiple Levels of Abstraction", in Proc. of IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES2002), Montreal, Canada., Kluwer Academic Publishers, August 2002. [bibtex] [url]
Holger Giese, Martin Kardos and Ulrich A. Nickel, "Integrating Verification in a Design Process for Distributed Production Control Systems", in Proc. of Second International Workshop on Integration of Specification Techniques for Applications in Engineering (INT2002), Grenoble, France, April 2002. [bibtex]
Holger Giese and Ulrich A. Nickel, "Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation", in OMER - Object-oriented Modeling of Embedded Real-Time Systems, vol. P5 of Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, 2002. [bibtex]
Matthias Gehrke, Holger Giese, Ulrich A. Nickel, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Albert Zündorf, "Reporting about Industrial Strength Software Engineering Courses for Undergraduates", in Proc. of the $24^th$ International Conference on Software Engineering (ICSE), Orlando, Florida, USA, pp. 395-405, ACM Press, 2002. [bibtex] [url]
2001
Matthias Gehrke, Holger Giese and Matthias Tichy, "A Jini-supported Distributed Version and Configuration Management System", in Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA, vol. 4521, pp. 7-15, International Society for Optical Engineering, August 2001. [bibtex]
Holger Giese, "Agent-Oriented Modelling of Distributed Systems with the Object Coordination Net Approach", in Daniel Moldt, Ed., Workshop on Modelling of Objects, Components, and Agents (MOCA'01), 27-28 August 2001, Aarhus, Denmark, Techreport University of Aarhus, DAIMI-PB-553, August 2001. [bibtex]
Holger Giese, "Towards Ruling Component-Based Distributed Systems with Role-Based Modeling and Cross-Cutting Aspects", in Peri Tarr, Harold Ossher, Eds., Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001, Toronto, Ontario, Canada, May 2001. [bibtex]
Holger Giese, "Object-Oriented Design and Architecture of Distributed Systems", Ph.D. dissertation, Westfälische Wilhelms-Universität Münster, Fachbereich Mathematik und Informatik, 2001. [bibtex]
Holger Giese, "Object Coordination Nets 3.0: Semantics Specification", Technical Report 3/01-I, University Münster, Computer Science, Distributed Systems Group, February 2001. [bibtex]
Holger Giese, "Object Coordination Nets 3.0: Synchronization Behavior Typing for Contracts", Technical Report 2/01-I, University Münster, Computer Science, Distributed Systems Group, February 2001. [bibtex]
Holger Giese, "Object Coordination Nets 3.0: Reference Guide", Technical Report 1/01-I, University Münster, February 2001. [bibtex]
Guido Wirtz, Mathias Weske and Holger Giese, "The OCoN Approach to Workflow Modeling in Object-Oriented Systems", Information Systems Frontiers, vol. 3, no. 3, pp. 357-376, 2001. [bibtex] [url]
Holger Giese, "Typed Component Systems, Version 1.0", Technical Report Bericht tr-ri-01-224 Reihe Informatik, Fachbereich Mathematik-Informatik, Universität Paderborn, 2001. [bibtex]
Holger Giese, "Separation of Concerns and Roles in the Object Coordination Nets Approach", in Katharina Mehner, Mira Mezini, E. Pulvermüller, A. Speck, Eds., Workshop Aspektorientierung der GI-Fachgrupppe 2.1.9 Objektorientiere Software-Entwicklung 3.- 4. Mai 2001, Paderborn, Germany, Reihe Informatik, Fachbereich Mathematik-Informatik, Universit, 2001. [bibtex]
Holger Giese, Object-Oriented Design and Architecture of Distributed Systems, Berichte aus der Informatik, Shaker Verlag, 2001. [bibtex] [url]
Holger Giese and Guido Wirtz, "The OCoN Approach for Object-Oriented Distributed Software Systems Modeling", Computer Systems Science & Engineering, vol. 16, no. 3, pp. 157-172, 2001. [bibtex] [url]
Holger Giese and Guido Wirtz, "Visual Modeling of Object-oriented Distributed Systems", Journal of Visual Languages and Computing, vol. 12, no. 2, pp. 183-202, 2001. [bibtex] [url]
Holger Giese and Jörg P. Wadsack, "Reengineering for Evolution of Distributed Information Systems", in Scott Tilley, Ed., 3rd International Workshop on Net-Centric Computing (NCC 2001), May 14, 2001; Toronto, Canada, 2001. [bibtex]
Holger Giese and Stephan Philippi, "Visuelle Verhaltensmodellierung verteilter und nebenläufiger Systeme, Bericht vom 8. GROOM-Workshop", GI Softwaretechnik-Trends, vol. 21, no. 1, 2001, (German). [bibtex]
Holger Giese and Ulirch A. Nickel, "Towards Modular Modeling and Simulation of Production Control Systems", in Andy Schürr, Ed., Proc. of the Workshop on object-oriented modeling of embedded real-time systems (OMER-2), 2001, Techreport 2001-03, Universität der Bundeswehr München. [bibtex]
Matthias Gehrke, Holger Giese and Matthias Tichy, "A Jini-supported Distributed Version and Configuration Management System", in Sudipto Ghosh, Ed., Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA, 2001. [bibtex]
Holger Giese and Jörg P. Wadsack, "Reengineering for Evolution of Distributed Information Systems", in Scott Tilley, Ed., Proc. of the $3^rd$ International Workshop on Net-Centric Computing: Migrating to the Web (NCC 2001), Toronto, Canada. (ICSE 2001 Workshop 10), 2001. [bibtex] [url]
Holger Giese and Ulrich A. Nickel, "Towards Modular Modelling and Simulation of Production Control Systems", in In Proc. of the $2^nd$ Workshop on Object-Oriented Modeling of Embedded Realtime Software (OMER 2) Workshop Proceedings, Ammersee, M, 2001. [bibtex] [url]
2000
Holger Giese, Stephan Philippi, Eds., Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8. Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, 13.-14. November 2000, Universität Münster, November 2000, Techreport 24/00-I. [bibtex]
Holger Giese and Alexander Vilbig, "Towards Aspect-oriented Design and Architecture", in Peri Tarr, Lodewijk Bergmans, Martin Griss, Harold Ossher, Eds., Workshop on Advanced Separation of Concerns (OOPSLA 2000), October 2000. [bibtex] [url]
Guido Wirtz, Mathias Weske and Holger Giese, "Extending UML with Workflow Modeling Capabilities", in Opher Etzion, Peter Scheuermann, Eds., 7th International Conference on Cooperative Information Systems (CoopIS-2000), 6-8 September, Eilat, Israel, vol. 1901 of Lecture Notes in Computer Science (LNCS), pp. 30-41, Springer Verlag, September 2000. [bibtex]
Guido Wirtz and Holger Giese, "Skalierbare Beschreibung des Verhaltens verteilter Softwaresysteme", in Proc. des 10. GI/ITG-Fachgesprächs Formale Beschreibungstechniken, GI-FG Kommunikation und verteilte Systeme, Luebeck, 22.-23.06, Gesellschaft für Informatik, June 2000, (German). [bibtex]
Holger Giese and Guido Wirtz, "Early Evaluation of Design Options for Distributed Systems", in Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'2000), Limerick, Ireland, IEEE Press, June 2000. [bibtex]
Holger Giese, Jörg Graf, Eds., Objektorientierte Modellierung verteilter Systeme. Modellierungsbeispiele aus dem gleichnamigen Seminar an der Westfälische Wilhelms-Univeristät im Wintersemester 1999/2000, University Münster, Computer Science, Distributed Systems Group, March 2000, Techreport 04/00-I (German). [bibtex]
Holger Giese, "Synchronization Behavior Typing for Contracts in Component-based Systems", University Münster, Computer Science, Distributed Systems Group, February 2000. [bibtex]
Holger Giese, "Contract-based Component System Design", in Jr. Ralph H. Sprague, Ed., Thirty-Third Annual Hawaii International Conference on System Sciences (HICSS-33), Maui, Hawaii, USA, IEEE Press, January 2000. [bibtex]
Holger Giese, "Contract-Based Component System Design", in HICSS, 2000. [bibtex] [url]
Guido Wirtz and Holger Giese, "Using UML and Object-Coordination-Nets for Workflow Specification", in IEEE International Conference on Systems, Man, and Cybernetics (SMC'2000), vol. 5, pp. 3159-3164, IEEE Press, 2000. [bibtex]
Slides (german) for a talk at 7. Fachgruppentreffen der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung im Rahmen der OOP2000, München. [bibtex]
Holger Giese, Jörg Graf and Guido Wirtz, "Präzisierung des UML-Metamodells durch ein semantisches Objektmodell", GI Softwaretechnik-Trends, vol. 20, no. 2, 2000, Beitrag fur den 7-ten GROOM-Workshop ''UML – Erweiterungen (Profile) und Konzepte der Metamodellierung'', (German). [bibtex] [url]
Holger Giese and Guido Wirtz, "Visual Modeling of Object-oriented Distributed Systems", in Workshop Visual Methods for Parallel and Distributed Programming at the IEEE International Symposium on Visual Languages (VL'2000), Seattle, WA, USA, September 14, 2000. [bibtex]
Holger Giese and Guido Wirtz, "The OCoN Approach for Object-Oriented Distributed Software Systems Modeling", in Software Engineering and Petri Nets, Workshop within the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 26, 2000. [bibtex]
Holger Giese and Alexander Vilbig, "Towards Aspect-oriented Design and Architecture", in Peri Tarr, Lodewijk Bergmans, Martin Griss, Harold Ossher, Eds., Workshop on Advanced Separation of Concerns held at the 15th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications October 15-19, 2000, Minneapolis, Minnesota, USA, 2000. [bibtex]
1999
Holger Giese, "Towards a Dynamic Model for the UML", in Robert France, Jean-Michel Bruel, Brian Henderson-Sellers, Ana Moreira, Bernhard Rumpe, Eds., 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications November 1-5, 1999, Denver, Colorado, USA. Workshop: Rigorous Modeling and Analysis with the UML: Challenges and Limitations, November 1999. [bibtex]
Holger Giese, Jörg Graf and Guido Wirtz, "Closing the Gap Between Object-Oriented Modeling of Structure and Behavior", in Robert France, Bernhard Rumpe, Eds., UML'99 - The Second International Conference on The Unified Modeling Language Fort Collins, Colorado, USA, vol. 1723 of Lecture Notes in Computer Science (LNCS), pp. 534-549, Springer Verlag, October 1999. [bibtex]
Holger Giese, Jörg Graf and Guido Wirtz, "Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems", in IEEE Symposium On Visual Languages, Tokyo, Japan, IEEE Press, September 1999. [bibtex]
Holger Giese, Jörg Graf and Guido Wirtz, "Contract-based Coordination of Distributed Object Systems", in H. R. Arabnia, Ed., Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas, Nevada, CSREA Press, July 1999. [bibtex]
Holger Giese, "Behavior Specification for Contract based Distributed Object Systems", University Münster, March 1999, 05/99-I. [bibtex]
Guido Wirtz, Holger Giese and Jörg Graf, "A Real Object-Oriented Visual Design Language for Distributed Software Systems", University Münster, Computer Science, March 1999, 06/99-I. [bibtex]
Holger Giese, Jörg Graf and Guido Wirtz, "Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems", University Münster, Computer Science, March 1999, 04/99-I. [bibtex]
Holger Giese, "Contract-based Component System Design", University Münster, January 1999, 23/99-I (published Jan/2000). [bibtex]
Holger Giese, "Object Coordination Nets 2.0 – Semantics Specification", University Münster, Computer Science, 1999, 15/99-I. [bibtex]
Holger Giese, Jörg Graf and Guido Wirtz, "Closing the Gap Between Object-Oriented Modeling of Structure and Behavior", University Münster, 1999, 16/99-I. [bibtex]
Holger Giese, Jörg Graf and Guido Wirtz, "Verhaltensmodellierung eingebetteter Systeme mit dem OCoN-Ansatz", in Peter Hofmann, Andy Schürr, Eds., OMER - Objektorientierte Modellierung eingebetteter Realzeitsysteme, Workshop des Arbeitskreises GROOM der GI-Fachgruppe 2.1.9 OOSE, 28./29. Mai 1999 Herrsching am Ammersee, GERMANY, 1999, Techreport 1999-01, Universität der Bundeswehr München. [bibtex]
1998
Holger Giese, Jörg Graf and Guido Wirtz, "Modeling Distributed Software Systems with Object Coordination Nets", in Bernd Krämer, Naoshi Uchihira, Peter Croll, Stefano Russo, Eds., Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), Kyoto, Japan, pp. 107-116, IEEE Press, July 1998. [bibtex]
1997
Holger Giese, "Object Coordination Nets: Relations to other OO Nets", University of Munster, Computer Science Institute, December 1997, (provisional version). [bibtex]
Holger Giese, "Object Coordination Nets: Modeling Example", University of Munster, Computer Science Institute, December 1997, (provisional version). [bibtex]
Holger Giese, "Object Coordination Nets: Analyse und Synthese", University of Munster, Computer Science Institute, October 1997, (provisional version in GERMAN, very SHORT). [bibtex]
Holger Giese, "Object Coordination Nets: Projekt Plan", University of Munster, Computer Science Institute, October 1997, (provisional version in GERMAN). [bibtex]
Holger Giese and Guido Wirtz, "Modular Development of Correct Meander Programs", in H. R. Arabnia, Ed., Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada, CSREA Press, July 1997. [bibtex]
Guido Wirtz, Jörg Graf and Holger Giese, "Ruling the Behavior of Distributed Software Components", in H. R. Arabnia, Ed., Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada, CSREA Press, July 1997. [bibtex]
Holger Giese, Jörg Graf and Guido Wirtz, "Object Coordination Nets – A Formalism to Describe Parallel and Distributed Methods", Universiy Münster, Computer Science, Distributed Systems Group, June 1997, TR-97-01. [bibtex]
Holger Giese, "Object Coordination Nets: Formal Semantic", University of Munster, Computer Science Institute, April 1997, (provisional version). [bibtex]
1996
Holger Giese, "Object Coordination Nets: Intro", University of Munster, Computer Science Institute, December 1996, (provisional version in GERMAN). [bibtex]
Holger Giese, "Object Coordination Nets: Thesen zum Design verteilter Systeme", University of Munster, Computer Science Institute, November 1996, (provisional version in GERMAN). [bibtex]
Holger Giese, "Modularization and Abstraction in Meander", Universitat–Gesamthochschule Siegen/ Fachbereich 12, 1996. [bibtex] [url]
1994
Holger Giese, P. Böckmann and G. Wirtz, "Realisierung eines dynamischen CSP Programmiermodells fur ANSI-C unter Helios", in R. Flieger, R. Grebe, Eds., Proc. Transputer-Anwender-Treffen, TAT-94, Aachen, Germany, pp. 109-118, IOS Press, September 1994, (German). [bibtex]
P. Böckmann, Holger Giese and G. Wirtz, "Providing CSP-like Functionality in a Helios Environment", in R. Miles, A. Chalmers, Eds., Proc. 17th WoTUG Technical Meeting, Bristol, UK, pp. 175-189, IOS Press, April 1994. [bibtex]
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser