|
| [59] | 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 (Samuel Kounev, Jeffrey O. Kephart, A. Milenkoski, Xiaoyun Zhu, eds.), Springer Verlag, 2017. ((To Appear)) |
|
| [58] | 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. |
|
| [57] | On the Complex Nature of MDE Evolution and its Impact on Changeability (Regina Hebig, Holger Giese), In Software & Systems Modeling, Springer-Verlag, 2015. (accepted for publication) |
|
| [56] | Graph Transformation, 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, (Holger Giese, Barbara König, eds.), Springer, volume 8571, 2014. |
| [55] | Model-Driven Engineering of Self-Adaptive Software with EUREMA (Thomas Vogel, Holger Giese), In ACM Trans. Auton. Adapt. Syst., volume 8, 2014. |
| [54] | 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. |
| [53] | Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations (Holger Giese, Stephan Hildebrandt, Leen Lambers), In Software and Systems Modeling, Springer Berlin Heidelberg, volume 13, 2014. |
|
| [52] | 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. |
| [51] | Software Engineering for Self-Adaptive Systems II, (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, 2013. |
| [50] | 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. |
| [49] | 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. |
| [48] | 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. |
| [47] | 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. |
|
| [46] | Compositional and behavior-preserving reconfiguration of component connectors in Reo (Christian Krause, Holger Giese, Erik de Vink), In Journal of Visual Languages & Computing, 2012. |
| [45] | Probabilistic Graph Transformation Systems (Christian Krause, Holger Giese), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), Springer-Verlag, volume 7562, 2012. |
| [44] | 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. |
| [43] | 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. |
| [42] | Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings, (Holger Giese, Grigore Rosu, eds.), Springer, volume 7273, 2012. |
|
| [41] | 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. |
| [40] | Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures (Stefan Henkler, Simon Oberthur, Holger Giese, Andreas Seibel), In International Journal of Computer Systems Science and Engineering, volume 27, 2011. |
| [39] | 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. |
| [38] | A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems (Holger Giese, Stefan Henkler, Martin Hirsch), In SIMULATION, volume 87, 2011. |
| [37] | Model-Based Engineering of Embedded Real-Time Systems, International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, (Holger Giese, Garbor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, 2011. |
|
| [36] | 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. |
| [35] | Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance (Andreas Seibel, Stefan Neumann, Holger Giese), In Software and Systems Modeling, volume 9, 2010. |
| [34] | Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings, (Holger Giese, ed.), Springer, volume 6150, 2010. |
| [33] | 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. |
|
| [32] | From model transformation to incremental bidirectional model synchronization (Holger Giese, Robert Wagner), In Software and Systems Modeling, volume 8, 2009. |
| [31] | Software Engineering for Self-Adaptive Systems, (Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos, eds.), Springer, volume 5525, 2009. |
| [30] | Software Engineering for Self-Adaptive Systems: A Research Roadmap (Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, HausiA. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle), Chapter in Software Engineering for Self-Adaptive Systems (Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, volume 5525, 2009. |
| [29] | 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 H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, volume 5525, 2009. |
|
| [28] | Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems (Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler), In International Journal on Software Tools for Technology Transfer (STTT), Springer Verlag, volume 10, 2008. |
| [27] | Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, (Holger Giese, ed.), Springer, volume 5002, 2008. |
| [26] | 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. |
| [25] | 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. |
|
| [24] | Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications, (Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky, eds.), Springer, volume 4408, 2007. |
| [23] | Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications (Holger Giese, Florian Klein), In International Journal on Agent-Oriented Software Engineering (IJAOSE), volume 1, 2007. |
| [22] | 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. |
| [21] | 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. |
|
| [20] | A Survey of Approaches for the Visual Model-Driven Development of Next Generation Software-Intensive Systems (Holger Giese, Stefan Henkler), In Journal of Visual Languages & Computing, volume 17, 2006. |
| [19] | 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. |
| [18] | 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. |
| [17] | Separation of Non-Orthogonal Concerns in Software Architecture and Design (Holger Giese, Alexander Vilbig), In Software and Systems Modeling, Springer Verlag, volume 5, 2006. |
| [16] | 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. |
| [15] | 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. |
|
| [14] | 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. |
|
| [13] | 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. |
| [12] | 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. |
| [11] | 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. |
| [10] | 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. |
| [9] | 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 International Journal on Software Tools for Technology Transfer (STTT), Springer Verlag, volume 6, 2004. |
| [8] | Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte (Ursula Frank, Holger Giese, Florian Klein, Oliver Oberschelp, Andreas Schmidt, Bernd Schulz, Henner Vöcking, Katrin Witting), (Jürgen Gausemeier, ed.), Heinz Nixdorf Institut, Universität Paderborn, 2004. |
|
| [7] | 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. |
|
| [6] | The OCoN Approach to Workflow Modeling in Object-Oriented Systems (Guido Wirtz, Mathias Weske, Holger Giese), In Information Systems Frontiers, volume 3, 2001. |
| [5] | Object-Oriented Design and Architecture of Distributed Systems (Holger Giese), Shaker Verlag, 2001. |
| [4] | The OCoN Approach for Object-Oriented Distributed Software Systems Modeling (Holger Giese, Guido Wirtz), In Computer Systems Science & Engineering, volume 16, 2001. |
| [3] | Visual Modeling of Object-oriented Distributed Systems (Holger Giese, Guido Wirtz), In Journal of Visual Languages and Computing, volume 12, 2001. |
|
| [2] | 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. |
| [1] | 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. |