|
| [54] | An integrated ontology for multi-paradigm modelling for cyber-physical systems (Dominique Blouin, Rima Al-Ali, Holger Giese, Stefan Klikovits, Soumyadip Bandyopadhyay, Ankica Barivsi'c, Ferhat Erata), Chapter in Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (Bedir Tekinerdogan, Dominique Blouin, Hans Vangheluwe, Miguel Goul ao, Paulo Carreira, Vasco Amaral, eds.), Academic Press, 2021. |
| [53] | An ontology for multi-paradigm modelling (Holger Giese, Dominique Blouin, Rima Al-Ali, Hana Mkaouar, Soumyadip Bandyopadhyay, Mauro Iacono, Moussa Amrani, Stefan Klikovits, Ferhat Erata), Chapter in Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (Bedir Tekinerdogan, Dominique Blouin, Hans Vangheluwe, Miguel Goul ao, Paulo Carreira, Vasco Amaral, eds.), Academic Press, 2021. |
| [52] | An ontological foundation for multi-paradigm modelling for cyber-physical systems (Dominique Blouin, Rima Al-Ali, Mauro Iacono, Bedir Tekinerdogan, Holger Giese), Chapter in Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (Bedir Tekinerdogan, Dominique Blouin, Hans Vangheluwe, Miguel Goul ao, Paulo Carreira, Vasco Amaral, eds.), Academic Press, 2021. |
|
| [51] | Initial Conflicts and Dependencies: Critical Pairs Revisited (Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer), Chapter in Graph Transformation, Specifications, and Nets (Reiko Heckel, Gabriele Taentzer, eds.), Springer, volume 10800, 2018. |
| [50] | Towards a Navigational Logic for Graphical Structures (Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino), Chapter in Graph Transformation, Specifications, and Nets (Reiko Heckel, Gabriele Taentzer, eds.), Springer, volume 10800, 2018. |
|
| [49] | Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances (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 Muller, Romain Rouvoy, Cec'ilia M. F. Rubira, Eric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M Villegas, Thomas Vogel, Franco Zambonelli), Chapter in Software Engineering for Self-Adaptive Systems III. Assurances, Springer International Publishing, 2017. |
| [48] | Reference Scenarios for Self-Aware Computing (Jeffrey O. Kephart, Martina Maggio, Ada Diaconescu, Holger Giese, Henry Hoffmann, Samuel Kounev, Anne Koziolek, Peter Lewis, Anders Robertsson, Simon Spinner), Chapter in Self-Aware Computing Systems (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, 2017. |
| [47] | Self-Aware Computing Systems: Related Concepts and Research Areas (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), Chapter in Self-Aware Computing Systems. (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer Verlag, 2017. |
| [46] | Self-Aware Computing Systems: Open Challenges and Future Research Directions (Robert Birke, Javier Camara, Lydia Y. Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, Xiaoyun Zhu), Chapter in Self-Aware Computing Systems (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, 2017. |
| [45] | The Notion of Self-Aware Computing (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), Chapter in Self-Aware Computing Systems. (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer Verlag, 2017. |
| [44] | Towards a Framework for the Levels and Aspects of Self-Aware Computing Systems (Peter Lewis, Kirstie Bellman, Christopher Landauer, Javier Camara, Holger Giese, Nelly Bencomo, Ada Diaconescu, Lukas Esterle), Chapter in Self-Aware Computing Systems. (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer Verlag, 2017. |
| [43] | State of the Art in Architectures for Self-Aware Computing Systems (Holger Giese, Thomas Vogel, Ada Diaconsecu, Sebastian Götz, Nelly Bencomo, Kurt Geihs, Samuel Kounev, Kirstie Bellman), Chapter in Self-Aware Computing Systems (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, 2017. |
| [42] | Architectures for Collective Self-Aware Computing Systems (Ada Diaconescu, Kirstie L. Bellman, Lukas Esterle, Holger Giese, Sebastian Götz, Peter Lewis, Andrea Zisman), Chapter in Self-Aware Computing Systems (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, 2017. |
| [41] | Generic Architectures for Individual Self-Aware Computing Systems (Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Kirstie Bellman), Chapter in Self-Aware Computing Systems (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, 2017. |
| [40] | Architectural Concepts for Self-Aware Computing Systems (Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Samuel Kounev), Chapter in Self-Aware Computing Systems (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, 2017. |
| [39] | Self-Adaptation in Collective Self-Aware Computing Systems (Jeffrey O. Kephart, Ada Diaconsecu, Holger Giese, Anders Robertsson, Tarek Abdelzaher, Peter Lewis, Antonio Filieri, Lukas Esterle, Sylvain Frey), Chapter in Self-Aware Computing Systems (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, 2017. |
| [38] | Self-Adaptation for Individual Self-Aware Computing Systems (Martina Maggio, Tarek Abdelzaher, Lukas Esterle, Holger Giese, Jeffrey O. Kephart, Ole J. Mengshoel, Alessandro Vittorio Papadopoulos, Anders Robertsson, Katinka Wolter), Chapter in Self-Aware Computing Systems (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, 2017. |
| [37] | Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems (Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecilia M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi), Chapter in Software Engineering for Self-Adaptive Systems III. Assurances (Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, eds.), Springer International Publishing, 2017. |
| [36] | What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems? (Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M Villegas, HausiA. Müller, Holger Giese, Eric Rutten, Romain Rouvoy), Chapter in Software Engineering for Self-Adaptive Systems III. Assurances (Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, eds.), Springer International Publishing, 2017. |
|
| [35] | The Design Thinking Methodology at Work: Capturing and Understanding the Interplay of Methods and Techniques (Thomas Beyhl, Holger Giese), Chapter in Design Thinking Research - Taking Breakthrough Innovation Home (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer International Publishing, 2016. |
|
| [34] | Connecting Designing and Engineering Activities III (Thomas Beyhl, Holger Giese), Chapter in Design Thinking Research - Making Design Thinking Foundational, Springer, 2015. |
| [33] | Connecting Designing and Engineering Activities II (Thomas Beyhl, Holger Giese), Chapter in Design Thinking Research - Building Innovators (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer International Publishing, 2015. |
|
| [32] | Mechanisms for Leveraging Models at Runtime in Self-adaptive Software (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), Chapter in Models@run.time (Nelly Bencomo, Robert France, Betty HC Cheng, Uwe Assmann, eds.), Springer, volume 8378, 2014. |
| [31] | Living with Uncertainty in the Age of Runtime Models (Holger Giese, Nelly Bencomo, Liliana Pasquale, AndresJ. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhan Clarke), Chapter in Models@run.time (Nelly Bencomo, Robert France, Betty HC Cheng, Uwe Assmann, eds.), Springer International Publishing, volume 8378, 2014. |
|
| [30] | Connecting Designing and Engineering Activities (Thomas Beyhl, Gregor Berg, Holger Giese), Chapter in Design Thinking Research - Building Innovation Eco-Systems (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer Heidelberg New York Dordrecht London, 2013. |
| [29] | On Patterns for Decentralized Control in Self-Adaptive Systems (Danny Weyns, Bradley Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, Karl Goeschka), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, 2013. |
| [28] | Software Engineering for Self-Adaptive Systems: A second Research Roadmap (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), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, 2013. |
| [27] | Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems (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), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, 2013. |
| [26] | Software Engineering Processes for Self-Adaptive Systems (Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla, Paola Inverardi, Thomas Vogel), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, 2013. |
| [25] | Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML (Holger Giese, Wilhelm Schäfer), Chapter in Assurances for Self-Adaptive Systems (Javier Camara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, eds.), Springer, volume 7740, 2013. |
| [24] | Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (Stephan Hildebrandt, Leen Lambers, Holger Giese), Chapter in Theory and Practice of Model Transformations (Keith Duddy, Gerti Kappel, eds.), Springer Berlin Heidelberg, volume 7909, 2013. |
| [23] | A Survey of Triple Graph Grammar Tools (Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr), Chapter in Bidirectional Transformations, EC-EASST, volume 57, 2013. |
|
| [22] | Graph Transformations for MDE, Adaptation, and Models at Runtime (Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt), Chapter in Formal Methods for Model-Driven Engineering (Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio, eds.), Springer Berlin / Heidelberg, volume 7320, 2012. |
| [21] | Requirements and Assessment of Languages and Frameworks for Adaptation Models (Thomas Vogel, Holger Giese), Chapter in Models in Software Engineering, Workshops and Symposia at MoDELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers (Jörg Kienzle, ed.), Springer-Verlag, volume 7167, 2012. |
| [20] | Traceability in Model-Driven Engineering: Efficient and Scalable Traceability Maintenance (Andreas Seibel, Regina Hebig, Holger Giese), Chapter in Software and Systems Traceability (Jane Cleland-Huang, Orlena Gotel, Andrea Zisman, eds.), Springer London, 2012. |
| [19] | Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas), Chapter in Proceedings of the First International Workshop on Bidirectional Transformations (Frank Hermann, Janis Voigtländer, eds.), EC-EASST, volume 49, 2012. |
| [18] | Towards Next-Generation Design Thinking II: Virtual Multi-User Software Prototypes (Gregor Gabrysiak, Holger Giese, Andreas Seibel), Chapter in Design Thinking Research (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer Berlin Heidelberg, 2012. |
| [17] | Virtual Multi-User Software Prototypes III (Gregor Gabrysiak, Holger Giese, Thomas Beyhl), Chapter in Design Thinking Research - Measuring Performance in Context (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer Berlin Heidelberg, 2012. |
|
| [16] | The Role of Models and Megamodels at Runtime (Thomas Vogel, Andreas Seibel, Holger Giese), Chapter in Models in Software Engineering, Workshops and Symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010, Reports and Revised Selected Papers (Juergen Dingel, Arnor Solberg, eds.), Springer-Verlag, volume 6627, 2011. |
| [15] | Towards Next Generation Design Thinking: Scenario-Based Prototyping for Designing Complex Software Systems with Multiple Users (Gregor Gabrysiak, Holger Giese, Andreas Seibel), Chapter in Design Thinking: Understand – Improve – Apply (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer-Verlag Berlin Heidelberg, 2011. |
|
| [14] | Incremental Model Synchronization for Efficient Run-Time Monitoring (Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker), Chapter in Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers (Sudipto Ghosh, ed.), Springer-Verlag, volume 6002, 2010. |
| [13] | Benefits of System Simulation for Automotive Applications (Oliver Niggemann, Anne Geburzi, Joachim Stroop), Chapter in Model-Based Engineering of Embedded Real-Time Systems (Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, 2010. |
| [12] | Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration (Basil Becker, Stefan Neumann, Martin Schenk, Arian Treffer, Holger Giese), Chapter in Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers (Sudipto Ghosh, ed.), Springer-Verlag, volume 6002, 2010. |
|
| [11] | Software Engineering for Self-Adaptive Systems: A Research Roadmap (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 Stein, 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), Chapter in Software Engineering for Self-Adaptive Systems (Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, volume 5525, 2009. |
|
| [10] | Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML (Holger Giese, Stefan Henkler, Martin Hirsch), Chapter in Architecting Dependable Systems V, Springer Verlag, volume 5135, 2008. |
|
| [9] | Modeling Techniques for Software-Intensive Systems (Holger Giese, Stefan Henkler, Martin Hirsch, Vladimir Roubin, Matthias Tichy), Chapter in Designing Software-Intensive Systems: Methods and Principles (Pierre F. Tiako, ed.), Idea Group Publishing, 2007. |
|
| [8] | Analysis and Design of Physical and Social Contexts in Multi-Agent Systems (Florian Klein, Holger Giese), Chapter in Software Engineering for Multi-Agent Systems IV (Alessandro Garcia, Ricardo Choren, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, Paolo Giorgini, eds.), Springer Verlag, volume 3914, 2006. |
| [7] | Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems (Sven Burmester, Holger Giese, Oliver Oberschelp), Chapter in Informatics in Control, Automation and Robotics I (J. Braz, H. Araújo, A. Vieira, Buqing Cao, eds.), Springer Verlag, 2006. |
| [6] | Grounding Social Interactions in the Environment (Florian Klein, Holger Giese), Chapter in Environments for Multiagent Systems II (Danny Weyns, Van Parunak, Fabien Michel, eds.), Springer Verlag, volume 3830, 2006. |
| [5] | Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML (Holger Giese, Martin Hirsch), Chapter in Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers (Jean-Michel Bruel, ed.), Springer Verlag, volume 3844, 2006. |
|
| [4] | Autonomous Shuttle System Case Study (Holger Giese, Florian Klein), Chapter in Scenarios: Models, Algorithms and Tools (Stefan Leue, Tarja Systä, eds.), Springer Verlag, volume 3466, 2005. |
| [3] | Pattern Synthesis from Multiple Scenarios for Parameterized Real-Timed UML Models (Holger Giese, Florian Klein, Sven Burmester), Chapter in Scenarios: Models, Algorithms and Tools (Stefan Leue, Tarja Systä, eds.), Springer Verlag, volume 3466, 2005. |
| [2] | Separation of concerns for mechatronic multi-agent systems through dynamic communities (Florian Klein, Holger Giese), Chapter in Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications (Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, eds.), Springer Verlag, volume 3390, 2005. |
|
| [1] | A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services (Matthias Tichy, Holger Giese), Chapter in Architecting Dependable Systems II (Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, eds.), Springer Verlag, volume 3069, 2004. |
|
| [154] | Tool Support for the Teaching of State-Based Behavior Modeling (Christian Zöllner, Christian M. Adriano, Simon Wietheger, Leen Lambers, Holger Giese), In MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Association for Computing Machinery, 2022. |
| [153] | Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (Sven Schneider, Maria Maximova, Holger Giese), In Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings (Nicolas Behr, Daniel Strüber, eds.), Springer, volume 13349, 2022. |
| [152] | Probabilistic Metric Temporal Graph Logic (Sven Schneider, Maria Maximova, Holger Giese), In Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings (Nicolas Behr, Daniel Strüber, eds.), Springer, volume 13349, 2022. |
|
| [151] | Improving Adaptive Monitoring with Incremental Runtime Model Queries (Matthias Barkowsky, Thomas Brand, Holger Giese), In 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), IEEE Computer Society, 2021. |
| [150] | Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness (Sona Ghahremani, Holger Giese), In 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2021. |
| [149] | Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching (Matthias Barkowsky, Holger Giese), In International Conference on Graph Transformation, 2021. |
| [148] | On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems (Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese), In Graph Transformation - 14th International Conference, ICGT 2021 Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, 2021. |
| [147] | Keeping Pace with the History of Evolving Runtime Models (Lucas Sakizloglou, Matthias Barkowsky, Holger Giese), In Fundamental Approaches to Software Engineering (Esther Guerra, Mariëlle Stoelinga, eds.), Springer International Publishing, 2021. |
| [146] | Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Holger Giese), In 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) (Fabio Gadducci, Alexandra Silva, eds.), Schloss Dagstuhl – Leibniz-Zentrum fur Informatik, volume 211, 2021. |
| [145] | Interval Probabilistic Timed Graph Transformation Systems (Maria Maximova, Sven Schneider, Holger Giese), In Graph Transformation - 14th International Conference, ICGT 2021 Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, 2021. |
| [144] | Evaluation Diversity for Graph Conditions (Sven Schneider, Leen Lambers), In Graph Transformation - 14th International Conference, ICGT 2021 Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, 2021. |
| [143] | Compositional Analysis of Probabilistic Timed Graph Transformation Systems (Maria Maximova, Sven Schneider, Holger Giese), In Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City Luxembourg, March 27 - April 1, 2021, (Esther Guerra, Mariëlle Stoelinga, eds.), Springer, volume 12649, 2021. |
|
| [142] | Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning (Mirko D̢۪Angelo, Sona Ghahremani, Simos Gerasimou, Johannes Grohmann, Ingrid Nunes, Sven Tomforde, Evangelos Pournaras), In 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2020. |
| [141] | A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies (Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese), In Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, 2020. |
| [140] | From Classic to Agile: Experiences from More than a Decade of Project-Based Modeling Education (Holger Giese, Leen Lambers, Christian Zöllner), In Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Association for Computing Machinery, 2020. |
| [139] | Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese), In Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, 2020. |
| [138] | A scalable querying scheme for memory-efficient runtime models with history (Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese), In MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October 2020 (Eugene Syriani, Houari Sahraoui, Juan de Lara, Silvia Abrah ao, eds.), ACM, 2020. |
| [137] | Towards Highly Scalable Runtime Models with History (Lucas Sakizloglou, Sona Ghahremani, Thomas Brand, Matthias Barkowsky, Holger Giese), 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. |
| [136] | Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Sven Schneider, Johannes Dyck, Holger Giese), In Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, 2020. |
|
| [135] | On Learning in Collective Self-Adaptive Systems: State of Practice and a 3D Framework (M. D'Angelo, Simos Gerasimou, Sona Ghahremani, Johannes Grohmann, Ingrid Nunes, Evangelos Pournaras, Sven Tomforde), In 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019. |
| [134] | A Logic-Based Incremental Approach to Graph Repair (Sven Schneider, Leen Lambers, Fernando Orejas), 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 (Reiner Hähnle, Wil M. P. van der Aalst, eds.), Springer, volume 11424, 2019. |
| [133] | OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management (Johannes Erbel, Thomas Brand, Holger Giese, Jens Grabowski), In Proceedings of the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019. |
| [132] | Metric Temporal Graph Logic over Typed Attributed Graphs (Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider), 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, 2019. |
| [131] | Modeling approach and evaluation criteria for adaptable architectural runtime model instances (Thomas Brand, Holger Giese), In Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019. |
| [130] | Generic adaptive monitoring based on executed architecture runtime model queries and events (Thomas Brand, Holger Giese), In Proceedings of the 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2019. |
| [129] | Hybrid Search Plan Generation for Generalized Graph Pattern Matching (Matthias Barkowsky, Holger Giese), In Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings (Esther Guerra, Fernando Orejas, eds.), 2019. |
|
| [128] | Analysis of GPGPU Programs for Data-race and Barrier Divergence (Santonu Sarkar, Prateek Kandelwal, Soumyadip Bandyopadhyay, Holger Giese), In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,, SciTePress, 2018. |
| [127] | Microtasking Software Failure Resolution: Early Results (Christian M. Adriano), In 2018 IDoESE - Doctoral Symposium at the International Conference on Empirical Software Engineering, 2018. |
| [126] | Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Hübert), In Proceedings of the 40th International Conference on Software Engineering, ACM, 2018. |
| [125] | Towards a Body of Knowledge for Model-based Software Engineering (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), In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ACM, 2018. |
| [124] | How Do We Teach Modelling and Model-driven Engineering?: A Survey (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), In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ACM, 2018. |
| [123] | Towards Generic Adaptive Monitoring (Thomas Brand, Holger Giese), In Proceedings of the 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2018. |
| [122] | Training Prediction Models for Rule-Based Self-Adaptive Systems (Sona Ghahremani, Christian M. Adriano, Holger Giese), In 2018 IEEE International Conference on Autonomic Computing (ICAC), 2018. |
|
| [121] | Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures (Sona Ghahremani, Holger Giese, Thomas Vogel), In 2017 IEEE International Conference on Autonomic Computing (ICAC), 2017. |
| [120] | Symbolic Model Generation for Graph Properties (Sven Schneider, Leen Lambers, Fernando Orejas), In Proc. Fundamental Approaches to Software Engineering (FASE'17) (Marieke Huisman, Julia Rubin, eds.), Springer, 2017. |
| [119] | K-Inductive Invariant Checking for Graph Transformation Systems (Johannes Dyck, Holger Giese), In Graph Transformation (Juan de Lara, Detlef Plump, eds.), Springer, volume 10373, 2017. |
| [118] | Probabilistic Timed Graph Transformation Systems (Maria Maximova, Holger Giese, Christian Krause), In Graph Transformation - 10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, 2017. |
| [117] | SamaTulyata: An Efficient Path Based Equivalence Checking Tool (Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan Mandal), In Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Deepak D'Souza, K. Narayan Kumar, eds.), Springer, volume 10482, 2017. |
| [116] | Granularity of Conflicts and Dependencies in Graph Transformation Systems (Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer), In International Conference on Graph Transformation (ICGT) (Juan de Lara, Detlef Plump, eds.), Springer International Publishing, 2017. (Extended version: https://www.uni-marburg.de/fb12/arbeitsgruppen/swt/forschung/publikationen/2017/BLST17-EV.pdf) |
|
| [115] | Invariant Checking for Graph Transformation: Applications & Open Challenges (Abstract) (Holger Giese, Leen Lambers), In Verification of Evolving Graph Structures, Dagstuhl, Germany (Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis, eds.), Dagstuhl Publishing, volume 5, 2016. |
| [114] | MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems (Hans Vangheluwe, Vasco Amaral, Holger Giese, Jan Broenink, Bernhard Schaetz, Alexander Norta, Paulo Carreira, Ivan Lukovic, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo), In Proceedings of the STAF 2016 Project Showcases, 2016. |
| [113] | Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures (Sona Ghahremani, Holger Giese, Thomas Vogel), In Proceedings of the IEEE International Conference on Self-Adaptive and Self-Organizing Systems, IEEE, 2016. |
| [112] | On the Operationalization of Graph Queries with Generalized Discrimination Networks (Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers), In Proceedings of the $9^th$ International Conference on Graph Transformations (Rachid Echahed, Mark Minas, eds.), Springer, 2016. |
|
| [111] | Software Engineering meets Control Theory (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 Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel), In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, IEEE, 2015. |
| [110] | Implementing Graph Transformations in the Bulk Synchronous Parallel Model (Christian Krause, Matthias Tichy, Holger Giese), 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, 2015. |
| [109] | Towards Smart Systems of Systems (Holger Giese, Thomas Vogel, Sebastian Wätzoldt), In Proceedings of the 6th International Conference on Fundamentals of Software Engineering (FSEN '15) (Mehdi Dastani, Marjan Sirjani, eds.), Springer, volume 9392, 2015. ((invited paper)) |
| [108] | Inductive Invariant Checking with Partial Negative Application Conditions (Johannes Dyck, Holger Giese), In Graph Transformation (Francesco Parisi-Presicce, Bernhard Westfechtel, eds.), Springer, volume 9151, 2015. |
| [107] | Kaolin: A system-level AADL tool for FPGA design reuse, upgrade and migration (Dominique Blouin, Gilberto Ochoa-Ruiz, Yvan Eustache, Jean-Philippe Diguet), In 2015 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2015, Montreal, QC, Canada, June 15-18, 2015, 2015. |
| [106] | Traceability Recovery for Innovation Processes (Thomas Beyhl, Holger Giese), In Proceedings of the 8th International Symposium on Software and Systems Traceability, IEEE, 2015. |
|
| [105] | Implementing Graph Transformations in the Bulk Synchronous Parallel Model (Christian Krause, Matthias Tichy, Holger Giese), In 17th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France (Stefania Gnesi, Arend Rensink, eds.), Springer, volume 8411, 2014. |
| [104] | Introducing the LogCal: Template-Based Documentation Support for Educational Design Thinking Projects (Axel Menning, Thomas Beyhl, Holger Giese, Ulrich Weinberg, Claudia Nicolai), In International Conference on Engineering and Product Design Education, 2014. |
|
| [103] | Cooperating with a Non-governmental Organization to Teach Gathering and Implementation of Requirements (Gregor Gabrysiak, Lukas Pirl, Regina Hebig, Holger Giese), In Proc. of the 26th Conference on Software Engineering Education and Training, 2013. |
| [102] | On the Complex Nature of MDE Evolution (Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel), In Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013 (Ana Moreira, Bernhard Schaetz, eds.), Springer, 2013. |
| [101] | Scalable Real-Time Compatibility for Embedded Components using Language-Progressive TIOA (Stefan Neumann, Holger Giese), In 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013. |
| [100] | Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (Christian Krause, Johannes Dyck, Holger Giese), In Theory and Practice of Model Transformations, 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings (Keith Duddy, Gerti Kappel, eds.), Springer / Heidelberg, volume 7909, 2013. |
| [99] | Task Driven Software Summarization (Dave Binkley, Dawn Lawrie, Emily Hill, Janet Burge, Ian Harris, Regina Hebig, Oliver Keszöcze, Karl Reed, John Slankas), In ERA Track at 29th IEEE International Conference on Software Maintenance (ICSM), 2013. (accepted) |
| [98] | Towards Documentation Support for Educational Design Thinking Projects (Thomas Beyhl, Gregor Berg, Holger Giese), In Proceedings of EPDE 2013, the 15th International Conference on Engineering and Product Design Education, 2013. |
|
| [97] | Decoupled Model-Based Elicitation of Stakeholder Scenarios (Gregor Gabrysiak, Regina Hebig, Holger Giese), In Proc. of the Seventh International Conference on Software Engineering Advances, IARIA, 2012. |
| [96] | Integrated Software Development for Embedded Robotic Systems (Sebastian Wätzoldt, Stefan Neumann, Falk Benke, Holger Giese), In Proceedings of the 3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR) (Itsuki Noda, Noriaki Ando, Davide Brugali, James Kuffner, eds.), Springer Berlin Heidelberg, volume 7628, 2012. |
| [95] | Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders (Gregor Gabrysiak, Regina Hebig, Holger Giese), In 21st IEEE International WETICE conference (WETICE-2012) (Sumitra Reddy, Khalil Drira, eds.), IEEE, 2012. |
| [94] | A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels (Thomas Vogel, Holger Giese), In Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), IEEE Computer Society, 2012. |
| [93] | Flexible Debugging of Behavior Models (Alexander Krasnogolowy, Stephan Hildebrandt, Sebastian Wätzoldt), In 2012 IEEE International Conference on Industrial Technology (ICIT), 2012. |
| [92] | Probabilistic Graph Transformation Systems (Christian Krause, Holger Giese), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), Springer-Verlag, volume 7562, 2012. |
| [91] | Towards Patterns for MDE-Related Processes to Detect and Handle Changeability Risks (Regina Hebig, Gregor Gabrysiak, Holger Giese), In 2012 International Conference on Software and Systems Process, 2012. |
| [90] | Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter), In Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011) (Andy Schürr, Daniel Varró, Gergely Varró, eds.), Springer, volume 7233, 2012. |
| [89] | Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements (Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, 2012. |
| [88] | Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (Holger Giese, Leen Lambers), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, 2012. |
|
| [87] | A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (Andreas Seibel, Regina Hebig, Stefan Neumann, Holger Giese), In 4th International Conference on Software Language Engineering (SLE 2011) , Braga, Portugal, 2011. |
| [86] | Software Engineering for Self-Adpaptive Systems: A second Research Roadmap (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), In Software Engineering for Self-Adaptive Systems (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2011. ((draft version of May 20, 2011)) |
| [85] | From Software Traceability to Global Model Management and Back Again (Andreas Seibel), In 15th European Conference on Software Maintenance and Reengineering (CSMR'11), Doctoral Symposium, Oldenburg, Germany, 2011. |
| [84] | Exploration and Validation through Animation of Scenario Specifications (Gregor Gabrysiak), In Doctoral Symposium of the 19th IEEE International Requirements Engineering Conference (RE'11), 2011. |
| [83] | An Approach to Integrating Model Management and Software Development Processes, (Regina Hebig), In Doctoral Symposium at MODELS 2011, 2011. |
| [82] | Toward a Comparable Characterization for Software Development Activities in Context of MDE (Regina Hebig, Andreas Seibel, Holger Giese), In Proceedings of the 2011 International Conference on Software and Systems Process, ACM, 2011. |
| [81] | Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer), In Fundamental Approaches to Software Engineering (Dimitra Giannakopoulou, Fernando Orejas, eds.), Springer Berlin / Heidelberg, volume 6603, 2011. |
| [80] | Iterative Development of Consistency-Preserving Rule-Based Refactorings (Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese), In Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings (Jordi Cabot, Eelco Visser, eds.), Springer / Heidelberg, volume 6707, 2011. |
|
| [79] | Deriving Behavior of Multi-User Processes From Interactive Requirements Validation (Gregor Gabrysiak, Holger Giese, Andreas Seibel), In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ACM, 2010. |
| [78] | How Tangible can Virtual Prototypes be? (Gregor Gabrysiak, Jonathan Edelman, Holger Giese, Andreas Seibel), In Proceedings of the 8th Design Thinking Research Symposium, 2010. |
| [77] | Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures (Stefan Henkler, Simon Oberthur, Holger Giese, Andreas Seibel), In Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, IEEE Computer Society Press, 2010. |
| [76] | Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent (Holger Giese, Stefan Neumann, Stephan Hildebrandt), In Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, B. Westfechtel, eds.), Springer Berlin / Heidelberg, volume 5765, 2010. |
|
| [75] | Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems (Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker), In Proceedings of the 6th IEEE/ACM International Conference on Autonomic Computing and Communications (ICAC 2009), Barcelona, Spain, ACM, 2009. |
| [74] | Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite (Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kathan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese), In Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, 2009. |
| [73] | The Role of Models in Self-adaptive and Self-healing Systems (Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Margaria Tiziana, Josu Martinez, Christian Muller-Schloer, Roland Reichle), In Self-Healing and Self-Adaptive Systems (Artur Andrzejak, Kurt Geihs, Onn Shehory, John Wilkes, eds.), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. |
| [72] | The Role of Models in Self-adaptive and Self-healing Systems (Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Margaria Tiziana, Josu Martinez, Christian Muller-Schloer, Roland Reichle), In Self-Healing and Self-Adaptive Systems (Artur Andrzejak, Kurt Geihs, Onn Shehory, John Wilkes, eds.), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. |
| [71] | Feature Report: Modeling and Interpreting EMF-based Story Diagrams (Holger Giese, Stephan Hildebrandt, Andreas Seibel), In Proceedings of the 7th International Fujaba Days, 2009. |
| [70] | Engineering Self-Adaptive Systems through Feedback Loops (Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, HausiA. Müller, Mauro Pezzè, Mary Shaw), In Software Engineering for Self-Adaptive Systems (Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, volume 5525, 2009. |
| [69] | Towards Safety Guarantees for Service-Oriented Systems (Basil Becker), In ICSE Companion 2009, Companion of the 31th International Conference on Software Engineering, IEEE Computer Society, 2009. |
|
| [68] | Integration of Legacy Components in Mechatronic UML Architectures (Christian Brenner, Holger Giese, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn), In Proc. of the 6th International Fujaba Days 2008, Dresden, Germany (Uwe Assmann, Jendrik Johannes, Albert Zündorf, eds.), 2008. |
| [67] | Safe Online-Reconfiguration of Self-Optimizing Mechatronic Systems (Semir Osmic, Eckehard Münch, Ansgar Trächtler, Stefan Henkler, Wilhelm Schäfer, Holger Giese, Martin Hirsch), In Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik (Jürgen Gausemeier, Franz Rammig, Wilhelm Schäfer, eds.), 2008. |
| [66] | Fujaba's Future in the MDA Jungle - Fully Integrating Fujaba and the Eclipse Modeling Framework? (Basil Becker, Holger Giese, Stephan Hildebrandt, Andreas Seibel), In Proceedings of the 6th International Fujaba Days, 2008. |
| [65] | On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles (Basil Becker, Holger Giese), In In Proc. of 11th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC), IEEE Computer Society Press, 2008. |
| [64] | 08031 – Software Engineering for Self-Adaptive Systems: A Research Road Map (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 Stein, 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), In Software Engineering for Self-Adaptive Systems (Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008. |
| [63] | Dependability, Certification, and the Model-Driven Development of Advanced Software-Intensive Systems: Obstacles, Possibilities, and Challenges (Holger Giese), In Tools for the Model-based Development of Certifiable, Dependable Systems (Michaela Huhn, Hardi Hungar, Doron Peled, eds.), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. |
| [62] | Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach (Basil Becker, Holger Giese), In Proc. 5th Intl. Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST), ACM, 2008. |
|
| [61] | Model-Based Testing of Mechatronic Systems (Holger Giese, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn), In Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, Albert Zündorf, eds.), 2007. |
| [60] | Monitoring of Structural and Temporal Properties (Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein, Michael Spijkerman), In Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, Albert Zündorf, eds.), 2007. |
| [59] | Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models (Jürgen Gausemeier, Holger Giese, Wilhelm Schäfer, Björn Axenath, Ursula Frank, Stefan Henkler, Sebastian Pook, Matthias Tichy), In Proc. of the 16th International Conference on Engineering Design (ICED), 2007. |
| [58] | Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Vadim Boiko, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking), In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, IEEE Computer Society Press, 2007. |
| [57] | Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams (Florian Klein, Holger Giese), In 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 (Matt Dwyer, Antónia Lopes, eds.), Springer Verlag, volume 4422, 2007. |
|
| [56] | Incremental Model Synchronization with Triple Graph Grammars (Holger Giese, Robert Wagner), In Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy (Oscar Nierstrasz, John Whittle, David Harel, Gianna Reggio, eds.), Springer Verlag, volume 4199, 2006. |
| [55] | Story Diagrams in Real-Time Software (Matthias Tichy, Holger Giese, Andreas Seibel), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006. |
| [54] | Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration (Holger Giese, Matthias Tichy), In Proc. of the 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP), Gdansk, Poland, Springer Verlag, volume 4166, 2006. |
| [53] | Acute stress response for self-optimizing mechatronic systems (Holger Giese, N. Montealegre, T. Müller, S. Oberthür, B. Schulz), In Proc. of the IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2006), Santiago, Chile, August 20-25, 2006, Springer Science and Business Media, 2006. |
| [52] | Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (Björn Axenath, Holger Giese, Florian Klein, Ursula Frank), In Proc. of the 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, Minnesota, USA, IEEE Computer Science, 2006. |
| [51] | On Semantic Issues in Story Diagrams (Matthias Tichy, Matthias Meyer, Holger Giese), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006. |
| [50] | Software Engineering for Large-Scale Multi-agent Systems SELMAS'06 (Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky), In ICSE '06: Proceedings of the 26th International Conference on Software Engineering, ACM Press, 2006. |
| [49] | Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling), In Proc. of the $28^th$ International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006. |
| [48] | Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling), In Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006. |
| [47] | A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink (Holger Giese, Matthias Meyer, Robert Wagner), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006. |
| [46] | A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink (Holger Giese, Matthias Meyer, Robert Wagner), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006. |
| [45] | Visual Specification of Structural and Temporal Properties (Holger Giese, Florian Klein), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006. |
| [44] | Beyond Story Patterns: Story Decision Diagrams (Holger Giese, Florian Klein), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006. |
| [43] | A PlugIn for the Development of Resource Aware Components with Mechatronic UML (Holger Giese, Stefan Henkler, Martin Hirsch), In Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006. |
|
| [42] | Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code (Sven Burmester, Holger Giese, Wilhelm Schäfer), In Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2005), Nürnberg, Germany, Springer Verlag, volume 3748, 2005. |
| [41] | Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML (Sven Burmester, Holger Giese), In Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, IEEE Computer Society Press, 2005. |
| [40] | A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns (Basil Becker, Holger Giese, Daniela Schilling), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005. |
| [39] | Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems (Sven Burmester, Holger Giese, Andreas Seibel, Matthias Tichy), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005. |
| [38] | Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML (Sven Burmester, Holger Giese, Matthias Tichy), In Model Driven Architecture: Foundations and Applications (Uwe Assmann, Arend Rensink, Mehmet Aksit, eds.), Springer Verlag, volume 3599, 2005. () |
| [37] | The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems (Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy), In Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, ACM Press, 2005. |
| [36] | A Design Methodology for Self-Optimizing Systems (Jürgen Gausemeier, Ursula Frank, Holger Giese, Florian Klein, Andreas Schmidt, Daniel Steffen, Matthias Tichy), In Contributions to the 6th Braunschweig conference of Automation, Assistance and Embedded Real Time Platforms for Transportation - Air-planes, Vehicles, Trains - (AAET2005) (Gesamtzentrum für Verkehr Braunschweig e.V., ed.), GZVB, volume II, 2005. |
| [35] | The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML (Holger Giese, Sergej Tissen), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005. |
|
| [34] | Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration (Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp), In Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, ACM Press, 2004. |
| [33] | Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components (Sven Burmester, Holger Giese, Alfonso Gambuzza, Oliver Oberschelp), In Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France (C. Bobeanu, ed.), EOROSIS Publications, 2004. |
| [32] | Compositional Hazard Analysis of UML Component and Deployment Models (Holger Giese, Matthias Tichy, Daniela Schilling), In Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany (Maritta Heisel, Peter Liggesmeyer, S. Wittmann, eds.), Springer Verlag, volume 3219, 2004. |
| [31] | Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation (Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür), In Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy (B. Georgio, ed.), ACM Press, 2004. |
| [30] | Component Templates for Dependable Real-Time Systems (Matthias Tichy, Basil Becker, Holger Giese), In Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany (Andy Schürr, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-253, 2004. |
| [29] | Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL (Sven Burmester, Holger Giese, Florian Klein), In Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany (Andy Schürr, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-253, 2004. |
| [28] | Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems (Sven Burmester, Holger Giese, Oliver Oberschelp), In Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal (Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, eds.), INSTICC Press, 2004. |
| [27] | Structured Information Processing For Self-optimizing Mechatronic Systems (Thorsten Hestermeyer, Oliver Oberschelp, Holger Giese), In Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal (Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, eds.), INSTICC Press, 2004. |
| [26] | Modular Generation and Simulation of Mechatronic Systems (Oliver Oberschelp, Alfonso Gambuzza, Sven Burmester, Holger Giese), In Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA, 2004. |
| [25] | Shared Experiences In Intelligent Transportation Systems (Wilhelm Dangelmaier, Holger Giese, Florian Klein, Hendrik Renken, Peter Scheideler), In Proc. of the IAV 2004 - The 5th Symposium on Intelligent Autonomous Vehicles, Lisbon, Portugal (M. Ribeiro, J. Santos-Victor, eds.), Elsevier Science, 2004. |
| [24] | Modular Generation and Simulation of Mechatronic Systems (Oliver Oberschelp, Alfonso Gambuzza, Sven Burmester, Holger Giese), In Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA (N. Callaos, W. Lesso, B. Sanchez, eds.), International Institute of Informatics and Systemics (IIIS), 2004. |
| [23] | Modeling Reconfigurable Mechatronic Systems with Mechatronic UML (Sven Burmester, Matthias Tichy, Holger Giese), In Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden (U. Aßmann, ed.), 2004. |
|
| [22] | Towards the Incremental Model Checking of Complex RealTime UML Models (Martin Hirsch, Holger Giese), In Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-247, 2003. |
| [21] | The Fujaba Real-Time Statechart PlugIn (Sven Burmester, Holger Giese), In Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-247, 2003. |
| [20] | Towards the Compositional Verification of Real-Time UML Designs (Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, Stephan Flake), 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, ACM Press, 2003. |
|
| [19] | Towards Design Verification and Validation at Multiple Levels of Abstraction (Holger Giese, Martin Kardos, Ulrich A. Nickel), In Proc. of IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES2002), Montreal, Canada., Kluwer Academic Publishers, 2002. |
| [18] | Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation (Holger Giese, Ulrich A. Nickel), In OMER - Object-oriented Modeling of Embedded Real-Time Systems, Gesellschaft für Informatik, volume P5, 2002. |
| [17] | Reporting about Industrial Strength Software Engineering Courses for Undergraduates (Matthias Gehrke, Holger Giese, Ulrich A. Nickel, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Albert Zündorf), In Proc. of the $24^th$ International Conference on Software Engineering (ICSE), Orlando, Florida, USA, ACM Press, 2002. |
|
| [16] | A Jini-supported Distributed Version and Configuration Management System (Matthias Gehrke, Holger Giese, Matthias Tichy), In Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA, International Society for Optical Engineering, volume 4521, 2001. |
| [15] | A Jini-supported Distributed Version and Configuration Management System (Matthias Gehrke, Holger Giese, Matthias Tichy), In Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA (Sudipto Ghosh, ed.), 2001. |
|
| [14] | Extending UML with Workflow Modeling Capabilities (Guido Wirtz, Mathias Weske, Holger Giese), In 7th International Conference on Cooperative Information Systems (CoopIS-2000), 6-8 September, Eilat, Israel (Opher Etzion, Peter Scheuermann, eds.), Springer Verlag, volume 1901, 2000. |
| [13] | Skalierbare Beschreibung des Verhaltens verteilter Softwaresysteme (Guido Wirtz, Holger Giese), In Proc. des 10. GI/ITG-Fachgesprächs Formale Beschreibungstechniken, GI-FG Kommunikation und verteilte Systeme, Luebeck, 22.-23.06, Gesellschaft für Informatik, 2000. ((German)) |
| [12] | Early Evaluation of Design Options for Distributed Systems (Holger Giese, Guido Wirtz), In Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'2000), Limerick, Ireland, IEEE Press, 2000. |
| [11] | Contract-based Component System Design (Holger Giese), In Thirty-Third Annual Hawaii International Conference on System Sciences (HICSS-33), Maui, Hawaii, USA (Jr. Ralph H. Sprague, ed.), IEEE Press, 2000. |
| [10] | Contract-Based Component System Design (Holger Giese), In HICSS, 2000. |
| [9] | Using UML and Object-Coordination-Nets for Workflow Specification (Guido Wirtz, Holger Giese), In IEEE International Conference on Systems, Man, and Cybernetics (SMC'2000), IEEE Press, volume 5, 2000. |
|
| [8] | Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (Holger Giese, Jörg Graf, Guido Wirtz), In UML'99 - The Second International Conference on The Unified Modeling Language Fort Collins, Colorado, USA (Robert France, Bernhard Rumpe, eds.), Springer Verlag, volume 1723, 1999. |
| [7] | Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems (Holger Giese, Jörg Graf, Guido Wirtz), In IEEE Symposium On Visual Languages, Tokyo, Japan, IEEE Press, 1999. |
| [6] | Contract-based Coordination of Distributed Object Systems (Holger Giese, Jörg Graf, Guido Wirtz), In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas, Nevada (H. R. Arabnia, ed.), CSREA Press, 1999. |
|
| [5] | Modeling Distributed Software Systems with Object Coordination Nets (Holger Giese, Jörg Graf, Guido Wirtz), In Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), Kyoto, Japan (Bernd Krämer, Naoshi Uchihira, Peter Croll, Stefano Russo, eds.), IEEE Press, 1998. |
|
| [4] | Ruling the Behavior of Distributed Software Components (Guido Wirtz, Jörg Graf, Holger Giese), In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada (H. R. Arabnia, ed.), CSREA Press, 1997. |
| [3] | Modular Development of Correct Meander Programs (Holger Giese, Guido Wirtz), In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada (H. R. Arabnia, ed.), CSREA Press, 1997. |
|
| [2] | Realisierung eines dynamischen CSP Programmiermodells fur ANSI-C unter Helios (Holger Giese, P. Böckmann, G. Wirtz), In Proc. Transputer-Anwender-Treffen, TAT-94, Aachen, Germany (R. Flieger, R. Grebe, eds.), IOS Press, 1994. ((German)) |
| [1] | Providing CSP-like Functionality in a Helios Environment (P. Böckmann, Holger Giese, G. Wirtz), In Proc. 17th WoTUG Technical Meeting, Bristol, UK (R. Miles, A. Chalmers, eds.), IOS Press, 1994. |
|
| [106] | Model-Based Testing of Read Only Graph Queries (Leen Lambers, Sven Schneider, Marcel Weisgut), In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28 2020, IEEE, 2020. |
|
| [105] | Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues (Sona Ghahremani, Holger Giese), In 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), IEEE Computer Society, 2019. |
|
| [104] | Towards software architecture runtime models for continuous adaptive monitoring (Thomas Brand, Holger Giese), In Proceedings of the 13th International Workshop on Models@run.time (MRT), 2018. |
|
| [103] | A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models (Dominique Blouin, Matthias Barkowsky, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen), In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), 2017. |
| [102] | Towards Collective Online and Offline Testing for Dynamic Software Product Lines (Joachim Hänsel, Holger Giese), In Proceedings of the 2nd International Workshop on Variability and Complexity in Software Design, 2017. |
|
| [101] | A Logic of Graph Conditions Extended with Paths (Marisa Navarro, Elvira Pino, Fernando Orejas, Leen Lambers), In 7th Int. Workshop on Graph Computation Models, 2016. (Pre-proceedings) |
| [100] | Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks (Thomas Beyhl, Holger Giese), In 2nd Graphs as Models workshop (GaM 2016) (Alexander Heußner, Aleks Kissinger, Anton Wijs, eds.), 2016. |
|
| [99] | Modeling Collaborations in Adaptive Systems of Systems (Sebastian Wätzoldt, Holger Giese), In Proceedings of the European Conference on Software Architecture Workshops, ACM, 2015. |
| [98] | A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models (Joachim Hänsel, Thomas Vogel, Holger Giese), In Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, IEEE, 2015. |
| [97] | Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Fourth Workshop on the Analysis of Model Transformations, 2015. |
|
| [96] | Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling (Sebastian Wätzoldt, Holger Giese), In Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems, http://ceur-ws.org/, 2014. |
| [95] | On Unifying Development Models and Runtime Models (Thomas Vogel, Holger Giese), 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, CEUR-WS.org, volume 1270, 2014. |
| [94] | BenchmarX (Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr), In Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014 (K. Selçuk Candan, Sihem Amer-Yahia, Nicole Schweikardt, Vassilis Christophides, Vincent Leroy, eds.), CEUR-WS.org, volume 1133, 2014. |
|
| [93] | A Model Management Framework for Maintaining Traceability Links (Thomas Beyhl, Regina Hebig, Holger Giese), In Software Engineering 2013 Workshopband (Stefan Wagner, Horst Lichter, eds.), Gesellschaft für Informatik (GI), volume P-215, 2013. |
| [92] | Enabling Domain Experts to Modify Formal Models via a Natural Language Representation Consistently (Gregor Gabrysiak, Daniel Eichler, Regina Hebig, Holger Giese), In Proc. of the First ICSE 2013 Workshop on Natural Language Analysis in Software Engineering, 2013. |
| [91] | Interactive Strategy-Based Validation of Behavioral Models (Ralf Teusner, Gregor Gabrysiak, Stefan Richter, Stefan Kleff), In Proc. of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques, 2013. |
| [90] | Modal Specifications for Probabilistic Timed Systems (Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese), In Proc. of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), Open Publishing Association, 2013. |
| [89] | Why Innovation Processes Need to Support Traceability (Thomas Beyhl, Gregor Berg, Holger Giese), In International Workshop on Traceability in Emerging Forms of Software Engineering, IEEE, 2013. |
|
| [88] | Teaching Requirements Engineering with Authentic Stakeholders: Towards a Scalable Course Setting (Gregor Gabrysiak, Markus Guentert, Regina Hebig, Holger Giese), In Proc. of ICSE 2012 Workshop on Software Engineering Education based on Real-World Experiences, 2012. |
| [87] | Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems (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), In Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube), IEEE Computer Society, 2012. |
| [86] | A Build Server for Model-Driven Engineering (Henrik Steudel, Regina Hebig, Holger Giese), In 6th International Workshop on Multi-Paradigm Modeling (MPM 2012), ACM, 2012. |
| [85] | Automatic Transformation of Abstract AUTOSAR Architectures to Timed Automata (Stefan Neumann, Norman Kluge, Sebastian Wätzoldt), In Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACM, 2012. |
| [84] | The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars (Stephan Hildebrandt, Leen Lambers, Holger Giese), In MoDELS Workshop on Analysis of Model Transformation (Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, eds.), ACM, 2012. |
| [83] | Integration of Triple Graph Grammars and Constraints (Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese), In Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012) (Christian Krause, Bernhard Westfechtel, eds.), EC-EASST, volume 52, 2012. |
| [82] | Towards a Model Transformation Intent Catalog (Moussa Amrani, Juergen Dingel, Leen Lambers, Levi Lúcio, Gehan Selim, Eugene Syriani, Manuel Wimmer), In MoDELS Workshop on Analysis of Model Transformation (Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, eds.), ACM, 2012. |
|
| [81] | Language and Framework Requirements for Adaptation Models (Thomas Vogel, Holger Giese), In 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 (Nelly Bencomo, Gordon Blair, Betty HC Cheng, Robert France, Cedric Jeanneret, eds.), CEUR-WS.org, volume 794, 2011. ((best paper)) |
| [80] | Why Should I Help You to Teach Requirements Engineering? (Gregor Gabrysiak, Holger Giese, Andreas Seibel), In Proc. of the 6th International Workshop on Requirements Engineering Education and Training (REET), 2011. |
| [79] | From Abstract Component Descriptions to Timed I/O-Interfaces in AUTOSAR (Stefan Neumann, Sebastian Wätzoldt, Holger Giese), In Proceeding of the Second Analytic Virtual Integration of Cyber-Physical Systems Workshop., 2011. (http://www.contrib.andrew.cmu.edu/ schaki/avicps/AVICPS-2011-PROCEEDINGS.pdf) |
| [78] | How Can Metamodels Be Used Flexibly? (Gregor Gabrysiak, Holger Giese, Alexander Lüders, Andreas Seibel), In Proc. of ICSE 2011 Workshop on Flexible Modeling Tools, 2011. |
| [77] | Models of Reactive Systems - Communication, Concurrency and Causality (Bernhard Schätz, Holger Giese), In Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, 2011. |
| [76] | Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements (Christian Krause, Holger Giese), In Proceedings 13th International Workshop on Verification of Infinite-State Systems (INFINITY'11), Open Publishing Association, volume 73, 2011. |
| [75] | On the Unification of Megamodels (Regina Hebig, Andreas Seibel, Holger Giese), In Proceedings of the 4th International Workshop on Multi-Paradigm Modeling (MPM 2010) (Vasco Amaral, Hans Vangheluwe, Cécile Hardebolle, Laszlo Lengyel, Tiziana Magaria, Julia Padberg, Gabriele Taentzer, eds.), volume 42, 2011. |
| [74] | Model-Based Integration (Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz), In Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, 2011. |
|
| [73] | Toward Megamodels at Runtime (Thomas Vogel, Andreas Seibel, Holger Giese), In 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 (Nelly Bencomo, Gordon Blair, Franck Fleurey, Cedric Jeanneret, eds.), CEUR-WS.org, volume 641, 2010. ((best paper)) |
| [72] | Toward Mega Models for Maintaining Timing Properties of Automotive Systems (Stefan Neumann, Andreas Seibel), 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, 2010. |
| [71] | Making Control Loops Explicit When Architecting Self-Adaptive Systems (Regina Hebig, Holger Giese, Basil Becker), In SOAR '10: Proceedings of the second international workshop on Self-Organizing Architectures, ACM, 2010. |
| [70] | Adaptation and Abstract Runtime Models (Thomas Vogel, Holger Giese), 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, ACM, 2010. |
| [69] | Teaching Requirements Engineering with Virtual Stakeholders without Software Engineering Knowledge (Gregor Gabrysiak, Holger Giese, Andreas Seibel, Stefan Neumann), In Proc. of the 5th International Workshop on Requirements Engineering Education and Training (REET) (Joy Betty, Ljerka Beus-Dukic, eds.), IEEE Computer Society, 2010. |
| [68] | Using Ontologies for Flexibly Specifying Multi-User Processes (Gregor Gabrysiak, Holger Giese, Andreas Seibel), In Proc. of FlexiTools Workshop at ICSE 2010, Cape Town, South Africa, 2010. |
| [67] | Navigating Across Non-Navigable Ecore References via OCL (Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger, Stephan Hildebrandt), 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. |
| [66] | Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars (Holger Giese, Stephan Hildebrandt, Leen Lambers), In Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering Verification and Validation, IEEE Computer Society, 2010. |
|
| [65] | A Model-Driven Configuration Management System for Advanced IT Service Management (Holger Giese, Andreas Seibel, Thomas Vogel), In 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 (Nelly Bencomo, Gordon Blair, Robert France, Cedric Jeanneret, Freddy Munoz, eds.), CEUR-WS.org, volume 509, 2009. |
| [64] | Incremental Model Synchronization for Efficient Run-time Monitoring (Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker), In 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 (Nelly Bencomo, Gordon Blair, Robert France, Cedric Jeanneret, Freddy Munoz, eds.), CEUR-WS.org, volume 509, 2009. ((best paper)) |
| [63] | Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration (Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer), In Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) (Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza, eds.), CEUR-WS.org, volume 507, 2009. |
| [62] | Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization (Holger Giese, Stephan Hildebrandt, Stefan Neumann), In 5th Workshop on Model-Based Development of Embedded Systems (MBEES), 2009. |
| [61] | Improved Flexibility and Scalability by Interpreting Story Diagrams (Holger Giese, Stephan Hildebrandt, Andreas Seibel), In Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009) (Tiziana Magaria, Julia Padberg, Gabriele Taentzer, eds.), Electronic Communications of the EASST, volume 18, 2009. |
| [60] | Interactive Visualization for Elicitation and Validation of Requirements with Scenario-Based Prototyping (Gregor Gabrysiak, Holger Giese, Andreas Seibel), In Proceedings of the 4th International Workshop on Requirements Engineering Visualization (REV 2009), IEEE Computer Society, 2009. |
|
| [59] | Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML (Martin Hirsch, Stefan Henkler, Holger Giese), In Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS''08), Leipzig, Germany, ACM Press, 2008. |
| [58] | Friends or Foes? – A Conceptual Analysis of Self-Adaptation and IT Change Management (Cristina Gacek, Holger Giese, Ethan Hadar), In Proc. of the ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), ACM, 2008. |
| [57] | Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML (Martin Hirsch, Stefan Henkler, Holger Giese), In Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems, ACM, 2008. |
| [56] | Incremental Model Synchronization for Multiple Updates (Holger Giese, Stephan Hildebrandt), In Proceedings of the 3rd International Workshop on Graph and Model Transformations, May 12, 2008, Leipzig, Germany, ACM Press, volume Proceedings of GraMoT'08, May 12, 2008, Leipzig, Germany, 2008. |
| [55] | Reusable Services and Semi-Automatic Service Composition for Automotive Software (Holger Giese), In 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 (Manfred Broy, Ingolf Krüger, Michael Meisinger, eds.), Springer Verlag, volume 4922, 2008. |
| [54] | Incremental Verification of Inductive Invariants for the Run-Time Evolution of Self-Adaptive Software-Intensive Systems (Basil Becker, Holger Giese), In Proc. 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS), IEEE Computer Society Press, 2008. |
|
| [53] | Potenziale und Risiken der Selbstoptimierung für die Verlässlichkeit mechatronischer Systeme (Ursula Frank, Holger Giese, Thomas Müller, Simon Oberthür, Christoph Romaus, Matthias Tichy, Henner Vöcking), In Proc. of the Fifth Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, 2007. |
| [52] | Das MATE Projekt - visuelle Spezifikation von MATLAB-Analysen und Transformationen (Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf), In Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 15.-18.1.2007, Schloss Dagstuhl, Germany (Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz, eds.), 2007. |
| [51] | Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems (Holger Giese), In Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005 . Revised Selected Papers (Fabrice Kordon, Janos Sztipanovits, eds.), Springer Verlag, volume 4322, 2007. |
| [50] | Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools (Holger Giese, Tihamer Levendovszky, Hans Vangheluwe), In Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, Springer Verlag, volume 4364, 2007. |
|
| [49] | Towards Verified Model Transformations (Holger Giese, Sabine Glesner, Johannes Leitner, Wilhelm Schäfer, Robert Wagner), In Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeVa), Genova, Italy (David Hearnden, J.G. Süß, Benoît Baudry, Nicolas Rapin, eds.), Le Commissariat à l'Energie Atomique - CEA, 2006. |
| [48] | Towards Verified Model Transformations (Holger Giese, Sabine Glesner, Johannes Leitner, Schafer), In Proc. of the $3^rd$ International Workshop on Model Development Validation and Verification (MoDeV$^2$a), Genova, Italy (David Hearnden, J.G. Süß, Beno^it Baudry, Nicolas Rapin, eds.), Le Commissariat `a l'Energie Atomique - CEA, 2006. |
| [47] | Architecture-Driven Platform Independent Deterministic Replay for Distributed Hard Real-Time Systems (Holger Giese, Stefan Henkler), In Proceedings of the 2nd International Workshop on The Role of Software Architecture for Testing and Analysis (ROSATEA2006), ACM Press, 2006. |
| [46] | Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios (Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein), In Proc. of the $5^th$ ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China, ACM Press, 2006. |
| [45] | Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account (Holger Giese, Stefan Henkler, Martin Hirsch), In 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 (Sébastien Gérard, S. Graf, Oystein Haugen, Ilena Ober, B. Selic, eds.), volume 343, 2006. |
| [44] | Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge (Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Henner Vöcking), In Proc. of the Fourth Paderborner Workshop Entwurf mechatronischer Systeme, volume 189, 2006. |
|
| [43] | Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML (Holger Giese, Martin Hirsch), 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, 2005. |
| [42] | Extending Fault Tolerance Patterns by Visual Degradation Rules (Matthias Tichy, Holger Giese), 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, 2005. |
| [41] | Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools (Sven Burmester, Holger Giese, Stefan Henkler), 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, 2005. |
| [40] | Analysis and Design of Physical and Social Contexts in MultiAgent Systems using UML (Florian Klein, Holger Giese), In 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 (Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, Paolo Giorgini, eds.), ACM Press, 2005. |
| [39] | Self-Optimizing Mechatronic Systems and Safety Standards: Challenges and Limits (Holger Giese, Robert Traussnig), In 5. Bieleschweig Workshop: Systems Engineering: Erfahrungen mit IEC 61508, TU München, Fakultät für Maschinenwesen, Garching bei München, 2005. |
| [38] | Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time (Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls), In Proc. of the ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, Missouri, USA (Rogério de Lemos, Alexander Romanovsky, eds.), ACM Press, 2005. |
| [37] | A summary of the ICSE 2004 workshop on scenarios and state machines: models, algorithms, and tools (Holger Giese, Ingolf Krüger), In , ACM Press, volume 30, 2005. |
| [36] | Summary of the Educator's Symposium (Holger Giese, Pascal Roques, Timothy C. Lethbridge), In MoDELS'05 Satellite event proceedings, Springer Verlag, volume 3844, 2005. |
| [35] | Reconciling Scenario-Centered Controller Design with State-Based System Models (Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner), In 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 (Yves Bontemps, Alexander Egyed, eds.), ACM Press, 2005. |
| [34] | Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems (Holger Giese), In Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany (Torsten KleÃn, Bernhard Rumpe, Bernhard Schätz, eds.), 2005. (Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany) |
|
| [33] | Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns (Matthias Tichy, Daniela Schilling, Holger Giese), In Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA, 2004. |
| [32] | Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite (Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling), 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, 2004. |
| [31] | Analysis and Synthesis for Parameterized Timed Sequence Diagrams (Holger Giese, Sven Burmester), In Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (ICSE 2003 Workshop W5S), Edinburgh, Scotland (Holger Giese, Ingolf Krüger, eds.), IEEE, 2004. |
| [30] | Advanced separation of concerns for mechatronic multi-agent systems through dynamic communities (Florian Klein, Holger Giese), In 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 (Ricardo Choren, al, eds.), IEE, 2004. |
| [29] | Ontologiebasiertes Rapid Prototyping fur kognitive Multiagentensysteme (Florian Klein, Holger Giese), In Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und fur die Softwaretechnik, Marburg, 2004, 2004. |
| [28] | Ontologiebasiertes Rapid Prototyping fur kognitive Multiagentensysteme (Florian Klein, Holger Giese), In Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und fur die Softwaretechnik, Marburg, 2004, 2004. |
| [27] | Ontologiebasiertes Rapid Prototyping für kognitive Multiagentensysteme (Florian Klein, Holger Giese), In Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und für die Softwaretechnik, Conradin Verlag, Marburg, 2004. |
| [26] | Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04) (Holger Giese, Ingolf Krüger), In Proc. of the 26th International Conference on Software Engineering, IEEE Computer Society Press, 2004. |
| [25] | Strukturierte Informationsverarbeitung für selbstoptimierende mechatronische Systeme (Oliver Oberschelp, Thorsten Hestermeyer, Holger Giese), In Proc. of the Second Paderborner Workshop Intelligente Mechatronische Systeme, volume 145, 2004. |
| [24] | Design of self-managing dependable systems with UML and fault tolerance patterns (Matthias Tichy, Daniela Schilling, Holger Giese), In WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, ACM Press, 2004. |
|
| [23] | Seamless UML Support for Service-based Software Architectures (Matthias Tichy, Holger Giese), In Proc. of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI) 2003, Luxembourg (Nicolas Guelfi, E. Artesiano, G. Reggio, eds.), Springer Verlag, volume 2952, 2003. |
| [22] | Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy), In OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies (Brian Henderson-Sellers, J Debenham, eds.), 2003. |
| [21] | Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy), In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages (OOPSLA) 2003 - Second International Workshop on Agent-Oriented Methodologies, Anaheim, CA, USA, 2003. |
| [20] | A Plug-In for Flexible and Incremental Consistency Management (Robert Wagner, Holger Giese, Ulrich Nickel), 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, Blekinge Institute of Technology, Sweden, volume 6, 2003. |
| [19] | Tool Integration at the Meta-Model Level within the FUJABA Tool Suite (Sven Burmester, Holger Giese, Jorg Niere, Matthias Tichy, Jorg P. Wadsack, Robert Wagner, Lothar Wendehals, Albert Zündorf), In Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003, 2003. |
| [18] | An Architecture for Configurable Dependability of Application Services (Matthias Tichy, Holger Giese), In Proc. of the Workshop on Software Architectures for Dependable Systems (WADS) (International Conference on Software Engineering 2003 Workshop 7), Portland, USA (Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, eds.), 2003. |
| [17] | Towards Scenario-Based Synthesis for Parametric Timed Automata (Holger Giese), In Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop 8), Portland, USA, 2003. |
| [16] | Towards Scenario–Based Synthesis for Parametric Timed Automata (Holger Giese), In Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), Portland, USA (ICSE 2003 Workshop 8), 2003. |
|
| [15] | Towards Data Dependency Detection in Web Information Systems (Jörg P. Wadsack, Jörg Niere, Holger Giese, Jens H. Jahnke), In Proc. of the Database Maintenance and Reengineering Workshop (DBMR'2002), Montreal, Canada. (ICSM 2002 Workshop), 2002. |
| [14] | Integrating Verification in a Design Process for Distributed Production Control Systems (Holger Giese, Martin Kardos, Ulrich A. Nickel), In Proc. of Second International Workshop on Integration of Specification Techniques for Applications in Engineering (INT2002), Grenoble, France, 2002. |
|
| [13] | Agent-Oriented Modelling of Distributed Systems with the Object Coordination Net Approach (Holger Giese), In Workshop on Modelling of Objects, Components, and Agents (MOCA'01), 27-28 August 2001, Aarhus, Denmark (Daniel Moldt, ed.), 2001. |
| [12] | Towards Ruling Component-Based Distributed Systems with Role-Based Modeling and Cross-Cutting Aspects (Holger Giese), In Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001, Toronto, Ontario, Canada (Peri Tarr, Harold Ossher, eds.), 2001. |
| [11] | Separation of Concerns and Roles in the Object Coordination Nets Approach (Holger Giese), In Workshop Aspektorientierung der GI-Fachgrupppe 2.1.9 Objektorientiere Software-Entwicklung 3.- 4. Mai 2001, Paderborn, Germany (Katharina Mehner, Mira Mezini, E. Pulvermüller, A. Speck, eds.), 2001. |
| [10] | Reengineering for Evolution of Distributed Information Systems (Holger Giese, Jörg P. Wadsack), In 3rd International Workshop on Net-Centric Computing (NCC 2001), May 14, 2001; Toronto, Canada (Scott Tilley, ed.), 2001. |
| [9] | Towards Modular Modeling and Simulation of Production Control Systems (Holger Giese, Ulirch A. Nickel), In Proc. of the Workshop on object-oriented modeling of embedded real-time systems (OMER-2) (Andy Schürr, ed.), 2001. (Techreport 2001-03, Universität der Bundeswehr München) |
| [8] | Reengineering for Evolution of Distributed Information Systems (Holger Giese, Jörg P. Wadsack), In Proc. of the $3^rd$ International Workshop on Net-Centric Computing: Migrating to the Web (NCC 2001), Toronto, Canada. (ICSE 2001 Workshop 10) (Scott Tilley, ed.), 2001. |
| [7] | Towards Modular Modelling and Simulation of Production Control Systems (Holger Giese, Ulrich A. Nickel), In In Proc. of the $2^nd$ Workshop on Object-Oriented Modeling of Embedded Realtime Software (OMER 2) Workshop Proceedings, Ammersee, M, 2001. |
|
| [6] | Towards Aspect-oriented Design and Architecture (Holger Giese, Alexander Vilbig), In Workshop on Advanced Separation of Concerns (OOPSLA 2000) (Peri Tarr, Lodewijk Bergmans, Martin Griss, Harold Ossher, eds.), 2000. |
| [5] | Visual Modeling of Object-oriented Distributed Systems (Holger Giese, Guido Wirtz), 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. |
| [4] | The OCoN Approach for Object-Oriented Distributed Software Systems Modeling (Holger Giese, Guido Wirtz), In Software Engineering and Petri Nets, Workshop within the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 26, 2000. |
| [3] | Towards Aspect-oriented Design and Architecture (Holger Giese, Alexander Vilbig), In 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 (Peri Tarr, Lodewijk Bergmans, Martin Griss, Harold Ossher, eds.), 2000. |
|
| [2] | Towards a Dynamic Model for the UML (Holger Giese), In 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 (Robert France, Jean-Michel Bruel, Brian Henderson-Sellers, Ana Moreira, Bernhard Rumpe, eds.), 1999. |
| [1] | Verhaltensmodellierung eingebetteter Systeme mit dem OCoN-Ansatz (Holger Giese, Jörg Graf, Guido Wirtz), In OMER - Objektorientierte Modellierung eingebetteter Realzeitsysteme, Workshop des Arbeitskreises GROOM der GI-Fachgruppe 2.1.9 OOSE, 28./29. Mai 1999 Herrsching am Ammersee, GERMANY (Peter Hofmann, Andy Schürr, eds.), 1999. (Techreport 1999-01, Universität der Bundeswehr München) |
|
| [80] | Probabilistic metric temporal graph logic (Sven Schneider, Maria Maximova, Holger Giese), Technical report 146, Hasso Plattner Institute at the University of Potsdam, 2022. |
| [79] | Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation (Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle H\´ely, C\´edric Gaucherel), Technical report 147, Hasso Plattner Institute at the University of Potsdam, 2022. |
| [78] | Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction (Sven Schneider, Maria Maximova, Holger Giese), Technical report 143, Hasso Plattner Institute at the University of Potsdam, 2022. |
|
| [77] | Interval probabilistic timed graph transformation systems (Maria Maximova, Sven Schneider, Holger Giese), Technical report 134, Hasso Plattner Institute at the University of Potsdam, 2021. |
|
| [76] | Constraint-based Self-optimisation of Deployments for modular Systems, (Tim Naumann), Master's thesis, Hasso-Plattner-Institut für Digital Engineering, Universität Potsdam, 2018. |
| [75] | Improving Self-Healing by Estimating the Impact of Adaptation Rules on the Utility at Runtime (Sona Ghahremani), Technical report, Proceedings of the 10th Ph. D. Retreat of the HPI Research School on Service-oriented Systems Engineering, 2018. |
|
| [74] | Symbolic Model Generation for Graph Properties (Sven Schneider, Leen Lambers, Fernando Orejas), Technical report 115, Hasso Plattner Institute at the University of Potsdam, 2017. |
| [73] | Probabilistic Timed Graph Transformation Systems (Maria Maximova, Holger Giese, Christian Krause), Technical report 118, Hasso-Plattner Institute at the University of Potsdam, 2017. |
| [72] | Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation (Johannes Dyck, Holger Giese, Leen Lambers), Technical report 112, Hasso Plattner Institute, University of Potsdam, 2017. |
| [71] | K-Inductive Invariant Checking for Graph Transformation Systems (Johannes Dyck, Holger Giese), Technical report 119, Hasso Plattner Institute, University of Potsdam, 2017. |
|
| [70] | Modeling collaborations in adaptive systems of systems (Sebastian Wätzoldt), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2016. |
| [69] | Development of AUTOSAR standard documents at Carmeq GmbH: a case study (Regina Hebig, Holger Giese, Kimon Batoulis, Philipp Langer, Armin Zamani Farahani, Gary Yao, Mychajlo Wolowyk), Technical report 92, Hasso-Plattner Institut at University of Potsdam, 2016. |
| [68] | On the Operationalization of Graph Queries with Generalized Discrimination Networks (Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers), Technical report 106, Hasso Plattner Institute at the University of Potsdam, 2016. |
|
| [67] | Modeling Collaborations in Self-Adaptive Systems of Systems–Terms, Characteristics, Requirements, and Scenarios (Sebastian Wätzoldt, Holger Giese), Technical report 96, Hasso Plattner Institute at the University of Potsdam, 2015. |
| [66] | Inductive Invariant Checking with Partial Negative Application Conditions (Johannes Dyck, Holger Giese), Technical report 98, Hasso Plattner Institute, University of Potsdam, 2015. |
| [65] | Efficient and Scalable Graph View Maintenance for Deductive Graph Databases based on Generalized Discrimination Networks (Thomas Beyhl, Holger Giese), Technical report, Hasso Plattner Institute at the University of Potsdam, 2015. (Technical Report No. 99) |
|
| [64] | On the Performance and Conformance of Triple Graph Grammar Implementations (Stephan Hildebrandt), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2014. |
| [63] | Evolution of model-driven engineering settings in practice (Regina Hebig), PhD thesis, Hasso-Plattner-Institut fur Softwaresystemtechnik, Universität Potsdam, 2014. |
| [62] | Graph Transformation Systems and Verification with k-Inductive Invariants (Johannes Dyck), In Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2014, Pro Business, Berlin, 2014. (Extended Abstract) |
| [61] | Symbolic Representation and Constraint Reasoning in Invariant Checking (Johannes Dyck), 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. |
| [60] | Virtual prototypes for the model-based elicitation and validation of collaborative scenarios (Gregor Berg), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2014. |
| [59] | Architectural modelling and verification of open service-oriented systems of systems (Basil Becker), PhD thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2014. |
|
| [58] | Model-Driven Engineering of Adaptation Engines for Self-Adaptive Software: Executable Runtime Megamodels (Thomas Vogel, Holger Giese), Technical report 66, Hasso Plattner Institute at the University of Potsdam, Germany, 2013. |
| [57] | Modular Rice University Bidding System (mRUBiS) (Thomas Vogel), MDELab, 2013. (http://www.mdelab.de [Online; accessed 02-November-2013]) |
| [56] | Traceability and model management with executable and dynamic hierarchical megamodels (Andreas Seibel), PhD thesis, Hasso-Plattner-Institut fur Softwaresystemtechnik, Universität Potsdam, 2013. |
| [55] | Modular Timing Analysis of Component-Based Real-Time Embedded Systems (Stefan Neumann), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2013. |
| [54] | Scalable Compatibility for Real-Time Embedded Components using Language-Progressive TIOA (Stefan Neumann, Holger Giese), Technical report 65, Hasso-Plattner Institute, 2013. |
| [53] | Graph Transformation Systems and Invariant Checking with k-Inductive Invariants (Johannes Dyck), In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2013, Pro Business, Berlin, 2013. (Extended Abstract) |
| [52] | Modeling and Verifying Dynamic Evolving Service-Oriented Architectures (Basil Becker, Holger Giese), Technical report 75, Hasso Plattner Institute at the University of Potsdam, 2013. |
|
| [51] | Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars (Holger Giese, Stephan Hildebrandt, Stefan Neumann, Sebastian Wätzoldt), Technical report 57, Hasso Plattner Institute at the University of Potsdam, 2012. |
| [50] | Story Diagrams - Syntax and Semantics (Markus von Detten, Christian Heinzemann, M. Platenius, Jan Rieke, Dietrich Travkin, Stephan Hildebrandt), Technical report, Software Engineering Group, Heinz Nixdorf Institute, 2012. |
| [49] | Story Diagrams - Syntax and Semantics (Markus von Detten, Christian Heinzemann, M. Platenius, Jan Rieke, Dietrich Travkin, Stephan Hildebrandt), Technical report, Software Engineering Group, Heinz Nixdorf Institute, 2012. (Version 0.2) |
| [48] | Story Diagrams - Syntax and Semantics (Markus von Detten, Christian Heinzemann, M. Platenius, Jan Rieke, J. Suck, Dietrich Travkin, Stephan Hildebrandt), Technical report, Software Engineering Group, Heinz Nixdorf Institute, 2012. |
| [47] | MDE Settings in SAP. A Descriptive Field Study (Regina Hebig, Holger Giese), Technical report 58, Hasso-Plattner Institut at University of Potsdam, 2012. |
| [46] | Cyber-Physical Systems with Dynamic Structure: Towards Modeling and Verification of Inductive Invariants (Basil Becker, Holger Giese), Technical report 64, Hasso Plattner Institute at the University of Potsdam, Germany, 2012. |
|
| [45] | Towards Scalable and Self-Optimizing Software for Multi-Core and Cloud Computing (Sebastian Wätzoldt, Stephan Hildebrandt, Andreas Seibel, Gregor Gabrysiak, Holger Giese), Technical report 42, Proceedings of the Fall 2010 Future SOC Lab Day; Universitätsverlag Potsdam, 2011. |
|
| [44] | Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars (Holger Giese, Stephan Hildebrandt, Leen Lambers), Technical report 37, Hasso Plattner Institute at the University of Potsdam, 2010. |
|
| [43] | Efficient Model Synchronization of Large-Scale Models (Holger Giese, Stephan Hildebrandt), Technical report 28, Hasso Plattner Institute at the University of Potsdam, 2009. |
| [42] | Correct Dynamic Service-Oriented Architectures: Modeling and Compositional Verification with Dynamic Collaborations (Basil Becker, Holger Giese, Stefan Neumann), Technical report 29, Hasso Plattner Institute at the University of Potsdam, 2009. |
|
| [41] | A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems (Holger Giese, Stefan Henkler, Martin Hirsch), Technical report tr-ri-08-297, Computer Science Department, University of Paderborn, 2008. |
| [40] | Synthesis of Real-Time Component Behavior (Stefan Henkler, Andreas Seibel, Holger Giese), Technical report tr-ri-08-296, Computer Science Department, University of Paderborn, 2008. |
|
| [39] | Das MATE Projekt âۉ€œ visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen (Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf), Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme, 2007. |
|
| [38] | Integrated Visual Specification of Structural and Temporal Properties (Florian Klein, Holger Giese), Technical report tr-ri-06-277, Computer Science Department, University of Paderborn, 2006. |
| [37] | Visual Specification of Structural and Temporal Properties (Holger Giese, Florian Klein), Technical report tr-ri-06-276, Computer Science Department, University of Paderborn, 2006. |
| [36] | Reusable Services for Automotive Software (Holger Giese), 2006. |
|
| [35] | Syntax and Semantics of Hybrid Components (Sven Burmester, Holger Giese, Martin Hirsch), Technical report tr-ri-05-264, University of Paderborn, 2005. |
| [34] | Evaluation von Modellierungswerkzeugen für Echtzeitsysteme (Holger Giese, Sven Burmester, Matthias Tichy), (Sven Burmester, Holger Giese, Matthias Tichy, eds.), Technical report tr-ri-05-258, University of Paderborn, 2005. |
| [33] | Separation of Non-Orthogonal Concerns in Software Architecture and Design (Holger Giese, Alexander Vilbig), Technical report tr-ri-05-254, Lehrstuhl f, 2005. ((Version 2)) |
| [32] | Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML (Holger Giese, Martin Hirsch), Technical report tr-ri-03-266, University of Paderborn, 2005. |
|
| [31] | Towards the Automatic Verification of Inductive Invariants for Infinite State UML Models (Holger Giese, Daniela Schilling), Technical report tr-ri-04-252, University of Paderborn, 2004. |
| [30] | Procedure for the design and/or operation of composable components (TYCS), Patent DE 100 65 286 B4 2004.12.09 (Holger Giese), 2004. |
| [29] | Shuttle System Case Study (Florian Klein, Andreas Seibel, Holger Giese), volume Version 1.0, 2004. |
| [28] | Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems (Sven Burmester, Holger Giese, Oliver Oberschelp), Technical report tr-ri-03-246, University of Paderborn, 2004. |
|
| [27] | Code Generation for Hard Real-time Systems from Real-time Statecharts (Sven Burmester, Holger Giese, Wilhelm Schäfer), Technical report tr-ri-03-244, University of Paderborn, 2003. |
| [26] | A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems. (Holger Giese), Technical report tr-ri-03-240, Lehrstuhl für Softwaretechnik, Universität Paderborn, 2003. |
| [25] | Towards the Compositional Verification of Real-Time UML Designs (Holger Giese, D. Schilling, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, S. Flake), Technical report tr-ri-03-241, Lehrstuhl für Softwaretechnik, Universität Paderborn, 2003. |
| [24] | Real-Time Statechart Semantics (Holger Giese, Sven Burmester), Technical report tr-ri-03-239, Lehrstuhl für Softwaretechnik, Universität Paderborn, 2003. |
| [23] | Separation of Non-Orthogonal Concerns in Software Architecture and Design (Holger Giese, Alexander Vilbig), Technical report tr-ri-03-238, Universität Paderborn, 2003. |
| [22] | Software Engineering Education: The Synergy of Combined Research and Teaching (Matthias Gehrke, Holger Giese, Ekkart Kindler, Jörg Niere, Wilhelm Schäfer, Jörg P. Wadsack, Robert Wagner, Lothar Wendehals), Technical report tr-ri-03-237, University of Paderborn, 2003. |
|
| [21] | Object Coordination Nets 3.0: Reference Guide (Holger Giese), Technical report 1/01-I, University Münster, 2001. |
| [20] | Object Coordination Nets 3.0: Synchronization Behavior Typing for Contracts (Holger Giese), Technical report 2/01-I, University Münster, Computer Science, Distributed Systems Group, 2001. |
| [19] | Object-Oriented Design and Architecture of Distributed Systems (Holger Giese), PhD thesis, Westfälische Wilhelms-Universität Münster, Fachbereich Mathematik und Informatik, 2001. |
| [18] | Object Coordination Nets 3.0: Semantics Specification (Holger Giese), Technical report 3/01-I, University Münster, Computer Science, Distributed Systems Group, 2001. |
| [17] | Typed Component Systems, Version 1.0 (Holger Giese), Technical report Bericht tr-ri-01-224 Reihe Informatik, Fachbereich Mathematik-Informatik, Universität Paderborn, 2001. |
|
| [16] | Synchronization Behavior Typing for Contracts in Component-based Systems (Holger Giese), Technical report, University Münster, Computer Science, Distributed Systems Group, 2000. |
|
| [15] | Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems (Holger Giese, Jörg Graf, Guido Wirtz), Technical report, University Münster, Computer Science, 1999. (04/99-I) |
| [14] | A Real Object-Oriented Visual Design Language for Distributed Software Systems (Guido Wirtz, Holger Giese, Jörg Graf), Technical report, University Münster, Computer Science, 1999. (06/99-I) |
| [13] | Behavior Specification for Contract based Distributed Object Systems (Holger Giese), Technical report, University Münster, 1999. (05/99-I) |
| [12] | Contract-based Component System Design (Holger Giese), Technical report, University Münster, 1999. (23/99-I (published Jan/2000)) |
| [11] | Object Coordination Nets 2.0 – Semantics Specification (Holger Giese), Technical report, University Münster, Computer Science, 1999. (15/99-I) |
| [10] | Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (Holger Giese, Jörg Graf, Guido Wirtz), Technical report, University Münster, 1999. (16/99-I) |
|
| [9] | Object Coordination Nets: Relations to other OO Nets (Holger Giese), Technical report, University of Munster, Computer Science Institute, 1997. ((provisional version)) |
| [8] | Object Coordination Nets: Modeling Example (Holger Giese), Technical report, University of Munster, Computer Science Institute, 1997. ((provisional version)) |
| [7] | Object Coordination Nets: Projekt Plan (Holger Giese), Technical report, University of Munster, Computer Science Institute, 1997. ((provisional version in GERMAN)) |
| [6] | Object Coordination Nets: Analyse und Synthese (Holger Giese), Technical report, University of Munster, Computer Science Institute, 1997. ((provisional version in GERMAN, very SHORT)) |
| [5] | Object Coordination Nets – A Formalism to Describe Parallel and Distributed Methods (Holger Giese, Jörg Graf, Guido Wirtz), Technical report, Universiy Münster, Computer Science, Distributed Systems Group, 1997. (TR-97-01) |
| [4] | Object Coordination Nets: Formal Semantic (Holger Giese), Technical report, University of Munster, Computer Science Institute, 1997. ((provisional version)) |
|
| [3] | Object Coordination Nets: Intro (Holger Giese), Technical report, University of Munster, Computer Science Institute, 1996. ((provisional version in GERMAN)) |
| [2] | Object Coordination Nets: Thesen zum Design verteilter Systeme (Holger Giese), Technical report, University of Munster, Computer Science Institute, 1996. ((provisional version in GERMAN)) |
| [1] | Modularization and Abstraction in Meander (Holger Giese), Technical report, Universitat–Gesamthochschule Siegen/ Fachbereich 12, 1996. |